@githolon/dsl 0.61.2 → 0.61.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.61.2",
+  "version": "0.61.3",
   "type": "module",
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
   "license": "SEE LICENSE IN LICENSE.md",

package/src/codegen_proof.ts

@@ -2108,17 +2108,16 @@ export function legsForDomain(mod: DomainModule, modules: readonly DomainModule[
   // only the first left the other children compile-valid-only (unprovable through their birth).
   const parentBirths = allBirths.filter((b) => b.parentDomain === domain);
   const childBirths = parentBirths.map((b) => {
-    const withParent = attachParentSetup(b, allBirths);
     // BIRTHS ISOLATION: with >1 birth leg, uniquify each leg's synthesized child so the legs don't collide
     // on one generated child workspace name (the discriminator = the birth directive id, unique per leg).
+    // MUTABLE leg — uniquify does NOT short-circuit the relationSetup attachment below (co2's two sibling
+    // gated births both need BOTH: a distinct child AND the seeded authority chain).
+    let withParent = attachParentSetup(b, allBirths);
     if (parentBirths.length > 1) {
       const birthDir = (mod.directives as Directive<unknown>[]).find((d) => d?.id === b.birthDirectiveId);
       const schema = birthDir?.payloadSchema as z.ZodTypeAny | undefined;
-      const disc = b.birthDirectiveId;
-      const uniq = uniquifyBirthPayload(withParent.birthPayload, disc, schema);
-      if (uniq !== withParent.birthPayload) {
-        return { ...withParent, birthPayload: uniq };
-      }
+      const uniq = uniquifyBirthPayload(withParent.birthPayload, b.birthDirectiveId, schema);
+      if (uniq !== withParent.birthPayload) withParent = { ...withParent, birthPayload: uniq };
     }
     // A GATED birth with no parent-birth authority path: seat its relation via the SAME granter/seed
     // discovery the relation-bootstrap leg uses (the law's own authority path, e.g. co2's