codehere 0.8.0 → 1.0.2

package/dist/application/use-cases/narrator-prompt-template.js

@@ -1,158 +0,0 @@
-/**
- * v0.6 S6 — editable PM narrator prompt template.
- *
- * The mid-task narration (M3) used to ship a hard-coded prompt baked into
- * generate-narration.ts. That made the agent's "voice" un-tunable: a user
- * who wanted shorter / longer / more-jargony / less-jargony narration
- * had no lever short of forking the source.
- *
- * S6 lifts the template into ~/.codehere/narrator-prompt.md, a plain
- * Markdown file the user edits with whatever editor they like. The file
- * uses `{{placeholder}}` substitution for the runtime values:
- *   {{prompt}}            — the user's original task ask (truncated 500ch)
- *   {{agent}}             — which adapter is running ("claude-code" etc.)
- *   {{elapsed_seconds}}   — how long the task has been running
- *   {{step_count}}        — how many steps completed/in-progress
- *   {{steps}}             — last 15 steps, "  N. [state] label"
- *
- * If the file is missing OR the user-edited file is missing required
- * placeholders, we fall back to the baked-in DEFAULT_TEMPLATE so a typo
- * never breaks narration silently.
- *
- * Per claim_user_persona HIGH: the narrator IS the product voice for
- * non-technical users. Letting them control it is a v1 promise.
- *
- * Per feedback_overconfidence_guard.md: the DEFAULT_TEMPLATE keeps the
- * anti-hallucination rule + "frame as narrator not authority" cue. Users
- * editing the template can drop those rules at their own risk; the file
- * comment warns about it.
- */
-import { existsSync, mkdirSync, readFileSync, unlinkSync, writeFileSync } from 'fs';
-import { dirname, join } from 'path';
-import { homedir } from 'os';
-/** The required placeholders. If a user-edited template is missing ANY of
- *  these we fall back to the default so the rendered prompt is never
- *  silently broken. {{step_count}} is omitted from the required list — it's
- *  derivable from {{steps}} and a custom template might intentionally drop it. */
-const REQUIRED_PLACEHOLDERS = ['{{prompt}}', '{{agent}}', '{{elapsed_seconds}}', '{{steps}}'];
-export const DEFAULT_TEMPLATE = `<!--
-  codehere narrator prompt — drives the mid-task summary the user sees as
-  "narrator says…" while their AI coding agent is working. Edit freely.
-
-  Available placeholders (substituted at render time):
-    {{prompt}}            user's original task ask
-    {{agent}}             which adapter is running
-    {{elapsed_seconds}}   how long the task has been running
-    {{step_count}}        number of steps completed/in-progress
-    {{steps}}             last 15 steps, formatted as "  N. [state] label"
-
-  REQUIRED: {{prompt}}, {{agent}}, {{elapsed_seconds}}, {{steps}}.
-  Missing any of those → codehere falls back to its baked-in default.
-
-  Reset to default any time with: codehere narrator reset
--->
-
-You are a PM giving a 1-sentence-or-2 mid-task update to a non-technical user
-about what their AI coding agent is doing RIGHT NOW. Write ONE short paragraph
-(2-3 sentences). No headers, no bullet lists, no markdown.
-
-CRITICAL anti-hallucination rule: ground every claim in the structured data
-below. Do not invent file names, status, or actions not in the steps list.
-If you don't know what something does, say "the agent is working on …" with
-the literal target. Better to under-claim than to over-claim.
-
-Tone: like a colleague checking in. "It's reading the auth file and ran the
-tests — looks like 2 failed so far." Not robotic, not breathless.
-
-Reference frame for the user (not for the LLM): the user did NOT see this
-list directly; you're translating it for them. The user only sees your
-paragraph.
-
-────────── Structured data (the only source of truth) ──────────
-Task: "{{prompt}}"
-Agent: {{agent}}
-Elapsed: {{elapsed_seconds}}s
-Steps so far ({{step_count}}):
-{{steps}}
-
-Write the paragraph now. Do not preface with "Update:" or anything similar.
-Plain prose. No "I'm currently…" — narrate the AGENT, not yourself.
-`;
-function templateFile() {
-    return join(process.env.CODEHERE_HOME || homedir(), '.codehere', 'narrator-prompt.md');
-}
-/** Read the user-customized template if present and valid. Falls back to
- *  baked-in default on missing file, parse failure, or missing required
- *  placeholders (so a typo never silently breaks narration). */
-export function loadTemplate() {
-    const path = templateFile();
-    if (!existsSync(path))
-        return { source: 'default', template: DEFAULT_TEMPLATE };
-    let raw;
-    try {
-        raw = readFileSync(path, 'utf-8');
-    }
-    catch {
-        return { source: 'default', template: DEFAULT_TEMPLATE };
-    }
-    for (const ph of REQUIRED_PLACEHOLDERS) {
-        if (!raw.includes(ph)) {
-            return { source: 'default', template: DEFAULT_TEMPLATE };
-        }
-    }
-    return { source: 'user', template: raw };
-}
-/** Persist the default template to disk so the user has a starting point
- *  to edit. Used by `codehere narrator edit`. Doesn't overwrite an existing
- *  user-edited file unless `force` is set. */
-export function writeDefaultTemplate(force = false) {
-    const path = templateFile();
-    if (!force && existsSync(path))
-        return { wrote: false, path };
-    const dir = dirname(path);
-    if (!existsSync(dir))
-        mkdirSync(dir, { recursive: true });
-    writeFileSync(path, DEFAULT_TEMPLATE, 'utf-8');
-    return { wrote: true, path };
-}
-/** Delete the user-customized template. Future loads use the baked-in
- *  default. Idempotent: missing file is a no-op success. */
-export function resetTemplate() {
-    const path = templateFile();
-    if (!existsSync(path))
-        return { removed: false, path };
-    try {
-        unlinkSync(path);
-        return { removed: true, path };
-    }
-    catch {
-        return { removed: false, path };
-    }
-}
-/** Substitute the runtime values into the template. Same {{placeholder}}
- *  protocol as the template-file comments document. */
-export function renderTemplate(template, input) {
-    const stepsBlock = input.steps
-        .slice(-15)
-        .map((s, idx) => `  ${idx + 1}. [${s.state}] ${(s.label ?? '').slice(0, 120)}`)
-        .join('\n');
-    const replacements = {
-        '{{prompt}}': input.prompt.slice(0, 500),
-        '{{agent}}': input.agent,
-        '{{elapsed_seconds}}': String(Math.round(input.elapsedMs / 1000)),
-        '{{step_count}}': String(input.steps.length),
-        '{{steps}}': stepsBlock,
-    };
-    let out = template;
-    for (const [k, v] of Object.entries(replacements)) {
-        // Replace ALL occurrences. Use split/join to avoid regex escaping
-        // pain on the curly braces.
-        out = out.split(k).join(v);
-    }
-    return out;
-}
-/** Path to the user-customized template (for CLI status display). */
-export function templatePath() {
-    return templateFile();
-}
-//# sourceMappingURL=narrator-prompt-template.js.map

package/dist/application/use-cases/thread-export.js

@@ -1,155 +0,0 @@
-/**
- * Thread export · v0.8 S4 · signed-payload "GitHub for agent sessions"
- *
- * Produces a self-contained, Ed25519-signed bundle of one PersistedSession
- * that a colleague can verify and replay locally. Local-first by design:
- * never relayed through codehere's infrastructure · the user shares the
- * file (or signed URL) by their preferred channel (Slack, email, PR
- * description) and the recipient runs `codehere thread import <file>`.
- *
- * The signature covers a CANONICAL JSON form of the bundle body so two
- * machines that re-serialize the same data get the same hash. Verification
- * recomputes the canonical form, re-derives the hash, checks the signature
- * against the included public key, and returns one of:
- *   - 'valid'         · signature matches · safe to replay
- *   - 'tampered'      · signature does NOT match · refuse
- *   - 'malformed'     · bundle is structurally wrong · refuse
- *   - 'unknown_key'   · signature valid but public key not in user's trust
- *                       store · prompt user to trust+continue or refuse
- *
- * Pure logic. The CLI + HTTP routes wrap this and do I/O.
- */
-import { sign as cryptoSign, verify as cryptoVerify, generateKeyPairSync, createPrivateKey, createPublicKey, } from 'crypto';
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Canonicalization · deterministic JSON form so signatures match            */
-/* ──────────────────────────────────────────────────────────────────────── */
-/**
- * Stable JSON: object keys sorted, no whitespace, primitives preserved.
- * Two machines that build the same body MUST produce the same bytes for
- * the signature to verify. We deliberately don't use JSON.stringify with
- * a replacer because Node's serializer doesn't guarantee key order across
- * versions/realms.
- */
-export function canonicalize(value) {
-    if (value === null)
-        return 'null';
-    if (typeof value === 'number') {
-        if (!Number.isFinite(value))
-            throw new Error(`cannot canonicalize non-finite number: ${value}`);
-        return JSON.stringify(value);
-    }
-    if (typeof value === 'string' || typeof value === 'boolean')
-        return JSON.stringify(value);
-    if (Array.isArray(value)) {
-        return '[' + value.map(canonicalize).join(',') + ']';
-    }
-    if (typeof value === 'object') {
-        const obj = value;
-        const keys = Object.keys(obj).sort();
-        const parts = keys
-            .filter((k) => obj[k] !== undefined) // undefined → drop the key (JSON convention)
-            .map((k) => JSON.stringify(k) + ':' + canonicalize(obj[k]));
-        return '{' + parts.join(',') + '}';
-    }
-    if (value === undefined)
-        return 'null';
-    throw new Error(`cannot canonicalize type: ${typeof value}`);
-}
-/** Generate a fresh Ed25519 keypair · used for first-time setup. */
-export function generateKeypair() {
-    const { publicKey, privateKey } = generateKeyPairSync('ed25519');
-    return { publicKey, privateKey };
-}
-/** Sign a bundle body and produce the full ThreadBundle.
- *  Ed25519 is NOT a hash-then-sign scheme · pass the message directly to
- *  crypto.sign(null, msg, key) · the algorithm is implied by the key. */
-export function signBundle(body, keys) {
-    const canonical = canonicalize(body);
-    const sig = cryptoSign(null, Buffer.from(canonical, 'utf-8'), keys.privateKey);
-    const pubRaw = keys.publicKey.export({ format: 'der', type: 'spki' });
-    return {
-        body,
-        signature: sig.toString('base64'),
-        publicKey: pubRaw.toString('base64'),
-        alg: 'ed25519',
-    };
-}
-/**
- * Verify a bundle. Returns one of:
- *   - valid        · signature matches AND the publicKey is in trustedKeys
- *   - valid-untrusted · signature matches but the key isn't in trustedKeys
- *                        (returned with status='valid' but trusted=false)
- *   - tampered     · signature doesn't match the recomputed body bytes
- *   - malformed    · bundle structure broken
- */
-export function verifyBundle(bundle, trustedKeys = new Set()) {
-    if (!isBundle(bundle))
-        return { status: 'malformed', reason: 'bundle shape is invalid' };
-    if (bundle.alg !== 'ed25519')
-        return { status: 'malformed', reason: `unsupported alg: ${bundle.alg}` };
-    try {
-        const canonical = canonicalize(bundle.body);
-        const pubBuf = Buffer.from(bundle.publicKey, 'base64');
-        const sigBuf = Buffer.from(bundle.signature, 'base64');
-        const pubKey = createPublicKey({ key: pubBuf, format: 'der', type: 'spki' });
-        const ok = cryptoVerify(null, Buffer.from(canonical, 'utf-8'), pubKey, sigBuf);
-        if (!ok)
-            return { status: 'tampered', reason: 'signature does not match body' };
-        const trusted = trustedKeys.has(bundle.publicKey);
-        if (!trusted) {
-            return { status: 'unknown_key', bundle, publicKey: bundle.publicKey };
-        }
-        return { status: 'valid', bundle, trusted: true };
-    }
-    catch (err) {
-        return { status: 'malformed', reason: err instanceof Error ? err.message : String(err) };
-    }
-}
-function isBundle(x) {
-    if (typeof x !== 'object' || x === null)
-        return false;
-    const obj = x;
-    if (typeof obj.signature !== 'string')
-        return false;
-    if (typeof obj.publicKey !== 'string')
-        return false;
-    if (typeof obj.alg !== 'string')
-        return false;
-    const body = obj.body;
-    if (typeof body !== 'object' || body === null)
-        return false;
-    const b = body;
-    if (b.schema !== 1)
-        return false;
-    if (b.kind !== 'thread')
-        return false;
-    if (typeof b.sessionId !== 'string')
-        return false;
-    if (typeof b.session !== 'object' || b.session === null)
-        return false;
-    return true;
-}
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Key derivation helpers · PEM encoding for storage                          */
-/* ──────────────────────────────────────────────────────────────────────── */
-export function exportPrivatePem(key) {
-    return key.export({ format: 'pem', type: 'pkcs8' }).toString();
-}
-export function exportPublicPem(key) {
-    return key.export({ format: 'pem', type: 'spki' }).toString();
-}
-export function importPrivatePem(pem) {
-    return createPrivateKey({ key: pem, format: 'pem', type: 'pkcs8' });
-}
-export function importPublicPem(pem) {
-    return createPublicKey({ key: pem, format: 'pem', type: 'spki' });
-}
-/** Compute the base64 publicKey string for a KeyObject · same encoding as in bundles. */
-export function publicKeyToBase64(key) {
-    return key.export({ format: 'der', type: 'spki' }).toString('base64');
-}
-/** Short fingerprint used in human-readable output. */
-export function shortFingerprint(publicKeyB64) {
-    return publicKeyB64.slice(0, 8) + '...' + publicKeyB64.slice(-4);
-}
-//# sourceMappingURL=thread-export.js.map

package/dist/application/use-cases/verify-claim.js

@@ -1,274 +0,0 @@
-/**
- * v0.7 · verify-claim use case
- *
- * Pure function that compares what the Final Report TEXT claims against
- * the structured reality (artifacts + steps) captured during the session.
- *
- * Codehere's #1 differentiator (per claim_market_position v4 + landing copy):
- * agents round to optimism, the verifier catches the rounding.
- *
- * Examples this catches today:
- *   - Report says "18 tests passed" but artifacts.tests.passed = 17 → MISMATCH
- *   - Report says "all tests green" but artifacts.tests.failed > 0 → MISMATCH
- *   - Report says "no files changed" but artifacts.files has entries → MISMATCH
- *   - Report says "5 files modified" but artifacts.files.length === 3 → MISMATCH
- *
- * NOT a substitute for human review · this is a tripwire for the easy lies.
- * The verifier is intentionally conservative: only flag claims it can
- * compare against structured data. Unverifiable claims (prose-only,
- * intent-only) pass through silently.
- *
- * I/O is deferred to the CLI/UI surface. This file is pure: same input,
- * same output, no side-effects, no clock, no filesystem.
- */
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Main verifier                                                             */
-/* ──────────────────────────────────────────────────────────────────────── */
-export function verifyClaim(input) {
-    if (!input.summary || !input.summary.trim()) {
-        return {
-            status: 'no-report',
-            findings: [
-                {
-                    severity: 'warn',
-                    kind: 'no-report',
-                    claim: '(no Final Report generated)',
-                    reality: 'nothing to verify',
-                    message: 'No Final Report available for this session. Nothing to verify against.',
-                },
-            ],
-            summary: 'No Final Report to verify.',
-        };
-    }
-    const findings = [
-        ...verifyTestsClaim(input.summary, input.artifacts),
-        ...verifyFilesClaim(input.summary, input.artifacts),
-    ];
-    const hasFail = findings.some((f) => f.severity === 'fail');
-    const hasNon = findings.length > 0;
-    const status = hasFail ? 'broken' : hasNon ? 'partial' : 'verified';
-    const summary = buildVerdictSummary(status, findings);
-    return { status, findings, summary };
-}
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Tests claim verification                                                  */
-/* ──────────────────────────────────────────────────────────────────────── */
-/**
- * Detect tests-related claims in the report and cross-check against
- * artifacts.tests. Catches "X tests passed" exaggeration AND "all tests
- * green" when failed > 0.
- */
-export function verifyTestsClaim(summary, artifacts) {
-    const out = [];
-    const lower = summary.toLowerCase();
-    const tests = artifacts?.tests;
-    // Extract numeric "X tests passed" / "X passed" / "X of Y" patterns.
-    // We deliberately keep the regex tight to avoid false positives on prose
-    // like "this is the 5th attempt".
-    const countClaim = matchTestCountClaim(summary);
-    if (countClaim !== null) {
-        if (!tests) {
-            // The agent claimed a test count but the adapter recorded no test
-            // artifact. Suspicious but not necessarily wrong (the adapter may not
-            // capture test results yet). Flag as warn.
-            out.push({
-                severity: 'warn',
-                kind: 'tests',
-                claim: countClaim.quote,
-                reality: 'no test artifact captured',
-                message: `Final Report claims "${countClaim.quote}" but no test results were recorded by the agent.`,
-            });
-        }
-        else {
-            const actualPassed = tests.passed;
-            const actualFailed = tests.failed;
-            const actualTotal = actualPassed + actualFailed;
-            // Per codex Round 1: "X of Y tests passed" must check BOTH numbers.
-            // A claim like "18 of 18 tests passed" with reality {passed: 17, failed: 1}
-            // has matching total (18 ran) but mismatched passed (17 ≠ 18) · we flag.
-            if (countClaim.passedCount !== undefined && countClaim.passedCount !== actualPassed) {
-                out.push({
-                    severity: 'fail',
-                    kind: 'tests',
-                    claim: countClaim.quote,
-                    reality: `${actualPassed} passed, ${actualFailed} failed (${actualTotal} ran)`,
-                    message: `Final Report claims ${countClaim.passedCount} tests passed but reality is ${actualPassed} passed and ${actualFailed} failed.`,
-                });
-            }
-            if (countClaim.totalCount !== undefined && countClaim.totalCount !== actualTotal) {
-                out.push({
-                    severity: 'fail',
-                    kind: 'tests',
-                    claim: countClaim.quote,
-                    reality: `${actualTotal} ran (${actualPassed} passed, ${actualFailed} failed)`,
-                    message: `Final Report claims ${countClaim.totalCount} tests ran but reality is ${actualTotal} (${actualPassed} passed, ${actualFailed} failed).`,
-                });
-            }
-        }
-    }
-    // Universal "all tests pass" / "all green" claims. Requires explicit
-    // universal qualifier ("all", "every", "each", "no failures") so that
-    // count claims like "18 tests passed" don't also match — count
-    // mismatches are caught above by matchTestCountClaim.
-    const claimsAllPass = /\b(?:all|every|each)\s+tests?\s+(?:pass(?:ed|ing)?|green|succeed(?:ed)?)\b/i.test(lower) ||
-        /\btests?\s+all\s+(?:pass(?:ed|ing)?|green)\b/i.test(lower) ||
-        /\ball\s+(?:tests?\s+)?(?:green|passing)\b/i.test(lower) ||
-        /\bno\s+(?:test\s+)?(?:failures|regressions?)\b/i.test(lower);
-    if (claimsAllPass && tests && tests.failed > 0) {
-        out.push({
-            severity: 'fail',
-            kind: 'tests',
-            claim: 'all tests pass / green / no failures',
-            reality: `${tests.failed} test${tests.failed === 1 ? '' : 's'} failed`,
-            message: `Final Report claims all tests pass but ${tests.failed} actually failed.`,
-        });
-    }
-    return out;
-}
-/**
- * Parse the first explicit test-count claim from the summary.
- * Returns null if no specific count is mentioned.
- *
- * Patterns matched (a single claim can assert BOTH a passed-count AND a total):
- *   "18 tests passed"          → { passedCount: 18 }
- *   "18 of 18 tests passed"    → { passedCount: 18, totalCount: 18 }
- *   "passed 18 tests"          → { passedCount: 18 }
- *   "ran 25 tests"             → { totalCount: 25 }
- *
- * Per codex Round 1 review on commit 8481412: "X of Y tests passed" must
- * check BOTH numbers, not just total, otherwise "18 of 18 passed" with
- * reality {passed: 17, failed: 1} slips through (total still equals 18).
- */
-function matchTestCountClaim(summary) {
-    // "X of Y tests passed/green/succeeded" → X is passed AND Y is total.
-    // Per codex Round 2: require explicit pass-context to populate passedCount
-    // so negative phrasing ("1 of 3 tests failed") doesn't become a false-positive
-    // "1 passed" claim.
-    const ofPassMatch = summary.match(/\b(\d+)\s+(?:of|\/)\s+(\d+)\s+tests?\s+(?:pass(?:ed|ing)?|green|succeed(?:ed)?)\b/i);
-    if (ofPassMatch) {
-        return {
-            quote: ofPassMatch[0],
-            passedCount: parseInt(ofPassMatch[1], 10),
-            totalCount: parseInt(ofPassMatch[2], 10),
-        };
-    }
-    // "X of Y tests" without pass-context → only Y is a total-count claim. X
-    // is ambient (failed / ran / partial / etc) and we don't pretend to know.
-    // Per codex Round 3: this branch preserves total-count detection for
-    // bare X-of-Y phrasing so the verifier still catches mismatched totals.
-    const ofMatch = summary.match(/\b(\d+)\s+(?:of|\/)\s+(\d+)\s+tests?\b/i);
-    if (ofMatch) {
-        return {
-            quote: ofMatch[0],
-            totalCount: parseInt(ofMatch[2], 10),
-        };
-    }
-    // "X tests passed" / "X tests pass"
-    const passedMatch = summary.match(/\b(\d+)\s+tests?\s+(?:pass(?:ed|ing)?|green)\b/i);
-    if (passedMatch) {
-        return { quote: passedMatch[0], passedCount: parseInt(passedMatch[1], 10) };
-    }
-    // "passed X tests" / "ran X tests"
-    const reverseMatch = summary.match(/\b(?:pass(?:ed)?|ran)\s+(\d+)\s+tests?\b/i);
-    if (reverseMatch) {
-        const isPass = /pass/i.test(reverseMatch[0]);
-        return {
-            quote: reverseMatch[0],
-            passedCount: isPass ? parseInt(reverseMatch[1], 10) : undefined,
-            totalCount: isPass ? undefined : parseInt(reverseMatch[1], 10),
-        };
-    }
-    return null;
-}
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Files claim verification                                                  */
-/* ──────────────────────────────────────────────────────────────────────── */
-/**
- * Detect files-related claims in the report and cross-check against
- * artifacts.files. Catches "no files changed" when files DID change,
- * and "X files changed" count mismatches.
- */
-export function verifyFilesClaim(summary, artifacts) {
-    const out = [];
-    // Claim: "no files were changed" / "no files modified" / similar
-    const claimsNoFiles = /\bno\s+files?\s+(were\s+)?(changed|modified|touched|written|created)\b/i.test(summary) ||
-        /\bsession\s+was\s+read-only\b/i.test(summary) ||
-        /\bnothing\s+(was\s+)?(written|changed|modified)\b/i.test(summary);
-    // Claim: "X files changed" / "modified X files" / "wrote X files"
-    const countClaim = matchFilesCountClaim(summary);
-    // Per codex Round 1: if the adapter didn't capture file artifacts at all,
-    // we can't verify file claims · warn rather than fail. Mirrors the tests
-    // path (missing tests artifact → warn). Distinguishes from `files: []`
-    // which is a valid "explicitly captured zero files" reality.
-    if (artifacts?.files === undefined) {
-        if (claimsNoFiles) {
-            out.push({
-                severity: 'warn',
-                kind: 'files',
-                claim: 'no files changed / read-only',
-                reality: 'no file artifact captured',
-                message: 'Final Report claims no files changed but no file results were recorded by the agent.',
-            });
-        }
-        if (countClaim !== null) {
-            out.push({
-                severity: 'warn',
-                kind: 'files',
-                claim: countClaim.quote,
-                reality: 'no file artifact captured',
-                message: `Final Report claims "${countClaim.quote}" but no file results were recorded by the agent.`,
-            });
-        }
-        return out;
-    }
-    const actualCount = artifacts.files.length;
-    if (claimsNoFiles && actualCount > 0) {
-        out.push({
-            severity: 'fail',
-            kind: 'files',
-            claim: 'no files changed / read-only',
-            reality: `${actualCount} file${actualCount === 1 ? '' : 's'} changed`,
-            message: `Final Report claims no files were changed but ${actualCount} actually were.`,
-        });
-    }
-    if (countClaim !== null && countClaim.value !== actualCount) {
-        out.push({
-            severity: 'fail',
-            kind: 'files',
-            claim: countClaim.quote,
-            reality: `${actualCount} file${actualCount === 1 ? '' : 's'} changed`,
-            message: `Final Report claims ${countClaim.value} file${countClaim.value === 1 ? '' : 's'} were changed but ${actualCount} actually were.`,
-        });
-    }
-    return out;
-}
-function matchFilesCountClaim(summary) {
-    // "X files changed" / "X files modified" / "X files were touched"
-    const m1 = summary.match(/\b(\d+)\s+files?\s+(were\s+)?(?:changed|modified|touched|written|created|added|updated)\b/i);
-    if (m1)
-        return { quote: m1[0], value: parseInt(m1[1], 10) };
-    // "changed X files" / "modified X files"
-    const m2 = summary.match(/\b(?:changed|modified|touched|wrote|created|added|updated)\s+(\d+)\s+files?\b/i);
-    if (m2)
-        return { quote: m2[0], value: parseInt(m2[1], 10) };
-    return null;
-}
-/* ──────────────────────────────────────────────────────────────────────── */
-/* Verdict summary                                                           */
-/* ──────────────────────────────────────────────────────────────────────── */
-function buildVerdictSummary(status, findings) {
-    if (status === 'verified')
-        return 'Claims match the recorded reality. No gaps detected.';
-    if (status === 'no-report')
-        return 'No Final Report to verify.';
-    const failCount = findings.filter((f) => f.severity === 'fail').length;
-    const warnCount = findings.filter((f) => f.severity === 'warn').length;
-    if (failCount > 0 && warnCount > 0) {
-        return `${failCount} claim${failCount === 1 ? '' : 's'} contradict the recorded reality, plus ${warnCount} unverifiable claim${warnCount === 1 ? '' : 's'}.`;
-    }
-    if (failCount > 0) {
-        return `${failCount} claim${failCount === 1 ? '' : 's'} contradict the recorded reality.`;
-    }
-    return `${warnCount} unverifiable claim${warnCount === 1 ? '' : 's'}.`;
-}
-//# sourceMappingURL=verify-claim.js.map