githolon 0.18.0 → 0.19.0

package/dist/cli.mjs

@@ -1133,6 +1133,7 @@ var init_local_holon = __esm({
 var proof_offline_exports = {};
 __export(proof_offline_exports, {
   parseOfflineLegs: () => parseOfflineLegs,
+  runChildBirthLeg: () => runChildBirthLeg,
   runOfflineLegs: () => runOfflineLegs,
   runOfflineProofStandalone: () => runOfflineProofStandalone
 });
@@ -1186,7 +1187,7 @@ function parseOfflineLegs(proofSource) {
     ...countLeg !== void 0 ? { count: countLeg } : {}
   };
 }
-function runOfflineLegs(eng, ws, lawHash, legs) {
+function runOfflineLegs(eng, ws, lawHash, legs, frameworkHash) {
   const t0 = performance.now();
   const done = (ok, lines2, error) => ({
     ok,
@@ -1195,33 +1196,108 @@ function runOfflineLegs(eng, ws, lawHash, legs) {
     ...error !== void 0 ? { error } : {}
   });
   const lines = [];
-  const payload = { ...legs.payload };
-  const stamp = (/* @__PURE__ */ new Date()).toISOString();
-  for (const f of legs.autoStamped) payload[f] = stamp;
-  if (legs.mintField !== void 0 && legs.aggregateId !== void 0) {
-    payload[legs.mintField] = mintId(eng, legs.aggregateId);
+  const kinds = legs.legs ?? (legs.directiveId !== void 0 ? ["standalone-provable"] : []);
+  if (legs.directiveId !== void 0) {
+    const payload = { ...legs.payload };
+    const stamp = (/* @__PURE__ */ new Date()).toISOString();
+    for (const f of legs.autoStamped ?? []) payload[f] = stamp;
+    if (legs.mintField !== void 0 && legs.aggregateId !== void 0) {
+      payload[legs.mintField] = mintId(eng, legs.aggregateId);
+    }
+    const res = author(eng, ws, legs.domain, legs.directiveId, payload, lawHash);
+    if (res.ok === false) {
+      return done(false, lines, `dispatch ${legs.domain}/${legs.directiveId} refused: ${res.error ?? "unknown"} \u2014 the law itself rejected its own synthesized sample; check the directive's plan/payload schema`);
+    }
+    const createdId = (sealedIntentOf(eng, ws, res)?.events ?? []).find((e) => e.marker === "Create")?.aggregate;
+    lines.push(`\u2713 dispatch ${legs.domain}/${legs.directiveId} \u2014 offline write under the new law${createdId !== void 0 ? ` (${createdId.slice(0, 28)}\u2026)` : ""}`);
+    if (legs.query !== void 0) {
+      const rows = query(eng, ws, legs.query.id, JSON.stringify(legs.query.params));
+      if (rows.length !== 1 || createdId !== void 0 && rows[0].id !== createdId) {
+        return done(false, lines, `declared query ${legs.query.id} expected the 1 created row, got ${JSON.stringify(rows.map((r) => r.id))} \u2014 check the query's key fields against the directive's payload`);
+      }
+      lines.push(`\u2713 declared query ${legs.query.id} answers locally \u2014 1 row`);
+    }
+    if (legs.count !== void 0) {
+      const c = count(eng, ws, legs.count.id, legs.count.group).count;
+      if (c !== 1) {
+        return done(false, lines, `declared count ${legs.count.id}(${JSON.stringify(legs.count.group)}) expected 1, got ${c} \u2014 check the count's grouping against the created row`);
+      }
+      lines.push(`\u2713 declared count ${legs.count.id}(${JSON.stringify(legs.count.group)}) = 1 locally`);
+    }
+  }
+  if (legs.childBirth !== void 0) {
+    const v = runChildBirthLeg(eng, ws, lawHash, legs.childBirth, frameworkHash);
+    lines.push(...v.legs);
+    if (!v.ok) return done(false, lines, v.error);
+  }
+  if (legs.directiveId === void 0 && legs.childBirth === void 0) {
+    lines.push(`\u2713 ${legs.domain} \u2014 compile-valid (the law compiled; no standalone create or .births() to prove a write)${kinds.length ? ` [${kinds.join(", ")}]` : ""}`);
   }
-  const res = author(eng, ws, legs.domain, legs.directiveId, payload, lawHash);
+  return done(true, lines);
+}
+function runChildBirthLeg(eng, ws, lawHash, cb, frameworkHash) {
+  const t0 = performance.now();
+  const lines = [];
+  const done = (ok, error) => ({ ok, ms: performance.now() - t0, legs: lines, ...error !== void 0 ? { error } : {} });
+  const fw = frameworkHash ?? eng.hashes?.nomos;
+  const payload = { ...cb.birthPayload };
+  if (cb.frameworkHashField !== void 0) payload[cb.frameworkHashField] = fw;
+  if (cb.lawHashField !== void 0) payload[cb.lawHashField] = lawHash;
+  const stamp = (/* @__PURE__ */ new Date()).toISOString();
+  for (const f of cb.birthAutoStamped) payload[f] = stamp;
+  const res = author(eng, ws, cb.parentDomain, cb.birthDirectiveId, payload, lawHash);
   if (res.ok === false) {
-    return done(false, lines, `dispatch ${legs.domain}/${legs.directiveId} refused: ${res.error ?? "unknown"} \u2014 the law itself rejected its own synthesized sample; check the directive's plan/payload schema`);
+    return done(false, `child birth ${cb.parentDomain}/${cb.birthDirectiveId} refused: ${res.error ?? "unknown"} \u2014 the parent's own gate rejected the birth offer (check the .births() plan + payload)`);
+  }
+  const childWs = (res.born ?? []).map((b) => b?.workspace).find((w) => typeof w === "string" && w.length > 0);
+  if (childWs === void 0) {
+    return done(false, `child birth ${cb.parentDomain}/${cb.birthDirectiveId} admitted but the offer-effect spawned no child (born=${JSON.stringify(res.born ?? [])}) \u2014 the run_birth_effect did not fold a child (is the vendored kernel current? does the recipe carry a genesis chain?)`);
   }
-  const createdId = (sealedIntentOf(eng, ws, res)?.events ?? []).find((e) => e.marker === "Create")?.aggregate;
-  lines.push(`\u2713 dispatch ${legs.domain}/${legs.directiveId} \u2014 offline write under the new law${createdId !== void 0 ? ` (${createdId.slice(0, 28)}\u2026)` : ""}`);
-  if (legs.query !== void 0) {
-    const rows = query(eng, ws, legs.query.id, JSON.stringify(legs.query.params));
-    if (rows.length !== 1 || createdId !== void 0 && rows[0].id !== createdId) {
-      return done(false, lines, `declared query ${legs.query.id} expected the 1 created row, got ${JSON.stringify(rows.map((r) => r.id))} \u2014 check the query's key fields against the directive's payload`);
+  lines.push(`\u2713 child birth ${cb.parentDomain}/${cb.birthDirectiveId} \u2014 ${childWs} born (the offer-effect folded the child genesis through the child's OWN gate)`);
+  const installed = (hash) => {
+    try {
+      return qById(eng, childWs, `domain-installation:${hash}`).length > 0;
+    } catch {
+      return false;
     }
-    lines.push(`\u2713 declared query ${legs.query.id} answers locally \u2014 1 row`);
+  };
+  if (fw !== void 0 && !installed(fw)) {
+    return done(false, `the born child ${childWs} did not install the framework controller in-chain (domain-installation:${String(fw).slice(0, 12)}\u2026 absent) \u2014 the genesis bootstrap/installDomain did not fold`);
+  }
+  if (!installed(lawHash)) {
+    return done(false, `the born child ${childWs} did not install the child law in-chain (domain-installation:${lawHash.slice(0, 12)}\u2026 absent) \u2014 the genesis nomos/installDomain did not fold (by-hash byte routing failed: does the parent fold this law?)`);
   }
-  if (legs.count !== void 0) {
-    const c = count(eng, ws, legs.count.id, legs.count.group).count;
-    if (c !== 1) {
-      return done(false, lines, `declared count ${legs.count.id}(${JSON.stringify(legs.count.group)}) expected 1, got ${c} \u2014 check the count's grouping against the created row`);
+  lines.push(`\u2713 the born child installed the framework + child law IN-CHAIN (the genesis installDomain\xD72 folded)`);
+  let seedRows = [];
+  if (cb.childSeedInstanceId !== void 0) {
+    try {
+      seedRows = qById(eng, childWs, cb.childSeedInstanceId);
+    } catch (e) {
+      return done(false, `reading the child seed (${cb.childSeedInstanceId}) failed: ${e.message}`);
+    }
+  } else if (cb.childQuery !== void 0) {
+    const params = Object.fromEntries(cb.childQuery.key.map((k) => [k, payload[k] ?? ""]));
+    try {
+      seedRows = query(eng, childWs, cb.childQuery.id, JSON.stringify(params));
+    } catch (e) {
+      return done(false, `the child declared query ${cb.childQuery.id} failed: ${e.message}`);
     }
-    lines.push(`\u2713 declared count ${legs.count.id}(${JSON.stringify(legs.count.group)}) = 1 locally`);
   }
-  return done(true, lines);
+  if ((cb.childSeedInstanceId !== void 0 || cb.childQuery !== void 0) && seedRows.length < 1) {
+    return done(false, `the born child ${childWs} did not seed ${cb.childSeedAggregateId ?? "its genesis record"} (${cb.childSeedDirectiveId} produced no readable row) \u2014 the child genesis seed did not run`);
+  }
+  lines.push(`\u2713 the born child's genesis seed ran \u2014 ${cb.childSeedDirectiveId} produced ${seedRows.length} readable ${cb.childSeedAggregateId ?? "row"}(s) in ${childWs}`);
+  let verdict;
+  try {
+    verdict = verifyChainLocal(eng, childWs);
+  } catch (e) {
+    return done(false, `verify_chain on the born child ${childWs} threw: ${e.message}`);
+  }
+  if (verdict.valid !== true) {
+    return done(false, `the born child ${childWs} FAILED verify_chain at ${verdict.check ?? "?"}${verdict.atIndex !== void 0 ? ` (intent ${verdict.atIndex})` : ""}: ${verdict.error ?? "invalid"} \u2014 the child's own gate refused its genesis`);
+  }
+  lines.push(`\u2713 verify_chain GREEN on the born child ${childWs} (${verdict.plansRerun ?? "?"} plans re-run \u2014 it self-validates from intent 0 through its OWN gate)`);
+  return done(true);
 }
 async function runOfflineProofStandalone(proofPath, cloud, domain) {
   const src = readFileSync3(proofPath, "utf8");
@@ -1240,7 +1316,13 @@ async function runOfflineProofStandalone(proofPath, cloud, domain) {
       throw new Error(`no provable domain '${chosen}' in this package \u2014 it proves: ${keys.join(", ")} (pick one: githolon proof --domain <key>)`);
     }
     legs = index.domains[chosen];
-    if (keys.length > 1) console.log(`githolon proof \u2014 domain '${chosen}' (of ${keys.length}: ${keys.join(", ")}; --domain <key> to switch)`);
+    if (keys.length > 1) {
+      console.log(`githolon proof \u2014 domain '${chosen}' (of ${keys.length}; --domain <key> to switch):`);
+      for (const k of keys) {
+        const kk = index.domains[k].legs ?? (index.domains[k].directiveId !== void 0 ? ["standalone-provable"] : ["compile-valid"]);
+        console.log(`  ${k === chosen ? "\u25B8" : " "} ${k.padEnd(20)} ${kk.join(", ")}`);
+      }
+    }
   } else {
     if (domain !== void 0) throw new Error(`--domain needs a per-domain legs index (build/${packageName}.proof-legs.json) \u2014 recompile with \`githolon compile\` to emit it`);
     legs = parseOfflineLegs(src);
@@ -1253,7 +1335,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);
+  const v = runOfflineLegs(eng, ws, lawHash, legs, eng.hashes.nomos);
   for (const l of v.legs) console.log(l);
   if (!v.ok) {
     console.error(`\u2717 ${v.error}`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "githolon",
-  "version": "0.18.0",
+  "version": "0.19.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",
@@ -27,8 +27,8 @@
   },
   "dependencies": {
     "@bjorn3/browser_wasi_shim": "0.4.2",
-    "@githolon/client": "^0.18.0",
-    "@githolon/dsl": "^0.18.0",
+    "@githolon/client": "^0.19.0",
+    "@githolon/dsl": "^0.19.0",
     "isomorphic-git": "^1.38.4"
   },
   "devDependencies": {