project-tiny-context-harness 0.2.83 → 0.2.84

package/dist/lib/superpowers-task-command-run-correlation.js

@@ -0,0 +1,103 @@
+import { isMachineVerifiableLayer } from "./superpowers-task-assertions.js";
+import { normalizeProofLayerName } from "./superpowers-task-fields.js";
+import { requiredCommandSpecsHash } from "./superpowers-task-command-specs.js";
+export function validateRequiredCommandCorrelation(state, attempt, expectedSpecs) {
+    const errors = [];
+    const invalidated = new Set();
+    const expectedByAc = new Map(expectedSpecs.map((spec) => [spec.ac_id, spec]));
+    for (const [acId, ac] of Object.entries(state.graph?.acceptance_criteria ?? {})) {
+        if (ac.machine_blocking !== true && ac.assertion_result_required !== true) {
+            continue;
+        }
+        const expected = expectedByAc.get(acId);
+        const actual = (state.required_command_specs ?? []).find((spec) => spec.ac_id === acId);
+        if (!expected || !actual) {
+            errors.push(`${acId} missing required_command_spec`);
+            continue;
+        }
+        if (actual.command_spec_id !== expected.command_spec_id) {
+            errors.push(`${acId} command_spec_id mismatch; required command specs must be recompiled from Acceptance Checklist`);
+        }
+    }
+    if (attempt) {
+        const specsHash = requiredCommandSpecsHash(state.required_command_specs ?? []);
+        if (attempt.required_command_specs_hash !== specsHash) {
+            errors.push("required_command_specs_hash mismatch for current attempt");
+        }
+    }
+    for (const spec of expectedSpecs) {
+        errors.push(...validateCommandRunsForSpec(state, attempt, spec));
+    }
+    for (const finding of findFailedCommandInvalidations(state)) {
+        invalidated.add(finding.evidence_id);
+        errors.push(`${finding.evidence_id} newer failed command invalidates older passed evidence for ${finding.ac_id}.${finding.proof_layer}: ${finding.command_run_id}`);
+    }
+    return { errors: unique(errors), invalidated_evidence_ids: [...invalidated] };
+}
+export function validateCommandRunsForSpec(state, attempt, spec) {
+    const errors = [];
+    for (const proofLayer of spec.proof_layers.filter((layer) => isMachineVerifiableLayer(`${spec.ac_id}.${layer}`))) {
+        const run = (state.command_runs ?? []).find((item) => item.task_attempt_id === state.current_attempt_id &&
+            item.command_spec_id === spec.command_spec_id &&
+            item.ac_id === spec.ac_id &&
+            normalizeProofLayerName(item.proof_layer) === normalizeProofLayerName(proofLayer));
+        if (!run) {
+            errors.push(`${spec.ac_id}.${proofLayer} missing current attempt command-run record for command_spec_id ${spec.command_spec_id}`);
+            continue;
+        }
+        errors.push(...validateCommandRun(run, attempt));
+    }
+    return errors;
+}
+export function validateCommandRun(run, attempt) {
+    const errors = [];
+    if (attempt && run.task_attempt_id !== attempt.task_attempt_id) {
+        errors.push(`${run.command_run_id} stale command run from ${run.task_attempt_id}; expected ${attempt.task_attempt_id}`);
+    }
+    if (run.exit_code !== 0) {
+        errors.push(`${run.command_run_id} command_exit_code=${run.exit_code}; expected 0`);
+    }
+    if (!run.command_line.trim()) {
+        errors.push(`${run.command_run_id} missing command_line`);
+    }
+    if (!run.started_at) {
+        errors.push(`${run.command_run_id} missing started_at`);
+    }
+    if (!run.completed_at) {
+        errors.push(`${run.command_run_id} missing completed_at`);
+    }
+    if (!run.task_attempt_id) {
+        errors.push(`${run.command_run_id} missing attempt_id`);
+    }
+    return errors;
+}
+function findFailedCommandInvalidations(state) {
+    const evidence = state.evidence ?? [];
+    const failedRuns = (state.command_runs ?? []).filter((run) => run.task_attempt_id === state.current_attempt_id && Number(run.exit_code) !== 0);
+    return failedRuns.flatMap((run) => evidence
+        .filter((item) => evidenceTargetsRunLayer(item, run) && evidencePredatesRun(item, run))
+        .map((item) => ({
+        evidence_id: item.evidence_id,
+        command_run_id: run.command_run_id,
+        ac_id: run.ac_id,
+        proof_layer: run.proof_layer
+    })));
+}
+function evidenceTargetsRunLayer(evidence, run) {
+    const layerId = `${run.ac_id}.${normalizeProofLayerName(run.proof_layer)}`;
+    const targetLayers = (evidence.target_proof_layers ?? evidence.assertion_result?.target_proof_layers ?? []).map((item) => item.includes(".") ? item : `${run.ac_id}.${normalizeProofLayerName(item)}`);
+    return (evidence.task_attempt_id === run.task_attempt_id &&
+        (evidence.target_ac_ids ?? evidence.assertion_result?.target_ac_ids ?? []).includes(run.ac_id) &&
+        (targetLayers.includes(layerId) || evidence.proves.includes(layerId)));
+}
+function evidencePredatesRun(evidence, run) {
+    const evidenceTime = Date.parse(evidence.generated_at ?? evidence.freshness?.created_at ?? evidence.artifact_mtime ?? "");
+    const runTime = Date.parse(run.started_at || run.completed_at || run.ended_at || "");
+    if (Number.isNaN(evidenceTime) || Number.isNaN(runTime)) {
+        return true;
+    }
+    return evidenceTime <= runTime;
+}
+function unique(values) {
+    return [...new Set(values.filter(Boolean))];
+}

package/dist/lib/superpowers-task-completion-output.d.ts

@@ -0,0 +1,52 @@
+import { type SuperpowersTaskState } from "./superpowers-task-state-schema.js";
+export type CompletionOutputStatus = "accept" | "reject" | "blocked";
+export interface CompletionOutputContract {
+    product_goal_complete: boolean;
+    acceptance_target_status: string;
+    completion_output_status: CompletionOutputStatus;
+    final_answer_allowed: boolean;
+    required_user_visible_status: "accepted" | "rejected" | "blocked";
+    final_answer: CompletionOutputStatus;
+    exit_code: 0 | 1 | 2;
+    blocked_reasons: string[];
+    rejection_reasons: string[];
+    audit_task_complete: boolean;
+    final_gate_ran: boolean;
+    generated_output_mismatch: boolean;
+}
+export interface CompletionOutputResolveInput {
+    final_gate_ran?: boolean;
+    product_goal_complete?: boolean;
+    acceptance_target_status?: string;
+    audit_task_complete?: boolean;
+    validator_errors?: string[];
+    acceptance_validator_errors?: string[];
+    blocked_reasons?: string[];
+    rejection_reasons?: string[];
+    generated_output_mismatch?: boolean;
+    required_command_not_run?: boolean;
+    environment_unknown?: boolean;
+    state_unreadable?: boolean;
+    source_unreadable?: boolean;
+    kernel_invalid?: boolean;
+    required_validator_unavailable?: boolean;
+}
+export interface CompletionOutputSurface {
+    surface: string;
+    text: string;
+}
+export interface CompletionPhraseFinding {
+    surface: string;
+    phrase: string;
+    line: number;
+    text: string;
+}
+export declare function resolveCompletionOutputStatus(input: CompletionOutputResolveInput): CompletionOutputContract;
+export declare function completionOutputContractFromState(state: SuperpowersTaskState): CompletionOutputContract;
+export declare function applyCompletionOutputContract(state: SuperpowersTaskState, contract: CompletionOutputContract): void;
+export declare function scanFalseCompletionPhrases(input: {
+    completion_output_status: CompletionOutputStatus;
+    surfaces: CompletionOutputSurface[] | string;
+}): CompletionPhraseFinding[];
+export declare function scanGeneratedCompletionOutputSurfaces(workdir: string, contract: CompletionOutputContract): Promise<CompletionPhraseFinding[]>;
+export declare function completionPhraseFindingMessages(findings: CompletionPhraseFinding[]): string[];

package/dist/lib/superpowers-task-completion-output.js

@@ -0,0 +1,228 @@
+import path from "node:path";
+import { pathExists, readText } from "./fs.js";
+import { asStringArray, isRecord } from "./superpowers-task-state-schema.js";
+const BLOCKING_TARGET_STATUSES = new Set(["not_run", "blocked", "under_specified", "unknown"]);
+const REJECTING_TARGET_STATUSES = new Set(["partial", "failed", "rejected", "invalidated", "not_accepted"]);
+const GENERATED_COMPLETION_SURFACES = [
+    "derived/final-summary.md",
+    "derived/final-card.md",
+    "derived/final-acceptance-verdict.json",
+    "derived/final-acceptance-verdict.md",
+    "derived/plan-conformance-matrix.json",
+    "derived/plan-conformance-matrix.md",
+    "derived/local-audit.md",
+    "goal-objective.txt",
+    "execution-binding.md",
+    "workflow-protocol.md"
+];
+const FORBIDDEN_PHRASES = [
+    { phrase: "update_goal(status=\"complete\")", pattern: /update_goal\s*\(\s*status\s*=\s*["']complete["']\s*\)/i },
+    { phrase: "goal achieved", pattern: /\bgoal achieved\b/i },
+    { phrase: "ready to merge", pattern: /\bready to merge\b/i },
+    { phrase: "implementation complete", pattern: /\bimplementation complete\b/i },
+    { phrase: "all passed", pattern: /\ball (?:acs?|acceptance criteria|checks|tests)?\s*passed\b/i },
+    { phrase: "product complete", pattern: /\bproduct complete\b/i },
+    { phrase: "completed", pattern: /\bcompleted\b/i },
+    { phrase: "complete", pattern: /\bcomplete\b/i },
+    { phrase: "accepted", pattern: /\baccepted\b/i },
+    { phrase: "accept", pattern: /\baccept\b/i },
+    { phrase: "done", pattern: /\bdone\b/i },
+    { phrase: "success", pattern: /\bsuccess(?:ful)?\b/i },
+    { phrase: "任务完成", pattern: /任务完成/ },
+    { phrase: "已完成", pattern: /已完成/ },
+    { phrase: "验收通过", pattern: /验收通过/ },
+    { phrase: "目标完成", pattern: /目标完成/ },
+    { phrase: "全部通过", pattern: /全部通过/ },
+    { phrase: "可以合并", pattern: /可以合并/ }
+];
+export function resolveCompletionOutputStatus(input) {
+    const finalGateRan = input.final_gate_ran === true;
+    const productGoalComplete = input.product_goal_complete === true;
+    const acceptanceTargetStatus = normalizeAcceptanceTargetStatus(input.acceptance_target_status);
+    const validatorErrors = [...(input.validator_errors ?? []), ...(input.acceptance_validator_errors ?? [])].filter(Boolean);
+    const blockedReasons = [...(input.blocked_reasons ?? [])];
+    const rejectionReasons = [...(input.rejection_reasons ?? [])];
+    if (!finalGateRan) {
+        blockedReasons.push("final_gate_not_run");
+    }
+    if (input.required_command_not_run === true) {
+        blockedReasons.push("required_command_not_run");
+    }
+    if (input.environment_unknown === true) {
+        blockedReasons.push("environment_unknown");
+    }
+    if (input.state_unreadable === true) {
+        blockedReasons.push("state_unreadable");
+    }
+    if (input.source_unreadable === true) {
+        blockedReasons.push("source_unreadable");
+    }
+    if (input.kernel_invalid === true) {
+        blockedReasons.push("kernel_invalid");
+    }
+    if (input.required_validator_unavailable === true) {
+        blockedReasons.push("required_validator_unavailable");
+    }
+    if (input.generated_output_mismatch === true) {
+        blockedReasons.push("generated_output_mismatch");
+    }
+    if (BLOCKING_TARGET_STATUSES.has(acceptanceTargetStatus)) {
+        blockedReasons.push(`acceptance_target_status=${acceptanceTargetStatus}`);
+    }
+    if (REJECTING_TARGET_STATUSES.has(acceptanceTargetStatus)) {
+        rejectionReasons.push(`acceptance_target_status=${acceptanceTargetStatus}`);
+    }
+    if (finalGateRan && !productGoalComplete && !BLOCKING_TARGET_STATUSES.has(acceptanceTargetStatus)) {
+        rejectionReasons.push("product_goal_complete=false");
+    }
+    if (validatorErrors.length > 0) {
+        rejectionReasons.push(...validatorErrors);
+    }
+    const accept = finalGateRan &&
+        productGoalComplete &&
+        isAcceptedStatus(acceptanceTargetStatus) &&
+        validatorErrors.length === 0 &&
+        blockedReasons.length === 0 &&
+        rejectionReasons.length === 0;
+    const completionOutputStatus = accept ? "accept" : blockedReasons.length > 0 ? "blocked" : "reject";
+    const exitCode = completionOutputStatus === "accept" ? 0 : completionOutputStatus === "reject" ? 1 : 2;
+    return {
+        product_goal_complete: productGoalComplete && accept,
+        acceptance_target_status: acceptanceTargetStatus,
+        completion_output_status: completionOutputStatus,
+        final_answer_allowed: completionOutputStatus === "accept",
+        required_user_visible_status: completionOutputStatus === "accept" ? "accepted" : completionOutputStatus === "reject" ? "rejected" : "blocked",
+        final_answer: completionOutputStatus,
+        exit_code: exitCode,
+        blocked_reasons: unique(blockedReasons),
+        rejection_reasons: unique(rejectionReasons),
+        audit_task_complete: input.audit_task_complete === true,
+        final_gate_ran: finalGateRan,
+        generated_output_mismatch: input.generated_output_mismatch === true
+    };
+}
+export function completionOutputContractFromState(state) {
+    const finalRecord = state.final;
+    const gate = isRecord(state.gates?.final_gate) ? state.gates.final_gate : {};
+    const hasStoredOutput = typeof finalRecord.completion_output_status === "string" || typeof gate.completion_output_status === "string";
+    return resolveCompletionOutputStatus({
+        final_gate_ran: hasStoredOutput || isRecord(state.gates?.final_gate),
+        product_goal_complete: state.final.product_goal_complete,
+        acceptance_target_status: state.final.acceptance_target_status,
+        audit_task_complete: state.final.audit_task_complete,
+        blocked_reasons: asStringArray(finalRecord.blocked_reasons ?? gate.blocked_reasons),
+        rejection_reasons: asStringArray(finalRecord.rejection_reasons ?? gate.rejection_reasons),
+        generated_output_mismatch: finalRecord.generated_output_mismatch === true || gate.generated_output_mismatch === true
+    });
+}
+export function applyCompletionOutputContract(state, contract) {
+    const finalRecord = state.final;
+    const metaRecord = state.meta;
+    finalRecord.product_goal_complete = contract.product_goal_complete;
+    state.meta.product_goal_complete = contract.product_goal_complete;
+    finalRecord.acceptance_target_status = contract.acceptance_target_status;
+    state.meta.acceptance_target_status = contract.acceptance_target_status;
+    finalRecord.audit_task_complete = contract.audit_task_complete;
+    state.meta.audit_task_complete = contract.audit_task_complete;
+    finalRecord.completion_output_status = contract.completion_output_status;
+    finalRecord.final_answer_allowed = contract.final_answer_allowed;
+    finalRecord.required_user_visible_status = contract.required_user_visible_status;
+    finalRecord.final_answer = contract.final_answer;
+    finalRecord.exit_code = contract.exit_code;
+    finalRecord.blocked_reasons = contract.blocked_reasons;
+    finalRecord.rejection_reasons = contract.rejection_reasons;
+    finalRecord.generated_output_mismatch = contract.generated_output_mismatch;
+    metaRecord.completion_output_status = contract.completion_output_status;
+}
+export function scanFalseCompletionPhrases(input) {
+    if (input.completion_output_status === "accept") {
+        return [];
+    }
+    const surfaces = typeof input.surfaces === "string" ? [{ surface: "inline", text: input.surfaces }] : input.surfaces;
+    const findings = [];
+    for (const surface of surfaces) {
+        const lines = surface.text.split(/\r?\n/);
+        for (const [index, line] of lines.entries()) {
+            if (lineAllowedForNonAccept(line)) {
+                continue;
+            }
+            for (const item of FORBIDDEN_PHRASES) {
+                if (item.pattern.test(line)) {
+                    findings.push({ surface: surface.surface, phrase: item.phrase, line: index + 1, text: line.trim() });
+                    break;
+                }
+            }
+        }
+    }
+    return findings;
+}
+export async function scanGeneratedCompletionOutputSurfaces(workdir, contract) {
+    const surfaces = [];
+    for (const relative of GENERATED_COMPLETION_SURFACES) {
+        const file = path.join(workdir, ...relative.split("/"));
+        if (await pathExists(file)) {
+            surfaces.push({ surface: relative, text: await readText(file) });
+        }
+    }
+    return scanFalseCompletionPhrases({ completion_output_status: contract.completion_output_status, surfaces });
+}
+export function completionPhraseFindingMessages(findings) {
+    return findings.map((finding) => `false completion phrase in ${finding.surface}:${finding.line}: ${finding.phrase}`);
+}
+function normalizeAcceptanceTargetStatus(value) {
+    const normalized = String(value ?? "not_run").trim().toLowerCase();
+    if (normalized === "accepted") {
+        return "complete";
+    }
+    if (normalized === "not accepted") {
+        return "not_accepted";
+    }
+    return normalized || "not_run";
+}
+function isAcceptedStatus(value) {
+    return value === "complete" || value === "accepted";
+}
+function lineAllowedForNonAccept(line) {
+    const text = line.trim();
+    if (!text) {
+        return true;
+    }
+    if (/Audit workflow completed; acceptance target not complete\./i.test(text)) {
+        return true;
+    }
+    if (/^Product goal complete:\s*false$/i.test(text)) {
+        return true;
+    }
+    if (/^(?:complete|partial|acceptance_required|missing_layer)_count:\s*\d+$/i.test(text)) {
+        return true;
+    }
+    if (/^-\s+[A-Z]+-\d+:\s*(?:complete|accepted|accept)\s*$/i.test(text)) {
+        return true;
+    }
+    const jsonField = /^"([^"]+)"\s*:\s*/.exec(text);
+    if (jsonField && !/^(final_answer|final_conclusion|conclusion|summary|message|required_user_visible_status)$/i.test(jsonField[1])) {
+        return true;
+    }
+    if (/\b(product_goal_complete|completion_output_status|acceptance_target_status|audit_task_complete)\b/i.test(text)) {
+        return true;
+    }
+    if (/["']?(overall_)?status["']?\s*:\s*["']?(complete|accepted|accept)["']?/i.test(text)) {
+        return true;
+    }
+    if (/diagnostic|row-level|row status|not[_ -]?in[_ -]?scope/i.test(text)) {
+        return true;
+    }
+    if (/\b(do not|must not|cannot|never|unless|only when|forbid|forbidden|invalid|false[- ]completion|does not mean|cannot authorize|cannot imply)\b/i.test(text)) {
+        return true;
+    }
+    if (/\bnot\s+(?:complete|completed|accepted|accept|done|successful)\b/i.test(text)) {
+        return true;
+    }
+    if (/不得|不能|禁止|仅当|不是|不等于/.test(text)) {
+        return true;
+    }
+    return false;
+}
+function unique(values) {
+    return [...new Set(values.map((value) => value.trim()).filter(Boolean))];
+}

package/dist/lib/superpowers-task-current-evidence.js

@@ -15,11 +15,15 @@ export function evaluateCurrentAttemptEvidence(state, evidence, layerId) {
         failures.push(`${label} stale evidence from old attempt ${evidence.task_attempt_id || "(missing)"}; expected current attempt ${state.current_attempt_id}`);
     }
     for (const field of [
+        "generated_at",
         "source_bundle_hash",
         "product_source_hash",
         "technical_plan_hash",
         "acceptance_checklist_hash",
         "git_head",
+        "git_status_short",
+        "tracked_diff_hash",
+        "relevant_untracked_hash",
         "worktree_fingerprint",
         "command_spec_id",
         "command_run_id",
@@ -48,9 +52,24 @@ export function evaluateCurrentAttemptEvidence(state, evidence, layerId) {
     if (attempt && evidence.git_head && evidence.git_head !== attempt.git_head) {
         failures.push(`${label} stale evidence git_head mismatch for current attempt`);
     }
+    if (attempt && evidence.git_status_short !== undefined && evidence.git_status_short !== attempt.git_status_short) {
+        failures.push(`${label} stale evidence git_status_short mismatch for current attempt`);
+    }
+    if (attempt && evidence.tracked_diff_hash !== undefined && evidence.tracked_diff_hash !== attempt.tracked_diff_hash) {
+        failures.push(`${label} stale evidence tracked_diff_hash mismatch for current attempt`);
+    }
+    if (attempt && evidence.relevant_untracked_hash !== undefined && evidence.relevant_untracked_hash !== attempt.relevant_untracked_hash) {
+        failures.push(`${label} stale evidence relevant_untracked_hash mismatch for current attempt`);
+    }
     if (attempt && evidence.worktree_fingerprint && evidence.worktree_fingerprint !== attempt.worktree_fingerprint) {
         failures.push(`${label} stale evidence worktree_fingerprint mismatch for current attempt`);
     }
+    if (attempt && (attempt.git_status_short || attempt.relevant_untracked_hash !== "none") && evidence.covers_dirty_worktree !== true) {
+        failures.push(`${label} dirty worktree evidence must set covers_dirty_worktree=true for current attempt`);
+    }
+    if (attempt && evidence.generated_at && Date.parse(evidence.generated_at) < Date.parse(attempt.started_at)) {
+        failures.push(`${label} stale evidence generated_at predates current attempt`);
+    }
     if (attempt && evidence.artifact_mtime && Date.parse(evidence.artifact_mtime) < Date.parse(attempt.started_at)) {
         failures.push(`${label} stale evidence artifact_mtime predates current attempt`);
     }
@@ -65,6 +84,9 @@ export function evaluateCurrentAttemptEvidence(state, evidence, layerId) {
         if (commandRun.exit_code !== 0) {
             failures.push(`${label} command run ${commandRun.command_run_id} exit_code=${commandRun.exit_code}; expected 0`);
         }
+        if (!commandRun.completed_at) {
+            failures.push(`${label} command run ${commandRun.command_run_id} missing completed_at`);
+        }
         if (commandRun.command_spec_id !== evidence.command_spec_id) {
             failures.push(`${label} command_spec_id mismatch between evidence and command run`);
         }

package/dist/lib/superpowers-task-derive.js

@@ -2,9 +2,12 @@ import path from "node:path";
 import { ensureDir, pathExists, readText, writeTextIfChanged } from "./fs.js";
 import { stableJson, loadSuperpowersState } from "./superpowers-task-state.js";
 import { evaluateProofLayerAssertions } from "./superpowers-task-assertions.js";
+import { completionOutputContractFromState } from "./superpowers-task-completion-output.js";
+import { renderFinalCard } from "./superpowers-task-final-card.js";
 export async function deriveSuperpowersArtifacts(workdir) {
     const state = await loadSuperpowersState(workdir);
     const derived = deriveObjects(state);
+    const contract = completionOutputContractFromState(state);
     const derivedDir = path.join(workdir, "derived");
     await ensureDir(derivedDir);
     const files = [];
@@ -14,11 +17,12 @@ export async function deriveSuperpowersArtifacts(workdir) {
     await writeDerived(files, path.join(derivedDir, "evidence-index.json"), stableJson(deriveEvidenceIndex(state)));
     await writeDerived(files, path.join(derivedDir, "plan-conformance-matrix.md"), matrixMarkdown(derived.matrix));
     await writeDerived(files, path.join(derivedDir, "final-acceptance-verdict.md"), verdictMarkdown(derived.verdict));
-    await writeDerived(files, path.join(derivedDir, "local-audit.md"), localAuditMarkdown(state));
+    await writeDerived(files, path.join(derivedDir, "local-audit.md"), localAuditMarkdown(state, contract));
     await writeDerived(files, path.join(derivedDir, "progress-ledger.md"), progressMarkdown(derived.progress));
     await writeDerived(files, path.join(derivedDir, "evidence-index.md"), evidenceMarkdown(state));
     await writeDerived(files, path.join(derivedDir, "context-alignment.md"), contextMarkdown(state));
-    await writeDerived(files, path.join(derivedDir, "final-summary.md"), finalSummaryMarkdown(state, derived.verdict));
+    await writeDerived(files, path.join(derivedDir, "final-summary.md"), finalSummaryMarkdown(state, derived.verdict, contract));
+    await writeDerived(files, path.join(derivedDir, "final-card.md"), renderFinalCard(contract, state));
     return { matrix: derived.matrix, verdict: derived.verdict, files };
 }
 export function deriveObjects(state) {
@@ -140,9 +144,28 @@ export function deriveObjects(state) {
             .slice(0, 5)
             .map(([layerId]) => layerId)
     };
+    const contract = completionOutputContractFromState(state);
+    const completionMetadata = {
+        completion_output_status: contract.completion_output_status,
+        final_answer_allowed: contract.final_answer_allowed,
+        required_user_visible_status: contract.required_user_visible_status,
+        product_goal_complete: contract.product_goal_complete,
+        acceptance_target_status: contract.acceptance_target_status,
+        audit_task_complete: contract.audit_task_complete
+    };
     return {
-        matrix: { overall_status: allComplete ? "complete" : "partial", items: matrixRows },
-        verdict: { overall_status: allComplete ? "complete" : "partial", acceptance_items: verdictRows },
+        matrix: {
+            diagnostic_scope: "plan_conformance_rows_only",
+            overall_status: allComplete ? "complete" : "partial",
+            ...completionMetadata,
+            items: matrixRows
+        },
+        verdict: {
+            diagnostic_scope: "acceptance_evidence_rows_only",
+            overall_status: allComplete ? "complete" : "partial",
+            ...completionMetadata,
+            acceptance_items: verdictRows
+        },
         progress
     };
 }
@@ -289,12 +312,19 @@ missing_layer_count: ${missing}
 ${rows.map((row) => `- ${row.ac_id}: ${row.status}`).join("\n")}
 `;
 }
-function localAuditMarkdown(state) {
+function localAuditMarkdown(state, contract) {
+    const auditLine = contract.completion_output_status === "accept"
+        ? "Final-gate accepted the current attempt."
+        : "Audit workflow completed; acceptance target not complete.";
     return `# Local Audit
 
 audit_task_complete: ${state.final.audit_task_complete}
 acceptance_target_status: ${state.final.acceptance_target_status}
 product_goal_complete: ${state.final.product_goal_complete}
+completion_output_status: ${contract.completion_output_status}
+final_answer_allowed: ${contract.final_answer_allowed}
+
+${auditLine}
 `;
 }
 function progressMarkdown(progress) {
@@ -326,10 +356,27 @@ Product Context Delta: ${state.context.product_context_delta}
 Technical Context Delta: ${state.context.technical_context_delta}
 `;
 }
-function finalSummaryMarkdown(state, verdict) {
+function finalSummaryMarkdown(state, verdict, contract) {
+    const reasons = contract.completion_output_status === "blocked" ? contract.blocked_reasons : contract.rejection_reasons;
+    const reasonBlock = reasons.length > 0 ? reasons.map((reason) => `- ${reason}`).join("\n") : "- none";
+    const auditLine = contract.completion_output_status === "accept"
+        ? "Final-gate accepted the current attempt."
+        : "Audit workflow completed; acceptance target not complete.";
     return `# Final Summary
 
-overall_status: ${verdict.overall_status}
-product_goal_complete: ${state.final.product_goal_complete}
+diagnostic_overall_status: ${verdict.overall_status}
+product_goal_complete: ${contract.product_goal_complete}
+acceptance_target_status: ${contract.acceptance_target_status}
+completion_output_status: ${contract.completion_output_status}
+final_answer_allowed: ${contract.final_answer_allowed}
+required_user_visible_status: ${contract.required_user_visible_status}
+exit_code: ${contract.exit_code}
+
+Final answer: ${contract.final_answer}
+
+${auditLine}
+
+Reasons:
+${reasonBlock}
 `;
 }

package/dist/lib/superpowers-task-evidence-kernel.d.ts

@@ -1,3 +1,4 @@
+import { type IgnoredUnregisteredEvidence } from "./superpowers-task-unregistered-evidence.js";
 import { type SuperpowersTaskState } from "./superpowers-task-state-schema.js";
 export interface TrustedEvidenceKernelResult {
     product_goal_complete: boolean;
@@ -6,7 +7,13 @@ export interface TrustedEvidenceKernelResult {
     ac_statuses: Record<string, string>;
     pi_statuses: Record<string, string>;
     stale_evidence_ids: string[];
+    ignored_unregistered_evidence: IgnoredUnregisteredEvidence[];
+    invalidated_evidence_ids: string[];
+    kernel_order: string[];
+    ac_findings: Record<string, string[]>;
+    pi_findings: Record<string, string[]>;
     harness_task_final_verdict?: "passed" | "failed";
 }
+export declare const TRUSTED_EVIDENCE_KERNEL_ORDER: readonly ["load_three_inputs", "recompute_source_hashes", "load_task_state", "resolve_current_attempt", "load_required_command_specs", "load_command_run_records", "load_registered_evidence_records", "discard_stale_evidence", "scan_unregistered_assertion_json", "scan_contradictions", "run_ac010_bootstrap_prevention", "run_under_specified_ac_checks", "run_harness_drift_lock", "run_protected_baseline_guard", "validate_scope_conflicts", "recompute_every_ac", "recompute_every_pi", "recompute_acceptance_target_status", "recompute_product_goal_complete", "regenerate_derived", "append_final_gate_event"];
 export declare function evaluateTrustedEvidenceKernel(workdir: string, providedState?: SuperpowersTaskState): Promise<TrustedEvidenceKernelResult>;
 export declare function applyTrustedEvidenceKernelResult(state: SuperpowersTaskState, result: TrustedEvidenceKernelResult): void;