githolon 0.30.1 → 0.31.0

package/dist/cli.mjs

@@ -1488,7 +1488,14 @@ function parseOfflineLegs(proofSource) {
     ...countLeg !== void 0 ? { count: countLeg } : {}
   };
 }
-function runOfflineLegs(eng, ws, lawHash, legs, frameworkHash) {
+async function mountIsolatedProofWs(eng, baseWs, lawHash, deployUsda) {
+  const iso = `${baseWs}-rb`;
+  await mountFresh(eng, iso);
+  author(eng, iso, "bootstrap", "installDomain", installPayload(eng.hashes.nomos, eng.nomosPkg, "githolon-proof"), "");
+  author(eng, iso, "nomos", "installDomain", installPayload(lawHash, deployUsda, "githolon-proof"), eng.hashes.nomos);
+  return iso;
+}
+async function runOfflineLegs(eng, ws, lawHash, legs, frameworkHash, deployUsda) {
   const t0 = performance.now();
   const done = (ok, lines2, error) => ({
     ok,
@@ -1532,7 +1539,11 @@ function runOfflineLegs(eng, ws, lawHash, legs, frameworkHash) {
     if (!v.ok) return done(false, lines, v.error);
   }
   if (legs.relationBootstrap !== void 0) {
-    const v = runRelationBootstrapLeg(eng, ws, lawHash, legs.relationBootstrap);
+    let rbWs = ws;
+    if (legs.relationBootstrap.bornContext === void 0 && deployUsda !== void 0) {
+      rbWs = await mountIsolatedProofWs(eng, ws, lawHash, deployUsda);
+    }
+    const v = runRelationBootstrapLeg(eng, rbWs, lawHash, legs.relationBootstrap);
     lines.push(...v.legs);
     if (!v.ok) return done(false, lines, v.error);
   }
@@ -1654,11 +1665,25 @@ function runRelationBootstrapLeg(eng, ws, lawHash, rb) {
   if (rb.bornContext !== void 0) {
     return runBornContextLeg(eng, ws, lawHash, rb, ACTOR, stamp);
   }
-  const grantPayload = { ...rb.grantPayload };
-  const overwrite = /* @__PURE__ */ new Set([...rb.grantSubjectFields, ...rb.grantGrantedByFields]);
-  for (const k of Object.keys(grantPayload)) {
-    if (overwrite.has(k) || /^(subject|principal|grantedBy|grantee|member|user|owner)$/i.test(k)) grantPayload[k] = ACTOR;
+  const seatActorFields = (payload, routed) => {
+    const set = new Set(routed);
+    for (const k of Object.keys(payload)) {
+      if (set.has(k) || /^(subject|principal|grantedBy|grantee|member|user|owner|founder)$/i.test(k)) payload[k] = ACTOR;
+    }
+  };
+  for (const seed of rb.prerequisiteSeeds ?? []) {
+    const seedPayload = { ...seed.payload };
+    seatActorFields(seedPayload, []);
+    for (const f of seed.autoStamped) seedPayload[f] = stamp;
+    const seedRes = author(eng, ws, rb.domain, seed.directiveId, seedPayload, lawHash, actorOpts);
+    if (seedRes.ok === false) {
+      lines.push(`\u2013 relation-bootstrap leg SKIPPED (prerequisite-seed chain) \u2014 the prerequisite seed ${rb.domain}/${seed.directiveId} REFUSED with a synthesized payload (${seedRes.error ?? "refused"}); the granter ${rb.grantDirectiveId}'s prerequisite can't be established standalone \u2014 prove ${rb.gatedDirectiveId} via a birth genesis / by hand`);
+      return done(true);
+    }
+    lines.push(`\u2713 relation bootstrap (prerequisite) \u2014 ${rb.domain}/${seed.directiveId} established (as founder ${ACTOR}) before the grant`);
   }
+  const grantPayload = { ...rb.grantPayload };
+  seatActorFields(grantPayload, [...rb.grantSubjectFields, ...rb.grantGrantedByFields]);
   for (const f of rb.grantAutoStamped) grantPayload[f] = stamp;
   const grantRes = author(eng, ws, rb.domain, rb.grantDirectiveId, grantPayload, lawHash, actorOpts);
   if (grantRes.ok === false) {
@@ -1762,7 +1787,7 @@ async function runOfflineProofStandalone(proofPath, cloud, domain) {
   await mountFresh(eng, ws);
   author(eng, ws, "bootstrap", "installDomain", installPayload(eng.hashes.nomos, eng.nomosPkg, "githolon-proof"), "");
   author(eng, ws, "nomos", "installDomain", installPayload(lawHash, deployBody.packageUsda, "githolon-proof"), eng.hashes.nomos);
-  const v = runOfflineLegs(eng, ws, lawHash, legs, eng.hashes.nomos);
+  const v = await runOfflineLegs(eng, ws, lawHash, legs, eng.hashes.nomos, deployBody.packageUsda);
   for (const l of v.legs) console.log(l);
   if (!v.ok) {
     console.error(`\u2717 ${v.error}`);
@@ -2226,7 +2251,7 @@ async function runProofCycle(s, cwd, deployBody, installedBy) {
     await mountFresh(s.eng, scratch);
     author(s.eng, scratch, "bootstrap", "installDomain", installPayload(s.eng.hashes.nomos, s.eng.nomosPkg, installedBy), "");
     author(s.eng, scratch, "nomos", "installDomain", installPayload(s.lawHash, deployBody.packageUsda, installedBy), s.eng.hashes.nomos);
-    return runOfflineLegs(s.eng, scratch, s.lawHash, legs);
+    return await runOfflineLegs(s.eng, scratch, s.lawHash, legs, s.eng.hashes.nomos, deployBody.packageUsda);
   } catch (e) {
     return { ok: false, ms: 0, legs: [], error: String(e.message ?? e) };
   } finally {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "githolon",
-  "version": "0.30.1",
+  "version": "0.31.0",
   "type": "module",
   "description": "githolon — the Nomos developer CLI: Rails-style generators for @githolon/dsl domains + the package compiler. Kernel-independent.",
   "license": "SEE LICENSE IN LICENSE.md",
@@ -29,8 +29,8 @@
   },
   "dependencies": {
     "@bjorn3/browser_wasi_shim": "0.4.2",
-    "@githolon/client": "^0.30.1",
-    "@githolon/dsl": "^0.30.1",
+    "@githolon/client": "^0.31.0",
+    "@githolon/dsl": "^0.31.0",
     "isomorphic-git": "^1.38.4"
   },
   "devDependencies": {