@githolon/dsl 0.119.32 → 0.119.33

package/dart/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 0.70.31
+
+- Restage the bundled runtime with the coordinated compiler release that keeps each founded domain's `FoundingPrincipal` aggregate in place, so laws using the CAP-1011 founding read upgrade existing workspaces instead of being refused for removing it.
+
 ## 0.70.30
 
 - Restage the bundled runtime with the coordinated compiler release that selects founded business births from the durable founding record, so console device re-enrolment keeps a founded workspace able to birth children (CAP-1011).

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

@@ -26258,7 +26258,7 @@ function delayUntilDue(follow, nowUnixMillis) {
 
 // ../src/runtime/runtime_identity.ts
 init_define_NOMOS_KERNEL_RELEASE();
-var PEER_RUNTIME_IDENTITY = "0.119.32" ? `@githolon/runtime@${"0.119.32"}` : "@githolon/runtime@unbundled";
+var PEER_RUNTIME_IDENTITY = "0.119.33" ? `@githolon/runtime@${"0.119.33"}` : "@githolon/runtime@unbundled";
 
 // ../src/runtime/replica_follow_desk.ts
 init_define_NOMOS_KERNEL_RELEASE();

package/dart/pubspec.yaml

@@ -7,7 +7,7 @@ repository: https://github.com/Captain-App/nomos2
 description: >-
   Nomos 2 Dart client — generated domain values, intent payloads and application
   lifecycle types over the typed Nomos kernel protocol and USDA custody model.
-version: 0.70.30
+version: 0.70.31
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.119.32",
+  "version": "0.119.33",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
@@ -82,7 +82,7 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@githolon/runtime": "0.119.32",
+    "@githolon/runtime": "0.119.33",
     "@bufbuild/protobuf": "2.13.0",
     "@bufbuild/protoc-gen-es": "2.13.0",
     "esbuild": "0.24.2",

package/src/build_package.ts

@@ -79,6 +79,7 @@ import {
 } from "./value_object.js";
 import { expandCapabilityExports, isCapabilityDecl } from "./capability_exports.js";
 import { RelationTuple, relationTuplesByObject } from "./framework/relations.js";
+import { isNamespacedAggregate, qualifyReadProjectionType } from "./read_projection_namespace.js";
 import { type FoundingPrincipalSourceQuery } from "./framework/founding_genesis.js";
 import {
   SignerDelegation,
@@ -359,6 +360,12 @@ export function composeDomainModule(spec: DomainModuleSpec): DomainModule {
       }
     }
   }
+  // Founding-source reads served by this domain's own founding aggregate (source wire type -> owned id).
+  const ownedFoundingSources = new Map<string, string>();
+  const readOwnedFoundingSource = (query: QueryDecl): QueryDecl => {
+    const owned = ownedFoundingSources.get(query.returns);
+    return owned === undefined ? query : { ...query, returns: owned };
+  };
   const directives = applyConflictPolicyResolvers(
     applicationLanguage === undefined
       ? discoveredDirectives
@@ -580,14 +587,42 @@ export function composeDomainModule(spec: DomainModuleSpec): DomainModule {
     if (!directives.some((d) => d.id === seedAuthProvider.id)) directives.push(seedAuthProvider);
     if (!directives.some((d) => d.id === setAuthProvider.id)) directives.push(setAuthProvider);
     // Read-only founding schemas preserve each source's physical namespace. No writer or ensure effect.
+    // A source this domain already owns is read through that owned declaration: the domain's own
+    // `FoundingPrincipal` lowers to the same wire type, and it keeps its stable id, fields and writer.
+    // A second declaration of one wire type would replace that identity in the installed law, and the
+    // kernel's evolve gate would then refuse every existing workspace for removing it.
+    const ownedByWireType = new Map<string, AggregateHandle>();
+    for (const aggregate of byId.values()) {
+      ownedByWireType.set(
+        isNamespacedAggregate(aggregate) ? qualifyReadProjectionType(spec.name, aggregate.id) : aggregate.id,
+        aggregate,
+      );
+    }
     for (const reads of [spec.queries ?? [], ...directives.map((directive) => directive.declaredQueryReads ?? [])]) {
       for (const query of reads) {
         if (!("foundingPrincipalSource" in query)) continue;
         const source = (query as FoundingPrincipalSourceQuery).foundingPrincipalSource;
+        const owned = ownedByWireType.get(source.id);
+        if (owned !== undefined && owned.id !== source.id) {
+          const ownedFields = Object.keys(owned.fields).sort().join(",");
+          if (ownedFields !== Object.keys(source.fields).sort().join(",")) {
+            throw new Error(
+              `domain '${domain}': aggregate '${owned.id}' lowers to founding source '${source.id}' ` +
+                `but declares fields [${ownedFields}]`,
+            );
+          }
+          ownedFoundingSources.set(source.id, owned.id);
+          continue;
+        }
         if (!byId.has(source.id)) byId.set(source.id,
           { ...source, businessBirthInternal: true } as AggregateHandle);
       }
     }
+    for (const [index, directive] of directives.entries()) {
+      const reads = directive.declaredQueryReads;
+      if (reads === undefined || !reads.some((query) => ownedFoundingSources.has(query.returns))) continue;
+      directives[index] = { ...directive, declaredQueryReads: reads.map(readOwnedFoundingSource) } as Directive<any>;
+    }
   }
   // SECONDARY-CREATE AUTO-DECLARE (secondary_ensure.ts — the id-mint-gate DX): a plan may `ensure(B, "det:id")`
   // a SECOND aggregate at a deterministic id of a type its directive does NOT declare `.ensures()` for. The
@@ -679,7 +714,7 @@ export function composeDomainModule(spec: DomainModuleSpec): DomainModule {
   // As with directives, one stable query id is one declaration. This also makes an internal framework
   // wrapper win over an older public re-export discovered earlier in the module bag.
   const queryById = new Map<string, QueryDecl>();
-  for (const query of spec.queries ?? []) queryById.set(query.id, query);
+  for (const query of spec.queries ?? []) queryById.set(query.id, readOwnedFoundingSource(query));
   const queries = [...queryById.values()];
   // A directive's `.reads(query)` retains the complete typed declaration. It is
   // executable law, even when the query is intentionally absent from the

package/src/compile_package_main.ts

@@ -2593,8 +2593,8 @@ const NOMOS_TYPES_DEP = "^0.16.0";
 // 0.48.x: session-bound clients (XClient.bind/NomosClientInterface/DomainClientSessionMismatch/
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
-const NOMOS_CLIENT_DEP = "^0.70.30";
-const NOMOS_FLUTTER_DEP = "^0.69.22";
+const NOMOS_CLIENT_DEP = "^0.70.31";
+const NOMOS_FLUTTER_DEP = "^0.69.23";
 // DRIFT TRIPWIRE: pubspec_pins.test.ts asserts these equal the CURRENT versions in the Dart and Flutter
 // package pubspecs — a 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/law_graph.ts

@@ -847,6 +847,7 @@ export function discoverLawGraph(
   const domainRef = ref(domainEntity);
   const aggregateByLabel = new Map<string, { node: LawAggregateNode; fields: Map<string, LawFieldNode> }>();
   const aggregateNodes: LawAggregateNode[] = [];
+  const aggregateLabelByWireType = new Map<string, string>();
   const fieldNodes: LawFieldNode[] = [];
   const anonymousValueNodes = new Map<string, LawAnonymousValueNode>();
   const identities = createLawIdentityReconciler(sourceRegistry);
@@ -926,6 +927,16 @@ export function discoverLawGraph(
       implements: [],
       ...(ownerFieldRef === undefined ? {} : { ownerField: ownerFieldRef }),
     };
+    // The kernel's evolve gate keys a domain's aggregates by wire type. Two declarations sharing one
+    // would silently drop a stable id from the installed surface and refuse every existing workspace.
+    const sharing = aggregateLabelByWireType.get(node.wireType);
+    if (sharing !== undefined) {
+      fail(
+        `aggregates '${sharing}' and '${aggregate.id}' both lower to wire type ` +
+          `'${node.wireType}' in domain '${module.name}'; one physical type has one declaration`,
+      );
+    }
+    aggregateLabelByWireType.set(node.wireType, aggregate.id);
     aggregateByLabel.set(aggregate.id, { node, fields });
     aggregateNodes.push(node);
   }