githolon 0.101.2 → 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/package.json

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