loopforge 2.11.0 → 3.0.0

package/dist/round-gate.js

@@ -0,0 +1,259 @@
+import { getPolicy } from "./policy.js";
+import { makeEnforcementResult, makeVerificationFlag, makeVerificationResult, } from "./protocol.js";
+import { deriveCompilerProjection, deriveEvidenceView, parseRoundReport, } from "./round-report.js";
+import { jaccardSimilarity } from "./token-utils.js";
+import { deriveConstraintId, deriveCriterionId } from "./derive-id.js";
+function historyProjections(context) {
+    const byRound = new Map();
+    for (const entry of context.history) {
+        const report = parseRoundReport(entry.round_report);
+        const round = typeof entry.round === "number"
+            ? entry.round
+            : typeof entry.loop_lineage?.round === "number"
+                ? entry.loop_lineage.round
+                : 0;
+        if (report && round > 0 && !byRound.has(round)) {
+            byRound.set(round, deriveCompilerProjection(report, round));
+        }
+    }
+    return [...byRound.values()].sort((a, b) => (a.round ?? 0) - (b.round ?? 0));
+}
+function flag(severity, field, check, detail) {
+    return makeVerificationFlag({ severity, field, check, detail });
+}
+/** v2.13: Git HEAD from the current round's evidence snapshots, if any. */
+function gitHead(snapshots) {
+    for (const snapshot of snapshots) {
+        if (snapshot.provider !== "git" || !snapshot.data || typeof snapshot.data !== "object") {
+            continue;
+        }
+        const head = snapshot.data.head;
+        if (typeof head === "string" && head)
+            return head;
+    }
+    return undefined;
+}
+function requiredCommandFailure(context) {
+    if (context.report.outcome !== "success")
+        return null;
+    const name = context.evidence.requiredCommandFailures[0];
+    if (!name)
+        return null;
+    return flag("error", "evidence.checks", "required_command_failed", `Round reports success but required command ${name} was not verified as passing.`);
+}
+function intentDrift(context) {
+    const intent = context.expectedAction?.trim() || context.previous?.agentIntent?.trim();
+    if (!intent)
+        return null;
+    const actual = [
+        context.report.summary,
+        ...context.evidence.observedFiles,
+        ...(context.report.subGoalEvents?.completed ?? []),
+    ].join(" ");
+    if (!actual.trim() ||
+        jaccardSimilarity(intent, actual) >= getPolicy().evolution.intent_drift_threshold) {
+        return null;
+    }
+    return flag("warn", "agentIntent", "intent_drift", "The previous non-authoritative Agent intent does not align with the runtime-observed result.");
+}
+function clarificationIsSubstantive(context) {
+    const clarification = context.report.driftClarification;
+    if (!clarification || clarification.explanation.trim().length < 20 || clarification.anchors.length === 0) {
+        return false;
+    }
+    const known = [
+        ...context.evidence.reportedFiles,
+        ...context.evidence.observedFiles,
+        ...context.evidence.criteriaMet,
+        ...context.evidence.criteriaRemaining,
+        ...(context.previous?.discoveries?.newConstraints ?? []),
+    ].map((item) => item.trim().toLowerCase().replace(/\\/g, "/"));
+    return clarification.anchors.some((anchor) => {
+        const normalized = anchor.trim().toLowerCase().replace(/\\/g, "/");
+        if (/^c-[0-9a-f]{8}$/i.test(normalized)) {
+            return known.some((item) => deriveConstraintId(item) === normalized);
+        }
+        if (/^cr-[0-9a-f]{8}$/i.test(normalized)) {
+            return known.some((item) => deriveCriterionId(item) === normalized);
+        }
+        return known.some((item) => item === normalized || item.endsWith(`/${normalized}`));
+    });
+}
+/** Verify a normalized report without creating a legacy round projection. */
+export function verifyRoundReport(context) {
+    const flags = [];
+    const previous = context.previous;
+    const evidence = context.evidence;
+    const history = historyProjections(context);
+    if (previous?.evidence?.progressRatio !== null && evidence.progressRatio !== null &&
+        previous?.evidence?.progressRatio !== undefined &&
+        previous.evidence.progressRatio - evidence.progressRatio > 0.2 + 1e-10) {
+        flags.push(flag("warn", "evidence.progressRatio", "progress_regression", `Verified progress dropped from ${previous.evidence.progressRatio.toFixed(2)} to ${evidence.progressRatio.toFixed(2)}.`));
+    }
+    if (context.report.outcome === "success" && evidence.criteriaRemaining.length > 0) {
+        flags.push(flag("error", "evidence.criteriaRemaining", "success_with_remaining_criteria", `Round reports success while ${evidence.criteriaRemaining.length} criteria remain: ${evidence.criteriaRemaining.slice(0, 3).join("; ")}`));
+    }
+    if (context.report.outcome === "success" &&
+        evidence.verifiedClaims.length === 0 &&
+        evidence.testCounts === null &&
+        !context.report.evidence?.noChangeReason) {
+        flags.push(flag("error", "evidence.claims", "success_without_verified_evidence", "A successful round must include at least one provider-verified claim or an explicit no-change reason."));
+    }
+    if (context.report.outcome === "success" && evidence.observedFiles.length === 0 &&
+        evidence.testCounts && evidence.testCounts.failed === 0 && evidence.testCounts.passed > 0 &&
+        !context.report.evidence?.noChangeReason) {
+        flags.push(flag("warn", "evidence.observedFiles", "empty_change_with_passing", "Round reports success with passing checks but no observed file change or no-change reason."));
+    }
+    if (evidence.reportedFiles.length || evidence.observedFiles.length) {
+        const unconfirmed = evidence.reportedFiles.filter((file) => !evidence.observedFiles.includes(file));
+        const unreported = evidence.observedFiles.filter((file) => !evidence.reportedFiles.includes(file));
+        if (unconfirmed.length || unreported.length) {
+            flags.push(flag("warn", "evidence.files", "evidence_integrity", `Reported and observed files differ${unconfirmed.length ? `; unconfirmed: ${unconfirmed.join(", ")}` : ""}${unreported.length ? `; unreported: ${unreported.join(", ")}` : ""}.`));
+        }
+    }
+    if (evidence.contradictedClaims.length > 0) {
+        flags.push(flag("error", "evidence.claims", "evidence_contradiction", `Provider evidence contradicts: ${evidence.contradictedClaims.slice(0, 3).join("; ")}`));
+    }
+    if (context.report.outcome === "success" && evidence.unavailableClaims.length > 0) {
+        flags.push(flag("error", "evidence.claims", "evidence_unavailable", `Completion evidence is unavailable for: ${evidence.unavailableClaims.slice(0, 3).join("; ")}`));
+    }
+    if (context.report.outcome === "success" && context.report.continuation === "stop" &&
+        evidence.providerStatus !== "verified") {
+        flags.push(flag("error", "evidence.providerStatus", "completion_without_provider", evidence.providerStatus === "absent"
+            ? "A successful stopping report requires at least one runtime evidence provider."
+            : "A successful stopping report requires a provider that produced verifiable evidence."));
+    }
+    const commandFailure = requiredCommandFailure(context);
+    if (commandFailure)
+        flags.push(commandFailure);
+    const knownConstraints = new Set([...history, ...(previous ? [previous] : [])]
+        .flatMap((item) => [...(item.discoveries?.newConstraints ?? []), ...(item.violations ?? [])])
+        .map((item) => item.trim().toLowerCase()));
+    const duplicate = context.report.discoveries?.newConstraints.find((item) => knownConstraints.has(item.trim().toLowerCase()));
+    if (duplicate) {
+        flags.push(flag("warn", "discoveries.newConstraints", "duplicate_constraint_discovery", `Constraint "${duplicate}" was already known.`));
+    }
+    const recent = [...history.slice(-2), ...(previous ? [previous] : [])].slice(-2);
+    const recurring = context.report.violations.find((violation) => recent.length === 2 && recent.every((item) => (item.violations ?? []).some((prior) => prior.trim().toLowerCase() === violation.trim().toLowerCase())));
+    if (recurring) {
+        flags.push(flag("error", "violations", "recurring_violation", `Constraint violation "${recurring}" appeared in three consecutive rounds.`));
+    }
+    const previousConstraints = new Set((previous?.discoveries?.newConstraints ?? []).map((item) => item.trim().toLowerCase()));
+    const freshRetraction = context.report.constraintEvents?.retired.find((item) => previousConstraints.has(item.trim().toLowerCase()));
+    if (freshRetraction) {
+        flags.push(flag("warn", "constraintEvents.retired", "retract_fresh_constraint", `Constraint "${freshRetraction}" was retired immediately after discovery.`));
+    }
+    const drift = intentDrift(context);
+    if (drift) {
+        const accepted = clarificationIsSubstantive(context);
+        flags.push(flag(accepted ? "warn" : "error", drift.field, drift.check, accepted
+            ? `${drift.detail} A substantive runtime-anchored clarification was supplied.`
+            : `${drift.detail} Supply driftClarification with a concrete explanation and runtime-verifiable anchor.`));
+        const maxStreak = getPolicy().engine.drift_clarification_max_streak;
+        if (!accepted && maxStreak > 0 &&
+            (context.driftClarificationStreak ?? 0) + 1 >= maxStreak) {
+            flags.push(flag("error", "driftClarification", "intent_drift_escalated", `Intent drift remained unresolved for ${maxStreak} consecutive rounds.`));
+        }
+    }
+    const noCredibleProgress = (projection) => (projection.evidence?.verifiedClaims.length ?? 0) === 0 &&
+        (projection.evidence?.observedFiles.length ?? 0) === 0 &&
+        !projection.discoveries?.facts.length;
+    const recentAccepted = history.filter((item) => (item.round ?? 0) < context.currentRound).slice(-2);
+    if (recentAccepted.length === 2 && recentAccepted.every(noCredibleProgress) &&
+        noCredibleProgress(deriveCompilerProjection(context.report, context.currentRound, evidence.criteriaMet.concat(evidence.criteriaRemaining), context.providerSnapshots))) {
+        flags.push(flag("error", "evidence", "progress_stall", "Three consecutive accepted reports contain no new runtime-verified claim or observed workspace change."));
+    }
+    const staleFiles = (context.backtrackSkippedFiles ?? []).filter((file) => evidence.observedFiles.includes(file));
+    if (staleFiles.length > 0) {
+        flags.push(flag("error", "evidence.observedFiles", "backtrack_workspace_not_restored", `Post-backtrack evidence still includes skipped files: ${staleFiles.join(", ")}.`));
+    }
+    // v2.13: A backtracked round must leave the workspace at the restore
+    // commit. The post-backtrack round is a pure verification round, so a git
+    // HEAD that differs from the restore point means the agent worked without
+    // restoring (or restored somewhere else). Only compared when the current
+    // round actually produced git evidence — an absent provider cannot assert
+    // a mismatch.
+    if (context.backtrackTargetGitHead) {
+        const head = gitHead(context.providerSnapshots);
+        if (head && head !== context.backtrackTargetGitHead) {
+            flags.push(flag("error", "evidence.observedFiles", "backtrack_workspace_not_restored", `Git HEAD ${head.slice(0, 12)} does not match the backtrack restore point ${context.backtrackTargetGitHead.slice(0, 12)} — the workspace must be restored before working.`));
+        }
+    }
+    const verdict = flags.some((item) => item.severity === "error")
+        ? "contradicted"
+        : flags.some((item) => item.severity === "warn") ? "suspect" : "trusted";
+    return makeVerificationResult({ verdict, flags });
+}
+/** Enforcement consumes the same normalized context and never re-extracts evidence. */
+export function enforceRoundReport(context, verification) {
+    const escalated = new Set(context.escalatedRejectionChecks ?? []);
+    const maybeEscalate = (check, reason, fixInstructions) => {
+        if (getPolicy().engine.enforcement_escalation_enabled && !escalated.has(check)) {
+            return makeEnforcementResult({
+                action: "reject",
+                check,
+                escalation_issued: true,
+                reason,
+                fix_instructions: fixInstructions,
+            });
+        }
+        return makeEnforcementResult({ action: "terminate", check, reason });
+    };
+    const driftEscalated = verification.flags.find((item) => item.check === "intent_drift_escalated");
+    if (driftEscalated) {
+        return makeEnforcementResult({
+            action: "terminate", check: driftEscalated.check, reason: driftEscalated.detail,
+        });
+    }
+    const drift = verification.flags.find((item) => item.check === "intent_drift");
+    if (drift && drift.severity === "error") {
+        return makeEnforcementResult({
+            action: "reject", check: drift.check, reason: drift.detail,
+            fix_instructions: "Explain the task pivot and anchor it to a verified criterion, constraint ID, or observed workspace path.",
+        });
+    }
+    const maxRejections = getPolicy().engine.max_rejections;
+    if (maxRejections > 0 && (context.consecutiveRejections ?? 0) >= maxRejections) {
+        return maybeEscalate("max_rejections", "The same logical round reached the rejection limit and requires one final human-guidance retry.", "Seek Human Guidance before retrying. Re-evaluate the reported evidence and submit a corrected canonical RoundReport.");
+    }
+    const recurring = verification.flags.find((item) => item.check === "recurring_violation");
+    if (recurring) {
+        return maybeEscalate(recurring.check, recurring.detail, "Seek Human Guidance before retrying. Address the recurring violation and provide runtime-verifiable evidence.");
+    }
+    const stall = verification.flags.find((item) => item.check === "progress_stall");
+    if (stall) {
+        return makeEnforcementResult({
+            action: (context.consecutiveRejections ?? 0) >= 1 && getPolicy().engine.backtrack_enabled
+                ? "backtrack"
+                : "reject",
+            check: stall.check,
+            reason: stall.detail,
+            fix_instructions: "Produce a new provider-verifiable fact or change the approach.",
+        });
+    }
+    const backtrack = verification.flags.find((item) => item.check === "backtrack_workspace_not_restored");
+    if (backtrack && getPolicy().engine.backtrack_enabled) {
+        return makeEnforcementResult({
+            action: "backtrack", check: backtrack.check, reason: backtrack.detail,
+        });
+    }
+    const blocking = verification.flags.find((item) => item.severity === "error");
+    if (blocking) {
+        return makeEnforcementResult({
+            action: "reject", check: blocking.check, reason: blocking.detail,
+            fix_instructions: "Submit a corrected RoundReport with runtime-verifiable evidence.",
+        });
+    }
+    return makeEnforcementResult({ action: "accept" });
+}
+export function makeRoundGateContext(report, currentRound, history, providerSnapshots, remainingCriteria = [], options = {}) {
+    return {
+        report,
+        evidence: deriveEvidenceView(report, remainingCriteria, providerSnapshots),
+        currentRound,
+        history,
+        providerSnapshots,
+        ...options,
+    };
+}
+//# sourceMappingURL=round-gate.js.map

package/dist/round-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-gate.js","sourceRoot":"","sources":["../src/round-gate.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AASxC,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAyBvE,SAAS,kBAAkB,CAAC,OAAyB;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC3D,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC3C,CAAC,CAAC,KAAK,CAAC,KAAK;YACb,CAAC,CAAC,OAAO,KAAK,CAAC,YAAY,EAAE,KAAK,KAAK,QAAQ;gBAC7C,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK;gBAC1B,CAAC,CAAC,CAAC,CAAC;QACR,IAAI,MAAM,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,IAAI,CACX,QAAsC,EACtC,KAAa,EACb,KAAa,EACb,MAAc;IAEd,OAAO,oBAAoB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,2EAA2E;AAC3E,SAAS,OAAO,CAAC,SAA6B;IAC5C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAI,QAAQ,CAAC,IAAgC,CAAC,IAAI,CAAC;QAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAyB;IACvD,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CACT,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EACrD,8CAA8C,IAAI,+BAA+B,CAClF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAyB;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACvF,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAG;QACb,OAAO,CAAC,MAAM,CAAC,OAAO;QACtB,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa;QACjC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,IAAI,EAAE,CAAC;KACnD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACZ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;QACd,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC,SAAS,CAAC,sBAAsB,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CACT,MAAM,EAAE,aAAa,EAAE,cAAc,EACrC,8FAA8F,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAyB;IAC3D,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACxD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,IAAI,aAAa,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa;QACjC,GAAG,OAAO,CAAC,QAAQ,CAAC,aAAa;QACjC,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW;QAC/B,GAAG,OAAO,CAAC,QAAQ,CAAC,iBAAiB;QACrC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,IAAI,EAAE,CAAC;KACzD,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,OAAO,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,OAAyB;IACzD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE5C,IAAI,QAAQ,EAAE,QAAQ,EAAE,aAAa,KAAK,IAAI,IAAI,QAAQ,CAAC,aAAa,KAAK,IAAI;QAC7E,QAAQ,EAAE,QAAQ,EAAE,aAAa,KAAK,SAAS;QAC/C,QAAQ,CAAC,QAAQ,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,MAAM,EAAE,wBAAwB,EAAE,qBAAqB,EACvD,kCAAkC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACxH,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,4BAA4B,EAAE,iCAAiC,EACxE,+BAA+B,QAAQ,CAAC,iBAAiB,CAAC,MAAM,qBAAqB,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzI,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS;QACpC,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACpC,QAAQ,CAAC,UAAU,KAAK,IAAI;QAC5B,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,iBAAiB,EAAE,mCAAmC,EAC/D,uGAAuG,CACxG,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAC3E,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACzF,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,MAAM,EAAE,wBAAwB,EAAE,2BAA2B,EAC7D,4FAA4F,CAC7F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACnE,MAAM,WAAW,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACpG,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACnG,IAAI,WAAW,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,MAAM,EAAE,gBAAgB,EAAE,oBAAoB,EAC9C,qCAAqC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CACjL,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EACpD,kCAAkC,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAClD,2CAA2C,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM;QAC9E,QAAQ,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,yBAAyB,EAAE,6BAA6B,EACjE,QAAQ,CAAC,cAAc,KAAK,QAAQ;YAClC,CAAC,CAAC,+EAA+E;YACjF,CAAC,CAAC,qFAAqF,CAC1F,CAAC,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,cAAc;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAE/C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC1C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;SAC5F,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAC5C,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACzE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAChD,CAAC;IACF,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,MAAM,EAAE,4BAA4B,EAAE,gCAAgC,EACtE,eAAe,SAAS,sBAAsB,CAC/C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC7D,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CACvG,CACF,CAAC;IACF,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAC5C,yBAAyB,SAAS,yCAAyC,CAC5E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,CACjC,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CACvF,CAAC;IACF,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7E,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CACnD,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,MAAM,EAAE,0BAA0B,EAAE,0BAA0B,EAC9D,eAAe,eAAe,4CAA4C,CAC3E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,QAAQ,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAC3B,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,KAAK,EACX,QAAQ;YACN,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,6DAA6D;YAC9E,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,uFAAuF,CAC3G,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B,CAAC;QACpE,IAAI,CAAC,QAAQ,IAAI,SAAS,GAAG,CAAC;YAC1B,CAAC,OAAO,CAAC,wBAAwB,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EACvD,wCAAwC,SAAS,sBAAsB,CACxE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,kBAAkB,GAAG,CAAC,UAAmC,EAAW,EAAE,CAC1E,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACvD,CAAC,UAAU,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACtD,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC;IACxC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACvE,kBAAkB,CAAC,wBAAwB,CACzC,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,EACpB,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EACvD,OAAO,CAAC,iBAAiB,CAC1B,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,UAAU,EAAE,gBAAgB,EACrC,wGAAwG,CACzG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACvE,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CACtC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,wBAAwB,EAAE,kCAAkC,EACrE,yDAAyD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAClF,CAAC,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,cAAc;IACd,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAChD,IAAI,IAAI,IAAI,IAAI,KAAK,OAAO,CAAC,sBAAsB,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,IAAI,CACb,OAAO,EAAE,wBAAwB,EAAE,kCAAkC,EACrE,YAAY,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,+CAA+C,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,mDAAmD,CAC3K,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;QAC7D,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,sBAAsB,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAChC,OAAyB,EACzB,YAAgC;IAEhC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,CACpB,KAAa,EACb,MAAc,EACd,eAAuB,EACJ,EAAE;QACrB,IAAI,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/E,OAAO,qBAAqB,CAAC;gBAC3B,MAAM,EAAE,QAAQ;gBAChB,KAAK;gBACL,iBAAiB,EAAE,IAAI;gBACvB,MAAM;gBACN,gBAAgB,EAAE,eAAe;aAClC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,qBAAqB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,wBAAwB,CAAC,CAAC;IAClG,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM;SAChF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,cAAc,CAAC,CAAC;IAC/E,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACxC,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;YAC1D,gBAAgB,EAAE,0GAA0G;SAC7H,CAAC,CAAC;IACL,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC;IACxD,IAAI,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,IAAI,CAAC,CAAC,IAAI,aAAa,EAAE,CAAC;QAC/E,OAAO,aAAa,CAClB,gBAAgB,EAChB,iGAAiG,EACjG,sHAAsH,CACvH,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,CAAC,CAAC;IAC1F,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,aAAa,CAClB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,MAAM,EAChB,+GAA+G,CAChH,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,gBAAgB,CAAC,CAAC;IACjF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,CAAC,OAAO,CAAC,qBAAqB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC,MAAM,CAAC,iBAAiB;gBACvF,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,QAAQ;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,gBAAgB,EAAE,gEAAgE;SACnF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACjD,IAAI,CAAC,KAAK,KAAK,kCAAkC,CAClD,CAAC;IACF,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACtD,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM;SACtE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC9E,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM;YAChE,gBAAgB,EAAE,kEAAkE;SACrF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,qBAAqB,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAmB,EACnB,YAAoB,EACpB,OAAqB,EACrB,iBAAqC,EACrC,oBAA8B,EAAE,EAChC,UAA4G,EAAE;IAE9G,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;QAC1E,YAAY;QACZ,OAAO;QACP,iBAAiB;QACjB,GAAG,OAAO;KACX,CAAC;AACJ,CAAC"}

package/dist/round-recovery.d.ts

@@ -0,0 +1,17 @@
+import type { VaultEntry } from "./vault-types.js";
+import type { EnforcementResult, VerificationFlag } from "./protocol.js";
+export declare function findSafeRestorePoint(currentRound: number, entries: VaultEntry[], maxDepth: number): {
+    round: number;
+    skippedDiscoveries: string[];
+} | null;
+/** Collect files observed in rounds that will be skipped by a backtrack. */
+export declare function collectSkippedRoundFiles(restoreRound: number, currentRound: number, entries: VaultEntry[]): string[];
+/** v2.13: Extract the git HEAD of a restore point from the committed
+ *  round transaction snapshot of that round. The committed snapshot carries
+ *  the full provider snapshots (afterEvidence preferred — the workspace
+ *  state the agent was asked to restore to — with beforeEvidence fallback).
+ *  Returns undefined when git evidence is unavailable. */
+export declare function findBacktrackTargetGitHead(restoreRound: number, entries: VaultEntry[]): string | undefined;
+export declare function buildBacktrackPrompt(fromRound: number, toRound: number, triggerRule: string, skippedDiscoveries: string[], skippedFiles?: string[]): string;
+export declare function buildRejectionPrompt(currentRound: number, task: string, enforcement: EnforcementResult, flags?: VerificationFlag[]): string;
+//# sourceMappingURL=round-recovery.d.ts.map

package/dist/round-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-recovery.d.ts","sourceRoot":"","sources":["../src/round-recovery.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAsBzE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,UAAU,EAAE,EACrB,QAAQ,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAoBxD;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,UAAU,EAAE,GACpB,MAAM,EAAE,CAcV;AAED;;;;0DAI0D;AAC1D,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,UAAU,EAAE,GACpB,MAAM,GAAG,SAAS,CA2BpB;AAED,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,MAAM,EAAE,EAC5B,YAAY,GAAE,MAAM,EAAO,GAC1B,MAAM,CAYR;AAED,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,iBAAiB,EAC9B,KAAK,GAAE,gBAAgB,EAAO,GAC7B,MAAM,CAYR"}

package/dist/round-recovery.js

@@ -0,0 +1,117 @@
+import { deriveEvidenceView, parseRoundReport } from "./round-report.js";
+import { entryRound } from "./token-utils.js";
+function transactionResult(entry) {
+    const transaction = entry.loop_lineage?.round_transaction;
+    if (!transaction || typeof transaction !== "object" || Array.isArray(transaction))
+        return null;
+    const result = transaction.result;
+    return result && typeof result === "object" && !Array.isArray(result)
+        ? result
+        : null;
+}
+function isCleanRound(entry) {
+    const result = transactionResult(entry);
+    if (!result || !["continue", "stop"].includes(String(result.action)))
+        return false;
+    return !Array.isArray(result.verificationFlags) || !result.verificationFlags.some((flag) => flag && typeof flag === "object" && !Array.isArray(flag) &&
+        flag.severity === "error");
+}
+export function findSafeRestorePoint(currentRound, entries, maxDepth) {
+    const skippedDiscoveries = [];
+    for (let depth = 1; depth <= maxDepth; depth++) {
+        const target = currentRound - depth;
+        if (target < 1)
+            break;
+        if (depth > 1) {
+            const skipped = entries.find((entry) => entryRound(entry) === target + 1 &&
+                String(entry.task_id ?? "").endsWith(":event") &&
+                entry.round_report !== undefined);
+            const report = skipped ? parseRoundReport(skipped.round_report) : null;
+            for (const discovery of report?.discoveries?.newConstraints ?? []) {
+                if (!skippedDiscoveries.includes(discovery))
+                    skippedDiscoveries.push(discovery);
+            }
+        }
+        const clean = entries.filter((entry) => entryRound(entry) === target).find(isCleanRound);
+        if (clean)
+            return { round: target, skippedDiscoveries };
+    }
+    return null;
+}
+/** Collect files observed in rounds that will be skipped by a backtrack. */
+export function collectSkippedRoundFiles(restoreRound, currentRound, entries) {
+    const skippedFiles = new Set();
+    for (let round = restoreRound + 1; round < currentRound; round++) {
+        const roundEvent = entries.find((entry) => entryRound(entry) === round &&
+            String(entry.task_id ?? "").endsWith(":event") &&
+            entry.round_report !== undefined);
+        const report = roundEvent ? parseRoundReport(roundEvent.round_report) : null;
+        for (const file of report ? deriveEvidenceView(report).observedFiles : []) {
+            skippedFiles.add(file);
+        }
+    }
+    return [...skippedFiles].sort();
+}
+/** v2.13: Extract the git HEAD of a restore point from the committed
+ *  round transaction snapshot of that round. The committed snapshot carries
+ *  the full provider snapshots (afterEvidence preferred — the workspace
+ *  state the agent was asked to restore to — with beforeEvidence fallback).
+ *  Returns undefined when git evidence is unavailable. */
+export function findBacktrackTargetGitHead(restoreRound, entries) {
+    const event = entries.find((entry) => entryRound(entry) === restoreRound &&
+        String(entry.task_id ?? "").endsWith(":event"));
+    const transaction = event?.loop_lineage?.round_transaction;
+    if (!transaction || typeof transaction !== "object" || Array.isArray(transaction)) {
+        return undefined;
+    }
+    const snapshot = transaction.snapshot;
+    if (!snapshot || typeof snapshot !== "object" || Array.isArray(snapshot)) {
+        return undefined;
+    }
+    const record = snapshot;
+    const candidates = [
+        ...(Array.isArray(record.afterEvidence) ? record.afterEvidence : []),
+        ...(Array.isArray(record.beforeEvidence) ? record.beforeEvidence : []),
+    ];
+    for (const raw of candidates) {
+        if (!raw || typeof raw !== "object" || Array.isArray(raw))
+            continue;
+        const provider = raw;
+        if (provider.provider !== "git" || !provider.data || typeof provider.data !== "object") {
+            continue;
+        }
+        const head = provider.data.head;
+        if (typeof head === "string" && head)
+            return head;
+    }
+    return undefined;
+}
+export function buildBacktrackPrompt(fromRound, toRound, triggerRule, skippedDiscoveries, skippedFiles = []) {
+    const lines = [
+        `## Backtrack: Round ${fromRound} to Round ${toRound}`,
+        "",
+        `Reason: ${triggerRule}`,
+        "",
+        "Restore only the listed scope to the verified state at the restore round. Inspect the workspace and obtain authorization before any destructive action.",
+    ];
+    if (skippedFiles.length)
+        lines.push("", "Affected files:", ...skippedFiles.slice(0, 50).map((file) => `- ${file}`));
+    if (skippedDiscoveries.length)
+        lines.push("", "Preserved discoveries:", ...skippedDiscoveries.map((item) => `- ${item}`));
+    lines.push("", "Required verification: confirm the affected files match the restore point before continuing.");
+    return lines.join("\n");
+}
+export function buildRejectionPrompt(currentRound, task, enforcement, flags = []) {
+    const findings = flags.map((flag) => `- [${flag.check}] ${flag.detail}`);
+    return [
+        `## Round ${currentRound}: REJECTED`,
+        "",
+        enforcement.reason,
+        findings.length ? `\n### Evidence Gap\n\n${findings.join("\n")}` : "",
+        enforcement.fix_instructions ? `\n### Required Fix\n\n${enforcement.fix_instructions}` : "",
+        `\n### Retry Round ${currentRound}\n\n${task}`,
+        "",
+        "Re-execute the same logical round and submit a corrected canonical RoundReport. Do not advance the round number.",
+    ].join("\n");
+}
+//# sourceMappingURL=round-recovery.js.map

package/dist/round-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-recovery.js","sourceRoot":"","sources":["../src/round-recovery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,EAAE,iBAAiB,CAAC;IAC1D,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/F,MAAM,MAAM,GAAI,WAAuC,CAAC,MAAM,CAAC;IAC/D,OAAO,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACnE,CAAC,CAAC,MAAiC;QACnC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB;IACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACzF,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACvD,IAAgC,CAAC,QAAQ,KAAK,OAAO,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,OAAqB,EACrB,QAAgB;IAEhB,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,YAAY,GAAG,KAAK,CAAC;QACpC,IAAI,MAAM,GAAG,CAAC;YAAE,MAAM;QACtB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,UAAU,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;gBAChC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAC9C,KAAK,CAAC,YAAY,KAAK,SAAS,CACjC,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACvE,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,WAAW,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;gBAClE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC;oBAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzF,IAAI,KAAK;YAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,wBAAwB,CACtC,YAAoB,EACpB,YAAoB,EACpB,OAAqB;IAErB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,IAAI,KAAK,GAAG,YAAY,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,EAAE,KAAK,EAAE,EAAE,CAAC;QACjE,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,UAAU,CAAC,KAAK,CAAC,KAAK,KAAK;YAC3B,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC9C,KAAK,CAAC,YAAY,KAAK,SAAS,CACjC,CAAC;QACF,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC1E,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED;;;;0DAI0D;AAC1D,MAAM,UAAU,0BAA0B,CACxC,YAAoB,EACpB,OAAqB;IAErB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACnC,UAAU,CAAC,KAAK,CAAC,KAAK,YAAY;QAClC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,KAAK,EAAE,YAAY,EAAE,iBAAiB,CAAC;IAC3D,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAI,WAAuC,CAAC,QAAQ,CAAC;IACnE,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,QAAmC,CAAC;IACnD,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QACpE,MAAM,QAAQ,GAAG,GAA8B,CAAC;QAChD,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAI,QAAQ,CAAC,IAAgC,CAAC,IAAI,CAAC;QAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,OAAe,EACf,WAAmB,EACnB,kBAA4B,EAC5B,eAAyB,EAAE;IAE3B,MAAM,KAAK,GAAG;QACZ,uBAAuB,SAAS,aAAa,OAAO,EAAE;QACtD,EAAE;QACF,WAAW,WAAW,EAAE;QACxB,EAAE;QACF,yJAAyJ;KAC1J,CAAC;IACF,IAAI,YAAY,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACpH,IAAI,kBAAkB,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,wBAAwB,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1H,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,8FAA8F,CAAC,CAAC;IAC/G,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,IAAY,EACZ,WAA8B,EAC9B,QAA4B,EAAE;IAE9B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,OAAO;QACL,YAAY,YAAY,YAAY;QACpC,EAAE;QACF,WAAW,CAAC,MAAM;QAClB,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACrE,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,yBAAyB,WAAW,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE;QAC3F,qBAAqB,YAAY,OAAO,IAAI,EAAE;QAC9C,EAAE;QACF,kHAAkH;KACnH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/round-report.d.ts

@@ -0,0 +1,16 @@
+import type { RoundReport, EvidenceDerivedView, CompilerRoundProjection } from "./protocol.js";
+import type { ProviderSnapshot } from "./evidence-provider.js";
+import type { VaultEntry } from "./vault-types.js";
+export declare function isSafeObjectiveRefinement(value: string): boolean;
+export declare function parseRoundReport(value: unknown): RoundReport | null;
+/** Derive normalized evidence once for all runtime consumers. */
+export declare function deriveEvidenceView(report: RoundReport, requiredCriteria?: string[], snapshots?: ProviderSnapshot[]): EvidenceDerivedView;
+/** Build the narrow compiler projection consumed by the compiler. */
+export declare function deriveCompilerProjection(report: RoundReport, round: number, requiredCriteria?: string[], snapshots?: ProviderSnapshot[]): CompilerRoundProjection;
+/** Rebuild the latest accepted compiler projection directly from events. */
+export declare function latestCompilerProjection(entries: VaultEntry[], requiredCriteria?: string[]): CompilerRoundProjection | null;
+/** Replace agent-supplied provenance with statuses observed by the runtime.
+ * Unknown agent references remain claims; missing provider references are
+ * explicitly unavailable rather than silently passing verification. */
+export declare function verifyRoundReportEvidence(report: RoundReport, snapshots: ProviderSnapshot[]): RoundReport;
+//# sourceMappingURL=round-report.d.ts.map

package/dist/round-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-report.d.ts","sourceRoot":"","sources":["../src/round-report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,WAAW,EACX,mBAAmB,EACnB,uBAAuB,EACxB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAoEnD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAIhE;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CA2HnE;AAED,iEAAiE;AACjE,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,WAAW,EACnB,gBAAgB,GAAE,MAAM,EAAO,EAC/B,SAAS,GAAE,gBAAgB,EAAO,GACjC,mBAAmB,CA6ErB;AAED,qEAAqE;AACrE,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,MAAM,EAAO,EAC/B,SAAS,GAAE,gBAAgB,EAAO,GACjC,uBAAuB,CAiBzB;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,UAAU,EAAE,EACrB,gBAAgB,GAAE,MAAM,EAAO,GAC9B,uBAAuB,GAAG,IAAI,CAahC;AAED;;uEAEuE;AACvE,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,gBAAgB,EAAE,GAC5B,WAAW,CAoFb"}