codex-orchestrator 0.1.31 → 0.1.35

package/dist/src/github/pull-requests.js

@@ -34,6 +34,15 @@ export class InMemoryGitHubPullRequestAdapter {
     async findMergedPullRequestByHeadBranch(headBranch) {
         return this.mergedPullRequests.find((pullRequest) => pullRequest.headRefName === headBranch);
     }
+    async findOpenPullRequestByHeadAndBase(headBranch, baseBranch) {
+        for (let index = 0; index < this.createdPullRequests.length; index += 1) {
+            const input = this.createdPullRequests[index];
+            if (input?.headBranch === headBranch && input.baseBranch === baseBranch) {
+                return this.getPullRequest(index + 1);
+            }
+        }
+        return undefined;
+    }
 }
 export async function verifyPullRequestRefs(pullRequestAdapter, pullRequest, expectedHeadBranch, expectedBaseBranch) {
     const refreshed = await pullRequestAdapter.getPullRequest(pullRequest.number);

package/dist/src/github/pull-requests.js.map

@@ -1 +1 @@
-{"version":3,"file":"pull-requests.js","sourceRoot":"","sources":["../../../src/github/pull-requests.ts"],"names":[],"mappings":"AAqBA,MAAM,OAAO,gCAAgC;IAKxB;IACA;IALZ,mBAAmB,GAAkC,EAAE,CAAC;IACxD,kBAAkB,GAAwB,EAAE,CAAC;IAEpD,YACmB,QAAQ,eAAe,EACvB,OAAO,cAAc;QADrB,UAAK,GAAL,KAAK,CAAkB;QACvB,SAAI,GAAJ,IAAI,CAAiB;IACrC,CAAC;IAEG,KAAK,CAAC,sBAAsB,CAAC,KAAkC;QACpE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC/C,OAAO;YACL,MAAM;YACN,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE;YACnE,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,cAAc,CAAC,MAAc;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,MAAM;YACN,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE;YACnE,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,iCAAiC,CAAC,UAAkB;QAC/D,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;IAC/F,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,kBAA4C,EAC5C,WAA8B,EAC9B,kBAA0B,EAC1B,kBAA0B;IAE1B,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9E,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,yBAAyB,WAAW,CAAC,MAAM,qCAAqC,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,KAAK,kBAAkB,IAAI,SAAS,CAAC,WAAW,KAAK,kBAAkB,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CACb,yBAAyB,WAAW,CAAC,MAAM,cAAc,SAAS,CAAC,WAAW,OAAO,SAAS,CAAC,WAAW,cAAc,kBAAkB,OAAO,kBAAkB,GAAG,CACvK,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"pull-requests.js","sourceRoot":"","sources":["../../../src/github/pull-requests.ts"],"names":[],"mappings":"AAsBA,MAAM,OAAO,gCAAgC;IAKxB;IACA;IALZ,mBAAmB,GAAkC,EAAE,CAAC;IACxD,kBAAkB,GAAwB,EAAE,CAAC;IAEpD,YACmB,QAAQ,eAAe,EACvB,OAAO,cAAc;QADrB,UAAK,GAAL,KAAK,CAAkB;QACvB,SAAI,GAAJ,IAAI,CAAiB;IACrC,CAAC;IAEG,KAAK,CAAC,sBAAsB,CAAC,KAAkC;QACpE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC/C,OAAO;YACL,MAAM;YACN,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE;YACnE,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,cAAc,CAAC,MAAc;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,MAAM;YACN,GAAG,EAAE,sBAAsB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE;YACnE,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,KAAK,CAAC,UAAU;YAC7B,WAAW,EAAE,KAAK,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,iCAAiC,CAAC,UAAkB;QAC/D,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;IAC/F,CAAC;IAEM,KAAK,CAAC,gCAAgC,CAC3C,UAAkB,EAClB,UAAkB;QAElB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACxE,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,KAAK,EAAE,UAAU,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACxE,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,kBAA4C,EAC5C,WAA8B,EAC9B,kBAA0B,EAC1B,kBAA0B;IAE1B,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9E,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,yBAAyB,WAAW,CAAC,MAAM,qCAAqC,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,KAAK,kBAAkB,IAAI,SAAS,CAAC,WAAW,KAAK,kBAAkB,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CACb,yBAAyB,WAAW,CAAC,MAAM,cAAc,SAAS,CAAC,WAAW,OAAO,SAAS,CAAC,WAAW,cAAc,kBAAkB,OAAO,kBAAkB,GAAG,CACvK,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/src/runner/acceptance-proof-runner.d.ts

@@ -0,0 +1,54 @@
+import type { CodexCommandRunInput, CodexCommandRunResult } from '../codex/command-adapter.js';
+import type { CodexOrchestratorConfig } from '../config/schema.js';
+import type { GitWorktreeManager } from '../git/worktree.js';
+import type { GitHubIssue } from '../github/issues.js';
+import type { ScopedCompletionReport } from './completion-report.js';
+import type { RunnerValidationLine } from './handoff-evidence.js';
+export interface AcceptanceProofAttemptEvidence {
+    status: 'passed' | 'needs-rework' | 'blocked';
+    promptPath: string;
+    reportPath: string;
+    artifactDir: string;
+    artifactPaths: string[];
+    validation: RunnerValidationLine[];
+    blockers: string[];
+    residualRisks: string[];
+    reworkRequest?: {
+        summary: string;
+        requiredChanges: string[];
+        evidenceRefs: string[];
+    };
+}
+export interface RunAcceptanceProofAttemptInput {
+    config: CodexOrchestratorConfig;
+    issue: GitHubIssue;
+    targetRoot: string;
+    worktreePath: string;
+    changedFiles: string[];
+    implementationReport: ScopedCompletionReport;
+    codexAdapter: {
+        run(input: CodexCommandRunInput): Promise<CodexCommandRunResult>;
+    };
+    git: Pick<GitWorktreeManager, 'collectSessionChangeSet'>;
+    beforeHead: string;
+    sessionId: string;
+    branchName: string;
+    workflowPromptText: string;
+    logPath?: string;
+}
+export interface AcceptanceProofAttemptResult {
+    status: 'passed' | 'blocked';
+    changedFiles: string[];
+    validation: RunnerValidationLine[];
+    artifacts: ScopedCompletionReport['artifacts'];
+    residualRisks: string[];
+    blockers: string[];
+    evidence: AcceptanceProofAttemptEvidence;
+}
+export declare function shouldRunAcceptanceProofAttempt(input: {
+    config: CodexOrchestratorConfig;
+    issue: GitHubIssue;
+    changedFiles: string[];
+}): boolean;
+export declare function runAcceptanceProofAttempt(input: RunAcceptanceProofAttemptInput): Promise<AcceptanceProofAttemptResult>;
+//# sourceMappingURL=acceptance-proof-runner.d.ts.map

package/dist/src/runner/acceptance-proof-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-proof-runner.d.ts","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAC/F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAUlE,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,CAAC,EAAE;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,eAAe,EAAE,MAAM,EAAE,CAAC;QAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;KACxB,CAAC;CACH;AAED,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,uBAAuB,CAAC;IAChC,KAAK,EAAE,WAAW,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,YAAY,EAAE;QAAE,GAAG,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAA;KAAE,CAAC;IACnF,GAAG,EAAE,IAAI,CAAC,kBAAkB,EAAE,yBAAyB,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,SAAS,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC;IAC/C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,8BAA8B,CAAC;CAC1C;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE;IACrD,MAAM,EAAE,uBAAuB,CAAC;IAChC,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB,GAAG,OAAO,CASV;AAED,wBAAsB,yBAAyB,CAC7C,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,4BAA4B,CAAC,CAmJvC"}

package/dist/src/runner/acceptance-proof-runner.js

@@ -0,0 +1,229 @@
+import { existsSync } from 'node:fs';
+import { mkdir, writeFile } from 'node:fs/promises';
+import { dirname, join } from 'node:path';
+import { globMatches, normalizePath } from '../path-policy.js';
+import { createAcceptanceProofDiffCapture, evaluateAcceptanceProofReport, readAcceptanceProofReport, uiEvidenceFailureDimensions, } from './acceptance-proof.js';
+import { cleanupSessionCodexHome, sessionCodexHomePath } from './session-home.js';
+export function shouldRunAcceptanceProofAttempt(input) {
+    const acceptanceProof = input.config.reviewGates.acceptanceProof;
+    if (!acceptanceProof.enabled) {
+        return false;
+    }
+    const issueText = `${input.issue.title}\n${input.issue.body}`;
+    return acceptanceProof.issueTextPatterns.some((pattern) => new RegExp(pattern, 'iu').test(issueText))
+        || input.changedFiles.some((path) => acceptanceProof.changedPathGlobs.some((pattern) => globMatches(pattern, path)));
+}
+export async function runAcceptanceProofAttempt(input) {
+    const proofDir = join(input.worktreePath, input.config.reviewGates.acceptanceProof.artifactDir, `issue-${input.issue.number}`);
+    const proofReportPath = join(proofDir, 'acceptance-proof-report.json');
+    const proofSessionId = `${input.sessionId}-acceptance-proof`;
+    const isolatedHomePath = sessionCodexHomePath({ targetRoot: input.targetRoot, sessionId: proofSessionId });
+    const proofPromptPath = join(input.targetRoot, input.config.runner.stateDir, 'prompts', `issue-${input.issue.number}-${input.sessionId}-acceptance-proof.md`);
+    await mkdir(proofDir, { recursive: true });
+    await mkdir(dirname(proofPromptPath), { recursive: true });
+    await mkdir(isolatedHomePath, { recursive: true });
+    const promptText = buildAcceptanceProofPrompt({
+        issue: input.issue,
+        config: input.config,
+        workflowPromptText: input.workflowPromptText,
+        changedFiles: input.changedFiles,
+        implementationReport: input.implementationReport,
+        promptPath: proofPromptPath,
+        reportPath: proofReportPath,
+        artifactDir: proofDir,
+        worktreePath: input.worktreePath,
+    });
+    await writeFile(proofPromptPath, promptText, 'utf8');
+    const proofDiffCapture = await createAcceptanceProofDiffCapture({
+        worktreePath: input.worktreePath,
+        changedFiles: input.changedFiles,
+    });
+    let proofResult;
+    try {
+        proofResult = await input.codexAdapter.run({
+            targetRoot: input.targetRoot,
+            config: input.config,
+            worktreePath: input.worktreePath,
+            promptPath: proofPromptPath,
+            promptText,
+            reportPath: proofReportPath,
+            isolatedHomePath,
+            issueNumber: input.issue.number,
+            sessionId: proofSessionId,
+            branchName: input.branchName,
+            phase: 'acceptance-proof',
+            logPath: input.logPath,
+            env: {
+                CODEX_ORCHESTRATOR_PROOF_DIR: proofDir,
+                CODEX_ORCHESTRATOR_PROOF_REPORT_PATH: proofReportPath,
+                CODEX_ORCHESTRATOR_PROOF_ARTIFACT_DIR: proofDir,
+                CODEX_ORCHESTRATOR_CHANGED_FILES: input.changedFiles.join('\n'),
+                CODEX_ORCHESTRATOR_PROOF_OWNED_PATH_GLOBS: input.config.reviewGates.acceptanceProof.proofOwnedPathGlobs.join('\n'),
+            },
+        });
+    }
+    finally {
+        await cleanupSessionCodexHome(isolatedHomePath);
+    }
+    const changeSet = await input.git.collectSessionChangeSet({
+        worktreePath: input.worktreePath,
+        baseHead: input.beforeHead,
+    });
+    const proofPhaseChangedFiles = await proofDiffCapture.collectProofPhaseChangedFiles(changeSet.changedPaths);
+    const reportRead = await readAcceptanceProofReport(proofReportPath);
+    if (reportRead.kind === 'missing') {
+        return blocked({
+            proofResult,
+            proofPromptPath,
+            proofReportPath,
+            proofDir,
+            changedFiles: changeSet.changedPaths,
+            artifactPaths: proofPhaseChangedFiles,
+            validationSummary: 'Acceptance proof blocked: proof session did not write CODEX_ORCHESTRATOR_PROOF_REPORT_PATH.',
+            blockers: ['Acceptance proof blocked: proof session did not write CODEX_ORCHESTRATOR_PROOF_REPORT_PATH.'],
+            residualRisks: [],
+        });
+    }
+    if (reportRead.kind === 'invalid') {
+        return blocked({
+            proofResult,
+            proofPromptPath,
+            proofReportPath,
+            proofDir,
+            changedFiles: changeSet.changedPaths,
+            artifactPaths: proofPhaseChangedFiles,
+            validationSummary: reportRead.message,
+            blockers: [`Acceptance proof blocked: ${reportRead.message}`],
+            residualRisks: [],
+        });
+    }
+    const evaluation = evaluateAcceptanceProofReport({
+        config: input.config,
+        report: reportRead.report,
+        proofPhaseChangedFiles,
+        artifactExists: (path) => existsSync(join(input.worktreePath, path)),
+    });
+    const status = proofStatus(reportRead.report, evaluation.ok, proofResult.exitCode);
+    const artifactPaths = artifactPathsFromReport(reportRead.report, proofPhaseChangedFiles);
+    const validation = [{
+            command: 'adaptive acceptance proof',
+            status: status === 'passed' ? 'passed' : 'failed',
+            summary: status === 'passed'
+                ? `Acceptance proof passed: ${reportRead.report.criteria.length} criterion/criteria mapped to high-confidence artifacts.`
+                : `Acceptance proof ${status}: ${[
+                    proofResult.exitCode === 0 ? undefined : `proof session exited ${proofResult.exitCode}`,
+                    ...evaluation.reasons,
+                ].filter(Boolean).join('; ')}`,
+        }];
+    const evidence = {
+        status,
+        promptPath: proofPromptPath,
+        reportPath: proofReportPath,
+        artifactDir: proofDir,
+        artifactPaths,
+        validation,
+        blockers: status === 'passed' ? [] : validation.map((line) => line.summary),
+        residualRisks: [...reportRead.report.residualRisks, ...evaluation.warnings],
+        reworkRequest: reportRead.report.reworkRequest,
+    };
+    if (status !== 'passed') {
+        return {
+            status: 'blocked',
+            changedFiles: changeSet.changedPaths,
+            validation,
+            artifacts: reportRead.report.artifacts,
+            residualRisks: evidence.residualRisks,
+            blockers: evidence.blockers,
+            evidence,
+        };
+    }
+    return {
+        status: 'passed',
+        changedFiles: changeSet.changedPaths,
+        validation,
+        artifacts: reportRead.report.artifacts,
+        residualRisks: evidence.residualRisks,
+        blockers: [],
+        evidence,
+    };
+}
+function buildAcceptanceProofPrompt(input) {
+    return [
+        '# Adaptive Proof Agent',
+        '## Workflow',
+        input.workflowPromptText,
+        '## Issue',
+        `#${input.issue.number} ${input.issue.title}`,
+        input.issue.body,
+        '## Changed Files',
+        input.changedFiles.length === 0 ? 'none' : input.changedFiles.map((path) => `- ${path}`).join('\n'),
+        '## Implementation Evidence',
+        JSON.stringify({
+            validation: input.implementationReport.validation,
+            artifacts: input.implementationReport.artifacts,
+            residualRisks: input.implementationReport.residualRisks,
+        }, null, 2),
+        '## Runner Contract',
+        `Prompt path: ${input.promptPath}`,
+        `Proof Report path: ${input.reportPath}`,
+        `Proof artifact directory: ${input.artifactDir}`,
+        `Worktree: ${input.worktreePath}`,
+        `Proof-owned repair paths: ${input.config.reviewGates.acceptanceProof.proofOwnedPathGlobs.join(', ')}`,
+        'You do not have GitHub write authority or publication authority. Do not edit GitHub labels, comments, issues, pull requests, branches, or releases.',
+        'Do not change product code during proof. If behavior is missing, return needs-rework.',
+        'For UI proof, derive task-specific checks from issue acceptance criteria, implementation evidence, reproduction signals, validation sections, Manual QA Plan content when present, and runtime/media artifacts.',
+        'When you include screenshot or ui-dump artifacts, include uiEvidence with workflowScope, viewportCoverage, artifactFreshness, layoutReview, copyReview, and sourceInputs. The runner is the only pass/fail authority for UI Evidence.',
+        'workflowScope must record the exact entrypoint, user path, screenState, and authPath. Prefer real UI login when configured credentials are available; if you seed a session or cookie, set authPath to "seeded-session" and provide authShortcutReason.',
+        'viewportCoverage must record width, height, artifactRefs, and requiredBy. Use requiredBy "desktop-web-layout" with wide desktop coverage for web layout proof. Add mobile coverage only when the issue or acceptance criteria call for mobile or responsive behavior.',
+        'artifactFreshness must name current post-run artifact refs and checkedAfterFinalRun: true.',
+        'layoutReview findings must cover spacing, padding, clipping, overlap, alignment, and the specific visual complaint being verified, with each finding mapped to artifactRefs.',
+        'copyReview findings must cover user-facing copy and rejected implementation terms when copy is part of the acceptance path, with each finding mapped to artifactRefs.',
+        'sourceInputs must cite acceptanceCriteriaRefs and implementationEvidenceRefs; cite reproductionSignalRefs, manualQaPlanRefs, and runtimeValidationRefs when those inputs exist. Source inputs cannot replace workflow, viewport, freshness, layout, or copy evidence.',
+        `Stable UI Evidence failure dimensions are: ${uiEvidenceFailureDimensions.join(', ')}.`,
+        'Your final response must be only raw valid JSON, with no markdown fence or explanatory prose.',
+        'Schema: { "status": "passed" | "needs-rework" | "blocked", "criteria": { "id": string, "description": string, "status": "passed" | "failed" | "unknown", "confidence": "high" | "medium" | "low", "reasoningSummary": string, "artifactRefs": string[] }[], "artifacts": { "type": "screenshot" | "ui-dump" | "log" | "smoke-output" | "other", "path"?: string, "url"?: string, "description": string }[], "uiEvidence"?: { "workflowScope": { "entrypoint": string, "path": string[], "screenState": string, "authPath"?: "real-login" | "seeded-session" | "not-required" | "blocked", "authShortcutReason"?: string }, "viewportCoverage": { "name": string, "width": number, "height": number, "artifactRefs": string[], "requiredBy": "desktop-web-layout" | "mobile-or-responsive" | "issue-specific" | "other" }[], "artifactFreshness": { "currentArtifactRefs": string[], "checkedAfterFinalRun": boolean }, "layoutReview": { "checked": boolean, "findings": { "summary": string, "artifactRefs": string[] }[] }, "copyReview": { "checked": boolean, "acceptedTerms"?: string[], "rejectedTermsAbsent"?: string[], "findings": { "summary": string, "artifactRefs": string[] }[] }, "sourceInputs": { "acceptanceCriteriaRefs": string[], "implementationEvidenceRefs": string[], "reproductionSignalRefs"?: string[], "manualQaPlanRefs"?: string[], "runtimeValidationRefs"?: string[] } }, "proofScriptRepair"?: { "changedPaths": string[], "summary": string }, "proofPhaseDiff": { "allowedProofPaths": string[], "forbiddenProductPaths": string[] }, "reworkRequest"?: { "summary": string, "requiredChanges": string[], "evidenceRefs": string[] }, "residualRisks": string[] }.',
+    ].join('\n\n');
+}
+function proofStatus(report, evaluationOk, exitCode) {
+    if (exitCode !== 0 || report.status === 'blocked') {
+        return 'blocked';
+    }
+    if (!evaluationOk || report.status === 'needs-rework') {
+        return 'needs-rework';
+    }
+    return 'passed';
+}
+function blocked(input) {
+    const validation = [{
+            command: 'adaptive acceptance proof',
+            status: 'failed',
+            summary: input.proofResult.exitCode === 0
+                ? input.validationSummary
+                : `${input.validationSummary} Codex exited with code ${input.proofResult.exitCode}: ${input.proofResult.stderr || input.proofResult.stdout}`,
+        }];
+    return {
+        status: 'blocked',
+        changedFiles: input.changedFiles,
+        validation,
+        artifacts: input.artifactPaths.map((path) => ({ type: 'other', path, description: `acceptance proof artifact ${path}` })),
+        residualRisks: input.residualRisks,
+        blockers: input.blockers,
+        evidence: {
+            status: 'blocked',
+            promptPath: input.proofPromptPath,
+            reportPath: input.proofReportPath,
+            artifactDir: input.proofDir,
+            artifactPaths: input.artifactPaths,
+            validation,
+            blockers: input.blockers,
+            residualRisks: input.residualRisks,
+        },
+    };
+}
+function artifactPathsFromReport(report, changedFiles) {
+    return Array.from(new Set([
+        ...changedFiles,
+        ...report.artifacts.flatMap((artifact) => artifact.path ? [normalizePath(artifact.path)] : []),
+    ])).sort((left, right) => left.localeCompare(right));
+}
+//# sourceMappingURL=acceptance-proof-runner.js.map

package/dist/src/runner/acceptance-proof-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-proof-runner.js","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAM1C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAG/D,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,yBAAyB,EACzB,2BAA2B,GAE5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AA4ClF,MAAM,UAAU,+BAA+B,CAAC,KAI/C;IACC,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;IACjE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;WAChG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACzH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,KAAqC;IAErC,MAAM,QAAQ,GAAG,IAAI,CACnB,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,WAAW,EACpD,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAC9B,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,GAAG,KAAK,CAAC,SAAS,mBAAmB,CAAC;IAC7D,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC;IAC3G,MAAM,eAAe,GAAG,IAAI,CAC1B,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAC5B,SAAS,EACT,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,sBAAsB,CACrE,CAAC;IACF,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,KAAK,CAAC,gBAAgB,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEnD,MAAM,UAAU,GAAG,0BAA0B,CAAC;QAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,QAAQ;QACrB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,MAAM,SAAS,CAAC,eAAe,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,MAAM,gCAAgC,CAAC;QAC9D,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,IAAI,WAAkC,CAAC;IACvC,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;YACzC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,eAAe;YAC3B,UAAU;YACV,UAAU,EAAE,eAAe;YAC3B,gBAAgB;YAChB,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;YAC/B,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,EAAE;gBACH,4BAA4B,EAAE,QAAQ;gBACtC,oCAAoC,EAAE,eAAe;gBACrD,qCAAqC,EAAE,QAAQ;gBAC/C,gCAAgC,EAAE,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/D,yCAAyC,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;aACnH;SACF,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,MAAM,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,uBAAuB,CAAC;QACxD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,KAAK,CAAC,UAAU;KAC3B,CAAC,CAAC;IACH,MAAM,sBAAsB,GAAG,MAAM,gBAAgB,CAAC,6BAA6B,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5G,MAAM,UAAU,GAAG,MAAM,yBAAyB,CAAC,eAAe,CAAC,CAAC;IAEpE,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC;YACb,WAAW;YACX,eAAe;YACf,eAAe;YACf,QAAQ;YACR,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,aAAa,EAAE,sBAAsB;YACrC,iBAAiB,EAAE,6FAA6F;YAChH,QAAQ,EAAE,CAAC,6FAA6F,CAAC;YACzG,aAAa,EAAE,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC;YACb,WAAW;YACX,eAAe;YACf,eAAe;YACf,QAAQ;YACR,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,aAAa,EAAE,sBAAsB;YACrC,iBAAiB,EAAE,UAAU,CAAC,OAAO;YACrC,QAAQ,EAAE,CAAC,6BAA6B,UAAU,CAAC,OAAO,EAAE,CAAC;YAC7D,aAAa,EAAE,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,6BAA6B,CAAC;QAC/C,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,sBAAsB;QACtB,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;KACrE,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnF,MAAM,aAAa,GAAG,uBAAuB,CAAC,UAAU,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACzF,MAAM,UAAU,GAA2B,CAAC;YAC1C,OAAO,EAAE,2BAA2B;YACpC,MAAM,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACjD,OAAO,EAAE,MAAM,KAAK,QAAQ;gBAC1B,CAAC,CAAC,4BAA4B,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,0DAA0D;gBACzH,CAAC,CAAC,oBAAoB,MAAM,KAAK;oBAC/B,WAAW,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,WAAW,CAAC,QAAQ,EAAE;oBACvF,GAAG,UAAU,CAAC,OAAO;iBACtB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACjC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAmC;QAC/C,MAAM;QACN,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,QAAQ;QACrB,aAAa;QACb,UAAU;QACV,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3E,aAAa,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC;QAC3E,aAAa,EAAE,UAAU,CAAC,MAAM,CAAC,aAAa;KAC/C,CAAC;IAEF,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,UAAU;YACV,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS;YACtC,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,UAAU;QACV,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS;QACtC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ,EAAE,EAAE;QACZ,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAUnC;IACC,OAAO;QACL,wBAAwB;QACxB,aAAa;QACb,KAAK,CAAC,kBAAkB;QACxB,UAAU;QACV,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QAC7C,KAAK,CAAC,KAAK,CAAC,IAAI;QAChB,kBAAkB;QAClB,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnG,4BAA4B;QAC5B,IAAI,CAAC,SAAS,CAAC;YACb,UAAU,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU;YACjD,SAAS,EAAE,KAAK,CAAC,oBAAoB,CAAC,SAAS;YAC/C,aAAa,EAAE,KAAK,CAAC,oBAAoB,CAAC,aAAa;SACxD,EAAE,IAAI,EAAE,CAAC,CAAC;QACX,oBAAoB;QACpB,gBAAgB,KAAK,CAAC,UAAU,EAAE;QAClC,sBAAsB,KAAK,CAAC,UAAU,EAAE;QACxC,6BAA6B,KAAK,CAAC,WAAW,EAAE;QAChD,aAAa,KAAK,CAAC,YAAY,EAAE;QACjC,6BAA6B,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtG,qJAAqJ;QACrJ,uFAAuF;QACvF,iNAAiN;QACjN,uOAAuO;QACvO,yPAAyP;QACzP,uQAAuQ;QACvQ,4FAA4F;QAC5F,8KAA8K;QAC9K,uKAAuK;QACvK,uQAAuQ;QACvQ,8CAA8C,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACvF,+FAA+F;QAC/F,wmDAAwmD;KACzmD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAClB,MAA6B,EAC7B,YAAqB,EACrB,QAAgB;IAEhB,IAAI,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACtD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,KAUhB;IACC,MAAM,UAAU,GAAG,CAAC;YAClB,OAAO,EAAE,2BAA2B;YACpC,MAAM,EAAE,QAAiB;YACzB,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,KAAK,CAAC;gBACvC,CAAC,CAAC,KAAK,CAAC,iBAAiB;gBACzB,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,2BAA2B,KAAK,CAAC,WAAW,CAAC,QAAQ,KAAK,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE;SAC/I,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU;QACV,SAAS,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,6BAA6B,IAAI,EAAE,EAAE,CAAC,CAAC;QAClI,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE;YACR,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,KAAK,CAAC,eAAe;YACjC,UAAU,EAAE,KAAK,CAAC,eAAe;YACjC,WAAW,EAAE,KAAK,CAAC,QAAQ;YAC3B,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,UAAU;YACV,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,aAAa,EAAE,KAAK,CAAC,aAAa;SACnC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA6B,EAAE,YAAsB;IACpF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;QACxB,GAAG,YAAY;QACf,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/F,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC"}

package/dist/src/runner/acceptance-proof.d.ts

@@ -0,0 +1,121 @@
+import type { CodexOrchestratorConfig } from '../config/schema.js';
+import { type ScopedArtifactType } from './completion-report.js';
+export type AcceptanceProofStatus = 'passed' | 'needs-rework' | 'blocked';
+export type AcceptanceCriterionStatus = 'passed' | 'failed' | 'unknown';
+export type AcceptanceProofConfidence = 'high' | 'medium' | 'low';
+export type AcceptanceProofArtifactType = ScopedArtifactType;
+export interface AcceptanceProofArtifact {
+    type: AcceptanceProofArtifactType;
+    path?: string;
+    url?: string;
+    description: string;
+}
+export interface AcceptanceProofCriterion {
+    id: string;
+    description: string;
+    status: AcceptanceCriterionStatus;
+    confidence: AcceptanceProofConfidence;
+    reasoningSummary: string;
+    artifactRefs: string[];
+}
+export type UiEvidenceFailureDimension = 'workflow' | 'viewport' | 'freshness' | 'layout' | 'copy' | 'source-input';
+export declare const uiEvidenceFailureDimensions: UiEvidenceFailureDimension[];
+export interface AcceptanceProofUiEvidence {
+    workflowScope: {
+        entrypoint: string;
+        path: string[];
+        screenState: string;
+        authPath?: 'real-login' | 'seeded-session' | 'not-required' | 'blocked';
+        authShortcutReason?: string;
+    };
+    viewportCoverage: Array<{
+        name: string;
+        width: number;
+        height: number;
+        artifactRefs: string[];
+        requiredBy: 'desktop-web-layout' | 'mobile-or-responsive' | 'issue-specific' | 'other';
+    }>;
+    artifactFreshness: {
+        currentArtifactRefs: string[];
+        checkedAfterFinalRun: boolean;
+    };
+    layoutReview: {
+        checked: boolean;
+        findings: Array<{
+            summary: string;
+            artifactRefs: string[];
+        }>;
+    };
+    copyReview: {
+        checked: boolean;
+        acceptedTerms?: string[];
+        rejectedTermsAbsent?: string[];
+        findings: Array<{
+            summary: string;
+            artifactRefs: string[];
+        }>;
+    };
+    sourceInputs: {
+        acceptanceCriteriaRefs: string[];
+        implementationEvidenceRefs: string[];
+        reproductionSignalRefs?: string[];
+        manualQaPlanRefs?: string[];
+        runtimeValidationRefs?: string[];
+    };
+}
+export interface AcceptanceProofReport {
+    status: AcceptanceProofStatus;
+    criteria: AcceptanceProofCriterion[];
+    artifacts: AcceptanceProofArtifact[];
+    uiEvidence?: AcceptanceProofUiEvidence;
+    proofScriptRepair?: {
+        changedPaths: string[];
+        summary: string;
+    };
+    proofPhaseDiff: {
+        allowedProofPaths: string[];
+        forbiddenProductPaths: string[];
+    };
+    reworkRequest?: {
+        summary: string;
+        requiredChanges: string[];
+        evidenceRefs: string[];
+    };
+    residualRisks: string[];
+}
+export interface AcceptanceProofEvaluationInput {
+    config: CodexOrchestratorConfig;
+    report: AcceptanceProofReport;
+    proofPhaseChangedFiles: string[];
+    artifactExists?: (path: string) => boolean;
+}
+export interface AcceptanceProofEvaluationResult {
+    ok: boolean;
+    reasons: string[];
+    warnings: string[];
+}
+export interface AcceptanceProofDiffCaptureInput {
+    worktreePath: string;
+    changedFiles: string[];
+}
+export interface AcceptanceProofDiffCapture {
+    collectProofPhaseChangedFiles(changedFiles: string[]): Promise<string[]>;
+}
+export type AcceptanceProofReportReadResult = {
+    kind: 'missing';
+} | {
+    kind: 'invalid';
+    message: string;
+} | {
+    kind: 'valid';
+    report: AcceptanceProofReport;
+};
+export declare function readAcceptanceProofReport(path: string): Promise<AcceptanceProofReportReadResult>;
+export declare function createAcceptanceProofDiffCapture(input: AcceptanceProofDiffCaptureInput): Promise<AcceptanceProofDiffCapture>;
+export declare function evaluateAcceptanceProofReport(input: AcceptanceProofEvaluationInput): AcceptanceProofEvaluationResult;
+export declare function classifyAcceptanceProofDiff(config: CodexOrchestratorConfig, proofPhaseChangedFiles: string[]): {
+    allowedProofPaths: string[];
+    forbiddenProductPaths: string[];
+};
+export declare function assertAcceptanceProofReport(value: unknown): asserts value is AcceptanceProofReport;
+//# sourceMappingURL=acceptance-proof.d.ts.map

package/dist/src/runner/acceptance-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-proof.d.ts","sourceRoot":"","sources":["../../../src/runner/acceptance-proof.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAEnE,OAAO,EAAuB,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEtF,MAAM,MAAM,qBAAqB,GAAG,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAC1E,MAAM,MAAM,yBAAyB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AACxE,MAAM,MAAM,yBAAyB,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAClE,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,CAAC;AAE7D,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,2BAA2B,CAAC;IAClC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,yBAAyB,CAAC;IAClC,UAAU,EAAE,yBAAyB,CAAC;IACtC,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,0BAA0B,GAClC,UAAU,GACV,UAAU,GACV,WAAW,GACX,QAAQ,GACR,MAAM,GACN,cAAc,CAAC;AAEnB,eAAO,MAAM,2BAA2B,EAAE,0BAA0B,EAOnE,CAAC;AAEF,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE;QACb,UAAU,EAAE,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,EAAE,YAAY,GAAG,gBAAgB,GAAG,cAAc,GAAG,SAAS,CAAC;QACxE,kBAAkB,CAAC,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,gBAAgB,EAAE,KAAK,CAAC;QACtB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,UAAU,EAAE,oBAAoB,GAAG,sBAAsB,GAAG,gBAAgB,GAAG,OAAO,CAAC;KACxF,CAAC,CAAC;IACH,iBAAiB,EAAE;QACjB,mBAAmB,EAAE,MAAM,EAAE,CAAC;QAC9B,oBAAoB,EAAE,OAAO,CAAC;KAC/B,CAAC;IACF,YAAY,EAAE;QACZ,OAAO,EAAE,OAAO,CAAC;QACjB,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,YAAY,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;KAC9D,CAAC;IACF,UAAU,EAAE;QACV,OAAO,EAAE,OAAO,CAAC;QACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,YAAY,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;KAC9D,CAAC;IACF,YAAY,EAAE;QACZ,sBAAsB,EAAE,MAAM,EAAE,CAAC;QACjC,0BAA0B,EAAE,MAAM,EAAE,CAAC;QACrC,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAC;QAClC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC5B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;KAClC,CAAC;CACH;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,qBAAqB,CAAC;IAC9B,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,UAAU,CAAC,EAAE,yBAAyB,CAAC;IACvC,iBAAiB,CAAC,EAAE;QAClB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,cAAc,EAAE;QACd,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;KACjC,CAAC;IACF,aAAa,CAAC,EAAE;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,eAAe,EAAE,MAAM,EAAE,CAAC;QAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;KACxB,CAAC;IACF,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,uBAAuB,CAAC;IAChC,MAAM,EAAE,qBAAqB,CAAC;IAC9B,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CAC5C;AAED,MAAM,WAAW,+BAA+B;IAC9C,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,+BAA+B;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,0BAA0B;IACzC,6BAA6B,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CAC1E;AAED,MAAM,MAAM,+BAA+B,GACvC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,CAAC;AAErD,wBAAsB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,+BAA+B,CAAC,CAmBtG;AAED,wBAAsB,gCAAgC,CACpD,KAAK,EAAE,+BAA+B,GACrC,OAAO,CAAC,0BAA0B,CAAC,CAcrC;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,8BAA8B,GAAG,+BAA+B,CA+DpH;AA4OD,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,uBAAuB,EAC/B,sBAAsB,EAAE,MAAM,EAAE,GAC/B;IAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAAC,qBAAqB,EAAE,MAAM,EAAE,CAAA;CAAE,CAiBlE;AA+BD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,qBAAqB,CAelG"}