githolon 0.101.1 → 0.101.3

package/dist/cli.mjs

@@ -6623,7 +6623,8 @@ __export(proof_offline_exports, {
   runChildBirthLeg: () => runChildBirthLeg,
   runOfflineLegs: () => runOfflineLegs,
   runOfflineProofStandalone: () => runOfflineProofStandalone,
-  runRelationBootstrapLeg: () => runRelationBootstrapLeg
+  runRelationBootstrapLeg: () => runRelationBootstrapLeg,
+  summarizeOfflineProofLines: () => summarizeOfflineProofLines
 });
 import { existsSync as existsSync7, readFileSync as readFileSync7 } from "node:fs";
 import { createHash as createHash4 } from "node:crypto";
@@ -6676,6 +6677,29 @@ function parseOfflineLegs(proofSource) {
     ...countLeg !== void 0 ? { count: countLeg } : {}
   };
 }
+function summarizeOfflineProofLines(lines) {
+  const diagnosticCounts = /* @__PURE__ */ new Map();
+  for (const line of lines) {
+    if (line.startsWith("\u2013 ")) {
+      diagnosticCounts.set(line, (diagnosticCounts.get(line) ?? 0) + 1);
+    }
+  }
+  const seenDiagnostics = /* @__PURE__ */ new Set();
+  const summary = [];
+  for (const line of lines) {
+    if (!line.startsWith("\u2013 ")) {
+      summary.push(line);
+      continue;
+    }
+    if (seenDiagnostics.has(line)) continue;
+    seenDiagnostics.add(line);
+    const count2 = diagnosticCounts.get(line) ?? 1;
+    summary.push(
+      count2 > 1 ? `${line} (${count2} proof legs share this limitation; reported once)` : line
+    );
+  }
+  return summary;
+}
 async function mountIsolatedProofWs(eng, baseWs, lawHash, deployUsda) {
   const iso = `${baseWs}-rb`;
   await mountFresh(eng, iso);
@@ -7371,7 +7395,7 @@ async function runOfflineProofStandalone(proofPath, cloud, domain) {
   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 = await runOfflineLegs(eng, ws, lawHash, legs, eng.hashes.nomos, deployBody.packageUsda);
-  for (const l of v.legs) console.log(l);
+  for (const l of summarizeOfflineProofLines(v.legs)) console.log(l);
   if (!v.ok) {
     console.error(`\u2717 ${v.error}`);
     return 1;

package/dist/dev-server.mjs

@@ -2512,6 +2512,20 @@ async function startDevCloud(opts = {}) {
         res.writeHead(200, { ...CORS, "content-type": "application/wasm", "cache-control": "no-store", "x-nomos-kernel": kernelKind, "x-nomos-kernel-sha": kernelSha });
         return res.end(Buffer.from(wasmBytes));
       }
+      const pinnedKernel = url.pathname.match(/^\/v1\/runtime\/kernels\/([0-9a-f]{64})\/holon\.wasm$/);
+      if (pinnedKernel) {
+        if (pinnedKernel[1] !== kernelSha) {
+          return sendJson(res, { ok: false, error: "kernel artifact not found", requested: pinnedKernel[1] }, 404);
+        }
+        res.writeHead(200, {
+          ...CORS,
+          "content-type": "application/wasm",
+          "cache-control": "public, max-age=31536000, immutable",
+          "x-nomos-kernel": kernelKind,
+          "x-nomos-kernel-sha": kernelSha
+        });
+        return res.end(Buffer.from(wasmBytes));
+      }
       if (url.pathname === "/v1/runtime/capabilities") {
         const stamp = capabilitiesForKernelHash(kernelSha);
         return sendJson(res, {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "githolon",
-  "version": "0.101.1",
+  "version": "0.101.3",
   "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.101.1",
-    "@githolon/dsl": "^0.101.1",
+    "@githolon/client": "^0.101.3",
+    "@githolon/dsl": "^0.101.3",
     "isomorphic-git": "^1.38.4"
   },
   "devDependencies": {