snipara-companion 3.0.1 → 3.0.2

package/dist/index.d.ts

@@ -2161,6 +2161,8 @@ declare const ENGINEERING_LEAD_WORK_PACKAGE_STATUSES: readonly ["contracting", "
 declare const ENGINEERING_LEAD_SUPERVISION_STATUSES: readonly ["on_track", "needs_review", "needs_replan", "blocked", "cold_start", "unknown"];
 declare const ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES: readonly ["pending_handoff", "handoff_ready", "executing", "verification_required", "blocked", "closed", "unknown"];
 declare const ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES: readonly ["handoff", "claim", "approval", "proof", "outcome", "brain_update"];
+declare const ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES: readonly ["declared", "provided", "verified", "rejected", "unknown"];
+declare const ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES: readonly ["agent_report", "companion_handoff", "local_command", "ci", "htask", "manual", "unknown"];
 type EngineeringLeadPlanSummary = ProjectIntelligenceEngineeringLeadPlanSummary;
 interface CompanionEngineeringLeadReconciliation {
     status: "on_track" | "needs_review" | "needs_replan" | "blocked";
@@ -3644,4 +3646,4 @@ declare function buildOrchestratorHandoff(options: OrchestratorHandoffOptions):
 declare function buildAdaptiveWorkRoutingRecommendation(options: AdaptiveWorkRoutingOptions): AdaptiveWorkRoutingRecommendation;
 declare function writeOrchestratorHandoff(options: OrchestratorHandoffOptions): WrittenOrchestratorHandoff;
 
-export { AUTOMATION_MANIFEST_RELATIVE_PATH, AutomationInstallConflictError, AutomationUnsupportedHookBundleError, COLLABORATION_STATE_RELATIVE_PATH, ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES, ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES, ENGINEERING_LEAD_POSTURES, ENGINEERING_LEAD_ROUTING_MODES, ENGINEERING_LEAD_STATUSES, ENGINEERING_LEAD_SUPERVISION_STATUSES, ENGINEERING_LEAD_WORKER_ROLES, ENGINEERING_LEAD_WORK_PACKAGE_STATUSES, ORCHESTRATOR_HANDOFF_RELATIVE_PATH, TEAM_SYNC_STATE_RELATIVE_PATH, WORKFLOW_PLANS_RELATIVE_DIR, WORKFLOW_STATE_RELATIVE_PATH, agentReadinessAuditCommand, archiveInactiveTeamSyncWork, attachLocalContextPackReceipts, autoArchiveTeamSyncState, buildAdaptiveWorkRoutingRecommendation, buildAgentReadinessAuditReport, buildAgenticHandoffMarkdown, buildAgenticTimeline, buildAgenticWorkStatus, buildAutomationInstallPlan, buildCanonicalEvent, buildCodeHooksInstallPlan, buildCodePromotionResult, buildCodeStatusResult, buildCodeSyncResult, buildCollaborationActor, buildCollaborationGuardActionCards, buildCollaborationHooksInstallPlan, buildCompanionEngineeringLeadPlanReport, buildContextPackStats, buildEvalCaseArtifact, buildGeneratedWorkflowPlanDocument, buildHostedCodeOverlayUploadPayload, buildHostedGuardPayload, buildJournalCheckpointEntry, buildLocalCallersResult, buildLocalCodeOverlay, buildLocalContextPackReceipt, buildLocalContextPackReceipts, buildLocalImpactResult, buildLocalImportsResult, buildLocalNeighborsResult, buildLocalShortestPathResult, buildLocalSourceSnapshot, buildLocalSourceStatus, buildLocalSourceSyncResult, buildMemoryAudit, buildOnboardFolderManifest, buildOrchestratorHandoff, buildProjectIntelligenceBrief, buildProjectIntelligenceRun, buildProjectJudgmentCard, buildSessionBootstrapQuality, buildSyncDocumentsDryRun, buildTeamSyncHandoffRecord, buildTeamSyncStartWorkRecord, buildTeamSyncSummary, buildToolCallPayload, buildToolResultPayload, buildVerificationPlan, buildWorkflowImpactGate, buildWorkflowPhaseCommitSummary, buildWorkflowPlanScaffold, categoryFromGuardTag, classifyToolResult, cleanContextPacks, collaborationIdeStatusCommand, collectAgentReadinessLocalSignals, collectSyncDocuments, collectSyncDocumentsInput, compactHostedGuardResources, compareLocalSourceSnapshots, completeTeamSyncStateFromEvidence, completeTeamSyncWorkFromEvidence, contextPackCleanCommand, contextPackPackCommand, contextPackRetrieveCommand, contextPackStatsCommand, createClient, createEmptyCollaborationState, createEmptyTeamSyncState, createLocalQueryCache, deriveLocalCollaborationResourcesFromFiles, detectReleaseSurfacesFromFiles, detectRuntimeEnvironment, evalExportCommand, evalRunCommand, evaluateProjectPolicyGates, extractCommandFromToolInput, extractFilesFromToolInput, formatAgentReadinessAuditReport, formatCompanionEngineeringLeadPlanReport, formatOrchestratorRecommendationReason, formatPolicyGateDecision, formatProjectJudgmentCard, formatStuckGuardDecision, getAutomationManifestPath, getAutomationStatus, getCollaborationStatePath, getConfigPath, getContextPackStoragePaths, getLocalCodeOverlayCachePath, getLocalCodePromotionStatePath, getLocalSourceSnapshotPath, getOrchestratorRecommendation, getPlanStepDisplayTitle, getStagedFiles, getStuckGuardInjection, getTeamSyncStatePath, ingestReferences, installAutomationBundle, leadPlanCommand, listProjectsForApiKey, loadAutomationManifest, loadCollaborationState, loadConfig, loadTeamSyncState, memoryAuditCommand, memoryCleanCandidatesCommand, memoryCompactCommand, memoryHealthCommand, memoryLocalCommand, normalizeCollaborationFiles, normalizeGuardTag, normalizeWorkflowPlanInput, packContext, parseCollaborationResources, projectIntelligenceBriefCommand, projectIntelligenceRunCommand, readLocalCodeOverlayCache, readLocalCodePromotionState, readLocalSourceSnapshot, referencesIngestCommand, referencesScanCommand, resolveContextPackRecord, resolveFullWorkflowTokenBudget, resolveQueryFromToolInput, retrieveContextPack, runMemoryGuardCheck, saveCollaborationState, saveConfig, saveTeamSyncState, scanReferences, shouldSuggestOrchestratorForWorkflow, shouldSuggestRuntimeForWorkflow, summarizeLocalCodeOverlay, teamSyncSweepCommand, validatePlanResult, verifyCommand, writeLocalCodeOverlayCache, writeLocalCodePromotionState, writeLocalSourceSnapshot, writeOrchestratorHandoff };
+export { AUTOMATION_MANIFEST_RELATIVE_PATH, AutomationInstallConflictError, AutomationUnsupportedHookBundleError, COLLABORATION_STATE_RELATIVE_PATH, ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES, ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES, ENGINEERING_LEAD_POSTURES, ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES, ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES, ENGINEERING_LEAD_ROUTING_MODES, ENGINEERING_LEAD_STATUSES, ENGINEERING_LEAD_SUPERVISION_STATUSES, ENGINEERING_LEAD_WORKER_ROLES, ENGINEERING_LEAD_WORK_PACKAGE_STATUSES, ORCHESTRATOR_HANDOFF_RELATIVE_PATH, TEAM_SYNC_STATE_RELATIVE_PATH, WORKFLOW_PLANS_RELATIVE_DIR, WORKFLOW_STATE_RELATIVE_PATH, agentReadinessAuditCommand, archiveInactiveTeamSyncWork, attachLocalContextPackReceipts, autoArchiveTeamSyncState, buildAdaptiveWorkRoutingRecommendation, buildAgentReadinessAuditReport, buildAgenticHandoffMarkdown, buildAgenticTimeline, buildAgenticWorkStatus, buildAutomationInstallPlan, buildCanonicalEvent, buildCodeHooksInstallPlan, buildCodePromotionResult, buildCodeStatusResult, buildCodeSyncResult, buildCollaborationActor, buildCollaborationGuardActionCards, buildCollaborationHooksInstallPlan, buildCompanionEngineeringLeadPlanReport, buildContextPackStats, buildEvalCaseArtifact, buildGeneratedWorkflowPlanDocument, buildHostedCodeOverlayUploadPayload, buildHostedGuardPayload, buildJournalCheckpointEntry, buildLocalCallersResult, buildLocalCodeOverlay, buildLocalContextPackReceipt, buildLocalContextPackReceipts, buildLocalImpactResult, buildLocalImportsResult, buildLocalNeighborsResult, buildLocalShortestPathResult, buildLocalSourceSnapshot, buildLocalSourceStatus, buildLocalSourceSyncResult, buildMemoryAudit, buildOnboardFolderManifest, buildOrchestratorHandoff, buildProjectIntelligenceBrief, buildProjectIntelligenceRun, buildProjectJudgmentCard, buildSessionBootstrapQuality, buildSyncDocumentsDryRun, buildTeamSyncHandoffRecord, buildTeamSyncStartWorkRecord, buildTeamSyncSummary, buildToolCallPayload, buildToolResultPayload, buildVerificationPlan, buildWorkflowImpactGate, buildWorkflowPhaseCommitSummary, buildWorkflowPlanScaffold, categoryFromGuardTag, classifyToolResult, cleanContextPacks, collaborationIdeStatusCommand, collectAgentReadinessLocalSignals, collectSyncDocuments, collectSyncDocumentsInput, compactHostedGuardResources, compareLocalSourceSnapshots, completeTeamSyncStateFromEvidence, completeTeamSyncWorkFromEvidence, contextPackCleanCommand, contextPackPackCommand, contextPackRetrieveCommand, contextPackStatsCommand, createClient, createEmptyCollaborationState, createEmptyTeamSyncState, createLocalQueryCache, deriveLocalCollaborationResourcesFromFiles, detectReleaseSurfacesFromFiles, detectRuntimeEnvironment, evalExportCommand, evalRunCommand, evaluateProjectPolicyGates, extractCommandFromToolInput, extractFilesFromToolInput, formatAgentReadinessAuditReport, formatCompanionEngineeringLeadPlanReport, formatOrchestratorRecommendationReason, formatPolicyGateDecision, formatProjectJudgmentCard, formatStuckGuardDecision, getAutomationManifestPath, getAutomationStatus, getCollaborationStatePath, getConfigPath, getContextPackStoragePaths, getLocalCodeOverlayCachePath, getLocalCodePromotionStatePath, getLocalSourceSnapshotPath, getOrchestratorRecommendation, getPlanStepDisplayTitle, getStagedFiles, getStuckGuardInjection, getTeamSyncStatePath, ingestReferences, installAutomationBundle, leadPlanCommand, listProjectsForApiKey, loadAutomationManifest, loadCollaborationState, loadConfig, loadTeamSyncState, memoryAuditCommand, memoryCleanCandidatesCommand, memoryCompactCommand, memoryHealthCommand, memoryLocalCommand, normalizeCollaborationFiles, normalizeGuardTag, normalizeWorkflowPlanInput, packContext, parseCollaborationResources, projectIntelligenceBriefCommand, projectIntelligenceRunCommand, readLocalCodeOverlayCache, readLocalCodePromotionState, readLocalSourceSnapshot, referencesIngestCommand, referencesScanCommand, resolveContextPackRecord, resolveFullWorkflowTokenBudget, resolveQueryFromToolInput, retrieveContextPack, runMemoryGuardCheck, saveCollaborationState, saveConfig, saveTeamSyncState, scanReferences, shouldSuggestOrchestratorForWorkflow, shouldSuggestRuntimeForWorkflow, summarizeLocalCodeOverlay, teamSyncSweepCommand, validatePlanResult, verifyCommand, writeLocalCodeOverlayCache, writeLocalCodePromotionState, writeLocalSourceSnapshot, writeOrchestratorHandoff };

package/dist/index.js

@@ -38,6 +38,8 @@ __export(index_exports, {
   ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES: () => ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES,
   ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES: () => ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES,
   ENGINEERING_LEAD_POSTURES: () => ENGINEERING_LEAD_POSTURES,
+  ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES: () => ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES,
+  ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES: () => ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES,
   ENGINEERING_LEAD_ROUTING_MODES: () => ENGINEERING_LEAD_ROUTING_MODES,
   ENGINEERING_LEAD_STATUSES: () => ENGINEERING_LEAD_STATUSES,
   ENGINEERING_LEAD_SUPERVISION_STATUSES: () => ENGINEERING_LEAD_SUPERVISION_STATUSES,
@@ -10985,11 +10987,11 @@ function hostedHandoffTests(hosted) {
 var ADAPTER_TARGETS = {
   codex: {
     label: "Codex",
-    instruction: "Use Hosted MCP and AGENTS.md first; keep companion phase state visible."
+    instruction: "Use Hosted MCP and AGENTS.md first; keep companion phase state visible and return the canonical proof receipt."
   },
   "claude-code": {
     label: "Claude Code",
-    instruction: "Use generated/local instructions and return proof through companion handoff."
+    instruction: "Use generated/local instructions and return proof through companion handoff using the canonical receipt fields."
   },
   cursor: {
     label: "Cursor",
@@ -11008,6 +11010,7 @@ var ADAPTER_TARGETS = {
     instruction: "Require the receiving worker to echo the receipt fields before closure."
   }
 };
+var FIRST_PARTY_ADAPTER_TARGETS = ["codex", "claude-code"];
 function normalizeAdapterTarget(value) {
   const normalized = (value ?? "codex").trim().toLowerCase();
   if (normalized === "claude" || normalized === "claude_code") {
@@ -11018,6 +11021,14 @@ function normalizeAdapterTarget(value) {
   }
   return "custom";
 }
+function assertSupportedAdapterTarget(targetId) {
+  if (FIRST_PARTY_ADAPTER_TARGETS.includes(targetId)) {
+    return;
+  }
+  throw new Error(
+    `ADE Adapter Pack V1 currently supports codex and claude-code only; ${targetId} is planned but not enabled.`
+  );
+}
 function normalizeAdapterValues(values) {
   return [
     ...new Set(
@@ -11058,7 +11069,8 @@ function buildAdapterPrompt(input) {
     input.record.files.length > 0 ? `File scope: ${input.record.files.join(", ")}` : "File scope: not declared",
     input.proofGates.length > 0 ? `Proof gates: ${input.proofGates.join("; ")}` : "Proof gates: provide explicit evidence before closure.",
     input.acceptanceCriteria.length > 0 ? `Acceptance criteria: ${input.acceptanceCriteria.join("; ")}` : "Acceptance criteria: use the next step and handoff summary as the minimum contract.",
-    "Return a companion handoff receipt with files changed, commands run, proof evidence, blockers, and next action."
+    "Return a companion handoff receipt with files changed, commands run, proof evidence, blockers, next action, and proofVerification status.",
+    "Treat proof evidence as provided until Snipara validates the source and records proofVerification.status=verified."
   ].join("\n");
 }
 function buildAgenticHandoffAdapterPack(input) {
@@ -11066,6 +11078,7 @@ function buildAgenticHandoffAdapterPack(input) {
     return void 0;
   }
   const targetId = normalizeAdapterTarget(input.options.adapterTarget);
+  assertSupportedAdapterTarget(targetId);
   const target = ADAPTER_TARGETS[targetId];
   const contextRefs = normalizeAdapterValues(input.options.context);
   const explicitProof = normalizeAdapterValues(input.options.proof);
@@ -11090,7 +11103,7 @@ function buildAgenticHandoffAdapterPack(input) {
       constraints: [
         "Use this artifact as a work contract, not as approval to expand scope silently.",
         "Keep secrets out of handoff receipts and proof notes.",
-        "Do not close the task until proof gates are addressed or an explicit waiver is recorded.",
+        "Do not close the task until proof gates are addressed and proofVerification.status is verified or an explicit waiver is recorded.",
         input.gitStatus.length > 0 ? `${input.gitStatus.length} dirty git file(s) existed when this pack was generated.` : "No dirty git file count was added to the adapter constraints."
       ]
     },
@@ -11105,6 +11118,8 @@ function buildAgenticHandoffAdapterPack(input) {
         "filesChanged",
         "commandsRun",
         "proofEvidence",
+        "proofVerificationStatus",
+        "proofSource",
         "blockers",
         "nextAction"
       ]
@@ -11118,8 +11133,9 @@ function buildAgenticHandoffAdapterPack(input) {
     }),
     caveats: [
       "ADE Adapter Pack V1 is a portable contract; it does not control the target client runtime.",
+      "First-party adapter packs are currently limited to Codex and Claude Code.",
       "Native hooks or IDE-specific automation must be installed separately when they exist.",
-      "The receiving agent must return a receipt before Snipara can treat the work as verified."
+      "The receiving agent can provide proof evidence, but Snipara must validate the source before treating proof as verified."
     ]
   };
 }
@@ -19083,6 +19099,22 @@ var PROJECT_INTELLIGENCE_ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES = [
   "outcome",
   "brain_update"
 ];
+var PROJECT_INTELLIGENCE_ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES = [
+  "declared",
+  "provided",
+  "verified",
+  "rejected",
+  "unknown"
+];
+var PROJECT_INTELLIGENCE_ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES = [
+  "agent_report",
+  "companion_handoff",
+  "local_command",
+  "ci",
+  "htask",
+  "manual",
+  "unknown"
+];
 
 // src/commands/lead-plan.ts
 var ENGINEERING_LEAD_STATUSES = PROJECT_HEALTH_COCKPIT_STATUSES;
@@ -19093,6 +19125,8 @@ var ENGINEERING_LEAD_WORK_PACKAGE_STATUSES = PROJECT_INTELLIGENCE_ENGINEERING_LE
 var ENGINEERING_LEAD_SUPERVISION_STATUSES = PROJECT_INTELLIGENCE_ENGINEERING_LEAD_SUPERVISION_STATUSES;
 var ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES = PROJECT_INTELLIGENCE_ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES;
 var ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES = PROJECT_INTELLIGENCE_ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES;
+var ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES = PROJECT_INTELLIGENCE_ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES;
+var ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES = PROJECT_INTELLIGENCE_ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES;
 var TARGET_LABELS = {
   codex: "Codex",
   "claude-code": "Claude Code",
@@ -19158,6 +19192,61 @@ function cockpitEnumValue(field, values, value, fallback) {
 function compactReasonCodes(values) {
   return values.filter((value) => Boolean(value));
 }
+function defaultProofVerificationStatus(input) {
+  if (input.proofEvidenceProvided) {
+    return "provided";
+  }
+  return input.proofRequired.length > 0 ? "declared" : "unknown";
+}
+function buildProofVerification(input) {
+  return {
+    status: input.status,
+    source: input.source ?? "unknown",
+    sourceRef: input.sourceRef ?? null,
+    adapterTarget: input.adapterTarget ?? null,
+    verifiedBy: input.verifiedBy ?? null,
+    verifiedAt: input.verifiedAt ?? null,
+    evidenceHash: input.evidenceHash ?? null,
+    reasonCodes: [
+      .../* @__PURE__ */ new Set([
+        ...input.reasonCodes ?? [],
+        `proof_verification_${input.status}`,
+        ...input.status === "verified" ? [] : ["proof_verification_pending_validation"]
+      ])
+    ]
+  };
+}
+function normalizeProofVerification(input) {
+  const fallbackStatus = defaultProofVerificationStatus(input);
+  if (!isRecord8(input.value)) {
+    return buildProofVerification({ status: fallbackStatus });
+  }
+  const status = cockpitEnumValue(
+    "proof_verification_status",
+    ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES,
+    input.value.status,
+    fallbackStatus
+  );
+  const source2 = cockpitEnumValue(
+    "proof_verification_source",
+    ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES,
+    input.value.source,
+    "unknown"
+  );
+  return buildProofVerification({
+    status: status.value,
+    source: source2.value,
+    sourceRef: stringValue5(input.value.sourceRef) ?? null,
+    adapterTarget: stringValue5(input.value.adapterTarget) ?? null,
+    verifiedBy: stringValue5(input.value.verifiedBy) ?? null,
+    verifiedAt: stringValue5(input.value.verifiedAt) ?? null,
+    evidenceHash: stringValue5(input.value.evidenceHash) ?? null,
+    reasonCodes: [
+      ...stringList(input.value.reasonCodes),
+      ...compactReasonCodes([status.droppedReasonCode, source2.droppedReasonCode])
+    ]
+  });
+}
 function slug(value, fallback) {
   const normalized = value.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 48);
   return normalized || fallback;
@@ -19466,9 +19555,13 @@ function missingRequirementsForExecutionReceipt(input) {
   if (input.requiredStages.includes("approval") && !completed.has("approval")) {
     missing.add("approval_receipt");
   }
-  if (input.requiredStages.includes("proof") && !completed.has("proof")) {
+  const proofEvidenceProvided = input.proofEvidenceProvided ?? completed.has("proof");
+  if (input.requiredStages.includes("proof") && !proofEvidenceProvided) {
     missing.add("proof_receipt");
   }
+  if (input.requiredStages.includes("proof") && proofEvidenceProvided && input.workPackage.proofRequired.length > 0 && input.proofVerificationStatus !== "verified") {
+    missing.add("verified_proof");
+  }
   if (input.requiredStages.includes("outcome") && !completed.has("outcome")) {
     missing.add("outcome_receipt");
   }
@@ -19479,7 +19572,7 @@ function missingRequirementsForExecutionReceipt(input) {
 }
 function executionReceiptStatusFromWorkPackage(input) {
   if (input.workPackage.status === "blocked") return "blocked";
-  if (input.workPackage.status === "closed" && input.requiredStages.every((stage) => input.completedStages.includes(stage))) {
+  if (input.workPackage.status === "closed" && input.requiredStages.every((stage) => input.completedStages.includes(stage)) && input.missingRequirements.length === 0) {
     return "closed";
   }
   if (input.workPackage.status === "executing") return "executing";
@@ -19501,6 +19594,9 @@ function executionReceiptNextAction(input) {
   if (input.missingRequirements.includes("proof_receipt")) {
     return "Attach proof receipts before closure.";
   }
+  if (input.missingRequirements.includes("verified_proof")) {
+    return "Validate the proof source before treating this package as complete.";
+  }
   if (input.missingRequirements.includes("outcome_receipt")) {
     return "Attach an outcome or closure receipt before Brain promotion.";
   }
@@ -19555,6 +19651,9 @@ function buildExpectedExecutionReceipts(input) {
       brainUpdateReceiptId: null,
       proofRequired: workPackage.proofRequired,
       proofExecuted: [],
+      proofVerification: buildProofVerification({
+        status: workPackage.proofRequired.length > 0 ? "declared" : "unknown"
+      }),
       missingRequirements,
       nextAction: executionReceiptNextAction({ status, missingRequirements }),
       replanTriggers: workPackage.replanTriggers,
@@ -19803,13 +19902,30 @@ function normalizeExecutionReceipt(value, index, workPackages, workerRecommendat
     (stage) => normalizedRequiredStages.includes(stage)
   );
   const brainUpdateCandidates2 = stringList(value.brainUpdateCandidates).length > 0 ? stringList(value.brainUpdateCandidates) : recommendation?.brainUpdateCandidates ?? [];
+  const proofReceiptIds = stringList(value.proofReceiptIds);
+  const proofRequired = stringList(value.proofRequired).length > 0 ? stringList(value.proofRequired) : workPackage?.proofRequired ?? [];
+  const proofExecuted = stringList(value.proofExecuted);
+  const proofEvidenceProvided = proofReceiptIds.length > 0 || proofExecuted.length > 0 || normalizedCompletedStages.includes("proof");
+  const proofVerification = normalizeProofVerification({
+    value: value.proofVerification,
+    proofRequired,
+    proofEvidenceProvided
+  });
   const derivedMissing = workPackage && missingRequirementsForExecutionReceipt({
     workPackage,
     requiredStages: normalizedRequiredStages,
     completedStages: normalizedCompletedStages,
-    brainUpdateCandidates: brainUpdateCandidates2
+    brainUpdateCandidates: brainUpdateCandidates2,
+    proofVerificationStatus: proofVerification.status,
+    proofEvidenceProvided
   });
-  const missingRequirements = stringList(value.missingRequirements).length > 0 ? stringList(value.missingRequirements) : derivedMissing ?? [];
+  const missingRequirementsSet = new Set(
+    stringList(value.missingRequirements).length > 0 ? stringList(value.missingRequirements) : derivedMissing ?? []
+  );
+  if (normalizedRequiredStages.includes("proof") && proofRequired.length > 0 && proofEvidenceProvided && proofVerification.status !== "verified") {
+    missingRequirementsSet.add("verified_proof");
+  }
+  const missingRequirements = Array.from(missingRequirementsSet).sort();
   const fallbackStatus = workPackage ? executionReceiptStatusFromWorkPackage({
     workPackage,
     requiredStages: normalizedRequiredStages,
@@ -19822,33 +19938,42 @@ function normalizeExecutionReceipt(value, index, workPackages, workerRecommendat
     value.status,
     fallbackStatus
   );
+  const effectiveStatus = status.value === "closed" && missingRequirements.length > 0 ? "verification_required" : status.value;
+  const statusReasonCodes = compactReasonCodes([
+    status.droppedReasonCode,
+    status.value === "closed" && effectiveStatus === "verification_required" ? "companion_downgraded_closed_execution_receipt_pending_verification" : null
+  ]);
   return {
     id: stringValue5(value.id) ?? `engineering-lead-receipt:${workPackageId}`,
     workPackageId,
     workPackageTitle: stringValue5(value.workPackageTitle) ?? workPackage?.title ?? `Imported work package ${index + 1}`,
-    status: status.value,
+    status: effectiveStatus,
     requiredStages: normalizedRequiredStages,
     completedStages: normalizedCompletedStages,
     handoffReceiptId: stringValue5(value.handoffReceiptId) ?? null,
     claimId: stringValue5(value.claimId) ?? null,
     htaskId: stringValue5(value.htaskId) ?? null,
     approvalReceiptId: stringValue5(value.approvalReceiptId) ?? null,
-    proofReceiptIds: stringList(value.proofReceiptIds),
+    proofReceiptIds,
     outcomeReceiptId: stringValue5(value.outcomeReceiptId) ?? null,
     brainUpdateReceiptId: stringValue5(value.brainUpdateReceiptId) ?? null,
-    proofRequired: stringList(value.proofRequired).length > 0 ? stringList(value.proofRequired) : workPackage?.proofRequired ?? [],
-    proofExecuted: stringList(value.proofExecuted),
+    proofRequired,
+    proofExecuted,
+    proofVerification,
     missingRequirements,
-    nextAction: stringValue5(value.nextAction) ?? executionReceiptNextAction({ status: status.value, missingRequirements }),
+    nextAction: stringValue5(value.nextAction) ?? executionReceiptNextAction({ status: effectiveStatus, missingRequirements }),
     replanTriggers: stringList(value.replanTriggers).length > 0 ? stringList(value.replanTriggers) : workPackage?.replanTriggers ?? [],
     brainUpdateCandidates: brainUpdateCandidates2,
     evidence: normalizeEvidence(value.evidence).length > 0 ? normalizeEvidence(value.evidence) : workPackage?.evidence ?? [],
     reasonCodes: [
       .../* @__PURE__ */ new Set([
         ...stringList(value.reasonCodes),
-        ...compactReasonCodes([status.droppedReasonCode]),
+        ...statusReasonCodes,
         ...requiredStages.reasonCodes,
-        ...completedStages.reasonCodes
+        ...completedStages.reasonCodes,
+        ...proofVerification.reasonCodes.filter(
+          (code2) => code2.startsWith("companion_dropped_unknown_")
+        )
       ])
     ]
   };
@@ -20086,11 +20211,19 @@ function reconcileEngineeringLeadPlan(input) {
     recommendedActions.add(trigger);
   }
   for (const receipt of executionReceipts) {
+    const proofEvidenceProvided = receipt.proofReceiptIds.length > 0 || receipt.proofExecuted.length > 0 || receipt.completedStages.includes("proof");
     if (receipt.status === "blocked") {
       changedSignals.add(`blocked_execution_receipt:${receipt.workPackageId}`);
       recommendedActions.add(receipt.nextAction);
       reasonCodes.add("companion_reconcile_execution_receipt_blocked");
     }
+    if (receipt.requiredStages.includes("proof") && proofEvidenceProvided && receipt.proofVerification?.status !== "verified") {
+      changedSignals.add(`execution_receipt_unverified_proof:${receipt.workPackageId}`);
+      recommendedActions.add(
+        `Validate proof source for ${receipt.workPackageTitle} before closure.`
+      );
+      reasonCodes.add("companion_reconcile_execution_receipt_unverified_proof");
+    }
     if (receipt.missingRequirements.length > 0) {
       changedSignals.add(
         `execution_receipt_missing:${receipt.workPackageId}:${receipt.missingRequirements.join(",")}`
@@ -20281,6 +20414,15 @@ function formatCompanionEngineeringLeadPlanReport(report) {
       lines.push(`  handoff receipt: ${receipt.handoffReceiptId ?? "missing"}`);
       lines.push(`  claim: ${receipt.claimId ?? "missing"}`);
       lines.push(`  approval receipt: ${receipt.approvalReceiptId ?? "missing"}`);
+      lines.push(`  proof receipts: ${formatList3(receipt.proofReceiptIds)}`);
+      if (receipt.proofVerification) {
+        lines.push(
+          `  proof verification: ${receipt.proofVerification.status} (${receipt.proofVerification.source})`
+        );
+        if (receipt.proofVerification.adapterTarget) {
+          lines.push(`  proof adapter target: ${receipt.proofVerification.adapterTarget}`);
+        }
+      }
       lines.push(`  outcome receipt: ${receipt.outcomeReceiptId ?? "missing"}`);
       lines.push(`  brain update receipt: ${receipt.brainUpdateReceiptId ?? "missing"}`);
       lines.push(`  missing: ${formatList3(receipt.missingRequirements)}`);
@@ -25047,7 +25189,7 @@ program.command("timeline").description("Show recent workflow phase commits, che
     json: Boolean(options.json)
   });
 });
-program.command("handoff").description("Create an agent-ready handoff artifact and persist Team Sync continuity").option("--summary <summary>", "What changed in this session").option("--next <next>", "Recommended next action").option("--files <files...>", "Relevant files").option("--attention <attention>", "Attention level (note|watch|review|proof)").option("--risk <risk>", "Compatibility alias for --attention").option("--actor <actor>", "Actor or agent name").option("--adapter-pack", "Attach an ADE Adapter Pack V1 to the handoff artifact").option("--target <target>", "ADE target (codex|claude-code|cursor|orca|windsurf|custom)").option("--context <refs...>", "Context references for the adapter pack").option("--proof <proof...>", "Proof gates expected from the receiving agent").option("--acceptance <criteria...>", "Acceptance criteria for the receiving agent").option(
+program.command("handoff").description("Create an agent-ready handoff artifact and persist Team Sync continuity").option("--summary <summary>", "What changed in this session").option("--next <next>", "Recommended next action").option("--files <files...>", "Relevant files").option("--attention <attention>", "Attention level (note|watch|review|proof)").option("--risk <risk>", "Compatibility alias for --attention").option("--actor <actor>", "Actor or agent name").option("--adapter-pack", "Attach an ADE Adapter Pack V1 to the handoff artifact").option("--target <target>", "ADE adapter-pack target (codex|claude-code)").option("--context <refs...>", "Context references for the adapter pack").option("--proof <proof...>", "Proof gates expected from the receiving agent").option("--acceptance <criteria...>", "Acceptance criteria for the receiving agent").option(
   "--conflict-posture <posture>",
   "Conflict posture (continue|wait|split_work|review_only|handoff)"
 ).option("-d, --dir <directory>", "Project directory (default: current)").option("-o, --output <file>", "Write the handoff artifact to Markdown or JSON").option("--json", "Print raw JSON").action(async (options) => {
@@ -26710,6 +26852,8 @@ if (require.main === module) {
   ENGINEERING_LEAD_EXECUTION_RECEIPT_STAGES,
   ENGINEERING_LEAD_EXECUTION_RECEIPT_STATUSES,
   ENGINEERING_LEAD_POSTURES,
+  ENGINEERING_LEAD_PROOF_VERIFICATION_SOURCES,
+  ENGINEERING_LEAD_PROOF_VERIFICATION_STATUSES,
   ENGINEERING_LEAD_ROUTING_MODES,
   ENGINEERING_LEAD_STATUSES,
   ENGINEERING_LEAD_SUPERVISION_STATUSES,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "snipara-companion",
-  "version": "3.0.1",
+  "version": "3.0.2",
   "description": "Local-first CLI that asks your repo what breaks before an AI coding agent edits it.",
   "main": "dist/index.js",
   "bin": {