@telora/daemon 0.22.245 → 0.22.289

package/dist/verify/inspection-strategies/ai-inspection-runner.js

@@ -0,0 +1,375 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/composition/subsystem-contexts.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/judge-question.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/ai-inspection-pinned-change.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/ai-inspection-rulings.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/ai-inspection-runner.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/verification-strategies.test.ts,
+//   packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts
+// PINNED-BY-END
+import { trackChildProcess } from '../../daemon-state/worker-registry.js';
+import { CLAUDE_PROVIDER, providerWindowHoldUntilMs } from '../../daemon-state/provider-window.js';
+import { stopFires } from '../../supervision/stop-registry.js';
+import { attestJudgeCli, buildJudgeArgs, judgeEnv, JUDGE_MAX_TURNS, JUDGE_TOOLS, } from '../effect-reconciliation/judge-invoker.js';
+import { boundedChangedFiles, boundedDiffStat, boundedText, FREE_TEXT_MAX_CHARS, judgedQuestionFingerprint, oversizedStatement, TREE_CONTEXT_MAX_CHARS, } from '../effect-reconciliation/judge-question.js';
+import { DEFAULT_INPUT_BUDGET_CHARS, inputTooLargeInProse, overInputBudget, } from '../../backends/claude/one-shot-model.js';
+const DEFAULT_TIMEOUT_MS = 5 * 60 * 1000;
+const SYSTEM_PROMPT_TEMPLATE = `You are a code-state verification agent for the Telora differential focus spec.
+
+Your job: judge whether the FRT statement below holds in the code of the
+read-only export of the judged commit's tree you are working in, with an
+export of the BASE tree (the state before the change) beside it when there is
+one. Both are plain files: there is no git and no shell. You are NOT given the
+diff: you are given the commit range, the changed-file list and the diff stat,
+and you read what you need with Read, Grep and Glob -- a changed file in the
+judged tree, and the same path in the base tree to see what it was. Do NOT
+attempt to write or edit files.
+
+State the SCOPE of the FRT statement: "change" (a claim about what this
+change does -- judge it from the change) or "tree" (a claim about the whole
+tree, e.g. "no module does X", "X is free of Y", "only Z does W" -- no slice
+of the change can establish it: establish it with a tree-wide grep: check and
+cite it).
+
+Respond with a single JSON code block (and nothing else after it) of the form:
+
+\`\`\`json
+{
+  "verdict": "passed" | "failed" | "inconclusive",
+  "rationale": "1-3 sentence explanation grounded in specific files/lines",
+  "scope": "change" | "tree",
+  "citations": ["<what the verdict rests on>"],
+  "drift_observations": []
+}
+\`\`\`
+
+A passed or failed verdict MUST cite what it rests on, and every citation is
+checked against the judged commit -- a verdict whose citations do not resolve
+is discarded. Use exactly these forms: "path/to/file.ts" (a file),
+"path/to/file.ts:LINE" (a line you read), "path/to/file.test.ts::test name" (a
+test), "grep:<count>:<extended regex>" (a tree-wide check the daemon RUNS:
+\`git grep -E\` over every file of the judged tree, hidden ones included,
+must find exactly <count> matching lines -- count it yourself first with the
+Grep tool, output_mode "count", summed over files). EVERY passed or
+failed verdict must cite at least one grep: check, or it is discarded: for a
+claim about the whole tree, the check that establishes it; for a claim about
+the change, a count that locates what you judged. Whether the checks you cite
+establish the FRT is YOUR judgement: the daemon confirms only that each
+resolves. Cite the check that bears on the FRT -- one whose count the change
+moved and whose pattern names what the FRT asserts -- and if what you observed
+disproves it, report failed.
+
+A drift observation is a CRT statement that the code state contradicts.
+Only emit one when you can name the contradicted statement node and
+suggest a correction. Each observation is:
+
+  { "node_id": "<uuid|null>",
+    "kind": "update_statement" | "add_node" | "retire_node" | "change_node_type" | "flip_ude_to_de",
+    "observed": "what the code shows",
+    "suggested_correction": "what the CRT statement should say (or what node should be added)" }
+
+For kind "flip_ude_to_de", suggested_correction is NOT a description of the
+contradiction -- it IS the positive restatement of the UDE: the single
+desired-effect sentence the former UDE now reads as. State the resolved,
+desirable outcome (e.g. "operators see at a glance which focuses are blocked"),
+not "the UDE no longer holds".
+
+Use 'inconclusive' when the code does not give you enough signal to decide.
+
+`;
+/** The inspection's system prompt: the question whole, the tree context and dismissals capped (judge-question.ts). Exported for tests. */
+export function buildInspectionSystemPrompt(inputs) {
+    // The question is whole (runAiInspection refuses one over STATEMENT_MAX_CHARS); only context is capped.
+    const dissolves = inputs.injection.dissolvesObstacle
+        ? `\n## Dissolves Obstacle\n\n${inputs.injection.dissolvesObstacle}\n`
+        : '';
+    return [
+        SYSTEM_PROMPT_TEMPLATE,
+        `## FRT Statement to Verify\n\n${inputs.injection.frtStatement}\n`,
+        `## CRT Original Statement (pre-injection)\n\n${inputs.injection.crtStatement}\n`,
+        dissolves,
+        inputs.crtDumpMarkdown ? `${boundedText(inputs.crtDumpMarkdown, TREE_CONTEXT_MAX_CHARS, 'head')}\n` : '',
+        inputs.dismissedProposalsSection ? `${boundedText(inputs.dismissedProposalsSection, FREE_TEXT_MAX_CHARS, 'head')}\n` : '',
+    ].filter(Boolean).join('\n');
+}
+/**
+ * The fingerprint of what an inspection is asked beyond its commits and rulings
+ * (which the hold identity already carries): the FRT, CRT and obstacle, and the
+ * tree context and dismissed proposals in the bounded form the system prompt
+ * sends them -- every field that, edited, changes the request
+ * (verify/outcome-routing/incurable-model-hold.ts). Pure.
+ */
+export function inspectionQuestionFingerprint(inputs) {
+    return judgedQuestionFingerprint({
+        frt: inputs.injection.frtStatement,
+        crt: inputs.injection.crtStatement,
+        obstacle: inputs.injection.dissolvesObstacle,
+        treeContext: inputs.crtDumpMarkdown ? boundedText(inputs.crtDumpMarkdown, TREE_CONTEXT_MAX_CHARS, 'head') : '',
+        dismissed: inputs.dismissedProposalsSection ? boundedText(inputs.dismissedProposalsSection, FREE_TEXT_MAX_CHARS, 'head') : '',
+    });
+}
+/** The inspection's question: the range, the changed files and the stat -- never the diff. Exported for tests. */
+export function buildUserMessage(inputs) {
+    const changed = inputs.changedFiles ?? [];
+    const range = boundedText(inputs.range ?? '', FREE_TEXT_MAX_CHARS, 'head');
+    const files = changed.length > 0 ? `## Changed files (${changed.length})\n\n${boundedChangedFiles(changed, inputs.range ?? '')}` : '';
+    const statText = (inputs.diffStat ?? '').trim();
+    const stat = statText !== '' ? `## Diff stat\n\n${boundedDiffStat(statText)}` : '';
+    const cited = Object.entries(inputs.reviewCitationsByNode ?? {}).filter(([, refs]) => refs.length > 0);
+    const review = cited.length > 0
+        ? "## The approving review's citations (starting points: read and weigh them yourself, never copy a verdict)\n\n"
+            + boundedText(cited.map(([node, refs]) => `- target ${node}: ${refs.join(', ')}`).join('\n'), FREE_TEXT_MAX_CHARS, 'head')
+        : '';
+    return [
+        'Please inspect the exported trees and judge whether the FRT statement holds.',
+        inputs.judgedSha ? `## Judged commit\n\n${inputs.judgedSha}` : '',
+        range ? `## Commit range of the change\n\n${range}` : '',
+        inputs.judgedSha ? `## Trees\n\nJudged tree: your working directory\n${inputs.basePath ? `Base tree (before the change): ${inputs.basePath}` : 'Base tree: none'}` : '',
+        files,
+        stat,
+        review,
+        'Read what you need. Respond with the JSON verdict block, citing what it rests on.',
+    ].filter(Boolean).join('\n\n');
+}
+/**
+ * Extract the first JSON object from a string. Tolerates code fences and
+ * leading/trailing prose.
+ */
+export function parseInspectionJson(raw) {
+    const stripped = raw.replace(/```(?:json)?\s*/g, '').replace(/```/g, '');
+    // Find the first `{` and try increasing slice ends until JSON.parse succeeds.
+    const firstBrace = stripped.indexOf('{');
+    if (firstBrace < 0)
+        return null;
+    let depth = 0;
+    let endIdx = -1;
+    for (let i = firstBrace; i < stripped.length; i += 1) {
+        const ch = stripped[i];
+        if (ch === '{')
+            depth += 1;
+        else if (ch === '}') {
+            depth -= 1;
+            if (depth === 0) {
+                endIdx = i;
+                break;
+            }
+        }
+    }
+    if (endIdx < 0)
+        return null;
+    let parsed;
+    try {
+        parsed = JSON.parse(stripped.slice(firstBrace, endIdx + 1));
+    }
+    catch {
+        return null;
+    }
+    if (!parsed || typeof parsed !== 'object')
+        return null;
+    const obj = parsed;
+    const verdict = obj.verdict;
+    if (verdict !== 'passed' && verdict !== 'failed' && verdict !== 'inconclusive')
+        return null;
+    const rationale = typeof obj.rationale === 'string' ? obj.rationale : '';
+    const citations = Array.isArray(obj.citations)
+        ? obj.citations.filter((c) => typeof c === 'string' && c.trim() !== '').map((c) => c.trim())
+        : [];
+    const drift = Array.isArray(obj.drift_observations) ? obj.drift_observations : [];
+    const driftObservations = [];
+    for (const raw of drift) {
+        if (!raw || typeof raw !== 'object')
+            continue;
+        const d = raw;
+        const kind = d.kind;
+        if (kind !== 'update_statement' &&
+            kind !== 'add_node' &&
+            kind !== 'retire_node' &&
+            kind !== 'change_node_type' &&
+            kind !== 'flip_ude_to_de')
+            continue;
+        driftObservations.push({
+            nodeId: typeof d.node_id === 'string' ? d.node_id : null,
+            kind,
+            observed: typeof d.observed === 'string' ? d.observed : '',
+            suggestedCorrection: typeof d.suggested_correction === 'string'
+                ? d.suggested_correction
+                : '',
+        });
+    }
+    const scope = obj.scope === 'tree' || obj.scope === 'change' ? { scope: obj.scope } : {};
+    return { verdict, rationale, citations, ...scope, driftObservations };
+}
+/**
+ * Build the argv for the claude CLI invocation. Exposed for tests.
+ */
+export function buildClaudeArgs(inputs, systemPrompt) {
+    const args = [
+        '--print',
+        '--output-format', 'text',
+        '--no-session-persistence',
+        '--max-turns', String(JUDGE_MAX_TURNS),
+        '--system-prompt', systemPrompt,
+    ];
+    // The same guarded, read-only boundary as the reconciliation judge (judge-invoker.ts).
+    args.push(...(inputs.worktreePath && inputs.judgedSha
+        ? buildJudgeArgs({ checkoutPath: inputs.worktreePath, basePath: inputs.basePath ?? null })
+        : ['--tools', JUDGE_TOOLS]));
+    return args;
+}
+/**
+ * The inconclusive result for an inspection that must not spawn at all, or null
+ * when it may: no worktree to inspect, or the claude provider's rate-limit window
+ * (daemon-state/provider-window.ts; the inspection runs the claude CLI) is open -- an inspection started then is rejected on
+ * the same limit, and its exit 1 was re-spawned every verify tick for the whole
+ * window. Inconclusive is already the runner's no-verdict outcome, so the engine
+ * records pending and retries once the window has passed.
+ */
+function inspectionNotSpawned(inputs) {
+    if (!inputs.worktreePath) {
+        return { verdict: 'inconclusive', rationale: 'ai_inspection skipped: no worktree path resolved for delivery', driftObservations: [] };
+    }
+    const holdUntil = providerWindowHoldUntilMs(CLAUDE_PROVIDER); // the inspection runs the claude CLI
+    if (stopFires('provider_rate_limit_window', { spawnProvider: CLAUDE_PROVIDER, windowHoldUntilMs: holdUntil }) && holdUntil !== null) {
+        return {
+            verdict: 'inconclusive',
+            rationale: `ai_inspection not spawned: the anthropic rate limit holds every spawn until ${new Date(holdUntil).toISOString()} on that provider (the inspection runs claude)`,
+            driftObservations: [],
+        };
+    }
+    return null;
+}
+/** The inconclusive result for an input too large for the model: named, with its size and budget. Pure. */
+export function inputTooLargeResult(inputSize, spawned) {
+    const where = spawned ? 'the CLI refused it as too long' : 'not spawned';
+    return {
+        verdict: 'inconclusive',
+        rationale: `ai_inspection input too large: ${inputSize.chars} characters against a ${inputSize.budgetChars}-character budget; ${where}`,
+        driftObservations: [],
+        modelUnavailable: { kind: 'input_too_large', inputSize },
+    };
+}
+/**
+ * The input-too-large result for an inspection whose question (FRT, CRT or
+ * obstacle statement) is too long to hand over whole -- never cut; or null. Pure.
+ */
+function oversizedQuestion(inputs) {
+    const { frtStatement, crtStatement, dissolvesObstacle } = inputs.injection;
+    const over = oversizedStatement({ 'FRT statement': frtStatement, 'CRT statement': crtStatement, 'obstacle statement': dissolvesObstacle });
+    if (!over)
+        return null;
+    return {
+        ...inputTooLargeResult({ chars: over.chars, budgetChars: over.budgetChars }, false),
+        rationale: `ai_inspection not run: the ${over.name} is ${over.chars} characters, over the ${over.budgetChars} a judge is handed whole -- it is never cut`,
+    };
+}
+/** The CLI's words for a session that hit its turn cap. */
+const MAX_TURNS_PROSE = /max(imum)? turns/i;
+/**
+ * The inconclusive result for a session that used every turn of its budget:
+ * named, incurable, carrying the budget. (A timeout is not this: it stays a
+ * plain inconclusive and is retried.) Pure.
+ */
+export function sessionExhaustedResult(maxTurns) {
+    return {
+        verdict: 'inconclusive',
+        rationale: `ai_inspection session exhausted: all ${maxTurns} turns of its budget were used without a verdict`,
+        driftObservations: [],
+        modelUnavailable: { kind: 'session_exhausted', inputSize: null, maxTurns },
+    };
+}
+/** What a finished inspection process rendered, from how it exited and what it printed. Pure. */
+export function inspectionExitResult(exit) {
+    const { code, stdout, stderr } = exit;
+    if (exit.timedOut) {
+        return { verdict: 'inconclusive', rationale: `ai_inspection gave no verdict within ${Math.round(exit.timeoutMs / 1000)}s; killed -- retried next tick`, driftObservations: [] };
+    }
+    if (code !== 0 && MAX_TURNS_PROSE.test(`${stdout}\n${stderr}`))
+        return sessionExhaustedResult(JUDGE_MAX_TURNS);
+    if (code !== 0 && inputTooLargeInProse(`${stdout}\n${stderr}`))
+        return inputTooLargeResult(exit.inputSize, true);
+    if (code !== 0) {
+        return { verdict: 'inconclusive', rationale: `ai_inspection exited ${code}: ${stderr.slice(-2000)}`, driftObservations: [] };
+    }
+    return parseInspectionJson(stdout)
+        ?? { verdict: 'inconclusive', rationale: 'ai_inspection produced no parseable JSON verdict', driftObservations: [] };
+}
+/**
+ * Spawn the claude CLI runner and return the parsed verdict.
+ *
+ * Returns 'inconclusive' on any error (spawn failure, timeout, malformed
+ * output) so the verification engine records 'pending' and the loop will
+ * retry on the next tick.
+ */
+export async function runAiInspection(inputs, opts) {
+    const claudeBin = opts.claudeBin ?? 'claude';
+    const timeoutMs = opts.timeoutMs ?? DEFAULT_TIMEOUT_MS;
+    const { spawnFn } = opts;
+    const skipped = inspectionNotSpawned(inputs) ?? oversizedQuestion(inputs);
+    if (skipped)
+        return skipped;
+    const systemPrompt = buildInspectionSystemPrompt(inputs);
+    const userMessage = buildUserMessage(inputs);
+    const budgetChars = opts.inputBudgetChars ?? DEFAULT_INPUT_BUDGET_CHARS;
+    const oversize = overInputBudget(systemPrompt, userMessage, budgetChars);
+    if (oversize)
+        return inputTooLargeResult(oversize, false);
+    const args = buildClaudeArgs(inputs, systemPrompt);
+    attestJudgeCli(claudeBin, opts.readCliVersion);
+    return await new Promise((resolve) => {
+        let child;
+        try {
+            child = spawnFn(claudeBin, args, {
+                cwd: inputs.worktreePath,
+                stdio: ['pipe', 'pipe', 'pipe'],
+                env: judgeEnv(),
+            });
+        }
+        catch (err) {
+            resolve({
+                verdict: 'inconclusive',
+                rationale: `ai_inspection spawn failed: ${err.message}`,
+                driftObservations: [],
+            });
+            return;
+        }
+        // Register so a graceful stop reaps this one-shot if the inspection is still running.
+        trackChildProcess(child, 'ai-inspection');
+        let stdout = '';
+        let stderr = '';
+        child.stdout?.on('data', (chunk) => { stdout += chunk.toString('utf8'); });
+        child.stderr?.on('data', (chunk) => { stderr += chunk.toString('utf8'); });
+        let timedOut = false;
+        const timer = setTimeout(() => {
+            timedOut = true;
+            try {
+                child.kill('SIGKILL');
+            }
+            catch { /* ignore */ }
+        }, timeoutMs);
+        child.on('error', (err) => {
+            clearTimeout(timer);
+            resolve({
+                verdict: 'inconclusive',
+                rationale: `ai_inspection spawn error: ${err.message}`,
+                driftObservations: [],
+            });
+        });
+        child.on('close', (code) => {
+            clearTimeout(timer);
+            resolve(inspectionExitResult({ code, timedOut, stdout, stderr, timeoutMs, inputSize: { chars: systemPrompt.length + userMessage.length, budgetChars } }));
+        });
+        try {
+            child.stdin?.write(userMessage);
+            child.stdin?.end();
+        }
+        catch (err) {
+            clearTimeout(timer);
+            resolve({
+                verdict: 'inconclusive',
+                rationale: `ai_inspection stdin write failed: ${err.message}`,
+                driftObservations: [],
+            });
+        }
+    });
+}
+//# sourceMappingURL=ai-inspection-runner.js.map

package/dist/verify/inspection-strategies/ai-inspection-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-inspection-runner.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/ai-inspection-runner.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,6EAA6E;AAC7E,0FAA0F;AAC1F,oFAAoF;AACpF,mFAAmF;AACnF,sFAAsF;AACtF,4EAA4E;AAC5E,gBAAgB;AA0ChB,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAC/D,OAAO,EACL,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,GACvE,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,sBAAsB,GAC9I,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,eAAe,GAGhB,MAAM,yCAAyC,CAAC;AAkDjD,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC,MAAM,sBAAsB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8D9B,CAAC;AAEF,0IAA0I;AAC1I,MAAM,UAAU,2BAA2B,CAAC,MAA0B;IACpE,wGAAwG;IACxG,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,iBAAiB;QAClD,CAAC,CAAC,8BAA8B,MAAM,CAAC,SAAS,CAAC,iBAAiB,IAAI;QACtE,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,sBAAsB;QACtB,iCAAiC,MAAM,CAAC,SAAS,CAAC,YAAY,IAAI;QAClE,gDAAgD,MAAM,CAAC,SAAS,CAAC,YAAY,IAAI;QACjF,SAAS;QACT,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,eAAe,EAAE,sBAAsB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QACxG,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;KAC1H,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,MAA+F;IAC3I,OAAO,yBAAyB,CAAC;QAC/B,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY;QAClC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY;QAClC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,iBAAiB;QAC5C,WAAW,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,eAAe,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9G,SAAS,EAAE,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;KAC9H,CAAC,CAAC;AACL,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,gBAAgB,CAAC,MAA0B;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,MAAM,QAAQ,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtI,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,mBAAmB,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;QAC7B,CAAC,CAAC,+GAA+G;cAC7G,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,YAAY,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC;QAC5H,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,8EAA8E;QAC9E,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;QACjE,KAAK,CAAC,CAAC,CAAC,oCAAoC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;QACxD,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,oDAAoD,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE;QACvK,KAAK;QACL,IAAI;QACJ,MAAM;QACN,mFAAmF;KACpF,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,8EAA8E;IAC9E,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAE5F,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,MAAM,iBAAiB,GAAuB,EAAE,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,SAAS;QAC9C,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QACpB,IACE,IAAI,KAAK,kBAAkB;YAC3B,IAAI,KAAK,UAAU;YACnB,IAAI,KAAK,aAAa;YACtB,IAAI,KAAK,kBAAkB;YAC3B,IAAI,KAAK,gBAAgB;YACzB,SAAS;QACX,iBAAiB,CAAC,IAAI,CAAC;YACrB,MAAM,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;YACxD,IAAI;YACJ,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YAC1D,mBAAmB,EAAE,OAAO,CAAC,CAAC,oBAAoB,KAAK,QAAQ;gBAC7D,CAAC,CAAC,CAAC,CAAC,oBAAoB;gBACxB,CAAC,CAAC,EAAE;SACP,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAA2B,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjH,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,CAAC;AACxE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAA0B,EAAE,YAAoB;IAC9E,MAAM,IAAI,GAAG;QACX,SAAS;QACT,iBAAiB,EAAE,MAAM;QACzB,0BAA0B;QAC1B,aAAa,EAAE,MAAM,CAAC,eAAe,CAAC;QACtC,iBAAiB,EAAE,YAAY;KAChC,CAAC;IACF,uFAAuF;IACvF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,SAAS;QACnD,CAAC,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC1F,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,MAA0B;IACtD,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,+DAA+D,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IACxI,CAAC;IACD,MAAM,SAAS,GAAG,yBAAyB,CAAC,eAAe,CAAC,CAAC,CAAC,qCAAqC;IACnG,IAAI,SAAS,CAAC,4BAA4B,EAAE,EAAE,aAAa,EAAE,eAAe,EAAE,iBAAiB,EAAE,SAAS,EAAE,CAAC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACpI,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,SAAS,EAAE,+EAA+E,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,gDAAgD;YAC3K,iBAAiB,EAAE,EAAE;SACtB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,mBAAmB,CAAC,SAAoB,EAAE,OAAgB;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,aAAa,CAAC;IACzE,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,SAAS,EAAE,kCAAkC,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,sBAAsB,KAAK,EAAE;QACvI,iBAAiB,EAAE,EAAE;QACrB,gBAAgB,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE;KACzD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,MAA0B;IACnD,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;IAC3E,MAAM,IAAI,GAAG,kBAAkB,CAAC,EAAE,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC3I,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO;QACL,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC;QACnF,SAAS,EAAE,8BAA8B,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,yBAAyB,IAAI,CAAC,WAAW,6CAA6C;KAC1J,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,eAAe,GAAG,mBAAmB,CAAC;AAE5C;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,SAAS,EAAE,wCAAwC,QAAQ,kDAAkD;QAC7G,iBAAiB,EAAE,EAAE;QACrB,gBAAgB,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,oBAAoB,CAAC,IAOpC;IACC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,wCAAwC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,gCAAgC,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IAClL,CAAC;IACD,IAAI,IAAI,KAAK,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC;QAAE,OAAO,sBAAsB,CAAC,eAAe,CAAC,CAAC;IAC/G,IAAI,IAAI,KAAK,CAAC,IAAI,oBAAoB,CAAC,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC;QAAE,OAAO,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACjH,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,wBAAwB,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IAC/H,CAAC;IACD,OAAO,mBAAmB,CAAC,MAAM,CAAC;WAC7B,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,kDAAkD,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;AACzH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAA0B,EAC1B,IAAmB;IAEnB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC;IACvD,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAEzB,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAE5B,MAAM,YAAY,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,IAAI,0BAA0B,CAAC;IACxE,MAAM,QAAQ,GAAG,eAAe,CAAC,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACzE,IAAI,QAAQ;QAAE,OAAO,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACnD,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IAE/C,OAAO,MAAM,IAAI,OAAO,CAAmB,CAAC,OAAO,EAAE,EAAE;QACrD,IAAI,KAAmB,CAAC;QACxB,IAAI,CAAC;YACH,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE;gBAC/B,GAAG,EAAE,MAAM,CAAC,YAAsB;gBAClC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;gBAC/B,GAAG,EAAE,QAAQ,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC;gBACN,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,+BAAgC,GAAa,CAAC,OAAO,EAAE;gBAClE,iBAAiB,EAAE,EAAE;aACtB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,sFAAsF;QACtF,iBAAiB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAE1C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnF,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,QAAQ,GAAG,IAAI,CAAC;YAChB,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC;gBACN,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,8BAA+B,GAAa,CAAC,OAAO,EAAE;gBACjE,iBAAiB,EAAE,EAAE;aACtB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5J,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC;YACH,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC;gBACN,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,qCAAsC,GAAa,CAAC,OAAO,EAAE;gBACxE,iBAAiB,EAAE,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/verify/inspection-strategies/verification-strategies.d.ts

@@ -0,0 +1,42 @@
+/**
+ * The per-method verification strategy bodies the engine dispatches
+ * (verify/engine/verification-engine.ts STRATEGIES): the behavioral scaffold and the
+ * tool-augmented ai_inspection runner mapping. An inspection whose input is too
+ * large for the model is an awaited-judge HOLD, not a bare inconclusive, and --
+ * retrying the same prompt cannot cure it -- a later dispatch on the same input
+ * spawns nothing (verify/outcome-routing/incurable-model-hold.ts).
+ *
+ * ONE PINNED COMMIT. The inspection reads a checkout pinned to the focus HEAD at
+ * dispatch, never the live worktree, and that commit is the run's judged commit
+ * (`verifiedSha`): the rulings are weighed at it, the review's met evidence
+ * resolves at it, and the reconciliation that follows pins the SAME commit
+ * (verify/engine/reconciliation-step.ts via judgedShaOfRun) -- never a later
+ * HEAD the branch moved to meanwhile.
+ *
+ * RULINGS FIRST. The delivery's rulings are read before the inspection is
+ * called (verify/shortfalls/pre-judge-rulings.ts): when every target the
+ * injection would be judged on is honoured by an active ruling at the pinned
+ * commit, the outcome is decided and NO model call is made; otherwise the
+ * inspection runs, handed the approving review's citations as starting points.
+ *
+ * A passed / failed verdict stands only when the citations it rests on resolve
+ * at the pinned commit and include a grep: check the daemon runs (every verdict,
+ * so a whole-tree claim can never rest on a file alone) -- otherwise it is held as unjudged
+ * (`unresolved_citations`), the same as the reconciliation judge's
+ * (verify/effect-reconciliation/judge-workspace.ts).
+ *
+ * History: docs/daemon/history-verify.md (verify/inspection-strategies/verification-strategies.ts).
+ *
+ * @module verify/inspection-strategies/verification-strategies
+ */
+import type { StrategyResult } from '../deterministic-gate/verification-deterministic.js';
+import type { VerificationDeps } from '../engine/verification-deps.js';
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import { type InspectionResult } from './ai-inspection-runner.js';
+import { type PreJudgeRulings } from '../shortfalls/pre-judge-rulings.js';
+export declare function runBehavioralStrategy(): Promise<StrategyResult>;
+export declare function runAiInspectionStrategy(deps: VerificationDeps, v: PendingVerification): Promise<StrategyResult & {
+    inspection?: InspectionResult;
+    preJudgeRulings?: PreJudgeRulings;
+}>;
+//# sourceMappingURL=verification-strategies.d.ts.map

package/dist/verify/inspection-strategies/verification-strategies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-strategies.d.ts","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,KAAK,EAAE,mBAAmB,EAAuB,MAAM,4CAA4C,CAAC;AAC3G,OAAO,EAAiC,KAAK,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAKjG,OAAO,EAAwE,KAAK,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAWhJ,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,cAAc,CAAC,CAKrE;AAuDD,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAAC,eAAe,CAAC,EAAE,eAAe,CAAA;CAAE,CAAC,CAwChG"}

package/dist/verify/inspection-strategies/verification-strategies.js

@@ -0,0 +1,145 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/engine/verification-engine.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/ai-inspection-pinned-change.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/verification-strategies.test.ts
+// PINNED-BY-END
+import { inspectionQuestionFingerprint } from './ai-inspection-runner.js';
+import { citationShapeGaps } from '../effect-reconciliation/judge-workspace.js';
+import { everyTargetPreRuled, readRulingsBeforeJudging, reviewCitationsByNode } from '../shortfalls/pre-judge-rulings.js';
+import { rulingEvidenceCheckFor } from '../shortfalls/ruling-evidence-resolution.js';
+import { readJudgedInput, readJudgedInputReadingRulings, resolveStandingIncurableHold, withJudgedInput, } from '../outcome-routing/incurable-model-hold.js';
+// ---------------------------------------------------------------------------
+// Strategies
+// ---------------------------------------------------------------------------
+export async function runBehavioralStrategy() {
+    return {
+        outcome: 'pending',
+        rationale: 'behavioral strategy scaffold -- runtime telemetry source not yet wired (see drift detection 82bdf164)',
+    };
+}
+/**
+ * Spawn a tool-augmented Claude runner against the focus worktree to judge
+ * whether the injection's FRT statement holds in the code state. Maps the
+ * runner verdict to a verification outcome:
+ *   - passed       → outcome 'passed' (caller will retire injection)
+ *   - failed       → outcome 'failed' (caller will revert delivery to coding)
+ *   - inconclusive → outcome 'pending' (caller leaves the row in queue)
+ *
+ * The strategy itself does NOT call verifyInjection or emit drift proposals;
+ * those side effects are wired by runVerificationForDelivery (next task)
+ * so the dispatch layer stays the single owner of the pass-path side effect.
+ *
+ * Drift observations from the runner are returned via the rationale field
+ * (compact JSON) so the caller can persist them as crt_drift_proposals.
+ */
+/** The hold an inspection that could not run names. Pure. */
+function inspectionHold(inspection) {
+    const size = inspection.modelUnavailable?.inputSize ?? null;
+    const maxTurns = inspection.modelUnavailable?.maxTurns;
+    return {
+        heldAt: new Date().toISOString(),
+        kind: inspection.modelUnavailable?.kind ?? 'unknown',
+        resetAt: null,
+        label: 'ai-inspection',
+        message: inspection.rationale,
+        ...(size ? { inputChars: size.chars, budgetChars: size.budgetChars } : {}),
+        ...(maxTurns !== undefined ? { maxTurns } : {}),
+    };
+}
+/** The hold for a verdict whose citations did not resolve: unjudged, never passed or failed. Pure. */
+function unresolvedCitationsHold(inspection, sha, unresolved) {
+    return {
+        heldAt: new Date().toISOString(),
+        kind: 'unresolved_citations',
+        resetAt: null,
+        label: 'ai-inspection',
+        message: `the ${inspection.verdict} verdict is held as unjudged -- its citations do not resolve at ${sha.slice(0, 12)}: `
+            + unresolved.map((u) => `${u.ref} (${u.reason})`).join('; '),
+    };
+}
+/** The awaited-judge outcome: 'pending', no verdict, the hold written by the engine. Pure. */
+function awaitingModel(hold, deliveryDiff) {
+    return {
+        outcome: 'pending',
+        modelUnavailable: true,
+        modelUnavailableHold: hold,
+        rationale: `ai_inspection could not run (${hold.kind}): ${hold.message}`,
+        ...(deliveryDiff !== undefined ? { deliveryDiff } : {}),
+    };
+}
+export async function runAiInspectionStrategy(deps, v) {
+    const inputs = await deps.resolveAiInspectionInputs(v);
+    if (!inputs) {
+        return {
+            outcome: 'pending',
+            rationale: 'ai_inspection skipped: injection node not found',
+        };
+    }
+    // The question this inspection is sent: every field of its request beyond its commits and rulings.
+    const question = inspectionQuestionFingerprint(inputs);
+    const readQuestion = async () => question;
+    const readInput = () => readJudgedInputReadingRulings(v, null, readQuestion, deps);
+    const standing = await resolveStandingIncurableHold(v, readInput, deps);
+    if (standing)
+        return awaitingModel(standing, inputs.deliveryDiff);
+    const workspace = inputs.worktreePath
+        ? deps.createJudgeWorkspace(inputs.worktreePath, `inspect-${v.deliveryId}`, null, inputs.range ?? '')
+        : null;
+    if (!workspace) {
+        return { outcome: 'pending', rationale: 'ai_inspection not run: no checkout pinned to the focus HEAD could be made -- retried next tick' };
+    }
+    try {
+        const preRuled = await readRulingsBeforeJudging(v, deps.readShortfallRulings, rulingEvidenceCheckFor(v, workspace.sha, deps.resolveRulingEvidence));
+        if (everyTargetPreRuled(await judgedTargetsOrUnknown(v, deps), preRuled.ruledNodeIds)) {
+            return {
+                outcome: 'passed', rationale: decidedByRulings(preRuled, workspace.sha), deliveryDiff: inputs.deliveryDiff,
+                verifiedSha: workspace.sha, preJudgeRulings: preRuled,
+            };
+        }
+        // The question is described at the PINNED commit: range, files and stat read from it, never the live tree.
+        const pinned = {
+            ...inputs, ...deps.readPinnedChange(inputs.worktreePath, workspace.range),
+            range: workspace.range, judgedSha: workspace.sha, ...(workspace.basePath ? { basePath: workspace.basePath } : {}),
+        };
+        // An incurable failure is recorded against the input actually judged: this commit and the rulings just read.
+        const judgedInput = () => readJudgedInput(v, workspace.sha, preRuled.fingerprint, readQuestion, deps);
+        return { ...await inspectPinned(deps, pinned, workspace, preRuled, judgedInput), preJudgeRulings: preRuled };
+    }
+    finally {
+        workspace.dispose();
+    }
+}
+/** The targets the inspection would judge, or null (an unknown: the inspection runs). Never throws. */
+async function judgedTargetsOrUnknown(v, deps) {
+    if (!v.injectionNodeId)
+        return null;
+    try {
+        return await deps.listJudgedTargets(v.injectionNodeId, v.focusId, v.deliveryId);
+    }
+    catch {
+        return null;
+    }
+}
+/** The rationale of a delivery every target of which an active ruling decides. Pure. */
+function decidedByRulings(preRuled, sha) {
+    return `ai_inspection not called: every target is honoured by an active ruling at ${sha.slice(0, 12)} `
+        + `(${[...preRuled.ruledNodeIds].join(', ')}) -- the outcome is already decided`;
+}
+/** Run the inspection in the pinned checkout and vouch for its verdict at that commit (module header). */
+async function inspectPinned(deps, inputs, workspace, preRuled, readInput) {
+    const inspection = await deps.runAiInspection({
+        ...inputs, worktreePath: workspace.checkoutPath, reviewCitationsByNode: reviewCitationsByNode(preRuled.rulings),
+    });
+    if (inspection.modelUnavailable)
+        return awaitingModel(await withJudgedInput(inspectionHold(inspection), readInput), inputs.deliveryDiff);
+    const citations = inspection.citations ?? [];
+    const unresolved = inspection.verdict === 'inconclusive' ? []
+        : [...await workspace.resolveCitations(citations), ...citationShapeGaps(citations)];
+    if (unresolved.length > 0)
+        return awaitingModel(unresolvedCitationsHold(inspection, workspace.sha, unresolved), inputs.deliveryDiff);
+    const outcome = inspection.verdict === 'passed' ? 'passed'
+        : inspection.verdict === 'failed' ? 'failed'
+            : 'pending';
+    return { outcome, rationale: inspection.rationale, deliveryDiff: inputs.deliveryDiff, inspection, verifiedSha: workspace.sha };
+}
+//# sourceMappingURL=verification-strategies.js.map

package/dist/verify/inspection-strategies/verification-strategies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,0FAA0F;AAC1F,qFAAqF;AACrF,gBAAgB;AAoChB,OAAO,EAAE,6BAA6B,EAAyB,MAAM,2BAA2B,CAAC;AAIjG,OAAO,EAAE,iBAAiB,EAAuB,MAAM,6CAA6C,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,qBAAqB,EAAwB,MAAM,oCAAoC,CAAC;AAChJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAErF,OAAO,EACL,eAAe,EAAE,6BAA6B,EAAE,4BAA4B,EAAE,eAAe,GAC9F,MAAM,4CAA4C,CAAC;AAEpD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,6DAA6D;AAC7D,SAAS,cAAc,CAAC,UAA4B;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IACvD,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,IAAI,SAAS;QACpD,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,UAAU,CAAC,SAAS;QAC7B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,UAA4B,EAAE,GAAW,EAAE,UAA4C;IACtH,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,mEAAmE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;cACrH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAA4B,EAAE,YAAgC;IACnF,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,IAAI;QACtB,oBAAoB,EAAE,IAAI;QAC1B,SAAS,EAAE,gCAAgC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE;QACxE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,mGAAmG;IACnG,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,IAAqB,EAAE,CAAC,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY;QACnC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gGAAgG,EAAE,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAC1E,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxE,IAAI,mBAAmB,CAAC,MAAM,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBAC1G,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ;aACtD,CAAC;QACJ,CAAC;QACD,2GAA2G;QAC3G,MAAM,MAAM,GAAuB;YACjC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAsB,EAAE,SAAS,CAAC,KAAK,CAAC;YACnF,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClH,CAAC;QACF,6GAA6G;QAC7G,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACtG,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,sBAAsB,CAAC,CAAsB,EAAE,IAAsB;IAClF,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW;IAC9D,OAAO,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACnG,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC;AACrF,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,aAAa,CAC1B,IAAsB,EACtB,MAA0B,EAC1B,SAAyB,EACzB,QAAyB,EACzB,SAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;QAC5C,GAAG,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChH,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE;QAC3D,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACrI,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjI,CAAC"}