projscan 4.13.0 → 4.15.0

package/dist/core/workplanReport.js

@@ -0,0 +1,79 @@
+export function buildWorkplanHandoffPayload(report) {
+    const next = report.tasks.slice(0, 5).map((task) => task.handoffText);
+    const verificationCommands = unique(report.tasks.flatMap((task) => task.verification.commands)).slice(0, 12);
+    return {
+        summary: report.summary,
+        verdict: report.verdict,
+        mode: report.mode,
+        next,
+        verificationCommands,
+        coordination: report.coordination,
+        markdown: renderWorkplanHandoffMarkdown(report, next, verificationCommands),
+    };
+}
+function renderWorkplanHandoffMarkdown(report, next, verificationCommands) {
+    const lines = [
+        '# Agent Handoff',
+        '',
+        `**Mode:** ${report.mode}`,
+        `**Verdict:** ${report.verdict}`,
+        '',
+        report.summary,
+        '',
+        '## Next',
+        ...(next.length > 0 ? next.map((item) => `- ${item}`) : ['- Preserve the current baseline.']),
+        '',
+        '## Verification',
+        ...(verificationCommands.length > 0
+            ? verificationCommands.map((command) => `- \`${command}\``)
+            : ['- `projscan preflight --format json`']),
+        '',
+        '## Coordination',
+        `- ${report.coordination.recommendedNextAgent}`,
+        ...report.coordination.touchedFiles.slice(0, 10).map((file) => `- touched: ${file}`),
+    ];
+    return `${lines.join('\n')}\n`;
+}
+export function rankWorkplanTasks(tasks) {
+    const seen = new Set();
+    return tasks
+        .filter((task) => {
+        if (seen.has(task.id))
+            return false;
+        seen.add(task.id);
+        return true;
+    })
+        .sort((a, b) => {
+        const priority = priorityRank(a.priority) - priorityRank(b.priority);
+        if (priority !== 0)
+            return priority;
+        const evidence = strongestEvidenceRank(a.evidence) - strongestEvidenceRank(b.evidence);
+        if (evidence !== 0)
+            return evidence;
+        return a.id.localeCompare(b.id);
+    });
+}
+function strongestEvidenceRank(evidence) {
+    if (evidence.some((item) => item.severity === 'error'))
+        return 0;
+    if (evidence.some((item) => item.severity === 'warning'))
+        return 1;
+    return 2;
+}
+function priorityRank(priority) {
+    if (priority === 'p0')
+        return 0;
+    if (priority === 'p1')
+        return 1;
+    return 2;
+}
+export function summarizeWorkplan(mode, verdict, tasks, risks) {
+    if (tasks.length === 0)
+        return `${verdict}: ${mode} workplan has no recommended tasks`;
+    const riskText = risks.length > 0 ? `${risks.length} top risk(s)` : 'no top risks';
+    return `${verdict}: ${mode} workplan has ${tasks.length} task(s), starting with ${tasks[0]?.title}; ${riskText}`;
+}
+function unique(values) {
+    return [...new Set(values)];
+}
+//# sourceMappingURL=workplanReport.js.map

package/dist/core/workplanReport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workplanReport.js","sourceRoot":"","sources":["../../src/core/workplanReport.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtE,MAAM,oBAAoB,GAAG,MAAM,CACjC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAC3D,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACf,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI;QACJ,oBAAoB;QACpB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,QAAQ,EAAE,6BAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,oBAAoB,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAsB,EACtB,IAAc,EACd,oBAA8B;IAE9B,MAAM,KAAK,GAAG;QACZ,iBAAiB;QACjB,EAAE;QACF,aAAa,MAAM,CAAC,IAAI,EAAE;QAC1B,gBAAgB,MAAM,CAAC,OAAO,EAAE;QAChC,EAAE;QACF,MAAM,CAAC,OAAO;QACd,EAAE;QACF,SAAS;QACT,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC;QAC7F,EAAE;QACF,iBAAiB;QACjB,GAAG,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,IAAI,CAAC;YAC3D,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC;QAC7C,EAAE;QACF,iBAAiB;QACjB,KAAK,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE;QAC/C,GAAG,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC;KACrF,CAAC;IACF,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACf,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrE,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;QACpC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvF,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;QACpC,OAAO,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA4B;IACzD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;QAAE,OAAO,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,QAA0B;IAC9C,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAChC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAkB,EAClB,OAAyB,EACzB,KAAqB,EACrB,KAAwB;IAExB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,OAAO,KAAK,IAAI,oCAAoC,CAAC;IACvF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC;IACnF,OAAO,GAAG,OAAO,KAAK,IAAI,iBAAiB,KAAK,CAAC,MAAM,2BAA2B,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC"}

package/dist/core/workplanRiskOwnership.d.ts

@@ -0,0 +1,5 @@
+import type { OwnershipLookup } from './ownership.js';
+import type { PreflightReason, SessionConflict, WorkplanTask, WorkplanTopRisk } from '../types.js';
+export declare function buildTopRisks(reasons: PreflightReason[], conflicts: SessionConflict[], extraRisks?: WorkplanTopRisk[]): WorkplanTopRisk[];
+export declare function annotateTasksWithOwners(tasks: WorkplanTask[], ownership: OwnershipLookup | undefined): WorkplanTask[];
+export declare function annotateTopRisksWithOwners(risks: WorkplanTopRisk[], ownership: OwnershipLookup | undefined): WorkplanTopRisk[];

package/dist/core/workplanRiskOwnership.js

@@ -0,0 +1,97 @@
+const MAX_TOP_RISKS = 8;
+const HANDOFF_LIMIT = 320;
+export function buildTopRisks(reasons, conflicts, extraRisks = []) {
+    const reasonRisks = reasons.map((reason) => ({
+        ...reasonToEvidence(reason),
+        priority: reason.severity === 'error' ? 'p0' : 'p1',
+    }));
+    const conflictRisks = conflicts.map((conflict) => ({
+        source: 'coordination',
+        message: conflict.message,
+        severity: conflict.severity,
+        file: conflict.files[0],
+        priority: conflict.severity === 'error' ? 'p0' : 'p1',
+    }));
+    const seen = new Set();
+    return [...reasonRisks, ...conflictRisks, ...extraRisks]
+        .map((risk, index) => ({ risk, index }))
+        .filter((entry) => {
+        const { risk } = entry;
+        const key = `${risk.source}:${risk.file ?? ''}:${risk.message}`;
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    })
+        .sort((a, b) => {
+        const priority = priorityRank(a.risk.priority) - priorityRank(b.risk.priority);
+        if (priority !== 0)
+            return priority;
+        return a.index - b.index;
+    })
+        .map((entry) => entry.risk)
+        .slice(0, MAX_TOP_RISKS);
+}
+export function annotateTasksWithOwners(tasks, ownership) {
+    if (!ownership)
+        return tasks;
+    return tasks.map((task) => {
+        const owner = ownerForTask(task, ownership);
+        if (!owner)
+            return task;
+        return {
+            ...task,
+            owner,
+            handoffText: compact(`${task.handoffText} Owner: ${owner}.`, HANDOFF_LIMIT),
+        };
+    });
+}
+export function annotateTopRisksWithOwners(risks, ownership) {
+    if (!ownership)
+        return risks;
+    return risks.map((risk) => {
+        const owner = ownerForFiles([risk.file].filter((file) => typeof file === 'string'), ownership);
+        return owner ? { ...risk, owner } : risk;
+    });
+}
+function reasonToEvidence(reason) {
+    return {
+        source: reason.source,
+        message: reason.message,
+        severity: reason.severity,
+        ...(reason.file ? { file: reason.file } : {}),
+        ...(reason.issueId ? { issueId: reason.issueId } : {}),
+        ...(reason.tool ? { tool: reason.tool } : {}),
+    };
+}
+function ownerForTask(task, ownership) {
+    const evidenceFiles = task.evidence
+        .map((item) => item.file)
+        .filter((file) => typeof file === 'string' && file.length > 0);
+    return ownerForFiles([...task.files, ...evidenceFiles], ownership);
+}
+function ownerForFiles(files, ownership) {
+    for (const file of unique(files)) {
+        const owner = ownership(file);
+        if (owner)
+            return owner;
+    }
+    return undefined;
+}
+function priorityRank(priority) {
+    if (priority === 'p0')
+        return 0;
+    if (priority === 'p1')
+        return 1;
+    return 2;
+}
+function unique(values) {
+    return [...new Set(values)];
+}
+function compact(value, maxLength) {
+    const oneLine = value.replace(/\s+/g, ' ').trim();
+    if (oneLine.length <= maxLength)
+        return oneLine;
+    return `${oneLine.slice(0, maxLength - 3).trimEnd()}...`;
+}
+//# sourceMappingURL=workplanRiskOwnership.js.map

package/dist/core/workplanRiskOwnership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workplanRiskOwnership.js","sourceRoot":"","sources":["../../src/core/workplanRiskOwnership.ts"],"names":[],"mappings":"AASA,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,MAAM,UAAU,aAAa,CAC3B,OAA0B,EAC1B,SAA4B,EAC5B,aAAgC,EAAE;IAElC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3C,GAAG,gBAAgB,CAAC,MAAM,CAAC;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAE,IAAc,CAAC,CAAC,CAAE,IAAc;KAC1E,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,cAAuB;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAE,IAAc,CAAC,CAAC,CAAE,IAAc;KAC5E,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,CAAC,GAAG,WAAW,EAAE,GAAG,aAAa,EAAE,GAAG,UAAU,CAAC;SACrD,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;SACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/E,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;QACpC,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAqB,EACrB,SAAsC;IAEtC,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO;YACL,GAAG,IAAI;YACP,KAAK;YACL,WAAW,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,WAAW,KAAK,GAAG,EAAE,aAAa,CAAC;SAC5E,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAwB,EACxB,SAAsC;IAEtC,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,aAAa,CACzB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EACtE,SAAS,CACV,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAuB;IAC/C,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAkB,EAAE,SAA0B;IAClE,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ;SAChC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,aAAa,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,aAAa,CAAC,KAAe,EAAE,SAA0B;IAChE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,QAAqC;IACzD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAChC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,SAAiB;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,IAAI,SAAS;QAAE,OAAO,OAAO,CAAC;IAChD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC;AAC3D,CAAC"}

package/dist/core/workplanSuggestedActions.d.ts

@@ -0,0 +1,2 @@
+import type { PreflightSuggestedAction, WorkplanTask } from '../types.js';
+export declare function buildWorkplanSuggestedActions(preflightActions: PreflightSuggestedAction[], tasks: WorkplanTask[]): PreflightSuggestedAction[];

package/dist/core/workplanSuggestedActions.js

@@ -0,0 +1,43 @@
+import { escapeDoubleQuoted } from './startShellArgs.js';
+export function buildWorkplanSuggestedActions(preflightActions, tasks) {
+    return dedupeActions([
+        ...preflightActions,
+        ...tasks.flatMap((task) => taskToSuggestedActions(task)),
+    ]);
+}
+function taskToSuggestedActions(task) {
+    return task.suggestedTools.slice(0, 3).flatMap((tool) => {
+        const command = commandForSuggestedTool(tool, task);
+        if (!command)
+            return [];
+        return [
+            {
+                label: `Use ${tool} for ${task.title}`,
+                tool: tool.startsWith('projscan_') ? tool : undefined,
+                command,
+            },
+        ];
+    });
+}
+function commandForSuggestedTool(tool, task) {
+    if (!tool.startsWith('projscan_'))
+        return task.verification.commands[0];
+    if (tool === 'projscan_file' && task.files[0]) {
+        return `projscan file "${escapeDoubleQuoted(task.files[0])}" --format json`;
+    }
+    const prefix = `projscan ${tool.slice('projscan_'.length).replace(/_/g, '-')}`;
+    return task.verification.commands.find((command) => command.startsWith(prefix));
+}
+function dedupeActions(actions) {
+    const seen = new Set();
+    const out = [];
+    for (const action of actions) {
+        const key = `${action.label}:${action.command ?? ''}:${action.tool ?? ''}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push(action);
+    }
+    return out.slice(0, 12);
+}
+//# sourceMappingURL=workplanSuggestedActions.js.map

package/dist/core/workplanSuggestedActions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workplanSuggestedActions.js","sourceRoot":"","sources":["../../src/core/workplanSuggestedActions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAGzD,MAAM,UAAU,6BAA6B,CAC3C,gBAA4C,EAC5C,KAAqB;IAErB,OAAO,aAAa,CAAC;QACnB,GAAG,gBAAgB;QACnB,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;KACzD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAkB;IAChD,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QACxB,OAAO;YACL;gBACE,KAAK,EAAE,OAAO,IAAI,QAAQ,IAAI,CAAC,KAAK,EAAE;gBACtC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBACrD,OAAO;aACR;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAY,EAAE,IAAkB;IAC/D,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,OAAO,kBAAkB,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9E,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/E,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,OAAmC;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QAC3E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1B,CAAC"}

package/dist/mcp/tools/prove.js

@@ -1,7 +1,8 @@
 import { computeProve } from '../../core/prove.js';
+import { loadConfig } from '../../utils/config.js';
 export const proveTool = {
     name: 'projscan_prove',
-    description: 'Create, record, or replay a local Proof Contract for a change. Returns allowed files, forbidden files, proof commands, ledger evidence, scope drift, and a reviewer-ready Proof Receipt.',
+    description: 'Create, record, or replay a local Proof Contract for a change. Returns allowed files, forbidden files, proof commands, ledger evidence, scope drift, a reviewer-ready Proof Receipt, and verifiedWorkflow status for agent handoff.',
     inputSchema: {
         type: 'object',
         properties: {
@@ -63,23 +64,28 @@ export const proveTool = {
             },
         },
     },
-    handler: async (args, rootPath) => ({
-        prove: await computeProve(rootPath, {
-            intent: stringArg(args.intent),
-            changed: args.changed === true,
-            contractPath: stringArg(args.contract_path),
-            saveContractPath: stringArg(args.save_contract_path),
-            maxFiles: finiteNumberArg(args.max_files),
-            feedbackPath: stringArg(args.feedback_path),
-            baseRef: stringArg(args.base_ref),
-            ledgerPath: stringArg(args.ledger_path),
-            recordCommand: stringArg(args.record_command),
-            exitCode: integerArg(args.exit_code),
-            durationMs: finiteNumberArg(args.duration_ms),
-            summary: stringArg(args.summary),
-            logPath: stringArg(args.log_path),
-        }),
-    }),
+    handler: async (args, rootPath) => {
+        const { config } = await loadConfig(rootPath);
+        const changed = args.changed === true;
+        return {
+            prove: await computeProve(rootPath, {
+                intent: stringArg(args.intent),
+                changed,
+                contractPath: stringArg(args.contract_path),
+                saveContractPath: stringArg(args.save_contract_path),
+                maxFiles: finiteNumberArg(args.max_files),
+                feedbackPath: stringArg(args.feedback_path),
+                baseRef: stringArg(args.base_ref),
+                ledgerPath: stringArg(args.ledger_path),
+                recordCommand: stringArg(args.record_command),
+                exitCode: integerArg(args.exit_code),
+                durationMs: finiteNumberArg(args.duration_ms),
+                summary: stringArg(args.summary),
+                logPath: stringArg(args.log_path),
+                proofRecipes: changed ? undefined : config.proofRecipes,
+            }),
+        };
+    },
 };
 function stringArg(value) {
     return typeof value === 'string' ? value : undefined;

package/dist/mcp/tools/prove.js.map

@@ -1 +1 @@
-{"version":3,"file":"prove.js","sourceRoot":"","sources":["../../../src/mcp/tools/prove.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,MAAM,CAAC,MAAM,SAAS,GAAY;IAChC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,0LAA0L;IAC5L,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2DAA2D;aACzE;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,6DAA6D;aAC3E;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iEAAiE;aAC/E;YACD,kBAAkB,EAAE;gBAClB,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2EAA2E;aACzF;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+DAA+D;aAC7E;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iEAAiE;aAC/E;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,mDAAmD;aACjE;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,yCAAyC;aACvD;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,yDAAyD;aACvE;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+BAA+B;aAC7C;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,8CAA8C;aAC5D;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,wDAAwD;aACtE;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,sDAAsD;aACpE;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+CAA+C;aAC7D;SACF;KACF;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,EAAE,MAAM,YAAY,CAAC,QAAQ,EAAE;YAClC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;YAC9B,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;YAC9B,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;YAC3C,gBAAgB,EAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC;YACpD,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;YACzC,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;YAC3C,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;YACjC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC;YACvC,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC;YAC7C,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;YACpC,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YAC7C,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;YAChC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;SAClC,CAAC;KACH,CAAC;CACH,CAAC;AAEF,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC"}
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../../../src/mcp/tools/prove.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,MAAM,CAAC,MAAM,SAAS,GAAY;IAChC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,qOAAqO;IACvO,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2DAA2D;aACzE;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,6DAA6D;aAC3E;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iEAAiE;aAC/E;YACD,kBAAkB,EAAE;gBAClB,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2EAA2E;aACzF;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+DAA+D;aAC7E;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iEAAiE;aAC/E;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,mDAAmD;aACjE;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,yCAAyC;aACvD;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,yDAAyD;aACvE;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+BAA+B;aAC7C;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,8CAA8C;aAC5D;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,wDAAwD;aACtE;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,sDAAsD;aACpE;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+CAA+C;aAC7D;SACF;KACF;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;QACtC,OAAO;YACL,KAAK,EAAE,MAAM,YAAY,CAAC,QAAQ,EAAE;gBAClC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC9B,OAAO;gBACP,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;gBAC3C,gBAAgB,EAAE,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBACpD,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;gBACzC,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;gBAC3C,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC;gBACvC,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC;gBAC7C,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;gBACpC,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC7C,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;gBAChC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY;aACxD,CAAC;SACH,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC"}

package/dist/projscan-sbom.cdx.json

@@ -1,23 +1,23 @@
 {
   "bomFormat": "CycloneDX",
   "specVersion": "1.5",
-  "serialNumber": "urn:uuid:0d1f3873-6042-4d25-8c38-1a7246808289",
+  "serialNumber": "urn:uuid:72d058b0-5373-4f94-91ab-a48d32e9bac5",
   "version": 1,
   "metadata": {
-    "timestamp": "2026-06-24T06:50:33.122Z",
+    "timestamp": "2026-06-25T09:44:00.014Z",
     "tools": [
       {
         "vendor": "projscan",
         "name": "projscan-sbom-generator",
-        "version": "4.13.0"
+        "version": "4.15.0"
       }
     ],
     "component": {
       "type": "application",
-      "bom-ref": "pkg:npm/projscan@4.13.0",
+      "bom-ref": "pkg:npm/projscan@4.15.0",
       "name": "projscan",
-      "version": "4.13.0",
-      "purl": "pkg:npm/projscan@4.13.0"
+      "version": "4.15.0",
+      "purl": "pkg:npm/projscan@4.15.0"
     }
   },
   "components": [

package/dist/tool-manifest.json

@@ -1,8 +1,8 @@
 {
   "name": "projscan",
-  "version": "4.13.0",
+  "version": "4.15.0",
   "mcpProtocolVersion": null,
-  "generatedAt": "2026-06-24T06:50:39.589Z",
+  "generatedAt": "2026-06-25T09:44:07.310Z",
   "toolCount": 48,
   "tools": [
     {
@@ -1056,7 +1056,7 @@
     },
     {
       "name": "projscan_prove",
-      "description": "Create, record, or replay a local Proof Contract for a change. Returns allowed files, forbidden files, proof commands, ledger evidence, scope drift, and a reviewer-ready Proof Receipt.",
+      "description": "Create, record, or replay a local Proof Contract for a change. Returns allowed files, forbidden files, proof commands, ledger evidence, scope drift, a reviewer-ready Proof Receipt, and verifiedWorkflow status for agent handoff.",
       "inputSchema": {
         "type": "object",
         "properties": {

package/dist/types/config.d.ts

@@ -25,6 +25,12 @@ export interface ProjscanConfig {
      * direct CLI flags for a single run.
      */
     reportPolicies?: Record<string, ReportPolicyPreset>;
+    /**
+     * Optional team-specific proof rules for `projscan prove`. Recipes add
+     * required commands, reviewers, and forbidden drift when a matched file is
+     * part of a Proof Contract or Proof Receipt.
+     */
+    proofRecipes?: ProofRecipeConfig[];
     /**
      * Monorepo-specific configuration (0.14.0+). Currently scopes the
      * cross-package import policy: each entry says "package P may only import
@@ -56,6 +62,15 @@ export interface ReportPolicyPreset {
     reportScope?: string[];
     redactPaths?: boolean;
 }
+export interface ProofRecipeConfig {
+    id: string;
+    matches: string[];
+    requiredCommands: string[];
+    requiredReviewers?: string[];
+    forbiddenFiles?: string[];
+    riskSurface?: string;
+    reason?: string;
+}
 /**
  * One cross-package import rule. `from` is the package name (matches
  * WorkspacePackage.name). Exactly one of `allow` / `deny` is required. Both

package/dist/types/evidencePack.d.ts

@@ -57,9 +57,30 @@ export interface EvidencePackProofReceiptSummary {
     reviewerDecision: string;
     scopeStatus?: string;
     riskDeltaDirection?: string;
+    proofSufficiencyStatus?: string;
+    proofReplayStatus?: string;
+    changedAfterProof: string[];
+    receiptFingerprint?: string;
+    weakRequirements: string[];
+    missingRequirements: string[];
+    staleRequirements: string[];
+    failedRequirements: string[];
     missingCommands: string[];
     failedCommands: string[];
     staleCommands: string[];
+    teamProofRecipes?: string[];
+    requiredReviewers?: string[];
+    recipeGaps?: string[];
+    recipeDrift?: string[];
+    proofEvidenceSources?: EvidencePackProofEvidenceSources;
+}
+export interface EvidencePackProofEvidenceSources {
+    total: number;
+    executed: number;
+    recorded: number;
+    mission: number;
+    external: number;
+    unknown: number;
 }
 export interface EvidencePackPrCommentValidationCheck {
     id: string;

package/dist/types/proofLedger.d.ts

@@ -1,4 +1,4 @@
-export type ProofLedgerSource = 'prove-record' | 'mission' | 'external';
+export type ProofLedgerSource = 'prove-record' | 'prove-run' | 'mission' | 'external';
 export type ProofLedgerStatus = 'passed' | 'failed';
 export interface ProofLedgerRecord {
     schemaVersion: 1;

package/dist/types/prove.d.ts

@@ -1,18 +1,38 @@
 import type { AssessConfidence, AssessEvidenceStrengthLevel, RiskDeltaSnapshot } from './assess.js';
+import type { ProofRecipeConfig } from './config.js';
 import type { ProofLedgerRecord } from './proofLedger.js';
-export type ProveMode = 'intent' | 'changed' | 'record';
+export type ProveMode = 'intent' | 'changed' | 'record' | 'run';
 export type ProveVerdict = 'ready' | 'needs-review' | 'blocked';
 export type ProveScopeStatus = 'within-contract' | 'drifted' | 'missing-contract';
 export type ProveProofStatus = 'not-run' | 'missing' | 'partial' | 'passed' | 'failed' | 'stale';
 export type ProveRiskDeltaDirection = 'improved' | 'worse' | 'flat';
 export type ProveReviewerDecision = 'safe-to-review' | 'needs-focused-review' | 'stop';
 export type ProveProofCommandStatus = 'passed' | 'failed' | 'missing' | 'stale';
+export type ProveProofReplayStatus = 'verified' | 'needs-proof' | 'stale' | 'failed' | 'drifted';
+export type ProveProofReplayEventKind = 'contract' | 'change-set' | 'proof-command' | 'proof-sufficiency' | 'receipt';
+export type ProveProofReplayEventStatus = 'passed' | 'missing' | 'missing-contract' | 'stale' | 'failed' | 'drifted' | 'strong' | 'adequate' | 'weak' | ProveProofReplayStatus;
+export type ProveRiskSurface = 'production' | 'test' | 'documentation' | 'config' | 'security' | 'public-api' | 'cli' | 'mcp' | 'dependency' | 'generated' | 'custom' | 'unknown';
+export type ProveProofSufficiencyStatus = 'strong' | 'adequate' | 'weak' | 'missing' | 'stale' | 'failed';
 export type ProveChangedFileKind = 'allowed-production' | 'expected-test' | 'documentation' | 'config' | 'security-sensitive' | 'generated' | 'forbidden' | 'unexpected-production' | 'unexpected-test' | 'unknown';
 export interface ProveTrustMemorySummary {
     status: string;
     summary: string;
     signals: string[];
 }
+export interface ProveVerifiedWorkflow {
+    phase: 'contract' | 'receipt' | 'record';
+    status: ProveVerdict;
+    nextAction: string;
+    nextCommand: string;
+    reviewerDecision?: ProveReviewerDecision;
+    scopeStatus?: ProveScopeStatus;
+    proofStatus?: ProveProofStatus;
+    riskDeltaDirection?: ProveRiskDeltaDirection;
+    staleProof: boolean;
+    missingProof: boolean;
+    failedProof: boolean;
+    proofSufficiencyStatus?: ProveProofSufficiencyStatus;
+}
 export interface ProveChangedFileClassification {
     file: string;
     kind: ProveChangedFileKind;
@@ -29,6 +49,8 @@ export interface ProveContract {
     likelyTests: string[];
     missingRegressionTests: string[];
     proofCommands: string[];
+    proofRequirements?: ProveProofRequirement[];
+    teamProofRecipes?: ProveMatchedProofRecipe[];
     safeChangeShape: string;
     rollbackPlan: string;
     confidence: AssessConfidence;
@@ -43,6 +65,25 @@ export interface ProveContract {
     reviewerGuidance: string;
     receiptCommand: string;
     riskDelta: RiskDeltaSnapshot;
+    verifiedWorkflow: ProveVerifiedWorkflow;
+}
+export interface ProveProofRequirement {
+    id: string;
+    surface: ProveRiskSurface;
+    files: string[];
+    requiredCommands: string[];
+    requiredReview: string;
+    reason: string;
+    source?: 'inferred' | 'recipe';
+    recipeId?: string;
+    requiredReviewers?: string[];
+}
+export interface ProveMatchedProofRecipe extends ProofRecipeConfig {
+    matchedFiles: string[];
+    forbiddenTouched?: string[];
+    missingCommands?: string[];
+    failedCommands?: string[];
+    staleCommands?: string[];
 }
 export interface ProveReceiptScope {
     status: ProveScopeStatus;
@@ -74,24 +115,77 @@ export interface ProveProofCommandEvidence {
     command: string;
     status: ProveProofCommandStatus;
     fresh: boolean;
+    source?: ProofLedgerRecord['source'];
     exitCode?: number;
     durationMs?: number;
     completedAt?: string;
+    recordedChangedFiles?: string[];
+    recordedChangedFileFingerprint?: string;
     outputSummary?: string;
     logPath?: string;
     staleReason?: string;
 }
+export interface ProveProofReplay {
+    status: ProveProofReplayStatus;
+    summary: string;
+    events: ProveProofReplayEvent[];
+    changedAfterProof: string[];
+    replayCommand: string;
+    receiptFingerprint: string;
+}
+export interface ProveProofReplayEvent {
+    kind: ProveProofReplayEventKind;
+    status: ProveProofReplayEventStatus;
+    summary: string;
+    command?: string;
+    completedAt?: string;
+    changedFiles?: string[];
+    changedAfterProof?: string[];
+    source?: ProofLedgerRecord['source'];
+}
 export interface ProveReceipt {
     summary: string;
     commitReadiness: ProveVerdict;
     scope: ProveReceiptScope;
     proofStatus: ProveReceiptProofStatus;
+    proofSufficiency?: ProveProofSufficiency;
+    proofReplay?: ProveProofReplay;
+    teamProofRecipes?: ProveMatchedProofRecipe[];
+    requiredReviewers?: string[];
+    recipeForbiddenTouched?: string[];
+    recipeDrift?: string[];
+    recipeGaps?: string[];
     riskDelta: RiskDeltaSnapshot;
     riskDeltaDirection: ProveRiskDeltaDirection;
     reviewerDecision: ProveReviewerDecision;
     newRisks: string[];
     evidenceGaps: string[];
     reviewerGuidance: string;
+    verifiedWorkflow: ProveVerifiedWorkflow;
+}
+export interface ProveProofSufficiency {
+    status: ProveProofSufficiencyStatus;
+    summary: string;
+    requirements: ProveProofRequirementResult[];
+    gaps: string[];
+    weakRequirements: string[];
+    missingRequirements: string[];
+    staleRequirements: string[];
+    failedRequirements: string[];
+}
+export interface ProveProofRequirementResult {
+    id: string;
+    surface: ProveRiskSurface;
+    status: ProveProofSufficiencyStatus;
+    files: string[];
+    requiredCommands: string[];
+    matchedCommands: string[];
+    requiredReview: string;
+    reason: string;
+    gaps: string[];
+    source?: 'inferred' | 'recipe';
+    recipeId?: string;
+    requiredReviewers?: string[];
 }
 export interface ProveReport {
     schemaVersion: 1;
@@ -102,6 +196,7 @@ export interface ProveReport {
     receipt?: ProveReceipt;
     commands: string[];
     warnings: string[];
+    verifiedWorkflow: ProveVerifiedWorkflow;
     savedContractPath?: string;
     ledgerRecord?: ProofLedgerRecord;
 }