skalpel 4.0.53 → 4.0.54

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "skalpel",
-  "version": "4.0.53",
+  "version": "4.0.54",
   "description": "Behavioral graph for AI-assisted coding — learns how you work and steers Claude Code + Codex in real time.",
   "type": "module",
   "bin": {

package/skalpel-statusline.mjs

@@ -345,10 +345,10 @@ function compactMeasured(ms) {
 // This always-on aggregate counter is an EXPLICIT PRODUCT DECISION by the owner: it is skalpel's terminal
 // presence and must never be gated/hidden ("never remove it from the terminal otherwise skalpel is
 // invisible"). Aggregate-only + no fabrication is what keeps that always-on surface honest.
-function measuredCaughtTotalMs() {
+function shadowTally() {
   try {
     const lines = tailLines(VERIFY_LOG_PATH, SHADOW_READ_BYTES);
-    if (!lines.length) return 0;
+    if (!lines.length) return { totalMs: 0, checked: 0, lies: 0 };
     const rows = [];
     for (const l of lines) {
       try {
@@ -362,14 +362,25 @@ function measuredCaughtTotalMs() {
     // O(falseCount × rows) that re-scanned every row for each catch on EVERY bar render.
     const fixDeltaFor = buildFixDeltas(rows);
     let total = 0;
+    // The HEARTBEAT counts (same single pass — zero extra I/O on the bar's hot path):
+    //   checked — claims the shadow got a GENUINE verdict for (its own proof/probe really ran: PASS /
+    //             GENUINE_FAIL / SHIP_OK / SHIP_FAIL). HARNESS_ERROR rows are logged but NOT counted —
+    //             identical to the ledger's "unverifiable" rule: we never claim a check we can't stand
+    //             behind. So a fresh install (or harness-noise-only log) keeps checked = 0.
+    //   lies    — the caught-false subset (mismatch === true), the money metric.
+    const CHECKED = new Set(["PASS", "GENUINE_FAIL", "SHIP_OK", "SHIP_FAIL"]);
+    let checked = 0;
+    let lies = 0;
     for (const r of rows) {
+      if (CHECKED.has(r.outcome)) checked += 1;
       if (r.mismatch !== true) continue; // only a caught false "done" (verify-shadow's money metric)
+      lies += 1;
       const d = fixDeltaFor(r); // exact ledger.mjs logic; null-session rows excluded (Finding 3)
       if (d && Number.isFinite(d.ms) && d.ms > 0) total += d.ms; // real measured delta only; else +0
     }
-    return total;
+    return { totalMs: total, checked, lies };
   } catch {
-    return 0; // any error → no measured total (fail-open: never break or slow the bar)
+    return { totalMs: 0, checked: 0, lies: 0 }; // fail-open: never break or slow the bar
   }
 }
 
@@ -435,10 +446,23 @@ function main() {
   //   • Raahil's `~`-prefixed saved ESTIMATE ("· ~7m saved") — shown only when saved_min > 0 (its data is
   //     the user's own steers.ndjson credit, not the shadow log, so it keeps his always-on #609 behavior).
   const { steers, savedMin } = readState();
+  const tally = SHOW_MEASURED ? shadowTally() : { totalMs: 0, checked: 0, lies: 0 };
   let line = `${BOLD}skalpel${RESET} · ${CYAN}${steers} steers${RESET}`;
   if (SHOW_MEASURED) {
-    const caught = compactMeasured(measuredCaughtTotalMs()); // null when < 1s of real measured catches
+    const caught = compactMeasured(tally.totalMs); // null when < 1s of real measured catches
     if (caught) line += ` · ${CYAN}${caught} caught${RESET}`;
+    // THE HEARTBEAT (founder: "I only see 0 steers — the product is invisible while it works").
+    // Once the armed shadow has genuinely CHECKED at least one claim, the line SHOWS the work:
+    //   clean so far → "· 3 claims verified"    (the earned-silence receipt — real verdicts only)
+    //   lies caught  → "· 31 checked · 2 false" (the honest split; the measured clause carries the time)
+    // Real counts from the same single log pass. A fresh install (checked = 0) emits EXACTLY the
+    // baseline line — byte-identical, nothing invented.
+    if (tally.checked > 0) {
+      line +=
+        tally.lies > 0
+          ? ` · ${CYAN}${tally.checked} checked · ${tally.lies} false${RESET}`
+          : ` · ${CYAN}${tally.checked} claim${tally.checked === 1 ? "" : "s"} verified${RESET}`;
+    }
   }
   if (SHOW_SAVED) {
     const phrase = savedPhrase(savedMin);