@githolon/dsl 0.107.1 → 0.107.3

package/package.json

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

@@ -1665,7 +1665,7 @@ const NOMOS_TYPES_DEP = "^0.8.8";
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
 const NOMOS_CLIENT_DEP = "^0.64.46";
-const NOMOS_FLUTTER_DEP = "^0.63.75";
+const NOMOS_FLUTTER_DEP = "^0.63.76";
 // 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/framework/domain_lifecycle.ts

@@ -28,6 +28,7 @@ import {
   type Sha256Digest,
 } from "../fields.js";
 import { directive } from "../directive.js";
+import { formerAggregate, retirement } from "../evolution.js";
 import { set, withMarker, addToSet, type PlannedOp } from "../ops.js";
 import { key, relationRef, relationType, self, user } from "../relation_schema.js";
 
@@ -157,6 +158,34 @@ export const ReleaseReceipt = aggregate(RELEASE_RECEIPT_AGGREGATE, {
   acceptedAt: t.int().merge(Lww),
 }).public();
 
+const counterfactualReleaseReceipt = formerAggregate(RELEASE_RECEIPT_AGGREGATE, [
+  "baselineRoot",
+  "candidateIntents",
+  "candidateRoot",
+  "complete",
+  "divergenceCount",
+  "historyHash",
+  "projectionEqual",
+  "rawPromotable",
+  "replayedIntents",
+  "reportHash",
+  "reportJson",
+] as const);
+
+/** CAP-648 makes promotion a current-frontier transition. These old whole-history
+ * report fields are genuine framework retirements, carried by the candidate law. */
+export const baselineRootRetired = retirement(counterfactualReleaseReceipt.fields.baselineRoot);
+export const candidateIntentsRetired = retirement(counterfactualReleaseReceipt.fields.candidateIntents);
+export const candidateRootRetired = retirement(counterfactualReleaseReceipt.fields.candidateRoot);
+export const completeRetired = retirement(counterfactualReleaseReceipt.fields.complete);
+export const divergenceCountRetired = retirement(counterfactualReleaseReceipt.fields.divergenceCount);
+export const historyHashRetired = retirement(counterfactualReleaseReceipt.fields.historyHash);
+export const projectionEqualRetired = retirement(counterfactualReleaseReceipt.fields.projectionEqual);
+export const rawPromotableRetired = retirement(counterfactualReleaseReceipt.fields.rawPromotable);
+export const replayedIntentsRetired = retirement(counterfactualReleaseReceipt.fields.replayedIntents);
+export const reportHashRetired = retirement(counterfactualReleaseReceipt.fields.reportHash);
+export const reportJsonRetired = retirement(counterfactualReleaseReceipt.fields.reportJson);
+
 export function domainInstallationAggregateId(domainHash: Sha256Digest): string {
   return `domain-installation:${domainHash}`;
 }

package/src/law_graph.ts

@@ -9,6 +9,7 @@ import { finishExtremum } from "./extremum.js";
 import { finishSum } from "./sum.js";
 import {
   createLawIdentityReconciler,
+  LAW_FRAMEWORK_PARENT,
   lawEntityKey,
   mintOwnedLawSid,
   mintStructuralLawSid,
@@ -2304,9 +2305,14 @@ export function discoverLawGraph(
     return matches[0]!;
   };
   const retirements = (module.retirements ?? []).map((declaration): LawRetirement => {
+    const retirementParent = (module.aggregates ?? []).some(
+      (aggregate) => aggregate.id === declaration.aggregate && aggregate.framework === true,
+    )
+      ? LAW_FRAMEWORK_PARENT
+      : domainKey;
     const [aggregateKey, aggregate] = identityEntity(
       "aggregate",
-      domainKey,
+      retirementParent,
       declaration.aggregate,
       declaration.kind === "aggregate" ? "retired" : undefined,
     );