@githolon/dsl 0.105.13 → 0.105.15

package/src/law_graph.ts

@@ -745,10 +745,20 @@ export type DeclaredLawNode =
 export interface LawGraph {
   readonly v: 1;
   readonly domain: LawDomainNode;
+  /** Explicit tombstones authored in evolution files. The compiler registry remembers
+   * every disappearance, but only these candidate-carried facts authorize retirement. */
+  readonly retirements: readonly LawRetirement[];
   /** Canonically SID-ordered, so module/export discovery order cannot affect traversal. */
   readonly nodes: readonly DeclaredLawNode[];
 }
 
+export interface LawRetirement {
+  readonly kind: "aggregate" | "field";
+  readonly sid: string;
+  readonly label: string;
+  readonly parentSid?: string;
+}
+
 export interface DiscoverLawGraphOptions {
   readonly intentCarries?: readonly LawIdentityCarry[];
   readonly readCarries?: readonly LawIdentityCarry[];
@@ -2273,7 +2283,54 @@ export function discoverLawGraph(
     ...predicateNodes.values(),
   ].sort((a, b) => compareText(a.entity.id, b.entity.id));
   registry = identities.finish();
-  return { registry, graph: { v: 1, domain: domainNode, nodes } };
+  const identityEntity = (
+    kind: "aggregate" | "field",
+    parent: string,
+    label: string,
+    status?: "active" | "retired",
+  ) => {
+    const matches = Object.entries(registry.entities).filter(([, candidate]) =>
+      candidate.kind === kind &&
+      candidate.parent === parent &&
+      (status === undefined || candidate.status === status) &&
+      (candidate.label === label || candidate.priorLabels?.includes(label) === true)
+    );
+    if (matches.length !== 1) {
+      fail(
+        `${kind} retirement '${label}' resolves to ${matches.length} prior identities under '${parent}'; ` +
+          "a retirement must name exactly one declaration from the committed identity layer",
+      );
+    }
+    return matches[0]!;
+  };
+  const retirements = (module.retirements ?? []).map((declaration): LawRetirement => {
+    const [aggregateKey, aggregate] = identityEntity(
+      "aggregate",
+      domainKey,
+      declaration.aggregate,
+      declaration.kind === "aggregate" ? "retired" : undefined,
+    );
+    if (declaration.kind === "aggregate") {
+      return {
+        kind: "aggregate",
+        sid: aggregate.sid,
+        label: aggregate.label,
+      };
+    }
+    const [, field] = identityEntity(
+      "field",
+      aggregateKey,
+      declaration.field ?? "",
+      "retired",
+    );
+    return {
+      kind: "field",
+      sid: field.sid,
+      label: field.label,
+      parentSid: aggregate.sid,
+    };
+  }).sort((left, right) => compareText(`${left.kind}:${left.sid}`, `${right.kind}:${right.sid}`));
+  return { registry, graph: { v: 1, domain: domainNode, retirements, nodes } };
 }
 
 type ReadInputBase = { id: string; public: boolean };

package/src/law_graph_usda.ts

@@ -17,6 +17,7 @@ import type {
   LawPredicateNode,
   LawReadContractNode,
   LawReadNode,
+  LawRetirement,
   LawRelationNode,
   LawRelationObjectTypeNode,
   LawRelationPredicateNode,
@@ -586,6 +587,19 @@ export function emitSparseLawGraphUsda(
       `            custom uniform string nomos:parentCertField = ${quote(domain.parentAttestedBirth.certField)}`,
     );
   }
+  if (graph.retirements.length > 0) {
+    lines.push("", '            def Scope "Retirements"', "            {");
+    for (const retirement of graph.retirements) {
+      const name = `${retirement.kind === "aggregate" ? "a" : "f"}_${retirement.sid}`;
+      lines.push(
+        `                def NomosRetirement ${quote(name)}`,
+        "                {",
+        ...emitRetirement(retirement, 20),
+        "                }",
+      );
+    }
+    lines.push("            }");
+  }
   lines.push("");
   emitContainer(lines, "Aggregates", aggregates, 12, (aggregate, indent) =>
     emitAggregate(aggregate, fields, pathById, resolveDependency, indent));
@@ -664,6 +678,18 @@ export function emitSparseLawGraphUsda(
   return lines.join("\n");
 }
 
+function emitRetirement(retirement: LawRetirement, indent: number): string[] {
+  const pad = " ".repeat(indent);
+  return [
+    `${pad}custom uniform token nomos:entityKind = ${quote(retirement.kind)}`,
+    `${pad}custom uniform string nomos:label = ${quote(retirement.label)}`,
+    `${pad}custom uniform string nomos:sid = ${quote(retirement.sid)}`,
+    ...(retirement.parentSid === undefined
+      ? []
+      : [`${pad}custom uniform string nomos:parentSid = ${quote(retirement.parentSid)}`]),
+  ];
+}
+
 function emitAggregate(
   aggregate: LawAggregateNode,
   fields: readonly LawFieldNode[],

package/src/stable_ids_for_module.ts

@@ -170,7 +170,7 @@ function fieldEvolutionRules(
       fieldSid,
       declaration.source.kind,
       source.contract,
-      driver,
+      encodeDriver(declaration.source.driver),
     );
     if (declaration.mode === "identity" && !safeIdentityProjection(source.shape, target.shape)) {
       throw new Error(