@githolon/dsl 0.103.17 → 0.103.19

package/dart/lib/src/runner/node-entry.mjs

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 
 // <define:__NOMOS_KERNEL_RELEASE__>
-var define_NOMOS_KERNEL_RELEASE_default = { production: { hash: "8a39dd1041ce56b820ee321eab4d10cb5e53131f216a6ab8f1135799a2cc5f98", version: "kernel-8a39dd10", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 }, testMint: { hash: "4ec42988fffc7dd1c4f5553aec83720a7a9bc3f27eb35da211254e66eac2661c", version: "kernel-4ec42988", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 } };
+var define_NOMOS_KERNEL_RELEASE_default = { production: { hash: "c71ea1a3bbe0c7b4be944106e44387f37bc9da43aeb0747631c7c4e89012c757", version: "kernel-c71ea1a3", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 }, testMint: { hash: "11503b51eaa2b7f2a059b0a94725faa1f7ab4c96c0648b955f2cf5010974d259", version: "kernel-11503b51", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 } };
 
 // runner/node-entry.ts
 import { createInterface } from "node:readline";
@@ -10112,7 +10112,8 @@ ${String(commit).toLowerCase()}`;
     try {
       const outcome = await offerDirective("nomos", "promoteDomain", prepared.payload, {
         actor: connectionPrincipal,
-        returnCreated: false
+        returnCreated: false,
+        domainHash: String(currentLawInner()?.["nomos"] ?? "")
       });
       const head = typeof outcome === "string" ? outcome : String(outcome?.head ?? "");
       const readiness = await prepareDomainReady(domain, candidateHash);

package/dart/lib/src/runner/offline-install.mjs

@@ -6,7 +6,7 @@ var __export = (target, all) => {
 };
 
 // <define:__NOMOS_KERNEL_RELEASE__>
-var define_NOMOS_KERNEL_RELEASE_default = { production: { hash: "8a39dd1041ce56b820ee321eab4d10cb5e53131f216a6ab8f1135799a2cc5f98", version: "kernel-8a39dd10", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 }, testMint: { hash: "4ec42988fffc7dd1c4f5553aec83720a7a9bc3f27eb35da211254e66eac2661c", version: "kernel-4ec42988", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 } };
+var define_NOMOS_KERNEL_RELEASE_default = { production: { hash: "c71ea1a3bbe0c7b4be944106e44387f37bc9da43aeb0747631c7c4e89012c757", version: "kernel-c71ea1a3", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 }, testMint: { hash: "11503b51eaa2b7f2a059b0a94725faa1f7ab4c96c0648b955f2cf5010974d259", version: "kernel-11503b51", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"], protocol: 1 } };
 
 // runner/offline-install.ts
 import { readFileSync as readFileSync2, writeFileSync as writeFileSync2, existsSync } from "node:fs";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.103.17",
+  "version": "0.103.19",
   "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/runtime/generated-application-host.js

@@ -9163,7 +9163,8 @@ ${String(commit).toLowerCase()}`;
     try {
       const outcome = await offerDirective("nomos", "promoteDomain", prepared.payload, {
         actor: connectionPrincipal,
-        returnCreated: false
+        returnCreated: false,
+        domainHash: String(currentLawInner()?.["nomos"] ?? "")
       });
       const head = typeof outcome === "string" ? outcome : String(outcome?.head ?? "");
       const readiness = await prepareDomainReady(domain, candidateHash);

package/src/codegen_dart_client.ts

@@ -2401,9 +2401,7 @@ export function generateDartBridgeClient(
     `    final candidate = ${className}(session, actor: actor${
       manualEncryptionPresent ? ", keyStore: keyStore" : ""
     });`,
-    `    Future<void> adoptGeneratedModel() async {`,
-    `      final adoption = await candidate._adoptGeneratedModel();`,
-    `      if (adoption.status == NomosModelAdoptionStatus.adopted) return;`,
+    `    Never throwForAdoption(NomosModelAdoption adoption) {`,
     `      throw DomainClientModelAdoptionRequired(`,
     `        expectedDomainKey: interface.domain,`,
     `        expectedDomainHash: interface.expectedDomainHash,`,
@@ -2437,13 +2435,23 @@ export function generateDartBridgeClient(
     `        accept: adoption.status == NomosModelAdoptionStatus.needsDecision`,
     `            ? (reason, {dispositions}) async {`,
     `                final accepted = await adoption.accept(reason, dispositions: dispositions);`,
+    `                // A retry that still isn't adopted (a transient business-outcome/history race,`,
+    `                // e.g. concurrent writes landing between the bare preflight and this accept) must`,
+    `                // NOT be swallowed as a terminal StateError: re-throw the SAME typed exception so`,
+    `                // the caller's governed-steps retry loop gets another decide()/accept() attempt`,
+    `                // instead of failing outright on the first race it hits.`,
     `                if (accepted.status != NomosModelAdoptionStatus.adopted) {`,
-    `                  throw StateError(accepted.summary);`,
+    `                  throwForAdoption(accepted);`,
     `                }`,
     `              }`,
     `            : null,`,
     `      );`,
     `    }`,
+    `    Future<void> adoptGeneratedModel() async {`,
+    `      final adoption = await candidate._adoptGeneratedModel();`,
+    `      if (adoption.status == NomosModelAdoptionStatus.adopted) return;`,
+    `      throwForAdoption(adoption);`,
+    `    }`,
     `    try {`,
     `      await session.assertCompatible(interface);`,
     `    } on DomainClientSessionMismatch catch (mismatch) {`,

package/src/compile_package_main.ts

@@ -1653,7 +1653,7 @@ const NOMOS_TYPES_DEP = "^0.8.4";
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
 const NOMOS_CLIENT_DEP = "^0.64.14";
-const NOMOS_FLUTTER_DEP = "^0.63.21";
+const NOMOS_FLUTTER_DEP = "^0.63.23";
 // 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).