T-4 go.dag — primitive fact-bundles + ModelCore wave-1 (rust.dag pattern)

src/v3/compiler/tests/integration/v4_compiler_emit_translate_smoke_test.rs

@@ -35,6 +35,8 @@ const RUST_LANGUAGE_DAG: &str = include_str!("../../../../v4/extdeps/languages/r
 const RUST_LANGUAGE_PATH: &str = "src/v4/extdeps/languages/rust.dag";
 const JAVA_LANGUAGE_DAG: &str = include_str!("../../../../v4/extdeps/languages/java.dag");
 const JAVA_LANGUAGE_PATH: &str = "src/v4/extdeps/languages/java.dag";
+const GO_LANGUAGE_DAG: &str = include_str!("../../../../v4/extdeps/languages/go.dag");
+const GO_LANGUAGE_PATH: &str = "src/v4/extdeps/languages/go.dag";
 const MVP1_CLAIM_DAG: &str =
     include_str!("../../../../v4/test/claim/manual/mvp1_rust_add_translate.dag");
 const MVP1_CLAIM_PATH: &str = "src/v4/test/claim/manual/mvp1_rust_add_translate.dag";
@@ -213,6 +215,28 @@ fn v4_java_language_model_declares_t11_translation_rules() {
     );
 }
 
+#[test]
+fn v4_go_language_model_tokenizes_and_parses() {
+    let _module = parse_module(GO_LANGUAGE_DAG, GO_LANGUAGE_PATH);
+}
+
+#[test]
+fn v4_go_language_model_declares_wave1_carriers() {
+    let module = parse_module(GO_LANGUAGE_DAG, GO_LANGUAGE_PATH);
+    assert!(
+        surface_declares_fn(&module, "go_wave1_primitive_fact_bundles"),
+        "{GO_LANGUAGE_PATH}: must declare go_wave1_primitive_fact_bundles"
+    );
+    assert!(
+        surface_declares_fn(&module, "go_model_core_wave1"),
+        "{GO_LANGUAGE_PATH}: must declare go_model_core_wave1"
+    );
+    assert!(
+        import_includes_name(&module, &["v4", "std", "model_core"], "ModelCore"),
+        "{GO_LANGUAGE_PATH}: must import ModelCore from v4.std.model_core"
+    );
+}
+
 #[test]
 fn v4_mvp1_rust_add_claim_tokenizes_and_parses() {
     let _module = parse_module(MVP1_CLAIM_DAG, MVP1_CLAIM_PATH);