githolon 0.53.0 → 0.54.1

package/dist/cli.mjs

@@ -1326,6 +1326,20 @@ function runCheck(args) {
   const r = spawnSync(process.execPath, [launcher, ...args], { stdio: "inherit", cwd: process.cwd() });
   return r.status ?? 1;
 }
+function resolveCompatLauncher(cwd) {
+  const launcher = resolveCompileLauncher(cwd);
+  return launcher === void 0 ? void 0 : join4(dirname2(launcher), "compat_package.mjs");
+}
+function runCompat(args) {
+  const launcher = resolveCompatLauncher(process.cwd());
+  if (launcher === void 0) {
+    process.stderr.write(`error: ${NO_DSL_REMEDY}
+`);
+    return 1;
+  }
+  const r = spawnSync(process.execPath, [launcher, ...args], { stdio: "inherit", cwd: process.cwd() });
+  return r.status ?? 1;
+}
 function resolveLspLauncher(cwd) {
   const launcher = resolveCompileLauncher(cwd);
   return launcher === void 0 ? void 0 : join4(dirname2(launcher), "lsp_server.mjs");
@@ -1877,7 +1891,7 @@ function parseAttestedReadNeed(error) {
 function verifyChainLocal(eng, ws) {
   return JSON.parse(call(eng.ex, "query", { repoArg: repoArgOf(ws), workspace: ws, queryBytes: b64Json({ op: "verifyChain" }), branch: BRANCH }, eng.STDERR));
 }
-var enc3, dec3, BRANCH, RESULT_PACK_INLINE_MAX, repoArgOf, gitdirOf, unpack, repoArgOfGitdir, bytesFromB64, kgit, installPayload, fullRef, applyPackInto, custodyLsRefs, qById, query, attestedRead, cryptoUnwrapKey, count, sum, spatialWithin;
+var enc3, dec3, BRANCH, RESULT_PACK_INLINE_MAX, repoArgOf, gitdirOf, unpack, repoArgOfGitdir, bytesFromB64, kgit, installPayload, fullRef, applyPackInto, custodyLsRefs, qById, query, attestedRead, cryptoUnwrapKey, count, sum, spatialBboxParams, spatialWithin;
 var init_engine = __esm({
   "vendor/engine/engine.mjs"() {
     "use strict";
@@ -1943,7 +1957,11 @@ var init_engine = __esm({
     cryptoUnwrapKey = (eng, { secret, hpkeEpk, ct }) => JSON.parse(call(eng.ex, "query", { queryBytes: b64Json({ op: "cryptoUnwrapKey", secret, hpkeEpk, ct }) }, eng.STDERR)).scopeKey;
     count = (eng, ws, countId, groupKey, principal = "") => JSON.parse(call(eng.ex, "query", { repoArg: repoArgOf(ws), workspace: ws, queryBytes: b64Json({ op: "count", countId, groupKey }), principal, branch: BRANCH }, eng.STDERR));
     sum = (eng, ws, sumId, groupKey, principal = "") => JSON.parse(call(eng.ex, "query", { repoArg: repoArgOf(ws), workspace: ws, queryBytes: b64Json({ op: "sum", sumId, groupKey }), principal, branch: BRANCH }, eng.STDERR));
-    spatialWithin = (eng, ws, spatialId, bbox, principal = "") => JSON.parse(call(eng.ex, "query", { repoArg: repoArgOf(ws), workspace: ws, queryBytes: b64Json({ op: "spatial", spatialId, minLng: bbox.minLng, minLat: bbox.minLat, maxLng: bbox.maxLng, maxLat: bbox.maxLat }), principal, branch: BRANCH }, eng.STDERR));
+    spatialBboxParams = (bbox) => {
+      const minX = bbox.minX ?? bbox.minLng, minY = bbox.minY ?? bbox.minLat, maxX = bbox.maxX ?? bbox.maxLng, maxY = bbox.maxY ?? bbox.maxLat;
+      return { minX, minY, maxX, maxY, minLng: minX, minLat: minY, maxLng: maxX, maxLat: maxY };
+    };
+    spatialWithin = (eng, ws, spatialId, bbox, principal = "") => JSON.parse(call(eng.ex, "query", { repoArg: repoArgOf(ws), workspace: ws, queryBytes: b64Json({ op: "spatial", spatialId, ...spatialBboxParams(bbox) }), principal, branch: BRANCH }, eng.STDERR));
   }
 });
 
@@ -1988,6 +2006,22 @@ async function fetchRuntime(cloud) {
   const packages = await fetchJsonCached(`${cloud}/v1/runtime/packages`, join5(cache, "packages.json"));
   return { wasmBytes, packages };
 }
+async function refreshRuntimeDir(cloud, runtimeDir) {
+  try {
+    const r = await fetch(`${cloud}/v1/runtime/holon.wasm`);
+    if (!r.ok) throw new Error(`runtime wasm \u2192 ${r.status}`);
+    const wasmBytes = new Uint8Array(await r.arrayBuffer());
+    const pkgs = await fetch(`${cloud}/v1/runtime/packages`);
+    if (!pkgs.ok) throw new Error(`runtime packages \u2192 ${pkgs.status}`);
+    const pkgText = await pkgs.text();
+    mkdirSync4(runtimeDir, { recursive: true });
+    writeFileSync5(join5(runtimeDir, "holon.wasm"), wasmBytes);
+    writeFileSync5(join5(runtimeDir, "packages.json"), pkgText, "utf8");
+    return true;
+  } catch {
+    return false;
+  }
+}
 function writeTreeToDisk(dir, diskPath) {
   mkdirSync4(diskPath, { recursive: true });
   for (const [name, inode] of dir.contents) {
@@ -2168,7 +2202,7 @@ async function runOfflineLegs(eng, ws, lawHash, legs, frameworkHash, deployUsda)
       lines.push(`\u2713 declared count ${leg.count.id}(${JSON.stringify(leg.count.group)}) = 1 locally`);
     }
     if (leg.spatial !== void 0) {
-      const world = { minLng: -180, minLat: -90, maxLng: 180, maxLat: 90 };
+      const world = { minX: -180, minY: -90, maxX: 180, maxY: 90 };
       const sr = spatialWithin(eng, ws, leg.spatial.id, world);
       const ids = (sr.rows ?? []).map((r) => r.id);
       if (sr.ok === false || createdId === void 0 || !ids.includes(createdId)) {
@@ -2750,15 +2784,25 @@ var init_mcp = __esm({
 // src/harness.ts
 var harness_exports = {};
 __export(harness_exports, {
-  harnessInstall: () => harnessInstall
+  STALE_RUNTIME_HINT: () => STALE_RUNTIME_HINT,
+  harnessInstall: () => harnessInstall,
+  looksLikeStaleRuntime: () => looksLikeStaleRuntime
 });
 import { existsSync as existsSync11, readFileSync as readFileSync12, writeFileSync as writeFileSync7 } from "node:fs";
 import { join as join12 } from "node:path";
 import { randomBytes as randomBytes3 } from "node:crypto";
+function looksLikeStaleRuntime(msg) {
+  return /\bbbox param\b|missing.*param|non-numeric|unknown (op|query op)|unsupported op|unexpected (field|key)|no such op/i.test(
+    msg
+  );
+}
 async function harnessInstall(opts) {
   const { deploy: deployPaths, workspace, out: outPath } = opts;
   if (deployPaths.length === 0) die("no --deploy JSON path(s) given");
   const runtimeDir = opts.runtime || process.env["NOMOS_OFFLINE_RUNTIME"] || join12(configDir(), "runtime");
+  const refreshed = await refreshRuntimeDir(cloudBase(), runtimeDir);
+  if (refreshed) process.stderr.write(`harness-install: refreshed runtime cache from the cloud \u2192 ${runtimeDir}
+`);
   const wasmFile = join12(runtimeDir, "holon.wasm");
   const pkgsFile = join12(runtimeDir, "packages.json");
   if (!existsSync11(wasmFile) || !existsSync11(pkgsFile)) {
@@ -2768,6 +2812,15 @@ async function harnessInstall(opts) {
   }
   const wasm = readFileSync12(wasmFile);
   const pkgs = JSON.parse(readFileSync12(pkgsFile, "utf8"));
+  const guarded = async (fn) => {
+    try {
+      return await fn();
+    } catch (e) {
+      const msg = e instanceof Error ? e.message : String(e);
+      if (looksLikeStaleRuntime(msg)) throw new Error(`${msg} \u2014 ${STALE_RUNTIME_HINT}`);
+      throw e;
+    }
+  };
   const replica = BigInt(`0x${randomBytes3(8).toString("hex")}`) & (1n << 63n) - 1n;
   const eng = await createEngine({
     wasmModule: await WebAssembly.compile(wasm),
@@ -2777,7 +2830,7 @@ async function harnessInstall(opts) {
     installedBy: "nomos-test-harness"
   });
   await mountFresh(eng, workspace);
-  author(eng, workspace, "bootstrap", "installDomain", installPayload(eng.hashes.nomos, eng.nomosPkg, "nomos-test-harness"), "");
+  await guarded(() => author(eng, workspace, "bootstrap", "installDomain", installPayload(eng.hashes.nomos, eng.nomosPkg, "nomos-test-harness"), ""));
   const lawHashes = [];
   for (const p of deployPaths) {
     if (!existsSync11(p)) die(`deploy JSON not found: ${p} \u2014 run \`npx githolon compile\` first`);
@@ -2785,7 +2838,7 @@ async function harnessInstall(opts) {
     const usda = deploy2.packageUsda;
     if (typeof usda !== "string" || !usda.startsWith("#usda")) die(`${p} has no #usda packageUsda`);
     const lawHash = await sha256hex(usda);
-    author(eng, workspace, "nomos", "installDomain", installPayload(lawHash, usda, "nomos-test-harness"), eng.hashes.nomos);
+    await guarded(() => author(eng, workspace, "nomos", "installDomain", installPayload(lawHash, usda, "nomos-test-harness"), eng.hashes.nomos));
     lawHashes.push(lawHash);
     process.stderr.write(`harness-install: installed ${p} (law ${lawHash.slice(0, 12)}\u2026)
 `);
@@ -2799,7 +2852,7 @@ async function harnessInstall(opts) {
   process.stdout.write(JSON.stringify({ ok: true, snapshot: outPath, workspace, lawHashes }) + "\n");
   return 0;
 }
-var die;
+var STALE_RUNTIME_HINT, die;
 var init_harness = __esm({
   "src/harness.ts"() {
     "use strict";
@@ -2807,6 +2860,7 @@ var init_harness = __esm({
     init_tree();
     init_local_holon();
     init_cloud();
+    STALE_RUNTIME_HINT = "your cached kernel runtime may be stale \u2014 rm -rf ~/.holon/runtime and re-run (it re-fetches from the cloud)";
     die = (msg) => {
       process.stderr.write(`harness-install: ${msg}
 `);
@@ -4722,6 +4776,21 @@ var HELP = {
     ],
     examples: ["githolon status", "githolon status my-guestbook", "githolon status --target prod"]
   },
+  compat: {
+    usage: "githolon compat <ws-url | deploy.json | interface.json | dir> [--config <cfg>] [--workspace <ws>] [--json]",
+    what: "THE CI GATE (the compat superpower): compare the CURRENT build's structural interface\n(build/<name>.interface.json \u2014 run `githolon compile` first) against a TARGET's installed law,\nPER MEMBER via #72 subtyping. Exits NON-ZERO on any incompatible member, so a client/law\nmismatch is caught before it ships. Target: a deploy.json (its staged .interface is the offer),\nan .interface.json / build dir, or a LIVE workspace URL (connect()s + reads the on-ledger offer).",
+    flags: [
+      ["<target>", "a workspace URL (https://host/v2/workspaces/<ws>), a deploy.json/interface.json, or a dir"],
+      ["--config <cfg>", "the package config naming the current build (default: nomos.package.mjs)"],
+      ["--workspace <ws>", "the workspace name when the live URL is a bare host"],
+      ["--json", "emit { package, target, verdict, members[] } as one JSON line (the CI surface)"]
+    ],
+    examples: [
+      "githolon compat build/guestbook.deploy.json",
+      "githolon compat https://nomos.captainapp.co.uk/v2/workspaces/my-guestbook",
+      "githolon compat ../deployed-law --json"
+    ]
+  },
   generate: {
     usage: "githolon generate <domain|aggregate|intent> <name> [--out <dir>] [--force] [--dry-run]",
     what: "Rails-style scaffolds on @githolon/dsl: a full domain (aggregate + create/mutate directives),\na lone aggregate, or a lone directive. Names arrive in any casing.",
@@ -5333,6 +5402,9 @@ Authoring:
                                                        ./nomos.package.mjs \u2014 the unified report; exits
                                                        non-zero on any REFUSE (compile runs it implicitly).
                                                        --json emits the findings (with file:line) as an array
+  githolon compat  <ws-url|deploy.json|dir> [--json]      THE CI GATE: compare the current build's interface
+                                                       against a target's installed law, PER MEMBER (#72
+                                                       subtyping); exits non-zero on any incompatible member
   githolon lsp                                            the author-time gate as a stdio Language Server:
                                                        red squiggles while you write law (VS Code/Neovim/\u2026)
   githolon mcp                                            the author-time gate as a stdio MCP server for AI
@@ -5686,6 +5758,9 @@ async function main(argv) {
   if (argv[0] === "check") {
     return runCheck(argv.slice(1));
   }
+  if (argv[0] === "compat") {
+    return runCompat(argv.slice(1));
+  }
   if (argv[0] === "lsp") {
     return runLsp(argv.slice(1));
   }

package/package.json

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