loopforge 3.7.0 → 3.8.1

package/dist/contract-items.js

@@ -0,0 +1,180 @@
+/** Round Contract item status — the v3.8 verification skeleton.
+ *
+ *  A contract declares ITEMS; each item binds evidence commands. The agent
+ *  may only CLAIM `met` / `remaining`; whether an item is `verified`,
+ *  `contradicted`, or `insufficient` is derived here from committed
+ *  observations and the in-flight round. Nothing in this module writes state:
+ *  it is a pure function of the committed round views, the current report,
+ *  the current observations, and policy.
+ */
+const EMPTY_VIEW = {
+    contractId: "",
+    closure: "open",
+    closed_at_round: null,
+    items: [],
+    verifiedCount: 0,
+    contradictedCount: 0,
+    insufficientCount: 0,
+};
+function itemClaims(item, slices) {
+    const claims = [];
+    for (const slice of slices) {
+        for (const claim of slice.report?.contract_item_claims ?? []) {
+            if (claim.item_id === item.id)
+                claims.push({ round: slice.round, outcome: claim.outcome });
+        }
+    }
+    return claims;
+}
+/** The round in which the item was last claimed `met` (null when the latest
+ *  claim is `remaining` or there is none). */
+function metClaimRound(claims) {
+    const last = claims[claims.length - 1];
+    return last && last.outcome === "met" ? last.round : null;
+}
+function evaluateCommand(commandId, declaredHash, slices, fromRound, configured) {
+    if (!configured) {
+        return {
+            verdict: "insufficient",
+            reason: `command "${commandId}" is no longer configured/enabled — cannot observe it`,
+        };
+    }
+    // v3.8.1: the LATEST observation at or after the claim decides, so the
+    // closing round's evidence is the one consulted. Scanning forward let an
+    // early pass outlive a later failure: the item stayed `verified`, its
+    // contract closed, and a success stop could reach `completed` in a round
+    // whose bound command the machine had just observed FAILING.
+    for (const slice of [...slices].reverse()) {
+        if (slice.round < fromRound)
+            continue;
+        const observation = slice.observations.find((item) => item.kind === "command" &&
+            item.phase === "after" &&
+            item.data.commandId === commandId);
+        if (!observation || observation.kind !== "command")
+            continue;
+        const data = observation.data;
+        if (declaredHash && data.configHash !== declaredHash) {
+            return {
+                verdict: "insufficient",
+                reason: `command "${commandId}" was reconfigured after declaration (round ${slice.round})`,
+            };
+        }
+        const changed = new Set(slice.observations
+            .filter((item) => item.providerId === "git")
+            .flatMap((item) => item.files));
+        if (observation.status === "passed") {
+            // A malformed observation must not crash the derivation the compile
+            // path, the projection, the coordinator, explain and audit all share:
+            // no entrypoint list means the tamper check simply has nothing to
+            // compare, the same posture as a command with no entrypoint files.
+            const entrypoints = Array.isArray(data.entrypointFiles) ? data.entrypointFiles : [];
+            if (changed.size > 0 && entrypoints.some((file) => changed.has(file))) {
+                return {
+                    verdict: "contradicted",
+                    reason: `command "${commandId}" passed but its entrypoint changed in round ${slice.round}`,
+                };
+            }
+            return { verdict: "verified", reason: "" };
+        }
+        if (observation.status === "failed") {
+            return {
+                verdict: "contradicted",
+                reason: `command "${commandId}" failed in round ${slice.round}` +
+                    (typeof data.exitCode === "number" ? ` (exit ${data.exitCode})` : ""),
+            };
+        }
+        return {
+            verdict: "insufficient",
+            reason: `command "${commandId}" observed ${observation.status} in round ${slice.round}`,
+        };
+    }
+    return {
+        verdict: "insufficient",
+        reason: `command "${commandId}" produced no after-phase observation since round ${fromRound}`,
+    };
+}
+/** v3.8: Derive every item's status plus the contract's closure. */
+export function deriveContractItemStatuses(input) {
+    const contract = input.contract;
+    if (!contract)
+        return EMPTY_VIEW;
+    const slices = [
+        ...input.rounds.map((round) => ({
+            round: round.round,
+            report: round.executionReport,
+            observations: round.observationDelta,
+            outcome: round.outcome,
+        })),
+        {
+            round: input.currentRound,
+            report: input.currentReport,
+            observations: input.currentObservations,
+            outcome: input.currentOutcome ?? null,
+        },
+    ].filter((slice) => slice.round < input.currentRound || slice.round === input.currentRound);
+    const enabledCommands = new Set(input.commands.filter((command) => command.enabled).map((command) => command.name));
+    const items = contract.items.map((item) => {
+        const claims = itemClaims(item, slices);
+        const metRound = metClaimRound(claims);
+        if (metRound === null) {
+            return {
+                itemId: item.id,
+                description: item.description,
+                status: "pending",
+                status_at_round: null,
+                history: [],
+                reasons: [],
+            };
+        }
+        const verdicts = item.verify_with.map((commandId) => evaluateCommand(commandId, contract.config_hash_by_command[commandId], slices, metRound, enabledCommands.has(commandId)));
+        const reasons = verdicts.map((verdict) => verdict.reason).filter(Boolean);
+        let status;
+        if (verdicts.some((verdict) => verdict.verdict === "contradicted")) {
+            status = "contradicted";
+        }
+        else if (verdicts.length > 0 && verdicts.every((verdict) => verdict.verdict === "verified")) {
+            status = "verified";
+        }
+        else {
+            status = "insufficient";
+        }
+        return {
+            itemId: item.id,
+            description: item.description,
+            status,
+            status_at_round: metRound,
+            history: [{ round: metRound, status, refs: item.verify_with }],
+            reasons,
+        };
+    });
+    const verifiedCount = items.filter((item) => item.status === "verified").length;
+    const contradictedCount = items.filter((item) => item.status === "contradicted").length;
+    const insufficientCount = items.filter((item) => item.status === "insufficient").length;
+    const committingRound = slices[slices.length - 1];
+    const blocked = committingRound?.outcome === "blocked";
+    const allVerified = items.length > 0 && verifiedCount === items.length;
+    const closure = allVerified ? "verified" : blocked ? "blocked" : "open";
+    return {
+        contractId: contract.id,
+        closure,
+        closed_at_round: closure === "open" ? null : committingRound?.round ?? null,
+        items,
+        verifiedCount,
+        contradictedCount,
+        insufficientCount,
+    };
+}
+/** v3.8: The round-level verification posture. */
+export function roundVerificationStatus(view, report) {
+    if (view.contradictedCount > 0)
+        return "contradicted";
+    if (view.insufficientCount > 0)
+        return "insufficient";
+    // A success claim with no machine-backed item at all is insufficient too.
+    const claims = report?.contract_item_claims ?? [];
+    if (claims.some((claim) => claim.outcome === "met") && view.verifiedCount === 0) {
+        return "insufficient";
+    }
+    return "trusted";
+}
+//# sourceMappingURL=contract-items.js.map

package/dist/contract-items.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-items.js","sourceRoot":"","sources":["../src/contract-items.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AA6DH,MAAM,UAAU,GAA2B;IACzC,UAAU,EAAE,EAAE;IACd,OAAO,EAAE,MAAM;IACf,eAAe,EAAE,IAAI;IACrB,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,CAAC;IAChB,iBAAiB,EAAE,CAAC;IACpB,iBAAiB,EAAE,CAAC;CACrB,CAAC;AAEF,SAAS,UAAU,CACjB,IAAwB,EACxB,MAAiC;IAEjC,MAAM,MAAM,GAAoE,EAAE,CAAC;IACnF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,oBAAoB,IAAI,EAAE,EAAE,CAAC;YAC7D,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8CAC8C;AAC9C,SAAS,aAAa,CACpB,MAA+E;IAE/E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAID,SAAS,eAAe,CACtB,SAAiB,EACjB,YAAgC,EAChC,MAAiC,EACjC,SAAiB,EACjB,UAAmB;IAEnB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,YAAY,SAAS,uDAAuD;SACrF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,6DAA6D;IAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,GAAG,SAAS;YAAE,SAAS;QACtC,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,KAAK,KAAK,OAAO;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;QAC9B,IAAI,YAAY,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACrD,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,+CAA+C,KAAK,CAAC,KAAK,GAAG;aAC3F,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,YAAY;aACf,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC;aAC3C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CACjC,CAAC;QACF,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,oEAAoE;YACpE,sEAAsE;YACtE,kEAAkE;YAClE,mEAAmE;YACnE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACtE,OAAO;oBACL,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,YAAY,SAAS,gDAAgD,KAAK,CAAC,KAAK,EAAE;iBAC3F,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,qBAAqB,KAAK,CAAC,KAAK,EAAE;oBAC7D,CAAC,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,YAAY,SAAS,cAAc,WAAW,CAAC,MAAM,aAAa,KAAK,CAAC,KAAK,EAAE;SACxF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY,SAAS,qDAAqD,SAAS,EAAE;KAC9F,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,KAAwB;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,CAAC,QAAQ;QAAE,OAAO,UAAU,CAAC;IAEjC,MAAM,MAAM,GAAiB;QAC3B,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,YAAY,EAAE,KAAK,CAAC,gBAAgB;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH;YACE,KAAK,EAAE,KAAK,CAAC,YAAY;YACzB,MAAM,EAAE,KAAK,CAAC,aAAa;YAC3B,YAAY,EAAE,KAAK,CAAC,mBAAmB;YACvC,OAAO,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;SACtC;KACF,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,CAAC;IAE5F,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CACnF,CAAC;IAEF,MAAM,KAAK,GAAuB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO;gBACL,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS;gBACjB,eAAe,EAAE,IAAI;gBACrB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,eAAe,CACb,SAAS,EACT,QAAQ,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAC1C,MAAM,EACN,QAAQ,EACR,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAC/B,CAAC,CAAC;QACL,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1E,IAAI,MAA0B,CAAC;QAC/B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC,EAAE,CAAC;YACnE,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC,EAAE,CAAC;YAC9F,MAAM,GAAG,UAAU,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;QACD,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM;YACN,eAAe,EAAE,QAAQ;YACzB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;YAC9D,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IACxF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IAExF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,EAAE,OAAO,KAAK,SAAS,CAAC;IACvD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,KAAK,KAAK,CAAC,MAAM,CAAC;IACvE,MAAM,OAAO,GACX,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1D,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,OAAO;QACP,eAAe,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,IAAI,IAAI;QAC3E,KAAK;QACL,aAAa;QACb,iBAAiB;QACjB,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,uBAAuB,CACrC,IAA4B,EAC5B,MAA8B;IAE9B,IAAI,IAAI,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,IAAI,IAAI,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,0EAA0E;IAC1E,MAAM,MAAM,GAAG,MAAM,EAAE,oBAAoB,IAAI,EAAE,CAAC;IAClD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAChF,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/enforcement-gate.d.ts

@@ -35,30 +35,53 @@ export declare function findBacktrackTargetGitHead(restoreRound: number, vaultEn
  *  v2.13: Includes concrete workspace restore instructions with affected
  *  file lists from skipped rounds. The agent must restore the working tree
  *  to the clean round's state before proceeding. */
-export declare function buildBacktrackPrompt(fromRound: number, toRound: number, triggerRule: string, skippedDiscoveries: string[], 
+export interface BacktrackRecoveryFacts {
+    /** v3.7.1: Rolled-back rounds (restore point + 1 … trigger round). */
+    failedRounds: number[];
+    /** v3.7.1: One approach per failed round — what must NOT be repeated. */
+    approaches: string[];
+    /** v3.7.1: Falsified assumptions collected from the failed rounds. */
+    wrongAssumptions: string[];
+}
+/** v3.8.1: the ONE Recovery Brief renderer.
+ *
+ *  The rollback prompt and the state file's Recent tier used to carry two
+ *  hand-written copies of these lines — differing in punctuation
+ *  ("the redo is round N" vs "redo round N") and in whether an approach
+ *  overflow count was shown at all. Two renderers over one rollback meant the
+ *  two surfaces could describe the same event differently while both claiming
+ *  to be derived facts. The facts are supplied by the caller: the coordinator
+ *  from its live walk, the compile path from `decodeBacktrackRecord` on the
+ *  committed decision. */
+export declare function recoveryBriefLines(input: {
+    target: number;
+    triggerRule: string;
+    failedRounds: string[] | number[];
+    approaches: string[];
+    wrongAssumptions: string[];
+    recoveryRoundId?: string;
+    maxApproaches?: number;
+    maxAssumptions?: number;
+}): string[];
+export declare function buildBacktrackPrompt(fromRound: number, toRound: number, triggerRule: string, skippedDiscoveries: string[],
 /** v2.13: Files changed in the skipped rounds (from evidence snapshots).
  *  Used to show the agent exactly what needs to be reverted. */
-skippedFiles?: string[], 
+skippedFiles?: string[],
 /** v2.12: Git HEAD commit hash at the backtrack point (current HEAD).
  *  The agent must discard work back to the clean round's state. */
-gitHead?: string): string;
-/** Enforce round-boundary rules based on the verification gate's findings
- *  and the agent's self-evaluation integrity.
- *
- *  Rules run in priority order — the rules array below IS the priority
- *  order; numeric IDs (R1–R9, R-EVID) reflect insertion history, not
- *  priority. The first rule that fires wins.
- *
- * @param selfEval              The agent's self-evaluation for the current round.
- * @param verifyResult          The verification gate's output (from verifySelfEvaluation).
- * @param currentRound          Current round number (1-based, BEFORE increment).
- * @param vaultEntries          Vault entries for this loop (used for progress tracking).
- * @param consecutiveRejections How many consecutive rounds have already been rejected.
- *                              Starts at 0; increments on each reject; resets on accept.
- */
-export declare function enforceRound(selfEval: SelfEvaluation, verifyResult: VerificationResult, currentRound: number, vaultEntries: VaultEntry[], consecutiveRejections?: number, 
-/** v2.12: Current clarification streak for R7 escalation. */
-driftClarificationStreak?: number): EnforcementResult;
+gitHead?: string,
+/** v3.7.1: The redo submission's roundId (loop:<id>:round:<toRound+1>). */
+recoveryRoundId?: string,
+/** v3.7.1: Derived Recovery Brief facts — committed facts + the
+ *  in-flight attempt only; never rejected payloads. */
+recovery?: BacktrackRecoveryFacts): string;
+export declare function enforceRound(selfEval: SelfEvaluation, verifyResult: VerificationResult, currentRound: number, vaultEntries: VaultEntry[], consecutiveRejections?: number,
+/** L4 (v3.7.x): which check rejected the PREVIOUS round. The coordinator
+ *  resets consecutiveRejections to 1 whenever the check changes, so the
+ *  counter only ever measures one check's streak — this field names that
+ *  check and lets uniform rows escalate on THEIR OWN streak instead of
+ *  inheriting an unrelated history. */
+lastRejectionCheck?: string): EnforcementResult;
 /** Build a rejection prompt for the agent.
  *
  *  The prompt clearly states the round was rejected, why, what the agent

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

@@ -1 +1 @@
-{"version":3,"file":"enforcement-gate.d.ts","sourceRoot":"","sources":["../src/enforcement-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AA4FvB;;iEAEiE;AACjE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,QAAQ,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAgCxD;AAED;;;sCAGsC;AACtC,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,GACzB,MAAM,GAAG,IAAI,CAWf;AAED;;;;oDAIoD;AACpD,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,MAAM,EAAE;AAC5B;gEACgE;AAChE,YAAY,GAAE,MAAM,EAAO;AAC3B;mEACmE;AACnE,OAAO,CAAC,EAAE,MAAM,GACf,MAAM,CAoJR;AAg5BD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,kBAAkB,EAChC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,qBAAqB,GAAE,MAAU;AACjC,6DAA6D;AAC7D,wBAAwB,GAAE,MAAU,GACnC,iBAAiB,CAqFnB;AAED;;;;;;;;;;;;;;sEAcsE;AACtE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,iBAAiB,EAChC,iBAAiB,GAAE,gBAAgB,EAAO,GACzC,MAAM,CA6CR"}
+{"version":3,"file":"enforcement-gate.d.ts","sourceRoot":"","sources":["../src/enforcement-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AA0FvB;;iEAEiE;AACjE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,QAAQ,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAgCxD;AAED;;;sCAGsC;AACtC,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,GACzB,MAAM,GAAG,IAAI,CAWf;AAED;;;;oDAIoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,sEAAsE;IACtE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,yEAAyE;IACzE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sEAAsE;IACtE,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;;0BAS0B;AAC1B,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,MAAM,EAAE,CA6BX;AAED,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,MAAM,EAAE;AAC5B;gEACgE;AAChE,YAAY,GAAE,MAAM,EAAO;AAC3B;mEACmE;AACnE,OAAO,CAAC,EAAE,MAAM;AAChB,2EAA2E;AAC3E,eAAe,CAAC,EAAE,MAAM;AACxB;uDACuD;AACvD,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAmKR;AAwrBD,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,kBAAkB,EAChC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,qBAAqB,GAAE,MAAU;AACjC;;;;uCAIuC;AACvC,kBAAkB,GAAE,MAAW,GAC9B,iBAAiB,CAoGnB;AAED;;;;;;;;;;;;;;sEAcsE;AACtE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,iBAAiB,EAChC,iBAAiB,GAAE,gBAAgB,EAAO,GACzC,MAAM,CA6CR"}