@githolon/dsl 0.103.13 → 0.103.14

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

@@ -514,7 +514,7 @@ function createWebviewRunner({ post: post2, openRealm: openRealm2 }) {
     // FRAMEWORK-PRIVATE: generated clients say model.adopt(); the runner/client owns proof + receipt assembly.
     async adoptGeneratedModel(a) {
       const rec = pickSession(a);
-      const r = await (await liveHolon(rec)).__nomosAdoptModel(a.domain, a.candidateHash, { because: a.because });
+      const r = await (await liveHolon(rec)).__nomosAdoptModel(a.domain, a.candidateHash, { because: a.because, dispositions: a.dispositions });
       if (r && r.ok && rec.autoStop && rec.autoStop.trigger) rec.autoStop.trigger("write");
       return { verdict: r };
     },
@@ -10087,7 +10087,13 @@ ${String(commit).toLowerCase()}`;
         const atHash = await resolveBranchHead();
         if (!atHash) throw new Error("workspace has no history to prove");
         return JSON.parse(call("query", {
-          queryBytes: qBytes({ op: "historyPreflight", domain, candidateHash, atHash })
+          queryBytes: qBytes({
+            op: "historyPreflight",
+            domain,
+            candidateHash,
+            atHash,
+            ...opts.dispositions ? { dispositions: opts.dispositions } : {}
+          })
         }));
       });
     } catch (error) {
@@ -10099,7 +10105,8 @@ ${String(commit).toLowerCase()}`;
     }
     const prepared = prepareManagedPromotion(report, candidateHash, domain, {
       ...currentHash && currentHash !== candidateHash ? { replaces: currentHash } : {},
-      ...opts.because !== void 0 ? { acceptanceReason: opts.because } : {}
+      ...opts.because !== void 0 ? { acceptanceReason: opts.because } : {},
+      ...opts.dispositions ? { dispositions: opts.dispositions } : {}
     });
     if (!prepared.ok) return prepared;
     try {

package/dart/lib/src/session_bound.dart

@@ -191,7 +191,7 @@ class DomainClientModelAdoptionRequired implements Exception {
   final String summary;
   final DomainModelReview review;
   final Future<void> Function()? _stage;
-  final Future<void> Function(String reason)? _accept;
+  final Future<void> Function(String reason, {Map<String, Object?>? dispositions})? _accept;
 
   const DomainClientModelAdoptionRequired({
     required this.expectedDomainKey,
@@ -200,7 +200,7 @@ class DomainClientModelAdoptionRequired implements Exception {
     required this.summary,
     required this.review,
     Future<void> Function()? stage,
-    Future<void> Function(String reason)? accept,
+    Future<void> Function(String reason, {Map<String, Object?>? dispositions})? accept,
   })  : _stage = stage,
         _accept = accept;
 
@@ -216,7 +216,10 @@ class DomainClientModelAdoptionRequired implements Exception {
 
   bool get canAccept => _accept != null;
 
-  Future<void> accept(String reason) {
+  /// [dispositions] carries only sids the kernel's OWN exact-history proof
+  /// named as truly removed (`{"retired": [sid, ...]}`) — never authored from
+  /// memory; a wrong disposition is a silent data-model error, not a waiver.
+  Future<void> accept(String reason, {Map<String, Object?>? dispositions}) {
     final value = reason.trim();
     if (value.isEmpty) {
       throw ArgumentError.value(
@@ -229,7 +232,7 @@ class DomainClientModelAdoptionRequired implements Exception {
     if (accept == null) {
       throw StateError('This generated model change cannot be accepted.');
     }
-    return accept(value);
+    return accept(value, dispositions: dispositions);
   }
 
   @override

package/dart/lib/src/webview_bridge.dart

@@ -2654,11 +2654,13 @@ class NomosBridge {
     required String domain,
     required String candidateHash,
     String? because,
+    Map<String, Object?>? dispositions,
   }) async {
     final r = _asMap(await _call('adoptGeneratedModel', {
       'domain': domain,
       'candidateHash': candidateHash,
       if (because != null) 'because': because,
+      if (dispositions != null) 'dispositions': dispositions,
     }));
     return ((r['verdict'] as Map?) ?? const <String, Object?>{})
         .cast<String, Object?>();

package/dart_types/CHANGELOG.md

@@ -1,4 +1,4 @@
-## 0.8.4
+## 0.8.5
 
 - Expose bounded generated-startup and referenced-workspace custody failures as typed data so applications
   can render and retry the exact kernel refusal instead of remaining on an indefinite loading surface.

package/dart_types/pubspec.yaml

@@ -9,7 +9,7 @@ description: >-
   Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
   no runtime. Typed protobuf and USDA boundary values plus the offer codec,
   reactive read engine, schema validation, and data-only error/trace types.
-version: 0.8.4
+version: 0.8.5
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.103.13",
+  "version": "0.103.14",
   "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

@@ -9138,7 +9138,13 @@ ${String(commit).toLowerCase()}`;
         const atHash = await resolveBranchHead();
         if (!atHash) throw new Error("workspace has no history to prove");
         return JSON.parse(call("query", {
-          queryBytes: qBytes({ op: "historyPreflight", domain, candidateHash, atHash })
+          queryBytes: qBytes({
+            op: "historyPreflight",
+            domain,
+            candidateHash,
+            atHash,
+            ...opts.dispositions ? { dispositions: opts.dispositions } : {}
+          })
         }));
       });
     } catch (error) {
@@ -9150,7 +9156,8 @@ ${String(commit).toLowerCase()}`;
     }
     const prepared = prepareManagedPromotion(report, candidateHash, domain, {
       ...currentHash && currentHash !== candidateHash ? { replaces: currentHash } : {},
-      ...opts.because !== void 0 ? { acceptanceReason: opts.because } : {}
+      ...opts.because !== void 0 ? { acceptanceReason: opts.because } : {},
+      ...opts.dispositions ? { dispositions: opts.dispositions } : {}
     });
     if (!prepared.ok) return prepared;
     try {

package/src/codegen_dart.ts

@@ -2742,14 +2742,14 @@ export function generateDartActivityRegistry(entries: readonly PackageActivityEn
     `  final String summary;`,
     `  final NomosModelReview review;`,
     `  final Future<NomosModelAdoption> Function()? _stage;`,
-    `  final Future<NomosModelAdoption> Function(String)? _accept;`,
+    `  final Future<NomosModelAdoption> Function(String, {Map<String, Object?>? dispositions})? _accept;`,
     `  const NomosModelAdoption.adopted({required this.summary, required this.review})`,
     `      : status = NomosModelAdoptionStatus.adopted, _stage = null, _accept = null;`,
     `  const NomosModelAdoption.blocked({required this.summary, required this.review})`,
     `      : status = NomosModelAdoptionStatus.blocked, _stage = null, _accept = null;`,
     `  NomosModelAdoption.needsStaging({required this.summary, required this.review, required Future<NomosModelAdoption> Function() stage})`,
     `      : status = NomosModelAdoptionStatus.needsStaging, _stage = stage, _accept = null;`,
-    `  NomosModelAdoption.needsDecision({required this.summary, required this.review, required Future<NomosModelAdoption> Function(String) accept})`,
+    `  NomosModelAdoption.needsDecision({required this.summary, required this.review, required Future<NomosModelAdoption> Function(String, {Map<String, Object?>? dispositions}) accept})`,
     `      : status = NomosModelAdoptionStatus.needsDecision, _stage = null, _accept = accept;`,
     `  Future<NomosModelAdoption> stage() {`,
     `    final stageCandidate = _stage;`,
@@ -2758,14 +2758,14 @@ export function generateDartActivityRegistry(entries: readonly PackageActivityEn
     `    }`,
     `    return stageCandidate();`,
     `  }`,
-    `  Future<NomosModelAdoption> accept(String because) {`,
+    `  Future<NomosModelAdoption> accept(String because, {Map<String, Object?>? dispositions}) {`,
     `    final reason = because.trim();`,
     `    final acceptDecision = _accept;`,
     `    if (status != NomosModelAdoptionStatus.needsDecision || acceptDecision == null) {`,
     `      throw StateError('This model change is not waiting for a business decision.');`,
     `    }`,
     `    if (reason.isEmpty) throw ArgumentError('accept(reason) needs the business reason for changing prior outcomes');`,
-    `    return acceptDecision(reason);`,
+    `    return acceptDecision(reason, dispositions: dispositions);`,
     `  }`,
     `}`,
     ``,

package/src/codegen_dart_client.ts

@@ -1670,11 +1670,11 @@ export function generateDartBridgeClient(
       `      sameOutcome: projection?['equal'] as bool?, differences: differences);`,
       `  }`,
       ``,
-      `  Future<NomosModelAdoption> _adoptGeneratedModel([String? because]) async {`,
+      `  Future<NomosModelAdoption> _adoptGeneratedModel([String? because, Map<String, Object?>? dispositions]) async {`,
       `    final raw = await bridge.nomosFrameworkAdoptGeneratedModel(`,
       `      domain: ${dartStr(
         domain
-      )}, candidateHash: domainHash, because: because);`,
+      )}, candidateHash: domainHash, because: because, dispositions: dispositions);`,
       `    final reportRaw = raw['report'];`,
       `    final report = reportRaw is Map ? reportRaw.cast<String, Object?>() : null;`,
       `    final review = _nomosModelReview(report);`,
@@ -2424,8 +2424,8 @@ export function generateDartBridgeClient(
           `            : null,`,
         ]),
     `        accept: adoption.status == NomosModelAdoptionStatus.needsDecision`,
-    `            ? (reason) async {`,
-    `                final accepted = await adoption.accept(reason);`,
+    `            ? (reason, {dispositions}) async {`,
+    `                final accepted = await adoption.accept(reason, dispositions: dispositions);`,
     `                if (accepted.status != NomosModelAdoptionStatus.adopted) {`,
     `                  throw StateError(accepted.summary);`,
     `                }`,

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.17";
+const NOMOS_FLUTTER_DEP = "^0.63.18";
 // 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).

package/src/stable_ids_for_module.ts

@@ -344,11 +344,15 @@ function normalizeFieldContract(value: unknown, parentKey = ""): unknown {
     return items;
   }
   if (value !== null && typeof value === "object") {
+    const record = value as Record<string, unknown>;
+    // `enumType(...)`'s exported-binding name (`bindEnumTypeExport`) rides the JSON Schema node
+    // as a cosmetic `name` purely for codegen/LSP labeling — it carries no business value and
+    // must never manufacture a false retype when a shared enum export is bound/renamed/moved.
+    const entries = record.type === "enum"
+      ? Object.entries(record).filter(([key]) => key !== "name")
+      : Object.entries(record);
     return Object.fromEntries(
-      Object.entries(value as Record<string, unknown>).map(([key, child]) => [
-        key,
-        normalizeFieldContract(child, key),
-      ]),
+      entries.map(([key, child]) => [key, normalizeFieldContract(child, key)]),
     );
   }
   return value;