looply-cli 0.0.0-stage → 0.2.0

package/dist/rejected-evidence.js

@@ -0,0 +1,324 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.REJECTED_TRANSCRIPT_MAX_CHARS = exports.REJECTED_PATCH_MAX_BYTES = void 0;
+exports.makeRejectedEvidenceStore = makeRejectedEvidenceStore;
+exports.evidencePath = evidencePath;
+const node_crypto_1 = require("node:crypto");
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const gate_1 = require("./gate");
+const git_driver_1 = require("./git-driver");
+/**
+ * WHAT A REJECTED CANDIDATE LEAVES BEHIND.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * 🔴 THE PREVIOUS TRIAL DISCARDED A ROUND AND KEPT NOTHING. Looply wrote a
+ * change, ran its typecheck, saw red, and did the right thing: `git reset
+ * --hard`. What survived was `testsAdded: 8` and `outputDigest: 38faf4ea…`.
+ * Which files it wrote, what it wrote, and WHY the typecheck refused it were
+ * all gone — the ledger held a hash of the reason, and the reset destroyed the
+ * only copy of the work. A repair could not have been attempted by anyone,
+ * machine or person, because there was nothing to repair from.
+ *
+ * This module is the fix: before the tree is reset, the candidate and the
+ * verdict against it are written where the reset cannot reach.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * WHERE, AND WHY THERE.
+ *
+ * Under `projectStateDir` — `.looply/state/rejected/<runId>/…` for an ordinary
+ * checkout. `GitDriver.discard()` is `reset --hard` + `clean -fd -e .looply`;
+ * the state directory is untracked and explicitly spared, so it is the one
+ * place in the tree a discard leaves alone. It is also `protectedPaths` for the
+ * contained tool bridge, so a worker cannot read or edit its own evidence: what
+ * a repair attempt is told about a previous rejection reaches it through the
+ * prompt, bounded, from the runner.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * WHAT IS KEPT, AND WHAT IS NOT.
+ *
+ * Kept: identity (run, round, attempt, item), the base the candidate was
+ * written against, the changed-file manifest, the patch, each gate step's
+ * command, exit status and interleaved output, the implementer's structured
+ * result and a bounded transcript. Every text is bounded and every cut is
+ * announced — in the text and in a flag beside it.
+ *
+ * ⚠️ NOT KEPT: the patch of a candidate the RAILS aborted. An abort means the
+ * change touched a path the project forbade — a production config, a
+ * credential file, whatever the rails name — and retaining its content would
+ * copy exactly the thing the rail exists to keep out of the record. The
+ * manifest still names the paths; the reason says why the patch is withheld.
+ *
+ * ⚠️ AND NOTHING OUTSIDE THE ROUND'S OWN CHANGE. The patch is `git diff HEAD`
+ * of the project tree with `.looply` excluded; no operator file, no home
+ * directory, no environment reaches this. The runner hands over what it has
+ * and this writes it — it reads nothing on its own.
+ */
+/** Bound on the retained patch. A candidate larger than this is kept truncated and flagged. */
+exports.REJECTED_PATCH_MAX_BYTES = 2 * 1024 * 1024;
+/** Bound on the implementer's transcript kept beside the patch. */
+exports.REJECTED_TRANSCRIPT_MAX_CHARS = 128 * 1024;
+/**
+ * `gate-<step>.log`, with anything that is not a safe filename character
+ * replaced and no leading dot — a name can never be a path segment or a
+ * hidden file, whatever a run id or a step name was called.
+ */
+function safeName(s) {
+    return s.replace(/[^A-Za-z0-9._-]+/g, '_').replace(/^\.+/, '').slice(0, 64) || 'step';
+}
+function makeRejectedEvidenceStore(projectDir, deps = {}) {
+    const stateDir = deps.stateDir ?? (0, git_driver_1.projectStateDir)(projectDir);
+    const now = deps.now ?? (() => Date.now());
+    const fs = deps.fs ?? { mkdirSync: node_fs_1.mkdirSync, writeFileSync: node_fs_1.writeFileSync };
+    const read = deps.read ?? { existsSync: node_fs_1.existsSync, readdirSync: (p) => (0, node_fs_1.readdirSync)(p), readFileSync: node_fs_1.readFileSync };
+    return {
+        async retain(input) {
+            try {
+                const dir = (0, node_path_1.join)(stateDir, 'rejected', safeName(input.run.runId), `round-${String(input.round).padStart(3, '0')}-attempt-${input.attempt}`);
+                fs.mkdirSync(dir, { recursive: true });
+                const files = [];
+                const write = (name, text) => {
+                    fs.writeFileSync((0, node_path_1.join)(dir, name), text, 'utf8');
+                    files.push(name);
+                };
+                let patchFile = null;
+                let patchSha256 = null;
+                if (input.patch !== null) {
+                    patchFile = 'candidate.patch';
+                    patchSha256 = (0, node_crypto_1.createHash)('sha256').update(input.patch.text, 'utf8').digest('hex');
+                    write(patchFile, input.patch.text);
+                }
+                const executed = [];
+                if (input.gate !== undefined) {
+                    for (const d of input.gate.diagnostics) {
+                        const outputFile = `gate-${safeName(d.step)}.log`;
+                        write(outputFile, d.output);
+                        executed.push({
+                            step: d.step,
+                            command: d.command,
+                            cwd: projectDir,
+                            exitCode: d.exitCode,
+                            timedOut: d.timedOut,
+                            unavailable: d.unavailable,
+                            classification: d.classification,
+                            ms: d.ms,
+                            outputFile,
+                            outputChars: d.outputChars,
+                            outputTruncated: d.outputTruncated,
+                            streams: 'combined',
+                        });
+                    }
+                }
+                let transcriptFile = null;
+                let transcript = null;
+                if (input.implementer !== undefined && input.implementer.transcript !== '') {
+                    const bounded = (0, gate_1.boundText)(input.implementer.transcript, exports.REJECTED_TRANSCRIPT_MAX_CHARS);
+                    transcriptFile = 'implementer.txt';
+                    transcript = { chars: bounded.chars, truncated: bounded.truncated };
+                    write(transcriptFile, bounded.text);
+                }
+                const record = {
+                    schema: 'looply.rejected-attempt/1',
+                    retainedAt: new Date(now()).toISOString(),
+                    run: input.run,
+                    round: input.round,
+                    attempt: input.attempt,
+                    item: { id: input.itemId, title: input.itemTitle },
+                    base: { sha: input.baseSha },
+                    candidate: {
+                        manifest: input.manifest,
+                        patchFile,
+                        patchSha256,
+                        patchBytes: input.patch?.bytes ?? null,
+                        patchTruncated: input.patch?.truncated ?? null,
+                        patchWithheld: input.patchWithheld ?? null,
+                    },
+                    rejection: { stage: input.stage, why: input.why },
+                    gate: input.gate === undefined
+                        ? null
+                        : {
+                            verdict: input.gate.verdict,
+                            steps: input.gate.steps,
+                            executed,
+                            abort: input.gate.abort ?? null,
+                        },
+                    proof: input.proof ?? null,
+                    implementer: input.implementer === undefined
+                        ? null
+                        : {
+                            result: input.implementer.result,
+                            abandoned: input.implementer.abandoned,
+                            transcriptFile,
+                            transcriptChars: transcript?.chars ?? null,
+                            transcriptTruncated: transcript?.truncated ?? null,
+                        },
+                };
+                write('record.json', JSON.stringify(record, null, 2) + '\n');
+                return {
+                    retained: true,
+                    path: evidencePath(projectDir, dir),
+                    absolutePath: dir,
+                    files,
+                    patchFile: patchFile === null ? null : (0, node_path_1.join)(dir, patchFile),
+                    patchSha256,
+                };
+            }
+            catch (e) {
+                // A finding, never a throw: the round is on its way to a discard, and
+                // an exception here would turn "evidence could not be kept" into "the
+                // run crashed with a dirty tree". The caller records the reason.
+                return { retained: false, because: `evidence could not be written: ${e.message}` };
+            }
+        },
+        async latestFor(q) {
+            try {
+                const root = (0, node_path_1.join)(stateDir, 'rejected');
+                if (!read.existsSync(root))
+                    return { found: false, because: null };
+                // Every record this store kept for the item, newest first.
+                const mine = [];
+                for (const runDir of read.readdirSync(root)) {
+                    let rounds;
+                    try {
+                        rounds = read.readdirSync((0, node_path_1.join)(root, runDir));
+                    }
+                    catch {
+                        continue;
+                    }
+                    for (const name of rounds) {
+                        const dir = (0, node_path_1.join)(root, runDir, name);
+                        const file = (0, node_path_1.join)(dir, 'record.json');
+                        if (!read.existsSync(file))
+                            continue;
+                        let record;
+                        try {
+                            record = JSON.parse(read.readFileSync(file, 'utf8'));
+                        }
+                        catch {
+                            continue;
+                        }
+                        if (record?.schema !== 'looply.rejected-attempt/1' || record.item?.id !== q.itemId)
+                            continue;
+                        mine.push({ dir, record });
+                    }
+                }
+                if (mine.length === 0)
+                    return { found: false, because: null };
+                mine.sort((a, b) => b.record.retainedAt.localeCompare(a.record.retainedAt) || b.record.attempt - a.record.attempt);
+                const { dir, record } = mine[0];
+                const refuse = (because) => ({
+                    found: false,
+                    because: `the rejection retained at ${evidencePath(projectDir, dir)} was not used: ${because}`,
+                });
+                if (record.run.projectId !== q.projectId)
+                    return refuse(`it belongs to project ${record.run.projectId}, not ${q.projectId}`);
+                if (record.run.lane !== q.lane)
+                    return refuse(`it was written in lane ${record.run.lane}, not ${q.lane}`);
+                if (record.run.runId === q.runId) {
+                    return refuse('it names the asking run, whose rejections are held in memory — a copy it did not keep is not trusted');
+                }
+                if (record.attempt !== q.attemptsSpent) {
+                    return refuse(`it is attempt ${record.attempt}, but the item has spent ${q.attemptsSpent} — the item has moved on since`);
+                }
+                if (q.lastFailure === undefined || record.rejection.why !== q.lastFailure) {
+                    return refuse('the reason it records is not the reason the item carries — the item has moved on since');
+                }
+                let patch = null;
+                if (record.candidate.patchFile !== null) {
+                    const file = (0, node_path_1.join)(dir, record.candidate.patchFile);
+                    if (!read.existsSync(file))
+                        return refuse('its patch file is missing');
+                    const text = read.readFileSync(file, 'utf8');
+                    const sha = (0, node_crypto_1.createHash)('sha256').update(text, 'utf8').digest('hex');
+                    if (sha !== record.candidate.patchSha256) {
+                        return refuse('its patch does not hash to the sha256 recorded when it was kept');
+                    }
+                    patch = {
+                        text,
+                        bytes: record.candidate.patchBytes ?? Buffer.byteLength(text, 'utf8'),
+                        truncated: record.candidate.patchTruncated === true,
+                    };
+                }
+                const diagnostics = [];
+                for (const e of record.gate?.executed ?? []) {
+                    const file = (0, node_path_1.join)(dir, e.outputFile);
+                    if (!read.existsSync(file))
+                        return refuse(`the output of gate step ${e.step} is missing`);
+                    diagnostics.push({
+                        step: e.step,
+                        command: e.command,
+                        exitCode: e.exitCode,
+                        timedOut: e.timedOut,
+                        unavailable: e.unavailable,
+                        ok: e.classification === 'passed',
+                        ms: e.ms,
+                        classification: e.classification,
+                        output: read.readFileSync(file, 'utf8'),
+                        outputChars: e.outputChars,
+                        outputTruncated: e.outputTruncated,
+                    });
+                }
+                let transcript = '';
+                const transcriptFile = record.implementer?.transcriptFile ?? null;
+                if (transcriptFile !== null && read.existsSync((0, node_path_1.join)(dir, transcriptFile))) {
+                    transcript = read.readFileSync((0, node_path_1.join)(dir, transcriptFile), 'utf8');
+                }
+                const input = {
+                    run: record.run,
+                    round: record.round,
+                    attempt: record.attempt,
+                    itemId: record.item.id,
+                    itemTitle: record.item.title,
+                    baseSha: record.base.sha,
+                    why: record.rejection.why,
+                    stage: record.rejection.stage,
+                    ...(record.gate === null
+                        ? {}
+                        : {
+                            gate: {
+                                verdict: record.gate.verdict,
+                                steps: record.gate.steps,
+                                diagnostics,
+                                ...(record.gate.abort === null ? {} : { abort: record.gate.abort }),
+                            },
+                        }),
+                    ...(record.proof === null ? {} : { proof: record.proof }),
+                    ...(record.implementer === null
+                        ? {}
+                        : { implementer: { result: record.implementer.result, abandoned: record.implementer.abandoned, transcript } }),
+                    manifest: record.candidate.manifest,
+                    patch,
+                    ...(record.candidate.patchWithheld === null ? {} : { patchWithheld: record.candidate.patchWithheld }),
+                };
+                return {
+                    found: true,
+                    input,
+                    outcome: {
+                        retained: true,
+                        path: evidencePath(projectDir, dir),
+                        absolutePath: dir,
+                        files: read.readdirSync(dir),
+                        patchFile: record.candidate.patchFile === null ? null : (0, node_path_1.join)(dir, record.candidate.patchFile),
+                        patchSha256: record.candidate.patchSha256,
+                    },
+                };
+            }
+            catch (e) {
+                // A finding, never a throw — the attempt goes ahead briefed from `lastFailure`.
+                return { found: false, because: `retained evidence could not be read: ${e.message}` };
+            }
+        },
+    };
+}
+/**
+ * The path a report prints: relative to the project when the state directory
+ * lives inside it, absolute when it does not (a linked worktree keeps its state
+ * under the daemon's home). Forward slashes either way — it is a pointer for a
+ * person and for the app, not a path for a shell.
+ */
+function evidencePath(projectDir, dir) {
+    const rel = (0, node_path_1.relative)(projectDir, dir);
+    const inside = rel !== '' && !rel.startsWith('..') && !(0, node_path_1.isAbsolute)(rel);
+    return (inside ? rel : dir).split(node_path_1.sep).join('/');
+}
+//# sourceMappingURL=rejected-evidence.js.map

package/dist/rejected-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rejected-evidence.js","sourceRoot":"","sources":["../src/rejected-evidence.ts"],"names":[],"mappings":";;;AAwOA,8DA6PC;AAQD,oCAIC;AAjfD,6CAAyC;AACzC,qCAA0F;AAC1F,yCAA4D;AAG5D,iCAA8E;AAC9E,6CAA+C;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,+FAA+F;AAClF,QAAA,wBAAwB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AACxD,mEAAmE;AACtD,QAAA,6BAA6B,GAAG,GAAG,GAAG,IAAI,CAAC;AAqKxD;;;;GAIG;AACH,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;AACxF,CAAC;AAED,SAAgB,yBAAyB,CACvC,UAAkB,EAClB,OAA6B,EAAE;IAE/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAW,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAT,mBAAS,EAAE,aAAa,EAAb,uBAAa,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,UAAU,EAAV,oBAAU,EAAE,WAAW,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,qBAAW,EAAC,CAAC,CAAC,EAAE,YAAY,EAAZ,sBAAY,EAAE,CAAC;IAEnG,OAAO;QACL,KAAK,CAAC,MAAM,CAAC,KAAK;YAChB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAA,gBAAI,EACd,QAAQ,EACR,UAAU,EACV,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACzB,SAAS,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CACzE,CAAC;gBACF,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAQ,EAAE;oBACjD,EAAE,CAAC,aAAa,CAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAChD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC,CAAC;gBAEF,IAAI,SAAS,GAAkB,IAAI,CAAC;gBACpC,IAAI,WAAW,GAAkB,IAAI,CAAC;gBACtC,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;oBACzB,SAAS,GAAG,iBAAiB,CAAC;oBAC9B,WAAW,GAAG,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAClF,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;gBAED,MAAM,QAAQ,GAA2D,EAAE,CAAC;gBAC5E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;wBACvC,MAAM,UAAU,GAAG,QAAQ,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;wBAClD,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;wBAC5B,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,OAAO,EAAE,CAAC,CAAC,OAAO;4BAClB,GAAG,EAAE,UAAU;4BACf,QAAQ,EAAE,CAAC,CAAC,QAAQ;4BACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;4BACpB,WAAW,EAAE,CAAC,CAAC,WAAW;4BAC1B,cAAc,EAAE,CAAC,CAAC,cAAc;4BAChC,EAAE,EAAE,CAAC,CAAC,EAAE;4BACR,UAAU;4BACV,WAAW,EAAE,CAAC,CAAC,WAAW;4BAC1B,eAAe,EAAE,CAAC,CAAC,eAAe;4BAClC,OAAO,EAAE,UAAU;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,IAAI,cAAc,GAAkB,IAAI,CAAC;gBACzC,IAAI,UAAU,GAAiD,IAAI,CAAC;gBACpE,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,UAAU,KAAK,EAAE,EAAE,CAAC;oBAC3E,MAAM,OAAO,GAAG,IAAA,gBAAS,EAAC,KAAK,CAAC,WAAW,CAAC,UAAU,EAAE,qCAA6B,CAAC,CAAC;oBACvF,cAAc,GAAG,iBAAiB,CAAC;oBACnC,UAAU,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;oBACpE,KAAK,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC;gBAED,MAAM,MAAM,GAA0B;oBACpC,MAAM,EAAE,2BAA2B;oBACnC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE;oBACzC,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE;oBAClD,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE;oBAC5B,SAAS,EAAE;wBACT,QAAQ,EAAE,KAAK,CAAC,QAAQ;wBACxB,SAAS;wBACT,WAAW;wBACX,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,IAAI,IAAI;wBACtC,cAAc,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,IAAI;wBAC9C,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;qBAC3C;oBACD,SAAS,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;oBACjD,IAAI,EACF,KAAK,CAAC,IAAI,KAAK,SAAS;wBACtB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC;4BACE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;4BAC3B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;4BACvB,QAAQ;4BACR,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI;yBAChC;oBACP,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI;oBAC1B,WAAW,EACT,KAAK,CAAC,WAAW,KAAK,SAAS;wBAC7B,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC;4BACE,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;4BAChC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;4BACtC,cAAc;4BACd,eAAe,EAAE,UAAU,EAAE,KAAK,IAAI,IAAI;4BAC1C,mBAAmB,EAAE,UAAU,EAAE,SAAS,IAAI,IAAI;yBACnD;iBACR,CAAC;gBACF,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;gBAE7D,OAAO;oBACL,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC;oBACnC,YAAY,EAAE,GAAG;oBACjB,KAAK;oBACL,SAAS,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,SAAS,CAAC;oBAC3D,WAAW;iBACZ,CAAC;YACJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,sEAAsE;gBACtE,sEAAsE;gBACtE,iEAAiE;gBACjE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,kCAAmC,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAChG,CAAC;QACH,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,CAAC;YACf,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBAEnE,2DAA2D;gBAC3D,MAAM,IAAI,GAA0D,EAAE,CAAC;gBACvE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5C,IAAI,MAAgB,CAAC;oBACrB,IAAI,CAAC;wBACH,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,IAAA,gBAAI,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;oBAChD,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;oBACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;wBAC1B,MAAM,GAAG,GAAG,IAAA,gBAAI,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;wBACrC,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,aAAa,CAAC,CAAC;wBACtC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;4BAAE,SAAS;wBACrC,IAAI,MAA6B,CAAC;wBAClC,IAAI,CAAC;4BACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAA0B,CAAC;wBAChF,CAAC;wBAAC,MAAM,CAAC;4BACP,SAAS;wBACX,CAAC;wBACD,IAAI,MAAM,EAAE,MAAM,KAAK,2BAA2B,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,MAAM;4BAAE,SAAS;wBAC7F,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBAC9D,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnH,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAmD,CAAC;gBAElF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAoB,EAAE,CAAC,CAAC;oBACrD,KAAK,EAAE,KAAK;oBACZ,OAAO,EAAE,6BAA6B,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,kBAAkB,OAAO,EAAE;iBAC/F,CAAC,CAAC;gBACH,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;oBAAE,OAAO,MAAM,CAAC,yBAAyB,MAAM,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC7H,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,MAAM,CAAC,0BAA0B,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1G,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;oBACjC,OAAO,MAAM,CAAC,sGAAsG,CAAC,CAAC;gBACxH,CAAC;gBACD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;oBACvC,OAAO,MAAM,CAAC,iBAAiB,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAC,aAAa,gCAAgC,CAAC,CAAC;gBAC5H,CAAC;gBACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;oBAC1E,OAAO,MAAM,CAAC,wFAAwF,CAAC,CAAC;gBAC1G,CAAC;gBAED,IAAI,KAAK,GAAkC,IAAI,CAAC;gBAChD,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxC,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;oBACnD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;wBAAE,OAAO,MAAM,CAAC,2BAA2B,CAAC,CAAC;oBACvE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC7C,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACpE,IAAI,GAAG,KAAK,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;wBACzC,OAAO,MAAM,CAAC,iEAAiE,CAAC,CAAC;oBACnF,CAAC;oBACD,KAAK,GAAG;wBACN,IAAI;wBACJ,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;wBACrE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,KAAK,IAAI;qBACpD,CAAC;gBACJ,CAAC;gBAED,MAAM,WAAW,GAAyB,EAAE,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;oBAC5C,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;oBACrC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;wBAAE,OAAO,MAAM,CAAC,2BAA2B,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC;oBAC1F,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;wBAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;wBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;wBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,EAAE,EAAE,CAAC,CAAC,cAAc,KAAK,QAAQ;wBACjC,EAAE,EAAE,CAAC,CAAC,EAAE;wBACR,cAAc,EAAE,CAAC,CAAC,cAAc;wBAChC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC;wBACvC,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,eAAe,EAAE,CAAC,CAAC,eAAe;qBACnC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,UAAU,GAAG,EAAE,CAAC;gBACpB,MAAM,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,cAAc,IAAI,IAAI,CAAC;gBAClE,IAAI,cAAc,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;oBAC1E,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC;gBACpE,CAAC;gBAED,MAAM,KAAK,GAAyB;oBAClC,GAAG,EAAE,MAAM,CAAC,GAAG;oBACf,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;oBACtB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;oBAC5B,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG;oBACxB,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG;oBACzB,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK;oBAC7B,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;wBACtB,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC;4BACE,IAAI,EAAE;gCACJ,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO;gCAC5B,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;gCACxB,WAAW;gCACX,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;6BACpE;yBACF,CAAC;oBACN,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;oBACzD,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI;wBAC7B,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC;oBAChH,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;oBACnC,KAAK;oBACL,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;iBACtG,CAAC;gBACF,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,KAAK;oBACL,OAAO,EAAE;wBACP,QAAQ,EAAE,IAAI;wBACd,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC;wBACnC,YAAY,EAAE,GAAG;wBACjB,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;wBAC5B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;wBAC7F,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW;qBAC1C;iBACF,CAAC;YACJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,gFAAgF;gBAChF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,wCAAyC,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YACnG,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,UAAkB,EAAE,GAAW;IAC1D,MAAM,GAAG,GAAG,IAAA,oBAAQ,EAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,GAAG,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAA,sBAAU,EAAC,GAAG,CAAC,CAAC;IACvE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,eAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC"}

package/dist/report-cmd.d.ts

@@ -0,0 +1,32 @@
+import { type RunReport } from '@looply/core';
+import { type ToolCallSummary } from './tool-call-record';
+/**
+ * `looply report` — render core's `runReport` from the local ledger
+ * (`.looply/state/events.jsonl`). The fold lives in core so this screen and the
+ * app's run report can never disagree; this module only decides what the text
+ * looks like.
+ *
+ * Alerts print FIRST and loudly. That ordering is the whole point of the
+ * command: the prover-never-rejects alert (DESIGN §12 case 16) existed in the
+ * report data while nothing rendered it, and an alert nothing renders is not
+ * an alert — the previous harness went 166/166 with the signal sitting right
+ * there.
+ *
+ * Pure text-in, text-out; the filesystem stays in `bin.ts`.
+ */
+export interface RenderedReport {
+    out: string;
+    code: number;
+}
+/**
+ * @param fromNewerBuild lines that ARE events, naming a kind this build has no
+ *   name for. Defaulted so the shape of this call does not change for a caller
+ *   that has nothing to say about them.
+ */
+export declare function renderRunReport(report: RunReport, badLines: readonly number[], fromNewerBuild?: readonly {
+    at: number;
+    named: string;
+}[]): string;
+export declare function toolLines(summary: ToolCallSummary | null): string[];
+export declare function renderReport(text: string | null, toolText?: string | null): RenderedReport;
+//# sourceMappingURL=report-cmd.d.ts.map

package/dist/report-cmd.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-cmd.d.ts","sourceRoot":"","sources":["../src/report-cmd.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmE,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AAC/G,OAAO,EAAsC,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE9F;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AAyBD;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,cAAc,GAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAO,GAC5D,MAAM,CAuER;AA+BD,wBAAgB,SAAS,CAAC,OAAO,EAAE,eAAe,GAAG,IAAI,GAAG,MAAM,EAAE,CA4BnE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,GAAE,MAAM,GAAG,IAAW,GAAG,cAAc,CAqChG"}

package/dist/report-cmd.js

@@ -0,0 +1,201 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderRunReport = renderRunReport;
+exports.toolLines = toolLines;
+exports.renderReport = renderReport;
+const core_1 = require("@looply/core");
+const tool_call_record_1 = require("./tool-call-record");
+function fmtElapsed(ms) {
+    const min = Math.round(ms / 60_000);
+    if (min < 1)
+        return '<1m';
+    if (min < 60)
+        return `${min}m`;
+    return `${Math.floor(min / 60)}h ${min % 60}m`;
+}
+/**
+ * One round, two spaces in.
+ *
+ * 🔴 THE WORDING MOVED TO CORE IN M8-7 AND IS NO LONGER WRITTEN TWICE.
+ * `goal-view.ts` carried a second copy under the comment "worded as `looply
+ * report` words it" — a promise kept by hand, which is the drift
+ * `round-notes.ts` names: "Two components composing English from the same data
+ * is a drift nobody notices; two components reading the same fields is not."
+ * The indentation is the only thing the two readers genuinely differ about, so
+ * it is the only thing left here.
+ */
+function roundLines(r) {
+    const { head, details } = (0, core_1.wordRound)(r);
+    return [`  ${head}`, ...details.map((d) => `      ${d}`)];
+}
+/**
+ * @param fromNewerBuild lines that ARE events, naming a kind this build has no
+ *   name for. Defaulted so the shape of this call does not change for a caller
+ *   that has nothing to say about them.
+ */
+function renderRunReport(report, badLines, fromNewerBuild = []) {
+    const lines = [];
+    // Alerts before everything, one loud line each — never appended at the
+    // bottom where a long round list scrolls them off the screen.
+    for (const a of report.alerts)
+        lines.push(`ALERT   : ${a.message}`);
+    if (report.alerts.length)
+        lines.push('');
+    if (badLines.length) {
+        lines.push(`warning : skipped ${badLines.length} unreadable ledger line(s): ${badLines.join(', ')}`);
+    }
+    /**
+     * SAID APART FROM DAMAGE, because they send a person somewhere else entirely.
+     *
+     * An unreadable line is torn — a process died mid-append — and there may be
+     * something to repair. A line from a newer build is intact, correct, and
+     * simply names an event kind this build has no name for; `EVENT_KINDS` is
+     * closed on both sides and `run.started` says why ("a lockstep release of
+     * three packages"). Telling somebody that is damage sends them looking for
+     * corruption in a healthy file.
+     *
+     * The kinds are NAMED, and named once each: the useful fact is which kind is
+     * unknown here, not how many lines carried it.
+     */
+    if (fromNewerBuild.length) {
+        const kinds = [...new Set(fromNewerBuild.map((l) => l.named))].sort();
+        lines.push(`warning : skipped ${fromNewerBuild.length} ledger line(s) written by a newer build — ` +
+            `this one has no name for ${kinds.join(', ')} (line${fromNewerBuild.length === 1 ? '' : 's'} ` +
+            `${fromNewerBuild.map((l) => l.at).join(', ')})`);
+    }
+    if (report.runId === null) {
+        lines.push('report  : no run recorded in the ledger yet');
+        return lines.join('\n') + '\n';
+    }
+    lines.push(`run     : ${report.runId} — ${report.live ? 'live' : `ended (${report.stopReason ?? 'unknown'})`}`);
+    if (report.elapsedMs !== null)
+        lines.push(`elapsed : ${fmtElapsed(report.elapsedMs)}`);
+    const t = report.totals;
+    lines.push(`tallies : ${t.rounds} rounds — ${t.committed} committed · ${t.discarded} discarded · ${t.abandoned} abandoned`);
+    // "none ran" is distinct from a 0% rate on purpose: proof disabled must not
+    // read as proof passing everything (see proofRejectionRate in core).
+    if (report.proofRejectionRate === null) {
+        lines.push('proof   : none ran');
+    }
+    else {
+        lines.push(`proof   : ${report.proofVerdicts} verdicts · ${report.proofRejected} rejected ` +
+            `(${Math.round(report.proofRejectionRate * 100)}%)`);
+    }
+    lines.push(`tests   : ${report.testsAdded} added`);
+    if (report.rounds.length) {
+        /**
+         * ⚠️ WHAT A ROUND KEEPS, SAID ONCE (the audit’s E-06). Under every kept
+         * round it would be noise on the common case; nowhere at all leaves an
+         * absent evidence line reading as a hole rather than as a decision.
+         */
+        lines.push(`rounds  : ${core_1.KEPT_LEGEND}`);
+        for (const r of report.rounds)
+            lines.push(...roundLines(r));
+    }
+    if (report.blocked.length) {
+        lines.push('blocked :');
+        for (const b of report.blocked)
+            lines.push(`  - ${b.title ?? b.itemId} — ${b.reason}`);
+    }
+    return lines.join('\n') + '\n';
+}
+/**
+ * What the bridge served, in one line, and where to read the rest.
+ *
+ * WHY THIS LINE EXISTS. `ToolBridge.spent()` had no consumer for most of its
+ * life — its own comment said "for tests and for logging" and nothing logged
+ * it, which is how the capability audit found it (E-05). A record with no
+ * reader is the same defect this command exists to prevent, so the file gets a
+ * line here rather than waiting for someone to know it is there.
+ *
+ * ⚠️ E-05 IS CLOSED: `mcp-main.ts` calls `recorder.total(bridge.spent())` when
+ * the pipe closes, which is the one moment that knows an invocation is over.
+ * The reason for this line survives that fix — a reader still has to be told
+ * where the file is — so the sentence was rewritten rather than deleted.
+ *
+ * 🔴 AND THE SENTENCE IT REPLACES WAS FALSE FOR 69 COMMITS. It said `spent()`
+ * "HAS HAD NO CONSUMER SINCE IT WAS WRITTEN" while `mcp-main` was already
+ * calling it — in the docblock of the command whose whole subject is that an
+ * unread record is a defect. The comment landed 4 commits before the consumer
+ * and nobody came back for it (M9-1 found it, M9-4 fixed it).
+ *
+ * The most recent refusal is named because it is almost always the one being
+ * looked for: a person reads this after a model said a tool failed.
+ */
+function bytes(n) {
+    if (n >= 1024 * 1024)
+        return `${(n / (1024 * 1024)).toFixed(1)} MB`;
+    if (n >= 1024)
+        return `${Math.round(n / 1024)} KB`;
+    return `${n} B`;
+}
+function toolLines(summary) {
+    if (summary === null)
+        return [];
+    const lines = [];
+    const bits = [`${summary.calls} call${summary.calls === 1 ? '' : 's'}`];
+    if (summary.refused > 0)
+        bits.push(`${summary.refused} refused`);
+    if (summary.badLines > 0)
+        bits.push(`${summary.badLines} unreadable line(s)`);
+    if (summary.capped)
+        bits.push('record full — later calls are not in it');
+    lines.push(`tools   : ${bits.join(' · ')} (.looply/state/${tool_call_record_1.TOOL_CALL_FILE})`);
+    /**
+     * What the bridge served those calls, summed over the invocations that said.
+     *
+     * The closest figure this system has to the audit's "repeated-context bytes",
+     * and the first reading of `ToolBridge.spent()` there has ever been. Absent
+     * for a record written before invocation totals existed, and then nothing is
+     * printed rather than a zero standing in for silence.
+     */
+    if (summary.served !== null) {
+        const s = summary.served;
+        lines.push(`  served: ${s.invocations} invocation${s.invocations === 1 ? '' : 's'} · ` +
+            `${s.calls} call${s.calls === 1 ? '' : 's'} · ${bytes(s.bytesRead)} read · ${bytes(s.bytesWritten)} written`);
+    }
+    if (summary.lastRefusal !== null) {
+        const r = summary.lastRefusal;
+        lines.push(`  last refusal: ${r.tool} — ${r.code}${r.because ? `: ${r.because}` : ''}`);
+    }
+    return lines;
+}
+function renderReport(text, toolText = null) {
+    if (text === null) {
+        return {
+            out: 'report  : no events.jsonl yet — nothing has run here (try `looply doctor`, then `looply run`)\n',
+            code: 1,
+        };
+    }
+    const { events, badLines, fromNewerBuild } = (0, core_1.parseLines)(text);
+    if (events.length === 0 && badLines.length + fromNewerBuild.length > 0) {
+        /**
+         * Nothing readable here; refuse rather than render an empty report that
+         * reads as "nothing happened".
+         *
+         * ⚠️ THE CONDITION IS UNCHANGED — it fires on exactly the lines it fired on
+         * before, because `badLines` used to carry both kinds and now carries one.
+         * What changed is the SENTENCE. "This is not our ledger" was the wrong
+         * conclusion for a file whose every line is a well-formed event from a
+         * build that knows more kinds than this one: it IS our ledger, and the
+         * answer is a newer looply, not a repair.
+         */
+        const newer = fromNewerBuild.length > 0 && badLines.length === 0;
+        const kinds = [...new Set(fromNewerBuild.map((l) => l.named))].sort().join(', ');
+        return {
+            out: newer
+                ? `report  : every line in events.jsonl was written by a newer build than this one — ` +
+                    `it has no name for ${kinds}, so there is nothing here it can read\n`
+                : 'report  : events.jsonl holds no readable events — refusing to guess\n',
+            code: 1,
+        };
+    }
+    // File order, not sortEvents: the local ledger is append-ordered by our own
+    // writer, and that order is what makes the last `run.started` the last run.
+    const body = renderRunReport((0, core_1.runReport)(events), badLines, fromNewerBuild);
+    const tools = toolLines((0, tool_call_record_1.summariseToolCalls)(toolText));
+    // Appended, never interleaved: the report's own shape is what a person and
+    // three specs already read, and with no record the output is byte-identical.
+    return { out: tools.length === 0 ? body : `${body}${tools.join('\n')}\n`, code: 0 };
+}
+//# sourceMappingURL=report-cmd.js.map

package/dist/report-cmd.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-cmd.js","sourceRoot":"","sources":["../src/report-cmd.ts"],"names":[],"mappings":";;AAmDA,0CA2EC;AA+BD,8BA4BC;AAED,oCAqCC;AAhOD,uCAA+G;AAC/G,yDAA8F;AAsB9F,SAAS,UAAU,CAAC,EAAU;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,GAAG,GAAG,EAAE;QAAE,OAAO,GAAG,GAAG,GAAG,CAAC;IAC/B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,KAAK,GAAG,GAAG,EAAE,GAAG,CAAC;AACjD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,CAAc;IAChC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC;IACvC,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAC7B,MAAiB,EACjB,QAA2B,EAC3B,iBAA2D,EAAE;IAE7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,uEAAuE;IACvE,8DAA8D;IAC9D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEzC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,qBAAqB,QAAQ,CAAC,MAAM,+BAA+B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IACD;;;;;;;;;;;;OAYG;IACH,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,KAAK,CAAC,IAAI,CACR,qBAAqB,cAAc,CAAC,MAAM,6CAA6C;YACrF,4BAA4B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG;YAC9F,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnD,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACjC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,UAAU,IAAI,SAAS,GAAG,EAAE,CAAC,CAAC;IAChH,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvF,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,KAAK,CAAC,IAAI,CACR,aAAa,CAAC,CAAC,MAAM,aAAa,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,SAAS,YAAY,CAChH,CAAC;IACF,4EAA4E;IAC5E,qEAAqE;IACrE,IAAI,MAAM,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,aAAa,MAAM,CAAC,aAAa,eAAe,MAAM,CAAC,aAAa,YAAY;YAC9E,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,GAAG,GAAG,CAAC,IAAI,CACtD,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,UAAU,QAAQ,CAAC,CAAC;IAEnD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB;;;;WAIG;QACH,KAAK,CAAC,IAAI,CAAC,aAAa,kBAAW,EAAE,CAAC,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,KAAK,CAAC,CAAS;IACtB,IAAI,CAAC,IAAI,IAAI,GAAG,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACpE,IAAI,CAAC,IAAI,IAAI;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,OAAO,GAAG,CAAC,IAAI,CAAC;AAClB,CAAC;AAED,SAAgB,SAAS,CAAC,OAA+B;IACvD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACxE,IAAI,OAAO,CAAC,OAAO,GAAG,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,UAAU,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,qBAAqB,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,iCAAc,GAAG,CAAC,CAAC;IAC9E;;;;;;;OAOG;IACH,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;QACzB,KAAK,CAAC,IAAI,CACR,aAAa,CAAC,CAAC,WAAW,cAAc,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK;YACzE,GAAG,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAC/G,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,YAAY,CAAC,IAAmB,EAAE,WAA0B,IAAI;IAC9E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO;YACL,GAAG,EAAE,iGAAiG;YACtG,IAAI,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,GAAG,IAAA,iBAAU,EAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvE;;;;;;;;;;WAUG;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,OAAO;YACL,GAAG,EAAE,KAAK;gBACR,CAAC,CAAC,oFAAoF;oBACpF,sBAAsB,KAAK,0CAA0C;gBACvE,CAAC,CAAC,uEAAuE;YAC3E,IAAI,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,MAAM,IAAI,GAAG,eAAe,CAAC,IAAA,gBAAS,EAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,SAAS,CAAC,IAAA,qCAAkB,EAAC,QAAQ,CAAC,CAAC,CAAC;IACtD,2EAA2E;IAC3E,6EAA6E;IAC7E,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACtF,CAAC"}