loopforge 3.2.1 → 3.7.0

package/dist/verification-gate.d.ts

@@ -11,16 +11,19 @@
  *                 this round is excluded from the success trend (NOT
  *                 modified). Flags become hard constraints — the agent
  *                 must respond in the next round.
+ *
+ * v3.7: every check belongs to one of four verification domains (CHECK_DOMAIN
+ * below): evaluation consistency / evidence integrity / plan & contract /
+ * progress & recovery. A domain describes a check's semantic job — it never
+ * changes run order or verdict aggregation. Round Contract checks are further
+ * framed as declaration / execution / closure stages in their doc comments.
  */
 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";
@@ -30,20 +33,72 @@ 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";
+/** v3.3: Verification domain integrity — a command entrypoint (run-tests.sh,
+ *  package.json, …) changed in the same round the command ran. The runtime
+ *  executed a script the agent just rewrote, so the observation has no
+ *  stable baseline: error. Test-file changes are normal dev activity (TDD):
+ *  warn-only, see CHECK_TEST_FILES_MODIFIED. */
+export declare const CHECK_VERIFICATION_ENTRYPOINT_MODIFIED = "verification_entrypoint_modified";
+/** v3.3: Test files changed in the same round a verification command passed.
+ *  Warn-only — the command result stays usable. */
+export declare const CHECK_TEST_FILES_MODIFIED = "test_files_modified";
 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;
+/** Contract proposed with an empty done_when — nothing is promised, so
+ *  nothing can be verified at the boundary. Warn: the contract can be fixed
+ *  by re-declaring next round. */
+export declare const CHECK_ROUND_UNDERSPECIFIED = "round_underspecified";
+/** done_when items exist but verification_plan is empty or names commands
+ *  that are not configured AND enabled in policy.evidence.commands — the
+ *  completion claims could never be machine-checked. Warn. */
+export declare const CHECK_ROUND_UNVERIFIABLE = "round_unverifiable";
+/** The round's actual git changes include files outside the ACTIVE
+ *  contract's declared scope. Warn + drift_clarification exemption
+ *  (R7-style). */
+export declare const CHECK_ROUND_SCOPE_DRIFT = "round_scope_drift";
+/** success claimed under the ACTIVE contract whose done_when items are
+ *  either claimed met without machine-verified evidence or silently dropped
+ *  (not in success_criteria_met NOR success_criteria_remaining). Error. */
+export declare const CHECK_PREMATURE_BOUNDARY = "premature_boundary";
+/** v3.5: Closing a Round Contract is a success-class claim and must be
+ *  machine-backed. The eval's met claims satisfy every done_when of the
+ *  ACTIVE contract but its verification_plan commands did not pass this
+ *  round. Error; warn under evidence.machine_backed_success "warn"; never
+ *  downgraded by no_change_reason (all done_when met contradicts "no
+ *  change"). Fail-open: plan names no longer configured+enabled are not
+ *  required (cannot observe). */
+export declare const CHECK_CONTRACT_COMPLETION_UNVERIFIED = "contract_completion_unverified";
+/** v3.5: The ACTIVE contract is still open (not completed, not blocked)
+ *  while a different contract was proposed — the proposal is ignored until
+ *  the active one closes. Warn: the walker still ignores it; this only
+ *  surfaces the otherwise-silent state. */
+export declare const CHECK_CONTRACT_PREMATURE = "contract_premature";
+export type VerificationDomain = 
+/** The declaration is self-consistent (and consistent with committed facts). */
+"evaluation_consistency"
+/** Machine evidence and the agent's claims about it. */
+ | "evidence_integrity"
+/** Plan conformance: intent/sub-goal drift (two detection bases under the
+ *  "plan drift" label) and the Round Contract declaration/execution/closure
+ *  checks. */
+ | "plan_contract"
+/** Workspace restore after backtrack. Machine-side progress enforcement
+ *  (the stall evaluator) lives in the enforcement gate, not here. */
+ | "progress_recovery";
+export declare const CHECK_DOMAIN: Readonly<Record<string, VerificationDomain>>;
+/** Normalize a contract scope entry: backslashes → forward slashes, strip
+ *  leading "./", trim, strip trailing slashes. "." / "./" / "" normalize to
+ *  "" = the repository root (everything is in scope). */
+export declare function normalizeScopeEntry(path: string): string;
+/** Whether a git-diff file path falls inside any declared scope entry:
+ *  exact file match, or the file lives under a declared directory. The ""
+ *  entry (repo root) matches everything. Git paths are always workspace-
+ *  relative with forward slashes. */
+export declare function isFileInScope(file: string, scope: string[]): boolean;
+/** Git-diff files outside the declared scope (the round_scope_drift signal). */
+export declare function collectOutOfScopeFiles(files: string[], scope: string[]): string[];
 export interface EvidenceStatus {
     /** Whether this round produced a machine-verified observation. */
     providerStatus: "verified" | "unavailable" | "absent";
@@ -61,13 +116,7 @@ export interface EvidenceStatus {
  *  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). */
+/** Per-round machine progress over decoded committed history. */
 export declare function machineProgressSeries(vaultEntries: VaultEntry[], currentRound: number, lookback: number): boolean[] | null;
 interface ParsedTestCounts {
     passed: number;
@@ -89,7 +138,9 @@ export declare function parseTestOutput(stdout: string): ParsedTestCounts | null
  *
  * @param selfEval             The agent's self-evaluation for the current round.
  * @param currentRound         The current round number (1-based).
- * @param vaultEntries         Vault entries for this loop (non-feedback only).
+ * @param vaultEntries         Vault entries for this loop (committed lineage
+ *                             entries AND :feedback entries — the feedback
+ *                             entries feed the ACTIVE-contract derivation).
  * @param prevSelfEval         The agent's self-evaluation from the previous round
  *                             (null for round 1).
  * @param evidenceSnapshots    v1.18: Evidence snapshots from configured providers.

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,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"}
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAiB,cAAc,EAAoB,kBAAkB,EAAE,MAAM,eAAe,CAAC;AA4BzG,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAI3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,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;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AACjD,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AACnD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;kCAEkC;AAClC,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AACjE;;8DAE8D;AAC9D,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;kBAEkB;AAClB,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;2EAE2E;AAC3E,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;;;;;iCAMiC;AACjC,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF;;;2CAG2C;AAC3C,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAQ7D,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;cAEc;GACZ,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA6BrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,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;AAqDD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,iBAAiB,EAAE,gBAAgB,EAAE,GACpC,cAAc,CA+ChB;AAED,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAMlB;AAygBD,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;AAmeD;;;;;;;;;;;4EAW4E;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,CA+FpB"}