loopforge 3.9.0 → 3.9.2

package/dist/evidence-claims.js

@@ -14,8 +14,8 @@
  *  - downgraded to `contradicted` when error-level verification flags say
  *    the machine contradicted the claim.
  */
-import { machineEvidenceForRound, readOnlyRounds } from "./committed-round.js";
-import { isPassedAfterObservation } from "./evidence-provider.js";
+import { readOnlyRounds } from "./committed-round.js";
+import { afterObservations, gitDeltaState, isPassedAfterObservation, } from "./evidence-provider.js";
 import { claimedMetCriteria } from "./self-eval.js";
 /** Contradicting error flags that invalidate agent claims. */
 // NOTE: keep these as literals — importing the CHECK_* constants here would
@@ -32,19 +32,19 @@ function hasPassingTestEvidence(selfEval) {
         results.failed === 0 &&
         results.passed > 0;
 }
-function hasPassedAfterCommand(observations) {
+function hasPassedAfterCommand(deltas) {
     // v3.8: ONE predicate — the gate's entrypoint-tamper exclusion and this
     // module's check were two divergent definitions of "machine-backed".
-    const git = observations.find((item) => item.providerId === "git") ?? null;
-    const changed = git ? new Set(git.files) : null;
-    return observations.some((item) => isPassedAfterObservation(item, changed));
+    const git = gitDeltaState(deltas);
+    return afterObservations(deltas)
+        .some((observation) => isPassedAfterObservation(observation, git));
 }
 /** Derive the runtime claim view for a round. No file-level or text-level
  *  guessing: git observations only serve the evidence_integrity warn. */
-export function deriveClaimView(selfEval, evidenceSnapshots) {
+export function deriveClaimView(selfEval, evidenceDeltas) {
     const met = claimedMetCriteria(selfEval.execution_report);
     const machineVerified = hasPassingTestEvidence(selfEval) &&
-        hasPassedAfterCommand(evidenceSnapshots);
+        hasPassedAfterCommand(evidenceDeltas);
     const claims = met.map((targetId) => ({
         targetId,
         status: machineVerified ? "verified" : "claimed",
@@ -59,14 +59,14 @@ export function deriveClaimView(selfEval, evidenceSnapshots) {
         // claim, not evidence. Without a passed command, R8 and the
         // criteria-claims check can no longer be satisfied by fabrication.
         hasMachineEvidence: hasPassingTestEvidence(selfEval) &&
-            hasPassedAfterCommand(evidenceSnapshots),
+            hasPassedAfterCommand(evidenceDeltas),
     };
 }
 /** Re-derive a claim view including the contradiction downgrade driven by
  *  verification flags. Used by audit and listVerifiedClaims on persisted
  *  snapshots; the live round path uses deriveClaimView only. */
-export function rederiveClaimViewWithFlags(selfEval, evidenceSnapshots, flags) {
-    const view = deriveClaimView(selfEval, evidenceSnapshots);
+export function rederiveClaimViewWithFlags(selfEval, evidenceDeltas, flags) {
+    const view = deriveClaimView(selfEval, evidenceDeltas);
     const contradicted = flags.some((flag) => flag.severity === "error" && CONTRADICTING_CHECKS.has(flag.check));
     if (contradicted) {
         view.claims = view.claims.map((claim) => ({
@@ -79,18 +79,18 @@ export function rederiveClaimViewWithFlags(selfEval, evidenceSnapshots, flags) {
     }
     return view;
 }
-/** Files actually changed in a committed round (git provider, after evidence
- *  preferred). Returns null when the round has no observable git snapshot. */
+/** Files actually changed in a committed round — the shared observation
+ *  delta, not the full after snapshot. Returns null when the round has no
+ *  observable Git boundary. */
 export function resolveRoundFiles(vaultEntries, loopId, round) {
     const committed = readOnlyRounds(vaultEntries)
         .find((view) => view.loopId === loopId && view.round === round);
-    if (!committed)
+    if (!committed || committed.evidenceIncomplete)
         return null;
-    const evidence = machineEvidenceForRound(committed);
-    const git = evidence.find((item) => item.providerId === "git" && Array.isArray(item.files));
-    if (!git)
+    const git = committed.observationDelta.find((delta) => delta.kind === "git");
+    if (!git || git.changedFiles === null)
         return null;
-    return git.files.filter((file) => typeof file === "string");
+    return [...git.changedFiles];
 }
 /** Stable cr-IDs (and criterion texts) backed by verified claims across all
  *  committed rounds. Criterion texts are mapped to cr-IDs by callers that
@@ -100,8 +100,9 @@ export function listVerifiedClaims(vaultEntries, loopId) {
     for (const round of readOnlyRounds(vaultEntries)) {
         if (round.loopId !== loopId || !round.evaluation)
             continue;
-        const evidence = machineEvidenceForRound(round);
-        const view = rederiveClaimViewWithFlags(round.evaluation, evidence, round.verificationFlags);
+        // v3.9.1: claims are checked against what THAT round changed, not the
+        // whole after-snapshot (which would include pre-existing dirt).
+        const view = rederiveClaimViewWithFlags(round.evaluation, round.observationDelta, round.verificationFlags);
         for (const claim of view.claims) {
             if (claim.status === "verified")
                 verified.add(claim.targetId);

package/dist/evidence-claims.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-claims.js","sourceRoot":"","sources":["../src/evidence-claims.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAoBpD,8DAA8D;AAC9D,4EAA4E;AAC5E,6DAA6D;AAC7D,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,yBAAyB;IACzB,2BAA2B;IAC3B,iCAAiC;CAClC,CAAC,CAAC;AAEH,SAAS,sBAAsB,CAAC,QAAwB;IACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC;IAC1D,OAAO,OAAO,KAAK,IAAI;QACrB,OAAO,KAAK,SAAS;QACrB,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,qBAAqB,CAAC,YAAkC;IAC/D,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC;IAC3E,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChD,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,iBAAuC;IAEvC,MAAM,GAAG,GAAG,kBAAkB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,CAAC;QACtD,qBAAqB,CAAC,iBAAiB,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAmB,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACpD,QAAQ;QACR,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;KAC9C,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QAC3E,iBAAiB,EAAE,CAAC;QACpB,wEAAwE;QACxE,yEAAyE;QACzE,4DAA4D;QAC5D,mEAAmE;QACnE,kBAAkB,EAAE,sBAAsB,CAAC,QAAQ,CAAC;YAClD,qBAAqB,CAAC,iBAAiB,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,0BAA0B,CACxC,QAAwB,EACxB,iBAAuC,EACvC,KAAyB;IAEzB,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,GAAG,KAAK;YACR,MAAM,EAAE,cAAuB;YAC/B,MAAM,EAAE,cAAuB;SAChC,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;8EAC8E;AAC9E,MAAM,UAAU,iBAAiB,CAC/B,YAA0B,EAC1B,MAAc,EACd,KAAa;IAEb,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACjC,IAAI,CAAC,UAAU,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CACnB,CAAC;IACtC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAQ,GAAG,CAAC,KAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC7F,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,kBAAkB,CAChC,YAA0B,EAC1B,MAAc;IAEd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,SAAS;QAC3D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,0BAA0B,CACrC,KAAK,CAAC,UAAU,EAChB,QAAQ,EACR,KAAK,CAAC,iBAAiB,CACxB,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"evidence-claims.js","sourceRoot":"","sources":["../src/evidence-claims.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAoBpD,8DAA8D;AAC9D,4EAA4E;AAC5E,6DAA6D;AAC7D,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,yBAAyB;IACzB,2BAA2B;IAC3B,iCAAiC;CAClC,CAAC,CAAC;AAEH,SAAS,sBAAsB,CAAC,QAAwB;IACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC;IAC1D,OAAO,OAAO,KAAK,IAAI;QACrB,OAAO,KAAK,SAAS;QACrB,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAuC;IACpE,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,iBAAiB,CAAC,MAAM,CAAC;SAC7B,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,wBAAwB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,cAA+C;IAE/C,MAAM,GAAG,GAAG,kBAAkB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,CAAC;QACtD,qBAAqB,CAAC,cAAc,CAAC,CAAC;IACxC,MAAM,MAAM,GAAmB,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACpD,QAAQ;QACR,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;KAC9C,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QAC3E,iBAAiB,EAAE,CAAC;QACpB,wEAAwE;QACxE,yEAAyE;QACzE,4DAA4D;QAC5D,mEAAmE;QACnE,kBAAkB,EAAE,sBAAsB,CAAC,QAAQ,CAAC;YAClD,qBAAqB,CAAC,cAAc,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,0BAA0B,CACxC,QAAwB,EACxB,cAA+C,EAC/C,KAAyB;IAEzB,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACrE,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,GAAG,KAAK;YACR,MAAM,EAAE,cAAuB;YAC/B,MAAM,EAAE,cAAuB;SAChC,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;+BAE+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,YAA0B,EAC1B,MAAc,EACd,KAAa;IAEb,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,GAAG,GAAG,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,OAAO,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;AAC/B,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,kBAAkB,CAChC,YAA0B,EAC1B,MAAc;IAEd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,SAAS;QAC3D,sEAAsE;QACtE,gEAAgE;QAChE,MAAM,IAAI,GAAG,0BAA0B,CACrC,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,iBAAiB,CACxB,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC"}

package/dist/evidence-provider.d.ts

@@ -9,7 +9,7 @@
  * Built-in: GitEvidenceProvider — git file state capture with parallel async
  * execution (v2.0.1), plus explicitly configured shell-free command providers.
  */
-import type { CommandObservation, ConfiguredCapability, EvidenceCapability, GitObservation, MachineObservation, ObservedCapability } from "./protocol.js";
+import type { CommandObservation, ConfiguredCapability, EvidenceCapability, MachineObservation, ObservedCapability } from "./protocol.js";
 import type { CommandEvidencePolicy, LoopPolicy } from "./policy.js";
 /** Interface for evidence capture providers.
  *
@@ -52,15 +52,15 @@ export declare function isProviderRegistered(name: string): boolean;
 /** v3.8: The ONE machine-backed predicate. A command observation proves a
  *  claim only when it is an after-phase command that PASSED and whose
  *  entrypoint was not modified in the same round. Before-phase observations
- *  are the baseline and never evidence. When no git delta is available the
- *  entrypoint arm fails open (matching the historical behaviour).
+ *  are the baseline and never evidence.
+ *
+ *  `not_applicable` (no Git provider participated) leaves the entrypoint arm
+ *  out; `unknown` (a Git boundary existed but its change set is unobservable)
+ *  is NOT a pass — the boundary cannot rule out entrypoint tampering.
  *
  *  v3.8 replaced two divergent implementations (the gate excluded tampered
  *  commands, evidence-claims did not) with this single function. */
-export declare function isPassedAfterObservation(observation: MachineObservation, gitChangedFiles: ReadonlySet<string> | null): boolean;
-/** v3.8: The changed-file set of a round's git observation, or null when no
- *  git observation exists (entrypoint checks then fail open). */
-export declare function gitChangedFiles(observations: ReadonlyArray<MachineObservation>): Set<string> | null;
+export declare function isPassedAfterObservation(observation: MachineObservation, git: GitDeltaState): boolean;
 /** v3.8: Live capability derived from observations. Rendered only — never
  *  hashed, never persisted independently (it is a pure function of the
  *  observations it is given). */
@@ -156,50 +156,81 @@ export declare class CommandEvidenceProvider implements EvidenceProvider {
     capture(context?: EvidenceCaptureContext): Promise<CommandObservation | null>;
     private observation;
 }
-/** v1.17: Result of capturing git file state across all three categories. */
+/** A tracked index entry. `mode` is the stage mode (100644, 100755, 120000,
+ *  160000); `object` is the index blob/commit id. */
+export interface GitTrackedEntry {
+    path: string;
+    mode: string;
+    object: string;
+}
+/** v3.9.1: the complete workspace boundary at one instant. */
 export interface GitFileState {
-    /** Tracked files modified but unstaged (git diff --name-only). */
-    tracked: string[];
-    /** Files in the staging area (git diff --cached --name-only). */
-    staged: string[];
-    /** Untracked files not yet known to git (git ls-files --others --exclude-standard). */
+    /** Every path in the index, including paths deleted from the worktree. */
+    tracked: GitTrackedEntry[];
+    /** Non-ignored untracked paths. */
     untracked: string[];
-    /** v2.13: HEAD commit hash for backtrack restore point.
-     *  undefined when git is unavailable or not a repository. */
+    /** Dirty-since-HEAD paths, for display only. */
+    dirty: string[];
+    /** HEAD at this boundary; absent in a repository with no commit. */
     head?: string;
 }
-/** v2.0.1: Capture git file state using parallel async execFile.
- *
- * Runs three git commands concurrently via Promise.all. Uses a single
- * timeout (shared across all commands) and an optional AbortSignal for
- * early cancellation. Shell-free (execFile, not exec).
- *
- * On any command failure, returns null — the caller should treat git
- * evidence as unavailable and degrade gracefully.
- *
- * Performance: wall-clock time is max(single-command), not sum(3).
- * On a normal repo (~200ms/command): ~200ms vs ~600ms sequential.
- * On Windows with antivirus (~4s/command): ~4s vs ~12s sequential. */
+/** An explicit capture failure. The collector records the status; null is no
+ *  longer used as an ambiguous "unavailable". */
+export type GitCaptureResult = {
+    ok: true;
+    state: GitFileState;
+} | {
+    ok: false;
+    status: "timeout" | "unavailable" | "aborted" | "error";
+    detail: string;
+};
+/** v3.9.1: capture the complete boundary. All required git commands run in
+ *  one parallel batch; HEAD is best-effort (a repository with no commit is a
+ *  valid boundary with no head). Any required-command failure returns an
+ *  explicit status — never an empty-but-observed boundary. */
 export declare function captureGitFileStateAsync(signal?: AbortSignal, timeoutMs?: number,
 /** Workspace root; injectable so tests can capture against a temp repo.
  *  Defaults to the process cwd, matching the evidence providers. */
-cwd?: string): Promise<GitFileState | null>;
+cwd?: string): Promise<GitCaptureResult>;
 export declare class GitEvidenceProvider implements EvidenceProvider {
     readonly name = "git";
     readonly kind: "git";
-    capture(context?: EvidenceCaptureContext): Promise<GitObservation | null>;
+    capture(context?: EvidenceCaptureContext): Promise<MachineObservation | null>;
 }
-/** Extract merged file list from observations for backward compat with
- *  runtimeFilesChanged (string[] | null).
- *
- *  Looks for the "git" provider first; falls back to merging all providers'
- *  files arrays (deduplicated). */
-export declare function extractFilesFromSnapshots(observations: MachineObservation[]): string[] | null;
-/** v3.8: The round delta of two observation collections (before → after):
- *  files that appeared, disappeared, or changed content. The full payload of
- *  each after-observation is preserved; only `files` is narrowed. This is the
- *  single derivation the transaction persists and every reader consumes. */
-export declare function diffSnapshotCollections(before: MachineObservation[], after: MachineObservation[]): MachineObservation[];
-/** Compute a diff between two observation collections (before → after). */
-export declare function diffSnapshots(before: MachineObservation[], after: MachineObservation[]): string[] | null;
+/** v3.9.1: One provider's derived before→after view. `before`/`after` are
+ *  references to the persisted observations — never copies, never mutated.
+ *  Only `changedFiles` is a derived fact; it is null for every non-Git
+ *  provider (command entrypoints are not a change set) and for any Git pair
+ *  whose boundary cannot be compared. */
+export interface ObservationDelta {
+    providerId: string;
+    kind: MachineObservation["kind"];
+    before: MachineObservation | null;
+    after: MachineObservation | null;
+    /** Git only. [] = observed no change; null = unknown.
+     *  command/custom always null (no file-change concept). */
+    changedFiles: string[] | null;
+}
+/** The Git change set for a round, with applicability kept distinct from
+ *  observability: no Git provider is `not_applicable`; a Git provider whose
+ *  boundary cannot be compared is `unknown` (never an empty set). */
+export type GitDeltaState = {
+    state: "not_applicable";
+} | {
+    state: "unknown";
+} | {
+    state: "observed";
+    changedFiles: ReadonlySet<string>;
+};
+/** The ONE before→after derivation. Delta entries are one per
+ *  kind+providerId in the union of both collections, in deterministic order.
+ *  Missing sides and duplicate keys are explicit; they never masquerade as an
+ *  observed no-change. */
+export declare function deriveObservationDeltas(before: readonly MachineObservation[], after: readonly MachineObservation[]): ObservationDelta[];
+/** Resolve the round's Git change state once. No Git provider =
+ *  not_applicable; any Git delta with an unknown change set = unknown; else
+ *  the union of every observed Git change set. */
+export declare function gitDeltaState(deltas: readonly ObservationDelta[]): GitDeltaState;
+/** The after-phase observations referenced by a delta collection. */
+export declare function afterObservations(deltas: readonly ObservationDelta[]): MachineObservation[];
 //# sourceMappingURL=evidence-provider.d.ts.map

package/dist/evidence-provider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-provider.d.ts","sourceRoot":"","sources":["../src/evidence-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAElB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMrE;;;4EAG4E;AAC5E,MAAM,WAAW,sBAAsB;IACrC,iEAAiE;IACjE,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,kEAAkE;IAClE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,qBAAqB,GAC7B,kBAAkB,GAClB,IAAI,GACJ,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;AAEvC,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;uDACmD;IACnD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C;;8EAE0E;IAC1E,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,qBAAqB,CAAC;CAClE;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,gBAAgB,CAAC;AAI7D,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,uBAAuB,GAC/B,IAAI,CAGN;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGhE;AAED;;sDAEsD;AACtD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAID;;;;;;;oEAOoE;AACpE,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,kBAAkB,EAC/B,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,GAC1C,OAAO,CAOT;AAED;iEACiE;AACjE,wBAAgB,eAAe,CAC7B,YAAY,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAC9C,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAGpB;AAED;;iCAEiC;AACjC,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAC/C,UAAU,EAAE,oBAAoB,GAC/B,kBAAkB,CA0BpB;AAED;;;;;;;;;;;2CAW2C;AAC3C,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,UAAU,EAClB,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,MAAM,EAAE,CA0CV;AAED;;;;;;;uEAOuE;AACvE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,UAAU,EAClB,YAAY,GAAE,aAAa,CAAC,kBAAkB,CAAM,GACnD,kBAAkB,CAuBpB;AAmDD;;;;;sEAKsE;AACtE,qBAAa,iBAAiB;IAChB,OAAO,CAAC,SAAS;gBAAT,SAAS,EAAE,gBAAgB,EAAE;IAEjD;;;;iBAIa;IACb,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,iBAAiB;IAMpE,mEAAmE;IACnE,MAAM,CAAC,UAAU,IAAI,iBAAiB;IAatC,8EAA8E;IACxE,YAAY,CAAC,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;CA8DxF;AA0ED;;;;;;;;;;;;kBAYkB;AAClB,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,SAAS,SAAgB,GACxB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAkBxB;AAED;;;;;;;wCAOwC;AACxC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;CAClC;AAED;;;;;+EAK+E;AAC/E,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EACzC,SAAS,SAAgB,GACxB,eAAe,EAAE,CAenB;AAED;;;;+EAI+E;AAC/E,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EAAE,EACd,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAgBV;AAED,6EAA6E;AAC7E,qBAAa,uBAAwB,YAAW,gBAAgB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAExB,MAAM,EAAE,qBAAqB;IA8BzC,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAyH7E,OAAO,CAAC,WAAW;CA2CpB;AAID,6EAA6E;AAC7E,MAAM,WAAW,YAAY;IAC3B,kEAAkE;IAClE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iEAAiE;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uFAAuF;IACvF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;iEAC6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;sEAWsE;AACtE,wBAAsB,wBAAwB,CAC5C,MAAM,CAAC,EAAE,WAAW,EACpB,SAAS,CAAC,EAAE,MAAM;AAClB;oEACoE;AACpE,GAAG,SAAgB,GAClB,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAoD9B;AAsBD,qBAAa,mBAAoB,YAAW,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAE/B,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC;CAoD1E;AAMD;;;;mCAImC;AACnC,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,kBAAkB,EAAE,GACjC,MAAM,EAAE,GAAG,IAAI,CASjB;AAED;;;4EAG4E;AAC5E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,kBAAkB,EAAE,EAC5B,KAAK,EAAE,kBAAkB,EAAE,GAC1B,kBAAkB,EAAE,CAStB;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAC3B,MAAM,EAAE,kBAAkB,EAAE,EAC5B,KAAK,EAAE,kBAAkB,EAAE,GAC1B,MAAM,EAAE,GAAG,IAAI,CAEjB"}
+{"version":3,"file":"evidence-provider.d.ts","sourceRoot":"","sources":["../src/evidence-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAiBH,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAElB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAMrE;;;4EAG4E;AAC5E,MAAM,WAAW,sBAAsB;IACrC,iEAAiE;IACjE,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,kEAAkE;IAClE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,qBAAqB,GAC7B,kBAAkB,GAClB,IAAI,GACJ,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;AAEvC,MAAM,WAAW,gBAAgB;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;uDACmD;IACnD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C;;8EAE0E;IAC1E,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,qBAAqB,CAAC;CAClE;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,gBAAgB,CAAC;AAI7D,oEAAoE;AACpE,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,uBAAuB,GAC/B,IAAI,CAGN;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAGhE;AAED;;sDAEsD;AACtD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAID;;;;;;;;;;oEAUoE;AACpE,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,kBAAkB,EAC/B,GAAG,EAAE,aAAa,GACjB,OAAO,CAaT;AAED;;iCAEiC;AACjC,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAC/C,UAAU,EAAE,oBAAoB,GAC/B,kBAAkB,CA0BpB;AAED;;;;;;;;;;;2CAW2C;AAC3C,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,UAAU,EAClB,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,MAAM,EAAE,CA0CV;AAED;;;;;;;uEAOuE;AACvE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,UAAU,EAClB,YAAY,GAAE,aAAa,CAAC,kBAAkB,CAAM,GACnD,kBAAkB,CAuBpB;AAsDD;;;;;sEAKsE;AACtE,qBAAa,iBAAiB;IAChB,OAAO,CAAC,SAAS;gBAAT,SAAS,EAAE,gBAAgB,EAAE;IAEjD;;;;iBAIa;IACb,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,iBAAiB;IAMpE,mEAAmE;IACnE,MAAM,CAAC,UAAU,IAAI,iBAAiB;IAatC,8EAA8E;IACxE,YAAY,CAAC,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;CA8DxF;AA0ED;;;;;;;;;;;;kBAYkB;AAClB,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,SAAS,SAAgB,GACxB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAkBxB;AAED;;;;;;;wCAOwC;AACxC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,GAAG,QAAQ,CAAC;CAClC;AAED;;;;;+EAK+E;AAC/E,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EACzC,SAAS,SAAgB,GACxB,eAAe,EAAE,CAenB;AAED;;;;+EAI+E;AAC/E,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EAAE,EACd,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAgBV;AAED,6EAA6E;AAC7E,qBAAa,uBAAwB,YAAW,gBAAgB;IAC9D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAExB,MAAM,EAAE,qBAAqB;IA8BzC,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAyH7E,OAAO,CAAC,WAAW;CA2CpB;AAID;qDACqD;AACrD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,0EAA0E;IAC1E,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,mCAAmC;IACnC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,gDAAgD;IAChD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;iDACiD;AACjD,MAAM,MAAM,gBAAgB,GACxB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GACjC;IACE,EAAE,EAAE,KAAK,CAAC;IACV,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,SAAS,GAAG,OAAO,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AA+CN;;;8DAG8D;AAC9D,wBAAsB,wBAAwB,CAC5C,MAAM,CAAC,EAAE,WAAW,EACpB,SAAS,CAAC,EAAE,MAAM;AAClB;oEACoE;AACpE,GAAG,SAAgB,GAClB,OAAO,CAAC,gBAAgB,CAAC,CA8H3B;AAyID,qBAAa,mBAAoB,YAAW,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAEzB,OAAO,CAAC,OAAO,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;CAyHpF;AAMD;;;;yCAIyC;AACzC,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC,KAAK,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjC;+DAC2D;IAC3D,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/B;AAED;;qEAEqE;AACrE,MAAM,MAAM,aAAa,GACrB;IAAE,KAAK,EAAE,gBAAgB,CAAA;CAAE,GAC3B;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GACpB;IAAE,KAAK,EAAE,UAAU,CAAC;IAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAqC7D;;;0BAG0B;AAC1B,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,KAAK,EAAE,SAAS,kBAAkB,EAAE,GACnC,gBAAgB,EAAE,CAmDpB;AAED;;kDAEkD;AAClD,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,aAAa,CASf;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,kBAAkB,EAAE,CAItB"}