githolon 0.5.0 → 0.5.1

package/dist/cli.mjs

@@ -832,14 +832,28 @@ function runOfflineLegs(eng, ws, lawHash, legs) {
   }
   return done(true, lines);
 }
-async function runOfflineProofStandalone(proofPath, cloud) {
+async function runOfflineProofStandalone(proofPath, cloud, domain) {
   const src = readFileSync3(proofPath, "utf8");
-  const legs = parseOfflineLegs(src);
   const packageName = basename(proofPath).replace(/\.proof\.mts$/, "");
   const deployFile = join6(dirname3(proofPath), `${packageName}.deploy.json`);
   if (!existsSync5(deployFile)) {
     throw new Error(`missing ${deployFile} \u2014 run \`githolon compile\` (the proof and the deploy body are built together)`);
   }
+  let legs;
+  const legsFile = join6(dirname3(proofPath), `${packageName}.proof-legs.json`);
+  if (existsSync5(legsFile)) {
+    const index = JSON.parse(readFileSync3(legsFile, "utf8"));
+    const keys = Object.keys(index.domains);
+    const chosen = domain ?? index.default;
+    if (index.domains[chosen] === void 0) {
+      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)`);
+  } 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);
+  }
   const deployBody = JSON.parse(readFileSync3(deployFile, "utf8"));
   const lawHash = await sha256hex(deployBody.packageUsda);
   console.log(`githolon proof \u2014 OFFLINE legs on a local holon (the cloud loop: githolon proof --live)`);
@@ -1744,9 +1758,9 @@ var HELP = {
     examples: ["githolon compile", "githolon compile nomos.package.mjs --layered"]
   },
   proof: {
-    usage: "githolon proof [build/<name>.proof.mts] [--live] [--keep]",
-    what: "Run the proof GENERATED from your law. DEFAULT: the OFFLINE legs on a LOCAL holon \u2014 the\nsame engine plane the cloud edge runs; no cloud workspace is touched (develop/play/understand\nhere, deploy with confidence after). --live runs the full cloud loop (throwaway workspace \u2192\ndeploy \u2192 offline write \u2192 admission \u2192 cloud reads \u2192 convergence), RETIRED on every exit;\n--keep keeps it and prints the secret once. ALL GREEN or it names the jam. The offline legs\nalso rerun on every save in `githolon dev`.",
-    examples: ["githolon proof", "githolon proof --live", "githolon proof --live --keep"]
+    usage: "githolon proof [build/<name>.proof.mts] [--domain <key>] [--live] [--keep]",
+    what: "Run the proof GENERATED from your law. DEFAULT: the OFFLINE legs on a LOCAL holon \u2014 the\nsame engine plane the cloud edge runs; no cloud workspace is touched (develop/play/understand\nhere, deploy with confidence after). --domain <key> proves a SPECIFIC domain of a multi-domain\npackage (offline; the default is the first). --live runs the full cloud loop (throwaway\nworkspace \u2192 deploy \u2192 offline write \u2192 admission \u2192 cloud reads \u2192 convergence), RETIRED on every\nexit; --keep keeps it and prints the secret once. ALL GREEN or it names the jam. The offline\nlegs also rerun on every save in `githolon dev`.",
+    examples: ["githolon proof", "githolon proof --domain co2_platform", "githolon proof --live", "githolon proof --live --keep"]
   },
   dev: {
     usage: "githolon dev [--port <n>] [--cloud <url>] [--once]",
@@ -2155,20 +2169,35 @@ var out8 = (s) => void process.stdout.write(s + "\n");
 var err8 = (s) => void process.stderr.write("error: " + s + "\n");
 function lawDiffVerdict(localHash, installed, ws) {
   const active = installed.filter((d) => d.phase === "Active" && typeof d.domainHash === "string");
-  const match = active.find((d) => d.domainHash === localHash);
-  if (match !== void 0) {
-    return { inSync: true, lines: [`\u2713 in sync \u2014 the deployed law IS your local build (${localHash.slice(0, 16)}\u2026)`] };
-  }
+  const currents = active.filter((d) => d.current === true);
+  const priors = active.filter((d) => d.current !== true);
+  const localActive = active.find((d) => d.domainHash === localHash);
+  const localIsCurrent = currents.some((d) => d.domainHash === localHash);
   const lines = [];
+  if (localIsCurrent || currents.length === 0 && localActive !== void 0) {
+    lines.push(`\u2713 in sync \u2014 the deployed law IS your local build (${localHash.slice(0, 16)}\u2026)`);
+    if (priors.length > 0) lines.push(`  (${priors.length} prior deploy(s) remain Active under install-beside; yours is the current one resolution serves)`);
+    return { inSync: true, lines };
+  }
   if (active.length === 0) {
     lines.push(`\u2717 workspace '${ws}' has NO active tenant law \u2014 your local build is not deployed`);
+  } else if (localActive !== void 0) {
+    lines.push(`~ your build (${localHash.slice(0, 16)}\u2026) is an ACTIVE install on '${ws}', but SUPERSEDED \u2014 a newer deploy is current:`);
+    for (const c of currents) lines.push(`    current  ${c.domainHash.slice(0, 16)}\u2026  (${c.installedBy ?? "?"})  \u2190 resolution serves this`);
+    lines.push(`  redeploy to make your build current: githolon deploy ${ws}`);
+    return { inSync: false, lines };
+  } else if (currents.length > 0) {
+    lines.push(`\u2717 local law differs from the current install${currents.length > 1 ? "s" : ""} on '${ws}':`);
+    for (const c of currents) lines.push(`    current  ${c.domainHash.slice(0, 16)}\u2026  (${c.installedBy ?? "?"})  \u2190 resolution serves this`);
+    if (priors.length > 0) lines.push(`    + ${priors.length} prior active install(s) (install-beside \u2014 historical, not served)`);
   } else {
-    lines.push(`\u2717 local law differs from every active installation on '${ws}':`);
+    lines.push(`\u2717 local law differs from every active installation on '${ws}' (${active.length}):`);
     for (const d of active) lines.push(`    deployed ${d.domainHash.slice(0, 16)}\u2026  (${d.installedBy ?? "?"})`);
   }
-  lines.push(`  remedy: githolon deploy ${ws}   (installs ${localHash.slice(0, 16)}\u2026)`);
+  lines.push(`  remedy: githolon deploy ${ws}   (installs ${localHash.slice(0, 16)}\u2026 and makes it current)`);
   return { inSync: false, lines };
 }
+var CONTROL_PLANE_KEYS = ["nomos", "bootstrap", "workspaces"];
 async function status(wsArg, opts) {
   const cloud = cloudBase(opts.cloud);
   let ws;
@@ -2197,11 +2226,18 @@ async function status(wsArg, opts) {
     return 1;
   }
   out8(`workspace  ${ws} on ${cloud}`);
-  const domains = d.domains ?? [];
-  if (domains.length === 0) out8(`installed  (none \u2014 not even the controller; the workspace may be unborn)`);
+  const allDomains = d.domains ?? [];
+  const controlPlaneHashes = new Set(CONTROL_PLANE_KEYS.map((k) => d.currentLaw?.[k]).filter(Boolean));
+  const domains = allDomains.filter((dm) => !controlPlaneHashes.has(dm.domainHash));
+  const controllerCount = allDomains.length - domains.length;
+  if (allDomains.length === 0) out8(`installed  (none \u2014 not even the controller; the workspace may be unborn)`);
   for (const dom of domains) {
-    out8(`installed  ${(dom.domainHash ?? "?").slice(0, 16)}\u2026  ${dom.phase ?? "?"}  by ${dom.installedBy ?? "?"}`);
+    const mark = dom.current === true ? "  \u2190 current (the holon resolves dispatch here)" : "";
+    out8(`installed  ${(dom.domainHash ?? "?").slice(0, 16)}\u2026  ${dom.phase ?? "?"}  by ${dom.installedBy ?? "?"}${mark}`);
   }
+  if (controllerCount > 0) out8(`           (+ ${controllerCount} control-plane install(s) \u2014 the nomos lifecycle controller; not tenant law)`);
+  const tenantActive = domains.filter((dm) => dm.phase === "Active").length;
+  if (tenantActive > 1) out8(`           (${tenantActive} active tenant installs \u2014 install-beside keeps every prior deploy Active; the holon serves the current one per domain)`);
   if (localHash === void 0) {
     out8(`local      (no build/*.deploy.json here \u2014 run \`githolon compile\` to build the law this project authors)`);
     return 0;
@@ -2381,7 +2417,20 @@ async function runProof(args) {
   const live = args.includes("--live");
   const keep = args.includes("--keep");
   if (keep && !live) return refuse("--keep only applies to --live (the offline proof creates no cloud workspace to keep)");
-  const explicit = args.find((a) => !a.startsWith("--"));
+  let domain;
+  let domainValueIdx = -1;
+  const di = args.findIndex((a) => a === "--domain" || a.startsWith("--domain="));
+  if (di >= 0) {
+    const a = args[di];
+    if (a.includes("=")) domain = a.slice(a.indexOf("=") + 1);
+    else {
+      domain = args[di + 1];
+      domainValueIdx = di + 1;
+    }
+    if (domain === void 0 || domain === "" || domain.startsWith("--")) return refuse("--domain needs a domain key: githolon proof --domain <key>");
+  }
+  if (domain !== void 0 && live) return refuse("--domain is an OFFLINE-lane selector (the --live proof runs the package's primary domain end-to-end); drop --live or drop --domain");
+  const explicit = args.find((a, i) => !a.startsWith("--") && i !== domainValueIdx);
   let proofPath;
   if (explicit !== void 0) {
     proofPath = resolve2(process.cwd(), explicit);
@@ -2404,7 +2453,7 @@ async function runProof(args) {
     try {
       const { runOfflineProofStandalone: runOfflineProofStandalone2 } = await Promise.resolve().then(() => (init_proof_offline(), proof_offline_exports));
       const { cloudBase: cloudBase2 } = await Promise.resolve().then(() => (init_cloud(), cloud_exports));
-      return await runOfflineProofStandalone2(proofPath, cloudBase2());
+      return await runOfflineProofStandalone2(proofPath, cloudBase2(), domain);
     } catch (e) {
       return refuse(`${e.message ?? e}`);
     }

package/package.json

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