snipara-companion 3.0.0 → 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";
@@ -3628,6 +3630,7 @@ interface OrchestratorHandoffOptions {
     rootDir?: string;
     changedFiles?: string[];
     contextRefs?: string[];
+    decisionIds?: string[];
     resumeSummary?: string;
     featureTitle?: string;
     workstreams?: string[];
@@ -3643,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,
@@ -2899,6 +2901,7 @@ var SUPPORTED_EXTENSIONS = /* @__PURE__ */ new Map([
 var DEFAULT_MAX_FILES = 2e3;
 var DEFAULT_MAX_FILE_BYTES = 1024 * 1024;
 var DEFAULT_HOSTED_OVERLAY_TTL_HOURS = 48;
+var MAX_HOSTED_OVERLAY_TTL_HOURS = 168;
 var DEFAULT_HOOK_REINDEX_DELAY_SECONDS = 5;
 var CACHE_RELATIVE_PATH = import_path.default.join(".snipara", "code-overlay", "latest.json");
 var PROMOTION_RELATIVE_PATH = import_path.default.join(".snipara", "code-overlay", "promotion.json");
@@ -2961,8 +2964,14 @@ function ensureTrailingNewline2(content) {
   return content.endsWith("\n") ? content : `${content}
 `;
 }
-function positiveInteger2(value, fallback) {
-  return Number.isFinite(value) && value !== void 0 && value > 0 ? Math.floor(value) : fallback;
+function positiveInteger2(value, fallback, label = "value") {
+  if (value === void 0) {
+    return fallback;
+  }
+  if (Number.isFinite(value) && value > 0) {
+    return Math.floor(value);
+  }
+  throw new Error(`${label} must be a positive integer.`);
 }
 function nonNegativeInteger(value, fallback) {
   return Number.isFinite(value) && value !== void 0 && value >= 0 ? Math.floor(value) : fallback;
@@ -3344,8 +3353,12 @@ function buildLocalCodeOverlay(options = {}) {
   const repoRoot = resolveRepoRoot2(options.cwd ?? process.cwd());
   const mode = options.mode ?? "working_tree";
   const commit = mode === "local_commit" ? options.commit ?? "HEAD" : options.commit ?? "HEAD";
-  const maxFiles = positiveInteger2(options.maxFiles, DEFAULT_MAX_FILES);
-  const maxFileBytes = positiveInteger2(options.maxFileBytes, DEFAULT_MAX_FILE_BYTES);
+  const maxFiles = positiveInteger2(options.maxFiles, DEFAULT_MAX_FILES, "--max-files");
+  const maxFileBytes = positiveInteger2(
+    options.maxFileBytes,
+    DEFAULT_MAX_FILE_BYTES,
+    "--max-file-bytes"
+  );
   const now = (/* @__PURE__ */ new Date()).toISOString();
   const branch = readBranch(repoRoot);
   const localHeadSha = readHeadSha(repoRoot);
@@ -4193,7 +4206,14 @@ function buildHostedCodeOverlayUploadPayload(options = {}) {
     maxFiles: options.maxFiles
   });
   const cachePath = writeLocalCodeOverlayCache(manifest);
-  const ttlHours = positiveInteger2(options.ttlHours, DEFAULT_HOSTED_OVERLAY_TTL_HOURS);
+  const ttlHours = positiveInteger2(
+    options.ttlHours,
+    DEFAULT_HOSTED_OVERLAY_TTL_HOURS,
+    "--ttl-hours"
+  );
+  if (ttlHours > MAX_HOSTED_OVERLAY_TTL_HOURS) {
+    throw new Error(`--ttl-hours must be less than or equal to ${MAX_HOSTED_OVERLAY_TTL_HOURS}.`);
+  }
   return {
     manifest,
     cachePath,
@@ -10119,6 +10139,12 @@ function buildOrchestratorHandoff(options) {
   const changedFiles = normalizeStringList(
     options.changedFiles ?? (Array.isArray(workflowState?.currentPhase?.files) ? workflowState.currentPhase.files : [])
   );
+  const contextRefs = normalizeStringList(options.contextRefs);
+  const decisionIds = normalizeDecisionIds([
+    ...normalizeStringList(workflowState?.decisionIds),
+    ...normalizeStringList(options.decisionIds),
+    ...extractDecisionIdsFromRefs(contextRefs)
+  ]);
   const requiresProofGate = options.recommendation.reasons.includes("proof_gate_intent") || options.recommendation.reasons.includes("team_sync_collision");
   const requiresDriftCheck = options.recommendation.reasons.includes("production_validation_intent") || options.recommendation.reasons.includes("workflow_mode_orchestrate");
   return {
@@ -10187,8 +10213,8 @@ function buildOrchestratorHandoff(options) {
       ] : []
     },
     memory: {
-      decisionIds: ["DEC-002"],
-      contextRefs: normalizeStringList(options.contextRefs),
+      decisionIds,
+      contextRefs,
       resumeSummary: options.resumeSummary ?? null
     }
   };
@@ -10424,6 +10450,22 @@ function normalizeEndpointTypes(values) {
     )
   ).sort();
 }
+function normalizeDecisionIds(values) {
+  return Array.from(
+    new Set(
+      normalizeStringList(values).map((value) => value.toUpperCase()).filter((value) => /^DEC-[A-Z0-9._-]+$/.test(value))
+    )
+  ).sort();
+}
+function extractDecisionIdsFromRefs(contextRefs) {
+  const matches = [];
+  for (const ref of contextRefs) {
+    for (const match of ref.matchAll(/\bDEC-[A-Za-z0-9._-]+\b/g)) {
+      matches.push(match[0]);
+    }
+  }
+  return matches;
+}
 function compactObject2(value) {
   return Object.fromEntries(
     Object.entries(value).filter(
@@ -10481,9 +10523,20 @@ function readWorkflowState(rootDir) {
     currentPhaseId: parsed.currentPhaseId,
     currentPhase,
     phases,
-    runtimeSandboxPhases
+    runtimeSandboxPhases,
+    decisionIds: extractWorkflowDecisionIds(parsed)
   };
 }
+function extractWorkflowDecisionIds(parsed) {
+  const fromTopLevel = normalizeStringList(parsed.decisionIds);
+  const fromDecisions = Array.isArray(parsed.decisions) ? parsed.decisions.map((decision) => {
+    if (typeof decision === "string") {
+      return decision;
+    }
+    return isRecord4(decision) ? stringValue2(decision.decisionId) : void 0;
+  }).filter((decisionId) => Boolean(decisionId)) : [];
+  return normalizeDecisionIds([...fromTopLevel, ...fromDecisions]);
+}
 function normalizeContextPackIds(value) {
   if (!Array.isArray(value)) {
     return [];
@@ -10934,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",
@@ -10957,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") {
@@ -10967,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(
@@ -11007,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) {
@@ -11015,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);
@@ -11039,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."
       ]
     },
@@ -11054,6 +11118,8 @@ function buildAgenticHandoffAdapterPack(input) {
         "filesChanged",
         "commandsRun",
         "proofEvidence",
+        "proofVerificationStatus",
+        "proofSource",
         "blockers",
         "nextAction"
       ]
@@ -11067,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."
     ]
   };
 }
@@ -17907,6 +17974,18 @@ async function taskCommitCommand(options) {
 var SNAPSHOT_RELATIVE_PATH = import_path2.default.join(".snipara", "source", "latest.json");
 var DEFAULT_MAX_FILES2 = 5e3;
 var DEFAULT_MAX_FILE_BYTES2 = 5 * 1024 * 1024;
+var LOCAL_SOURCE_FILE_KINDS = /* @__PURE__ */ new Set([
+  "DOC",
+  "BINARY",
+  "CODE",
+  "CONFIG",
+  "OTHER"
+]);
+var LOCAL_SOURCE_SKIPPED_REASONS = /* @__PURE__ */ new Set([
+  "ignored",
+  "too_large",
+  "read_error"
+]);
 var DOCUMENT_FORMATS = /* @__PURE__ */ new Map([
   [".adoc", { kind: "DOC", format: "adoc" }],
   [".markdown", { kind: "DOC", format: "markdown" }],
@@ -17979,12 +18058,27 @@ var DEFAULT_IGNORED_DIRS = /* @__PURE__ */ new Set([
   "target",
   "venv"
 ]);
-function positiveInteger3(value, fallback) {
-  return Number.isFinite(value) && value !== void 0 && value > 0 ? Math.floor(value) : fallback;
+function positiveInteger3(value, fallback, label = "value") {
+  if (value === void 0) {
+    return fallback;
+  }
+  if (Number.isFinite(value) && value > 0) {
+    return Math.floor(value);
+  }
+  throw new Error(`${label} must be a positive integer.`);
 }
 function normalizeRepoPath2(value) {
   return value.split(import_path2.default.sep).join("/").replace(/^\/+/, "");
 }
+function comparePaths(left, right) {
+  if (left < right) {
+    return -1;
+  }
+  if (left > right) {
+    return 1;
+  }
+  return 0;
+}
 function sha2564(value) {
   return import_crypto2.default.createHash("sha256").update(value).digest("hex");
 }
@@ -18070,8 +18164,12 @@ function getLocalSourceSnapshotPath(cwd = process.cwd()) {
 function buildLocalSourceSnapshot(options = {}) {
   const root = resolveSourceRoot(options.dir);
   const recursive = options.recursive ?? true;
-  const maxFiles = positiveInteger3(options.maxFiles, DEFAULT_MAX_FILES2);
-  const maxFileBytes = positiveInteger3(options.maxFileBytes, DEFAULT_MAX_FILE_BYTES2);
+  const maxFiles = positiveInteger3(options.maxFiles, DEFAULT_MAX_FILES2, "--max-files");
+  const maxFileBytes = positiveInteger3(
+    options.maxFileBytes,
+    DEFAULT_MAX_FILE_BYTES2,
+    "--max-file-bytes"
+  );
   const now = (/* @__PURE__ */ new Date()).toISOString();
   const sniparaIgnore = readSniparaIgnore2(root);
   const files = [];
@@ -18150,6 +18248,8 @@ function buildLocalSourceSnapshot(options = {}) {
   if (files.length >= maxFiles) {
     warnings.push(`Stopped after ${maxFiles} files. Increase --max-files for larger folders.`);
   }
+  files.sort((left, right) => comparePaths(left.path, right.path));
+  skippedSamples.sort((left, right) => comparePaths(left.path, right.path));
   const byKind = emptyKindCounts();
   let totalBytes = 0;
   for (const file of files) {
@@ -18204,11 +18304,51 @@ function readLocalSourceSnapshot(cwd = process.cwd()) {
   }
   try {
     const parsed = JSON.parse(import_fs2.default.readFileSync(snapshotPath, "utf8"));
-    return parsed?.version === "snipara.local_source_snapshot.v1" ? parsed : null;
+    return isLocalSourceSnapshot(parsed) ? parsed : null;
   } catch {
     return null;
   }
 }
+function isRecord6(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function isLocalSourceFile(value) {
+  if (!isRecord6(value)) {
+    return false;
+  }
+  return typeof value.path === "string" && LOCAL_SOURCE_FILE_KINDS.has(value.kind) && (typeof value.format === "string" || value.format === null) && typeof value.sizeBytes === "number" && Number.isFinite(value.sizeBytes) && typeof value.modifiedAt === "string" && typeof value.sha256 === "string";
+}
+function isSkippedFile(value) {
+  if (!isRecord6(value)) {
+    return false;
+  }
+  return typeof value.path === "string" && LOCAL_SOURCE_SKIPPED_REASONS.has(value.reason) && (value.sizeBytes === void 0 || typeof value.sizeBytes === "number" && Number.isFinite(value.sizeBytes));
+}
+function hasKindCounts(value) {
+  if (!isRecord6(value)) {
+    return false;
+  }
+  return Array.from(LOCAL_SOURCE_FILE_KINDS).every(
+    (kind) => typeof value[kind] === "number" && Number.isFinite(value[kind])
+  );
+}
+function hasSkippedCounts(value) {
+  if (!isRecord6(value)) {
+    return false;
+  }
+  return Array.from(LOCAL_SOURCE_SKIPPED_REASONS).every(
+    (reason) => typeof value[reason] === "number" && Number.isFinite(value[reason])
+  );
+}
+function isLocalSourceSnapshot(value) {
+  if (!isRecord6(value) || value.version !== "snipara.local_source_snapshot.v1") {
+    return false;
+  }
+  if (!isRecord6(value.summary) || !isRecord6(value.skipped)) {
+    return false;
+  }
+  return typeof value.generatedAt === "string" && typeof value.root === "string" && value.provider === "local_folder" && typeof value.revision === "string" && typeof value.recursive === "boolean" && typeof value.maxFiles === "number" && typeof value.maxFileBytes === "number" && typeof value.summary.totalFiles === "number" && typeof value.summary.totalBytes === "number" && hasKindCounts(value.summary.byKind) && typeof value.summary.skipped === "number" && Array.isArray(value.files) && value.files.every(isLocalSourceFile) && typeof value.skipped.total === "number" && hasSkippedCounts(value.skipped.byReason) && Array.isArray(value.skipped.samples) && value.skipped.samples.every(isSkippedFile) && Array.isArray(value.warnings) && value.warnings.every((warning) => typeof warning === "string");
+}
 function compareLocalSourceSnapshots(previous, current) {
   if (!previous) {
     return {
@@ -18406,14 +18546,48 @@ async function sourceSyncCommand(options = {}) {
   printSyncResult(result);
 }
 async function sourceWatchCommand(options = {}) {
-  const intervalMs = positiveInteger3(options.intervalMs, 5e3);
+  const intervalMs = positiveInteger3(options.intervalMs, 5e3, "--interval-ms");
   if (options.once) {
     await sourceSyncCommand(options);
     return;
   }
-  while (true) {
-    await sourceSyncCommand(options);
-    await new Promise((resolve17) => setTimeout(resolve17, intervalMs));
+  let stopping = false;
+  let activeTimer = null;
+  let resolveWait = null;
+  const stop = () => {
+    stopping = true;
+    if (activeTimer) {
+      clearTimeout(activeTimer);
+      activeTimer = null;
+    }
+    if (resolveWait) {
+      resolveWait();
+      resolveWait = null;
+    }
+  };
+  const signals = ["SIGINT", "SIGTERM"];
+  for (const signal of signals) {
+    process.once(signal, stop);
+  }
+  try {
+    while (!stopping) {
+      await sourceSyncCommand(options);
+      if (stopping) {
+        break;
+      }
+      await new Promise((resolve17) => {
+        resolveWait = resolve17;
+        activeTimer = setTimeout(() => {
+          activeTimer = null;
+          resolveWait = null;
+          resolve17();
+        }, intervalMs);
+      });
+    }
+  } finally {
+    for (const signal of signals) {
+      process.removeListener(signal, stop);
+    }
   }
 }
 
@@ -18467,19 +18641,19 @@ function normalizeTask(task) {
   const normalized = task?.trim();
   return normalized ? normalized : void 0;
 }
-function isRecord6(value) {
+function isRecord7(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function stringValue4(value) {
   return typeof value === "string" && value.trim() ? value.trim() : void 0;
 }
 function recordList(value) {
-  return Array.isArray(value) ? value.filter(isRecord6) : [];
+  return Array.isArray(value) ? value.filter(isRecord7) : [];
 }
 function safeReadJson(filePath) {
   try {
     const parsed = JSON.parse(fs19.readFileSync(filePath, "utf8"));
-    return isRecord6(parsed) ? parsed : void 0;
+    return isRecord7(parsed) ? parsed : void 0;
   } catch {
     return void 0;
   }
@@ -18925,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;
@@ -18935,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",
@@ -18964,11 +19156,11 @@ function unique3(values) {
     )
   ];
 }
-function isRecord7(value) {
+function isRecord8(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function recordList2(value) {
-  return Array.isArray(value) ? value.filter(isRecord7) : [];
+  return Array.isArray(value) ? value.filter(isRecord8) : [];
 }
 function stringValue5(value) {
   return typeof value === "string" && value.trim() ? value.trim() : void 0;
@@ -19000,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;
@@ -19308,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");
   }
@@ -19321,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";
@@ -19343,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.";
   }
@@ -19397,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,
@@ -19520,7 +19777,7 @@ function buildLocalEngineeringLeadPlan(input) {
   };
 }
 function normalizeWorkerRecommendation(value, index) {
-  const contract = isRecord7(value.contract) ? value.contract : {};
+  const contract = isRecord8(value.contract) ? value.contract : {};
   const role = cockpitEnumValue(
     "worker_role",
     ENGINEERING_LEAD_WORKER_ROLES,
@@ -19645,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,
@@ -19664,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_")
+        )
       ])
     ]
   };
@@ -19738,7 +20021,7 @@ function summarizeSupervisionFromWorkPackages(workPackages) {
   };
 }
 function normalizeSupervision(value, workPackages) {
-  if (!isRecord7(value)) {
+  if (!isRecord8(value)) {
     return summarizeSupervisionFromWorkPackages(workPackages);
   }
   const fallback = summarizeSupervisionFromWorkPackages(workPackages);
@@ -19790,7 +20073,7 @@ function normalizeSupervision(value, workPackages) {
   };
 }
 function normalizeCockpitPlan(cockpit) {
-  const rawPlan = isRecord7(cockpit.engineeringLeadPlan) ? cockpit.engineeringLeadPlan : cockpit;
+  const rawPlan = isRecord8(cockpit.engineeringLeadPlan) ? cockpit.engineeringLeadPlan : cockpit;
   const score = Math.round(numberValue3(rawPlan.score, 0));
   const workerRecommendations = recordList2(rawPlan.workerRecommendations).map(
     normalizeWorkerRecommendation
@@ -19928,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(",")}`
@@ -19990,7 +20281,7 @@ function applyReconciliationToPlan(plan, reconciliation) {
 }
 function readJsonFile3(filePath) {
   const parsed = JSON.parse(fs20.readFileSync(path19.resolve(filePath), "utf8"));
-  if (!isRecord7(parsed)) {
+  if (!isRecord8(parsed)) {
     throw new Error(`${filePath} must contain a JSON object`);
   }
   return parsed;
@@ -20123,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)}`);
@@ -20195,7 +20495,7 @@ var import_node_child_process6 = require("child_process");
 var import_chalk8 = __toESM(require("chalk"));
 
 // src/commands/judgment-card.ts
-function isRecord8(value) {
+function isRecord9(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function numberValue4(value) {
@@ -20213,12 +20513,12 @@ function stringListValue(value) {
 function nestedRecord(root, keys) {
   let current = root;
   for (const key of keys) {
-    if (!isRecord8(current) || !isRecord8(current[key])) {
+    if (!isRecord9(current) || !isRecord9(current[key])) {
       return {};
     }
     current = current[key];
   }
-  return isRecord8(current) ? current : {};
+  return isRecord9(current) ? current : {};
 }
 function nestedArray(root, keys) {
   if (keys.length === 0) {
@@ -20304,7 +20604,7 @@ function advisorRecommendationsFromInput(input) {
   return recommendations;
 }
 function advisorRecommendationFromUnknown(value, index) {
-  if (!isRecord8(value)) {
+  if (!isRecord9(value)) {
     return null;
   }
   const title = stringValue6(value.title);
@@ -20327,7 +20627,7 @@ function advisorRecommendationFromUnknown(value, index) {
   };
 }
 function codeImpactRisk(impact) {
-  const risk = isRecord8(impact?.risk) ? impact?.risk : {};
+  const risk = isRecord9(impact?.risk) ? impact?.risk : {};
   return {
     level: stringValue6(risk.level),
     score: numberValue4(risk.score)
@@ -20361,19 +20661,19 @@ function collectVerificationChecks(plan) {
   };
 }
 function gapCode(gap) {
-  return isRecord8(gap) ? stringValue6(gap.code) ?? "verification_gap" : "verification_gap";
+  return isRecord9(gap) ? stringValue6(gap.code) ?? "verification_gap" : "verification_gap";
 }
 function gapMessage(gap) {
-  if (!isRecord8(gap)) {
+  if (!isRecord9(gap)) {
     return String(gap);
   }
   return stringValue6(gap.message) ?? stringValue6(gap.reason) ?? stringValue6(gap.title) ?? "Verification gap";
 }
 function checkCommand(check2) {
-  return isRecord8(check2) ? stringValue6(check2.command) : void 0;
+  return isRecord9(check2) ? stringValue6(check2.command) : void 0;
 }
 function checkTitle(check2) {
-  if (!isRecord8(check2)) {
+  if (!isRecord9(check2)) {
     return String(check2);
   }
   return stringValue6(check2.title) ?? stringValue6(check2.command) ?? stringValue6(check2.file) ?? "verification check";
@@ -20453,7 +20753,7 @@ function buildProjectJudgmentCard(input) {
       "Code impact was degraded; local reads and broader checks should override confidence."
     );
   }
-  const freshness = isRecord8(input.codeImpact?.index_freshness) ? input.codeImpact?.index_freshness : {};
+  const freshness = isRecord9(input.codeImpact?.index_freshness) ? input.codeImpact?.index_freshness : {};
   if (freshness.is_stale === true || freshness.commit_match === false) {
     addReason(reasons, {
       code: "code_graph_stale",
@@ -20476,12 +20776,12 @@ function buildProjectJudgmentCard(input) {
       type: "run_check",
       title: checkTitle(check2),
       command: checkCommand(check2),
-      reason: isRecord8(check2) ? stringValue6(check2.reason) : void 0,
+      reason: isRecord9(check2) ? stringValue6(check2.reason) : void 0,
       severity: "medium"
     });
   }
   for (const gap of missingChecks) {
-    const severity = normalizeSeverity(isRecord8(gap) ? gap.severity : void 0);
+    const severity = normalizeSeverity(isRecord9(gap) ? gap.severity : void 0);
     const code2 = gapCode(gap);
     addReason(reasons, {
       code: code2,
@@ -20785,7 +21085,7 @@ function formatProjectJudgmentCard(card) {
 var import_fs3 = __toESM(require("fs"));
 var import_path3 = __toESM(require("path"));
 var import_chalk7 = __toESM(require("chalk"));
-function isRecord9(value) {
+function isRecord10(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function stringValue7(value) {
@@ -20802,7 +21102,7 @@ function stringList2(value) {
     if (typeof item === "string") {
       return [item];
     }
-    if (!isRecord9(item)) {
+    if (!isRecord10(item)) {
       return [];
     }
     return [
@@ -20858,7 +21158,7 @@ function collectActionChecks(impact) {
       const kind2 = checkKindFromText(item);
       return kind2 === "command" || kind2 === "inspection" ? [] : [{ kind: kind2, title: item, source: "code-impact" }];
     }
-    if (!isRecord9(item)) {
+    if (!isRecord10(item)) {
       return [];
     }
     const title = actionTitle(item);
@@ -20886,7 +21186,7 @@ function collectDirectTestChecks(impact) {
     impact.related_tests,
     impact.relatedTests,
     impact.tests,
-    isRecord9(impact.impact) ? impact.impact.tests : void 0
+    isRecord10(impact.impact) ? impact.impact.tests : void 0
   ];
   return candidates.flatMap((candidate) => {
     if (!Array.isArray(candidate)) {
@@ -20904,7 +21204,7 @@ function collectDirectTestChecks(impact) {
           }
         ];
       }
-      if (!isRecord9(item)) {
+      if (!isRecord10(item)) {
         return [];
       }
       const command = stringValue7(item.command);
@@ -20947,7 +21247,7 @@ function findPackageJson(startPath, cwd) {
 function readPackageInfo(packageJsonPath) {
   try {
     const parsed = JSON.parse(import_fs3.default.readFileSync(packageJsonPath, "utf8"));
-    const scripts = isRecord9(parsed.scripts) ? Object.fromEntries(
+    const scripts = isRecord10(parsed.scripts) ? Object.fromEntries(
       Object.entries(parsed.scripts).filter((entry) => {
         return typeof entry[1] === "string";
       })
@@ -21004,12 +21304,12 @@ function collectImpactedFiles(impact, changedFiles, filePath) {
     ...stringList2(impact?.impacted_files),
     ...stringList2(impact?.impactedFiles),
     ...stringList2(impact?.matched_targets),
-    ...stringList2(isRecord9(impact?.impact) ? impact?.impact.files : void 0)
+    ...stringList2(isRecord10(impact?.impact) ? impact?.impact.files : void 0)
   ];
   return unique4(files);
 }
 function buildRisk(impact) {
-  const risk = impact && isRecord9(impact.risk) ? impact.risk : {};
+  const risk = impact && isRecord10(impact.risk) ? impact.risk : {};
   return {
     level: stringValue7(risk.level) ?? "unknown",
     ...numberValue5(risk.score) !== void 0 ? { score: numberValue5(risk.score) } : {},
@@ -21021,7 +21321,7 @@ function collectCoverageGaps(impact) {
     return [];
   }
   return impact.coverage_gaps.map((gap) => {
-    if (!isRecord9(gap)) {
+    if (!isRecord10(gap)) {
       return {
         code: "coverage_gap",
         severity: "medium",
@@ -21045,7 +21345,7 @@ function collectCaveats(impact, errors) {
       "Code impact returned degraded results; prefer conservative checks and local reads."
     );
   }
-  const freshness = impact && isRecord9(impact.index_freshness) ? impact.index_freshness : {};
+  const freshness = impact && isRecord10(impact.index_freshness) ? impact.index_freshness : {};
   if (freshness.commit_match === false || freshness.is_stale === true) {
     caveats.push(
       "Code graph freshness does not fully match the local working tree; verify exact files locally."
@@ -21053,7 +21353,7 @@ function collectCaveats(impact, errors) {
   }
   const warnings = Array.isArray(freshness.warnings) ? freshness.warnings : [];
   for (const warning of warnings.slice(0, 3)) {
-    if (isRecord9(warning) && warning.message) {
+    if (isRecord10(warning) && warning.message) {
       caveats.push(preview2(warning.message, 220));
     }
   }
@@ -21258,7 +21558,7 @@ async function verifyCommand(options) {
 }
 
 // src/commands/intelligence.ts
-function isRecord10(value) {
+function isRecord11(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function numberValue6(value) {
@@ -21291,7 +21591,7 @@ function nestedRecord2(root, keys) {
   let current = root;
   for (const key of keys) {
     const next = current[key];
-    if (!isRecord10(next)) {
+    if (!isRecord11(next)) {
       return {};
     }
     current = next;
@@ -21312,7 +21612,7 @@ function actionList(value) {
     if (typeof item === "string") {
       return item;
     }
-    if (!isRecord10(item)) {
+    if (!isRecord11(item)) {
       return preview3(item);
     }
     const title = item.action ?? item.title ?? item.name ?? item.recommendedAction ?? "action";
@@ -21430,7 +21730,7 @@ function printResumeContext(result) {
     console.log(import_chalk8.default.yellow("Unavailable"));
     return;
   }
-  const resumeContext = isRecord10(result.resumeContext) ? result.resumeContext : result;
+  const resumeContext = isRecord11(result.resumeContext) ? result.resumeContext : result;
   const focus = nestedRecord2(resumeContext, ["focus"]);
   const scope = nestedRecord2(resumeContext, ["scope"]);
   if (scope.branch) {
@@ -21469,7 +21769,7 @@ function printMemoryHealth2(result) {
   if (score !== void 0) {
     console.log(`Memory Health: ${formatPercentScore(score)}`);
   }
-  const metrics = isRecord10(result.metrics) ? result.metrics : nestedRecord2(result, ["summary", "metrics"]);
+  const metrics = isRecord11(result.metrics) ? result.metrics : nestedRecord2(result, ["summary", "metrics"]);
   const metricEntries = Object.entries(metrics).filter(([, value]) => value !== void 0);
   if (metricEntries.length > 0) {
     console.log(
@@ -21484,11 +21784,11 @@ function printCodeImpact(result) {
     console.log(import_chalk8.default.yellow("Skipped or unavailable"));
     return;
   }
-  const risk = isRecord10(result.risk) ? result.risk : {};
+  const risk = isRecord11(result.risk) ? result.risk : {};
   if (risk.level || risk.score !== void 0) {
     console.log(`Risk: ${preview3(risk.level ?? "unknown")} (${preview3(risk.score ?? "n/a")})`);
   }
-  const evidence = isRecord10(result.evidence_summary) ? result.evidence_summary : {};
+  const evidence = isRecord11(result.evidence_summary) ? result.evidence_summary : {};
   if (evidence.matched_target_count !== void 0) {
     console.log(`Matched targets: ${preview3(evidence.matched_target_count)}`);
   }
@@ -22006,7 +22306,7 @@ var REGISTRY_VERSION = "project-intelligence.policy-gates.registry.v1";
 function normalizeChangedFiles(changedFiles) {
   return [...new Set((changedFiles ?? []).map((file) => file.trim()).filter(Boolean))];
 }
-function isRecord11(value) {
+function isRecord12(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function stringValue8(value) {
@@ -22015,12 +22315,12 @@ function stringValue8(value) {
 function nestedRecord3(root, keys) {
   let current = root;
   for (const key of keys) {
-    if (!isRecord11(current) || !isRecord11(current[key])) {
+    if (!isRecord12(current) || !isRecord12(current[key])) {
       return {};
     }
     current = current[key];
   }
-  return isRecord11(current) ? current : {};
+  return isRecord12(current) ? current : {};
 }
 function combinedText(input) {
   return [input.task, input.diffSummary, ...input.changedFiles ?? []].filter(Boolean).join("\n").toLowerCase();
@@ -22392,7 +22692,7 @@ var ADVISOR_RECEIPT_WRITE_LIMIT = 6;
 function normalizeStringList3(values) {
   return [...new Set((values ?? []).map((value) => value.trim()).filter(Boolean))];
 }
-function isRecord12(value) {
+function isRecord13(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 function guardPayload(guard) {
@@ -22415,7 +22715,7 @@ function servedJudgmentIdFromUnknown(value, depth = 0) {
   if (depth > 5 || value === null || value === void 0) {
     return void 0;
   }
-  if (!isRecord12(value)) {
+  if (!isRecord13(value)) {
     if (Array.isArray(value)) {
       for (const item of value.slice(0, 12)) {
         const found = servedJudgmentIdFromUnknown(item, depth + 1);
@@ -22772,7 +23072,7 @@ function runGuard(options, changedFiles) {
   let payload;
   try {
     const parsed = JSON.parse(result.stdout);
-    if (isRecord12(parsed)) {
+    if (isRecord13(parsed)) {
       payload = parsed;
     }
   } catch {
@@ -22934,10 +23234,10 @@ async function projectIntelligenceRunCommand(options) {
     if (result.guard) {
       console.log(import_chalk10.default.bold("Guard"));
       console.log(`Status: ${result.guard.status}`);
-      const actionCards = isRecord12(result.guard.payload) ? result.guard.payload.actionCards : [];
+      const actionCards = isRecord13(result.guard.payload) ? result.guard.payload.actionCards : [];
       if (Array.isArray(actionCards) && actionCards.length > 0) {
         for (const card of actionCards.slice(0, 6)) {
-          if (!isRecord12(card)) continue;
+          if (!isRecord13(card)) continue;
           console.log(`- ${card.kind}: ${card.title ?? card.reason ?? "guard action"}`);
         }
       }
@@ -24889,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) => {
@@ -26552,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.0",
+  "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": {