loopforge 2.11.0 → 3.2.1

package/dist/token-utils.d.ts

@@ -3,15 +3,20 @@
  * Single source of truth for tokenization and similarity functions used
  * by the compiler, verification gate, and canonical state renderer.
  *
- * The Unicode token regex covers CJK Unified Ideographs (U+4E00–U+9FFF)
- * plus CJK Extension A (U+3400–U+4DBF), ensuring consistent similarity
- * scores across all modules.
+ * Latin alphanumerics tokenize as whole words; consecutive CJK characters
+ * tokenize as overlapping 2-grams (a lone CJK character is its own token)
+ * so CJK similarity takes intermediate values instead of collapsing to
+ * 0/1. The ranges cover Unified Ideographs, Compatibility Ideographs and
+ * Extensions B–F (surrogate-pair code points the legacy regex missed).
  */
-/** Tokenize text into a set of lowercase words and CJK characters.
- *  Regex covers Latin alphanumeric + CJK Unified + CJK Extension A. */
+/** Tokenize text into a set of lowercase ASCII words and CJK bigrams.
+ *  Scripts are tokenized independently, so mixed text yields per-script
+ *  tokens (e.g. "修复bug重入" → {修复, bug, 重入}). */
 export declare function tokenize(text: string): Set<string>;
-/** Jaccard similarity in [0, 1]. Returns 1 when either set is empty
- *  (empty descriptions never match anything, so they don't false-positive). */
+/** Jaccard similarity in [0, 1]. Returns 0 when either side is empty —
+ *  an empty description carries no information and must not match
+ *  everything (a score of 1 would make `[""]` a wildcard that falsely
+ *  marks sub-goals done or suppresses criteria milestones). */
 export declare function jaccardSimilarity(left: string, right: string): number;
 /** Filter null/undefined/empty strings, trim, and deduplicate via Set. */
 export declare function unique(values: Array<string | null | undefined>): string[];
@@ -22,4 +27,12 @@ export declare function isRecord(value: unknown): value is Record<string, unknow
  *  `loop_lineage.round` (with `lineage.round` fallback). Returns 0 if
  *  the entry has no recognizable round field. */
 export declare function entryRound(entry: Record<string, unknown>): number;
+/** Stable 8-hex item ID derived from normalized text — used for
+ *  c-/cr-/sg-XXXXXXXX constraint, criterion, and sub-goal IDs.
+ *  Previously copy-pasted in prompt-assembler, canonical-state, and
+ *  loop-compiler; consolidation must not change the hash strategy
+ *  (deterministic across rounds). */
+export declare function deriveItemId(text: string): string;
+/** Stable-ID shape shared by constraint/criterion/sub-goal references. */
+export declare const STABLE_ID_RE: RegExp;
 //# sourceMappingURL=token-utils.d.ts.map

package/dist/token-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"token-utils.d.ts","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH;uEACuE;AACvE,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAElD;AAED;+EAC+E;AAC/E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAOrE;AAID,0EAA0E;AAC1E,wBAAgB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,MAAM,EAAE,CAKzE;AAID;kFACkF;AAClF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAID;;iDAEiD;AACjD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAIjE"}
+{"version":3,"file":"token-utils.d.ts","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAcH;;+CAE+C;AAC/C,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAmBlD;AAED;;;+DAG+D;AAC/D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAOrE;AAID,0EAA0E;AAC1E,wBAAgB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,MAAM,EAAE,CAKzE;AAID;kFACkF;AAClF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE;AAID;;iDAEiD;AACjD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAIjE;AAID;;;;qCAIqC;AACrC,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED,0EAA0E;AAC1E,eAAO,MAAM,YAAY,QAA4B,CAAC"}

package/dist/token-utils.js

@@ -3,23 +3,68 @@
  * Single source of truth for tokenization and similarity functions used
  * by the compiler, verification gate, and canonical state renderer.
  *
- * The Unicode token regex covers CJK Unified Ideographs (U+4E00–U+9FFF)
- * plus CJK Extension A (U+3400–U+4DBF), ensuring consistent similarity
- * scores across all modules.
+ * Latin alphanumerics tokenize as whole words; consecutive CJK characters
+ * tokenize as overlapping 2-grams (a lone CJK character is its own token)
+ * so CJK similarity takes intermediate values instead of collapsing to
+ * 0/1. The ranges cover Unified Ideographs, Compatibility Ideographs and
+ * Extensions B–F (surrogate-pair code points the legacy regex missed).
  */
+import { createHash } from "node:crypto";
 // ── Tokenization & similarity ──────────────────────────────────────────────
-/** Tokenize text into a set of lowercase words and CJK characters.
- *  Regex covers Latin alphanumeric + CJK Unified + CJK Extension A. */
+/** CJK ranges: Unified Ideographs (U+3400–U+9FFF), Compatibility Ideographs
+ *  (U+F900–U+FAFF), Extensions B–F (U+20000–U+2FA1F). */
+function isCjkCodePoint(code) {
+    return (code >= 0x3400 && code <= 0x9fff)
+        || (code >= 0xf900 && code <= 0xfaff)
+        || (code >= 0x20000 && code <= 0x2fa1f);
+}
+/** Tokenize text into a set of lowercase ASCII words and CJK bigrams.
+ *  Scripts are tokenized independently, so mixed text yields per-script
+ *  tokens (e.g. "修复bug重入" → {修复, bug, 重入}). */
 export function tokenize(text) {
-    return new Set(text.toLowerCase().match(/[a-z0-9㐀-鿿]+/g) ?? []);
+    const tokens = new Set();
+    let ascii = "";
+    let cjk = [];
+    const flushAscii = () => { if (ascii.length > 0) {
+        tokens.add(ascii);
+        ascii = "";
+    } };
+    const flushCjk = () => {
+        if (cjk.length === 1)
+            tokens.add(cjk[0]);
+        else
+            for (let i = 0; i + 1 < cjk.length; i++)
+                tokens.add(cjk[i] + cjk[i + 1]);
+        cjk = [];
+    };
+    for (const ch of text.toLowerCase()) {
+        const code = ch.codePointAt(0) ?? 0;
+        if ((code >= 0x30 && code <= 0x39) || (code >= 0x61 && code <= 0x7a)) {
+            flushCjk();
+            ascii += ch;
+        }
+        else if (isCjkCodePoint(code)) {
+            flushAscii();
+            cjk.push(ch);
+        }
+        else {
+            flushAscii();
+            flushCjk();
+        }
+    }
+    flushAscii();
+    flushCjk();
+    return tokens;
 }
-/** Jaccard similarity in [0, 1]. Returns 1 when either set is empty
- *  (empty descriptions never match anything, so they don't false-positive). */
+/** Jaccard similarity in [0, 1]. Returns 0 when either side is empty —
+ *  an empty description carries no information and must not match
+ *  everything (a score of 1 would make `[""]` a wildcard that falsely
+ *  marks sub-goals done or suppresses criteria milestones). */
 export function jaccardSimilarity(left, right) {
     const a = tokenize(left);
     const b = tokenize(right);
     if (a.size === 0 || b.size === 0)
-        return 1;
+        return 0;
     let intersection = 0;
     for (const value of a)
         if (b.has(value))
@@ -49,4 +94,18 @@ export function entryRound(entry) {
     const rnd = lin.round;
     return typeof rnd === "number" && Number.isInteger(rnd) ? rnd : 0;
 }
+// ── Stable ID derivation (v2.14: single source of truth) ───────────────────
+/** Stable 8-hex item ID derived from normalized text — used for
+ *  c-/cr-/sg-XXXXXXXX constraint, criterion, and sub-goal IDs.
+ *  Previously copy-pasted in prompt-assembler, canonical-state, and
+ *  loop-compiler; consolidation must not change the hash strategy
+ *  (deterministic across rounds). */
+export function deriveItemId(text) {
+    return createHash("sha256")
+        .update(text.trim().replace(/\s+/g, " ").toLowerCase())
+        .digest("hex")
+        .slice(0, 8);
+}
+/** Stable-ID shape shared by constraint/criterion/sub-goal references. */
+export const STABLE_ID_RE = /^(c|cr|sg)-[a-f0-9]{8}$/;
 //# sourceMappingURL=token-utils.js.map

package/dist/token-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,8EAA8E;AAE9E;uEACuE;AACvE,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;AAClE,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,KAAa;IAC3D,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,KAAK,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;IACxD,OAAO,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAwC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;aAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,+EAA+E;AAE/E;kFACkF;AAClF,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAE9E;;iDAEiD;AACjD,MAAM,UAAU,UAAU,CAAC,KAA8B;IACvD,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;IACnF,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC"}
+{"version":3,"file":"token-utils.js","sourceRoot":"","sources":["../src/token-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,8EAA8E;AAE9E;yDACyD;AACzD,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;WACpC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;WAClC,CAAC,IAAI,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;+CAE+C;AAC/C,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,GAAG,GAAa,EAAE,CAAC;IACvB,MAAM,UAAU,GAAG,GAAS,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAAC,KAAK,GAAG,EAAE,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,QAAQ,GAAG,GAAS,EAAE;QAC1B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9E,GAAG,GAAG,EAAE,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YAAC,QAAQ,EAAE,CAAC;YAAC,KAAK,IAAI,EAAE,CAAC;QAAC,CAAC;aAC7F,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,UAAU,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;aACzD,CAAC;YAAC,UAAU,EAAE,CAAC;YAAC,QAAQ,EAAE,CAAC;QAAC,CAAC;IACpC,CAAC;IACD,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;+DAG+D;AAC/D,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,KAAa;IAC3D,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,KAAK,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;IACxD,OAAO,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAwC;IAC7D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM;aACtB,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;aAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,+EAA+E;AAE/E;kFACkF;AAClF,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,8EAA8E;AAE9E;;iDAEiD;AACjD,MAAM,UAAU,UAAU,CAAC,KAA8B;IACvD,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;IACnF,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IACtB,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,8EAA8E;AAE9E;;;;qCAIqC;AACrC,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;SACtD,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAAG,yBAAyB,CAAC"}

package/dist/verification-gate.d.ts

@@ -12,15 +12,63 @@
  *                 modified). Flags become hard constraints — the agent
  *                 must respond in the next round.
  */
-import type { VaultEntry } from "./backends/interface.js";
+import type { VaultEntry } from "./loop-store.js";
 import type { ProviderSnapshot } from "./evidence-provider.js";
 import type { SelfEvaluation, VerificationResult } from "./protocol.js";
+export declare const CHECK_PROGRESS_REGRESSION = "progress_regression";
+export declare const CHECK_EMPTY_CHANGE_WITH_PASSING = "empty_change_with_passing";
+export declare const CHECK_SUCCESS_WITH_REMAINING_CRITERIA = "success_with_remaining_criteria";
+export declare const CHECK_SUCCESS_WITHOUT_VERIFIED_EVIDENCE = "success_without_verified_evidence";
+export declare const CHECK_OUTCOME_SUCCESS_CONTRADICTION = "outcome_success_contradiction";
+export declare const CHECK_SUCCESS_CLAIM_CONFLICT = "success_claim_conflict";
+export declare const CHECK_BLOCKED_WITHOUT_BLOCKER = "blocked_without_blocker";
+export declare const CHECK_RETROACTIVE_CLAIM_BAD_ROUND = "retroactive_claim_bad_round";
+export declare const CHECK_RETROACTIVE_CLAIM_UNVERIFIED = "retroactive_claim_unverified";
+export declare const CHECK_DUPLICATE_CONSTRAINT_DISCOVERY = "duplicate_constraint_discovery";
+export declare const CHECK_RECURRING_VIOLATION = "recurring_violation";
+export declare const CHECK_RETRACT_FRESH_CONSTRAINT = "retract_fresh_constraint";
+export declare const CHECK_EVIDENCE_INTEGRITY = "evidence_integrity";
+export declare const CHECK_REQUIRED_COMMAND_FAILED = "required_command_failed";
+export declare const CHECK_COMMAND_EVIDENCE_MISMATCH = "command_evidence_mismatch";
+export declare const CHECK_INTENT_DRIFT = "intent_drift";
+export declare const CHECK_SUBGOAL_DRIFT = "subgoal_drift";
+export declare const CHECK_BACKTRACK_WORKSPACE_NOT_RESTORED = "backtrack_workspace_not_restored";
+export declare const CHECK_CRITERIA_CLAIMS_UNVERIFIED = "criteria_claims_unverified";
+/** v3.2: success declared with no machine-verified observation this round
+ *  (providerStatus ≠ verified). Warn-level: the round still commits, but its
+ *  success never enters the trajectory and trust drops. */
+export declare const CHECK_SUCCESS_UNVERIFIED = "success_unverified";
 /** Extract the round number from a vault entry's loop_lineage.
  *  Returns 0 if the entry has no lineage or no round field.
  *  In practice, persistLoopLineage always writes round ≥ 1, so 0
  *  unambiguously means "not a valid round entry" in this context.
  *  Exported for reuse by enforcement-gate.ts. */
 export declare function entryRound(entry: VaultEntry): number;
+export interface EvidenceStatus {
+    /** Whether this round produced a machine-verified observation. */
+    providerStatus: "verified" | "unavailable" | "absent";
+    /** Git snapshot exists and diffed file changes this round. */
+    gitObserved: boolean;
+    /** A passed after-phase command snapshot exists. */
+    commandVerified: boolean;
+    /** Agent-reported test_results agree with a passed command's parsed stdout. */
+    testsMachineBacked: boolean;
+    /** Agent-reported files_changed equals the git diff set exactly. */
+    reportedFilesMatch: boolean;
+}
+/** v3.2: Derive the machine-verification status of a round. The verification
+ *  capability is modeled explicitly (verified / unavailable / absent) instead
+ *  of letting evidence-dependent checks silently disappear when snapshots are
+ *  missing — the fix for the "weakest when it matters most" gap. */
+export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceSnapshots: ProviderSnapshot[]): EvidenceStatus;
+/** v3.2: Per-round machine progress — whether git observed file changes in
+ *  each of the last `lookback` committed rounds, rebuilt from the feedback
+ *  entries' roundEvidence snapshots (already persisted at commit). Returns
+ *  null when fewer than `lookback` rounds carry git snapshots — the machine
+ *  signal is unavailable and callers (R4/R5 on the heuristic path) keep
+ *  their legacy skip. The snapshot shape is parsed defensively here because
+ *  this module must not import round-transaction (import cycle). */
+export declare function machineProgressSeries(vaultEntries: VaultEntry[], currentRound: number, lookback: number): boolean[] | null;
 interface ParsedTestCounts {
     passed: number;
     failed: number;
@@ -51,6 +99,10 @@ export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRo
 /** v2.13: Files from skipped backtrack rounds. If the agent's
  *  files_changed overlaps significantly with these, the workspace
  *  was not properly restored before working. */
-backtrackSkippedFiles?: string[]): VerificationResult;
+backtrackSkippedFiles?: string[], 
+/** v2.12: Git HEAD commit of the backtrack restore point. When set, the
+ *  current git snapshot must sit at this commit — otherwise the workspace
+ *  was not restored and the round cannot be accepted. */
+backtrackTargetGitHead?: string): VerificationResult;
 export {};
 //# sourceMappingURL=verification-gate.d.ts.map

package/dist/verification-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,cAAc,EAAoB,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAQ1F;;;;iDAIiD;AACjD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpD;AAkTD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AA0LD;;;;;;;;;4EAS4E;AAC5E,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,iBAAiB,GAAE,gBAAgB,EAAO;AAC1C;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO,GACnC,kBAAkB,CAkDpB"}
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,cAAc,EAAoB,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAY1F,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAC3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,eAAO,MAAM,4BAA4B,2BAA2B,CAAC;AACrE,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AACjD,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AACnD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAC7E;;2DAE2D;AAC3D,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAM7D;;;;iDAIiD;AACjD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEpD;AAgBD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,8DAA8D;IAC9D,WAAW,EAAE,OAAO,CAAC;IACrB,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,+EAA+E;IAC/E,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oEAAoE;IACpE,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAUD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,iBAAiB,EAAE,gBAAgB,EAAE,GACpC,cAAc,CAuChB;AAED;;;;;;oEAMoE;AACpE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAyBlB;AA0iBD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AAgOD;;;;;;;;;4EAS4E;AAC5E,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,iBAAiB,GAAE,gBAAgB,EAAO;AAC1C;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO;AACpC;;yDAEyD;AACzD,sBAAsB,CAAC,EAAE,MAAM,GAC9B,kBAAkB,CAqEpB"}