@githolon/dsl 0.103.5 → 0.103.7

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.103.5",
+  "version": "0.103.7",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",

package/src/compile_package_main.ts

@@ -1647,7 +1647,7 @@ const NOMOS_TYPES_DEP = "^0.8.3";
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
 const NOMOS_CLIENT_DEP = "^0.64.6";
-const NOMOS_FLUTTER_DEP = "^0.63.7";
+const NOMOS_FLUTTER_DEP = "^0.63.9";
 // 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).
@@ -2544,7 +2544,7 @@ function emitDartPackages(
     "library;",
     "",
     `export 'package:${packages.types}/${genRel}/${businessSharedFile}';`,
-    `export 'package:nomos_flutter/src/generated_application_host.dart' show ApplicationModelDecision, ApplicationModelReview;`,
+    `export 'package:nomos_flutter/src/generated_application_host.dart' show ApplicationModelApproval, ApplicationModelDecision, ApplicationModelPolicy, ApplicationModelReview;`,
     ...tenantTypesExportKeys
       .map((file) => {
         const names = tenantDartExportNames(typesSources.get(file) ?? "");
@@ -5561,6 +5561,13 @@ async function main(): Promise<void> {
         writeFileSync(file, text, "utf8");
       };
       for (const pkg of pkgDirs) {
+        // Layered Dart output is generated-owned, including the compiler's temporary source-dogfood
+        // override. A package may have been generated previously by a source checkout and then rebuilt
+        // by the published compiler. In that transition, doing nothing here leaves the old absolute
+        // checkout paths live and silently defeats the hosted-package release boundary. Clear the
+        // compiler-owned file on every compile, then recreate it only for an actual source checkout.
+        const overrideFile = path.join(pkg, "pubspec_overrides.yaml");
+        rmSync(overrideFile, { force: true });
         if (localDart) {
           const spec = readFileSync(path.join(pkg, "pubspec.yaml"), "utf8");
           const lines = ["dependency_overrides:"];
@@ -5581,7 +5588,7 @@ async function main(): Promise<void> {
           // when its own pubspec does not name nomos_flutter directly.
           if ((usesFlutter || usesClient) && localDart.flutter) lines.push(`  nomos_flutter:`, `    path: ${localDart.flutter}`);
           if (lines.length > 1) {
-            writeTextIfChanged(path.join(pkg, "pubspec_overrides.yaml"), lines.join("\n") + "\n");
+            writeTextIfChanged(overrideFile, lines.join("\n") + "\n");
           }
         }
       }
@@ -5605,9 +5612,16 @@ async function main(): Promise<void> {
           "pubspec_overrides.yaml",
           path.join(".dart_tool", "package_config.json"),
         ].map((name) => ({ name, file: path.join(pkg, name) }));
-        if (files.some(({ file }) => !existsSync(file))) return undefined;
+        // `pubspec_overrides.yaml` is intentionally absent for installed compilers. Its absence is an
+        // input to the proof, not proof that dependency resolution can never be current.
+        if (files.some(({ name, file }) => name !== "pubspec_overrides.yaml" && !existsSync(file))) return undefined;
         const hash = createHash("sha256").update(`${dartResolutionFormat}\0`);
-        for (const { name, file } of files) hash.update(name).update("\0").update(readFileSync(file)).update("\0");
+        for (const { name, file } of files) {
+          hash.update(name).update("\0");
+          if (existsSync(file)) hash.update("present\0").update(readFileSync(file));
+          else hash.update("absent");
+          hash.update("\0");
+        }
         return hash.digest("hex");
       };
       const dartPackageResolutionCurrent = (pkg: string): boolean => {