@githolon/dsl 0.102.1 → 0.102.3

package/src/usd_layers.ts

@@ -83,6 +83,11 @@ export const NOMOS_USD_LAYERED_PACKAGE_FORMAT = "nomos.usd-layered-package.v1";
 /** The self-contained ledger/runtime stage: native law plus indexed executable plan assets. */
 export const NOMOS_USD_PLAN_PACKAGE_FORMAT = "nomos.openusd-plan-package.v2";
 
+/** Append generated lines without turning a large law into function arguments. */
+function appendLines(target: string[], lines: readonly string[]): void {
+  for (const line of lines) target.push(line);
+}
+
 // ── small codecs ───────────────────────────────────────────────────────────────────
 
 /** Escape a string for a double-quoted usda string literal. */
@@ -201,7 +206,8 @@ export function nativeValueLines(name: string, value: unknown, indent: string):
       const position = `i${String(index).padStart(6, "0")}`;
       const identity = key === undefined ? position : `${position}:k${keyHex(key)}`;
       if (child !== null && typeof child === "object") {
-        lines.push("", ...emitContainer(identity.replace(/:/g, "_"), child, `${at}    `));
+        lines.push("");
+        appendLines(lines, emitContainer(identity.replace(/:/g, "_"), child, `${at}    `));
       } else {
         lines.push(scalarLine(child, identity, `${at}    `));
       }
@@ -210,11 +216,9 @@ export function nativeValueLines(name: string, value: unknown, indent: string):
     return lines;
   };
   const rootName = `__nms_${primName(name)}_${hash}`;
-  return [
-    `${indent}custom string nomos:value:${name} = ${usdaString(hash)}`,
-    "",
-    ...emitContainer(rootName, value, indent),
-  ];
+  const lines = [`${indent}custom string nomos:value:${name} = ${usdaString(hash)}`, ""];
+  appendLines(lines, emitContainer(rootName, value, indent));
+  return lines;
 }
 
 /** Field→driver map with keys sorted (the canonical schema shape `manifest.ts` emits). */
@@ -243,7 +247,11 @@ function domainLayerAttrLines(domain: string, layer: UsdLayer, indent: string):
     ["eraCertGate", layer.nomosEraCertGate], ["valueObjects", layer.nomosValueObjects],
     ["contracts", layer.nomosContracts], ["foreignRefs", layer.nomosForeignRefs], ["flowGate", layer.nomosFlowGate],
   ];
-  for (const [name, value] of values) if (value !== undefined) attrs.push("", ...nativeValueLines(name, value, indent));
+  for (const [name, value] of values) {
+    if (value === undefined) continue;
+    attrs.push("");
+    appendLines(attrs, nativeValueLines(name, value, indent));
+  }
   return attrs;
 }
 
@@ -379,7 +387,7 @@ export function usdaLayerText(
       for (const [field, driver] of Object.entries(prim.schema)) {
         body.push(`${ind3}custom string nomos:driver:${fieldToken(field)} = ${usdaString(driverToken(driver))}`);
       }
-      body.push(...relationLines(domainScope, aggById.get(prim.type), ind3));
+      appendLines(body, relationLines(domainScope, aggById.get(prim.type), ind3));
     } else {
       body.push(
         `${ind3}custom string nomos:kind = "directive"`,
@@ -392,13 +400,16 @@ export function usdaLayerText(
         body.push(`${ind3}custom string[] nomos:reads = ${usdaStringArray(prim.reads)}`);
       }
       if (prim.emits !== undefined) {
-        body.push("", ...nativeValueLines("emits", prim.emits, ind3));
+        body.push("");
+        appendLines(body, nativeValueLines("emits", prim.emits, ind3));
       }
       if (prim.secondaryOutputs !== undefined) {
-        body.push("", ...nativeValueLines("secondaryOutputs", prim.secondaryOutputs, ind3));
+        body.push("");
+        appendLines(body, nativeValueLines("secondaryOutputs", prim.secondaryOutputs, ind3));
       }
       if (prim.payloadJsonSchema !== undefined) {
-        body.push("", ...nativeValueLines("payloadJsonSchema", prim.payloadJsonSchema, ind3));
+        body.push("");
+        appendLines(body, nativeValueLines("payloadJsonSchema", prim.payloadJsonSchema, ind3));
       }
     }
     body.push(`${ind2}}`, ``);
@@ -424,7 +435,9 @@ export function usdaLayerText(
       `${ind3}custom string nomos:id = ${usdaString(d.id)}`,
       `${ind3}custom string nomos:of = ${usdaString(d.of)}`,
       ``,
-      ...nativeValueLines("returns", d.returns, ind3),
+    );
+    appendLines(body, nativeValueLines("returns", d.returns, ind3));
+    body.push(
       `${ind2}}`,
       ``,
     );
@@ -439,7 +452,9 @@ export function usdaLayerText(
       `${ind3}custom string nomos:refField = ${usdaString(c.refField)}`,
       `${ind3}custom string nomos:readsFrom = ${usdaString(c.reads)}`,
       ``,
-      ...nativeValueLines("returns", c.returns, ind3),
+    );
+    appendLines(body, nativeValueLines("returns", c.returns, ind3));
+    body.push(
       `${ind2}}`,
       ``,
     );
@@ -447,7 +462,7 @@ export function usdaLayerText(
   // Drop the trailing blank line inside the scope.
   if (body[body.length - 1] === "") body.pop();
 
-  return [
+  const lines = [
     `#usda 1.0`,
     `(`,
     `    customLayerData = {`,
@@ -461,14 +476,17 @@ export function usdaLayerText(
     `{`,
     `    def Scope ${usdaString(primName(domain))}`,
     `    {`,
-    // Stable ids + holon-owned manifests: native layer-level law values.
-    ...domainLayerAttrLines(domain, layer, "        "),
-    ``,
-    ...body,
+  ];
+  // Stable ids + holon-owned manifests: native layer-level law values.
+  appendLines(lines, domainLayerAttrLines(domain, layer, "        "));
+  lines.push(``);
+  appendLines(lines, body);
+  lines.push(
     `    }`,
     `}`,
     ``,
-  ].join("\n");
+  );
+  return lines.join("\n");
 }
 
 /**
@@ -482,26 +500,18 @@ export function layeredRootUsda(
   composed?: UsdDocument,
 ): string {
   const strongestFirst = [...sublayerRelPathsWeakToStrong].reverse();
-  const composedDomainOpinions =
-    composed === undefined || composed.layers.length === 0
-      ? []
-      : [
-          ``,
-          `over "Nomos"`,
-          `{`,
-          ...composed.layers.flatMap((layer) => {
-            const domain = layer.path.slice(layer.path.lastIndexOf("/") + 1);
-            return [
-              `    over ${usdaString(primName(domain))}`,
-              `    {`,
-              ...domainLayerAttrLines(domain, layer, "        "),
-              `    }`,
-            ];
-          }),
-          `}`,
-          ``,
-        ];
-  return [
+  const composedDomainOpinions: string[] = [];
+  if (composed !== undefined && composed.layers.length > 0) {
+    composedDomainOpinions.push(``, `over "Nomos"`, `{`);
+    for (const layer of composed.layers) {
+      const domain = layer.path.slice(layer.path.lastIndexOf("/") + 1);
+      composedDomainOpinions.push(`    over ${usdaString(primName(domain))}`, `    {`);
+      appendLines(composedDomainOpinions, domainLayerAttrLines(domain, layer, "        "));
+      composedDomainOpinions.push(`    }`);
+    }
+    composedDomainOpinions.push(`}`, ``);
+  }
+  const lines = [
     `#usda 1.0`,
     `(`,
     `    doc = """Nomos layered domain package. subLayers are STRONGEST-FIRST (USD layer-stack`,
@@ -512,14 +522,17 @@ export function layeredRootUsda(
     `        string "nomos:format" = ${usdaString(NOMOS_USD_LAYERED_PACKAGE_FORMAT)}`,
     `    }`,
     `    subLayers = [`,
-    ...strongestFirst.map(
-      (p, i) => `        @${p}@${i < strongestFirst.length - 1 ? "," : ""}`,
-    ),
+  ];
+  strongestFirst.forEach((p, index) => {
+    lines.push(`        @${p}@${index < strongestFirst.length - 1 ? "," : ""}`);
+  });
+  lines.push(
     `    ]`,
     `)`,
-    ...composedDomainOpinions,
-    ``,
-  ].join("\n");
+  );
+  appendLines(lines, composedDomainOpinions);
+  lines.push(``);
+  return lines.join("\n");
 }
 
 export interface UsdPlanAsset {
@@ -579,7 +592,8 @@ export function nativePlanPackageUsda(
       if (opened && balance === 0) { end = index; break; }
     }
     if (end < 0) throw new Error(`usd-layers: native domain '${domain}' has unbalanced scopes`);
-    domainBlocks.push(...lines.slice(start, end + 1), "");
+    appendLines(domainBlocks, lines.slice(start, end + 1));
+    domainBlocks.push("");
   }
   if (domainBlocks[domainBlocks.length - 1] === "") domainBlocks.pop();
 
@@ -617,7 +631,7 @@ export function nativePlanPackageUsda(
   if (runtime[runtime.length - 1] === "") runtime.pop();
   runtime.push(`    }`, `}`);
 
-  return [
+  const lines = [
     `#usda 1.0`,
     `(`,
     `    customLayerData = {`,
@@ -627,12 +641,15 @@ export function nativePlanPackageUsda(
     ``,
     `def Scope "Nomos"`,
     `{`,
-    ...domainBlocks,
+  ];
+  appendLines(lines, domainBlocks);
+  lines.push(
     `}`,
     ``,
-    ...runtime,
-    ``,
-  ].join("\n");
+  );
+  appendLines(lines, runtime);
+  lines.push(``);
+  return lines.join("\n");
 }
 
 // ── the ordered opinion-map fold (flatten) ───────────────────────────────────────────

package/src/workspace_sharing.ts

@@ -166,8 +166,8 @@ export function workspaceSharing(options: WorkspaceSharingOptions): WorkspaceSha
     businessBirthInternal: true as const,
   };
   const b64 = z.string().regex(/^[A-Za-z0-9+/]+={0,2}$/, "expected base64");
-  const redeem = nomosImplementationDetail(
-    directive(redeemId)
+  const redeem = nomosImplementationDetail({
+    ...directive(redeemId)
       .mutates(options.orders)
       .payload(z.object({
         orderId: z.string().min(1),
@@ -199,7 +199,9 @@ export function workspaceSharing(options: WorkspaceSharingOptions): WorkspaceSha
       })
       .alsoEnsures(RelationTuple)
       .alsoEnsures(NomosInvitationClaim),
-  );
+    // Possession proof is verified by NomosInvitationGate and intentionally never persisted.
+    nomosInvariantConsumedPayloadFields: ["invitationSignature"] as const,
+  });
   const gate = workspaceInvariant(`NomosInvitationGate:${options.orders.id}`)
     .on(redeemId)
     .reads(({ intent }) => [