@githolon/dsl 0.87.0 → 0.88.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.87.0",
+  "version": "0.88.0",
   "type": "module",
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
   "license": "SEE LICENSE IN LICENSE.md",

package/src/compile_package_main.ts

@@ -1016,7 +1016,7 @@ const NOMOS_TYPES_DEP = "^0.4.1";
 // 0.48.x: session-bound clients (XClient.bind/NomosClientInterface/DomainClientSessionMismatch/
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
-const NOMOS_CLIENT_DEP = "^0.55.0";
+const NOMOS_CLIENT_DEP = "^0.56.0";
 // DRIFT TRIPWIRE: pubspec_pins.test.ts asserts these equal the CURRENT versions in dsl/dart/pubspec.yaml
 // and dsl/dart_types/pubspec.yaml — a Dart release without this bump fails the suite, so tenants never
 // land back in dependency_overrides (the exact co2 report this closes, third occurrence).
@@ -2676,6 +2676,29 @@ async function main(): Promise<void> {
         typeof dartCfg === "object" && dartCfg.barrel !== undefined ? dartCfg.barrel : defaultBarrel;
       dartFiles = emitDart(domainModules, dartOut, domainHash, packageInterface, dartSupportImport, dartBarrel, nomosCompat, dartNames);
     }
+    // COMPILE-VALID MUST MEAN COMPILABLE (co2): `githolon compile` reported success while the generated Dart
+    // had hard compiler errors (a duplicate id symbol, missing contract-id defs). Run `dart analyze` over the
+    // emitted Dart as a SYMBOL-RESOLUTION GATE — a real analysis ERROR fails the compile (with the analyzer's
+    // own output), so a broken package never passes `mountable ✓`. Best-effort: skipped (with a note, never a
+    // false red) when `dart` is absent or the package's deps aren't resolved yet (needs `pub get`). Opt out
+    // with NOMOS_SKIP_DART_ANALYZE=1.
+    if (dartOut !== undefined && process.env.NOMOS_SKIP_DART_ANALYZE !== "1") {
+      try {
+        execFileSync("dart", ["analyze", "--no-fatal-warnings", dartOut], { stdio: "pipe", encoding: "utf8" });
+        console.log(`  dart ✓     generated Dart analyzes clean (compile-valid ⇒ compilable)`);
+      } catch (e) {
+        const err = e as { status?: number; stdout?: string; stderr?: string; code?: string };
+        const out = `${err.stdout ?? ""}${err.stderr ?? ""}`;
+        if (err.code === "ENOENT") {
+          console.log(`  dart —     analyze skipped (dart not on PATH); the generated Dart is UNVERIFIED`);
+        } else if (/isn't a package dependency|Target of URI doesn't exist: 'package:|run .?(dart |flutter )?pub get|No pubspec\.yaml/i.test(out) && !/\berror •/.test(out)) {
+          // Deps not resolved (pub get not run) rather than a codegen bug — skip, don't false-fail.
+          console.log(`  dart —     analyze skipped (package deps not resolved — run \`dart pub get\` in ${path.relative(process.cwd(), dartOut)}); the generated Dart is UNVERIFIED`);
+        } else {
+          fail(`the generated Dart package does NOT compile — \`dart analyze\` found errors (compile-valid must mean compilable). Fix the law/codegen or set NOMOS_SKIP_DART_ANALYZE=1 to emit anyway:\n${out.trim()}`);
+        }
+      }
+    }
   }
 
   // ── summary ──