loopforge 3.2.1 → 3.6.0

package/dist/committed-round.d.ts

@@ -0,0 +1,59 @@
+/** Canonical read model for committed rounds.
+ *
+ * Durable documents remain the source of truth. This module is the only
+ * place that interprets their transaction envelope or the compiler's merged
+ * lineage representation. Consumers receive one stable, read-only view.
+ */
+import type { ProviderSnapshot } from "./evidence-provider.js";
+import type { VaultEntry } from "./loop-store.js";
+import type { ExecutionEvidence, PromptArtifact, RoundContract, RoundOutcome, SelfEvaluation, VerificationFlag } from "./protocol.js";
+import type { RoundProcessResult } from "./round-coordinator.js";
+export type CommittedAction = "continue" | "stop" | "backtrack";
+export interface CommittedRoundView {
+    readonly source: "feedback" | "merged";
+    readonly sourceEntry: VaultEntry | Record<string, unknown>;
+    readonly loopId: string;
+    readonly round: number;
+    readonly roundId: string;
+    readonly sequence?: number;
+    readonly attempt: number;
+    readonly promptArtifact: PromptArtifact | null;
+    readonly evaluation: SelfEvaluation | null;
+    readonly executionEvidence: ExecutionEvidence | null;
+    readonly verificationFlags: VerificationFlag[];
+    readonly result: RoundProcessResult | null;
+    readonly action: CommittedAction;
+    readonly success: boolean;
+    readonly outcome: RoundOutcome | null;
+    readonly contractProposal: RoundContract | null;
+    readonly beforeEvidence: ProviderSnapshot[];
+    readonly afterEvidence: ProviderSnapshot[];
+    readonly roundEvidence: ProviderSnapshot[];
+    /** Normalized round-level declarations used by compiler projections. */
+    readonly outputSummary?: string;
+    readonly constraintViolations?: string[];
+    readonly discoveredConstraints?: string[];
+    readonly activeConstraints?: string[];
+    readonly retractedConstraints?: string[];
+    readonly emergedSubtasks?: string[];
+    readonly completedSubtasks?: string[];
+    readonly blockedSubtasks?: string[];
+    readonly canceledSubtasks?: string[];
+}
+/** Decode a durable :feedback entry. Reject/terminate/in-flight envelopes are
+ * not committed history and therefore do not produce a view. */
+export declare function decodeCommittedRound(entry: VaultEntry): CommittedRoundView | null;
+/** Decode an in-memory lineage entry after the engine merged its committed
+ * feedback. The merged shape is intentionally accepted only when stamped
+ * with committed_action. */
+export declare function decodeMergedRound(entry: unknown): CommittedRoundView | null;
+/** Normalize committed history: rollback directives disappear, later records
+ * replace earlier records for the same logical round, and output is ascending. */
+export declare function historyRounds(views: Iterable<CommittedRoundView | null>, beforeRound?: number): CommittedRoundView[];
+export declare function committedRoundsFromEntries(entries: VaultEntry[], beforeRound?: number): CommittedRoundView[];
+export declare function mergedRoundsFromEntries(entries: unknown[], beforeRound?: number): CommittedRoundView[];
+/** Machine-observed git motion for the most recent contiguous window.
+ * Consumers must decode durable or hydrated entries before calling this;
+ * transaction-envelope interpretation stays confined to this module. */
+export declare function machineGitMotionSeries(rounds: ReadonlyArray<CommittedRoundView>, currentRound: number, lookback: number): boolean[] | null;
+//# sourceMappingURL=committed-round.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"committed-round.d.ts","sourceRoot":"","sources":["../src/committed-round.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAKjE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;AAEhE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,aAAa,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAC3C,wEAAwE;IACxE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;CACtC;AA6BD;gEACgE;AAChE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,kBAAkB,GAAG,IAAI,CAsDjF;AAED;;4BAE4B;AAC5B,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAmF3E;AAED;kFACkF;AAClF,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAC1C,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAOtB;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,UAAU,EAAE,EACrB,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAEtB;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,OAAO,EAAE,EAClB,WAAW,SAA2B,GACrC,kBAAkB,EAAE,CAEtB;AAED;;wEAEwE;AACxE,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,EACzC,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAYlB"}

package/dist/committed-round.js

@@ -0,0 +1,222 @@
+/** Canonical read model for committed rounds.
+ *
+ * Durable documents remain the source of truth. This module is the only
+ * place that interprets their transaction envelope or the compiler's merged
+ * lineage representation. Consumers receive one stable, read-only view.
+ */
+import { parseRoundTransactionSnapshot } from "./round-transaction.js";
+import { effectiveOutcome, parseRoundContract } from "./self-eval.js";
+import { entryRound, isRecord } from "./token-utils.js";
+function committedAction(value) {
+    return value === "continue" || value === "stop" || value === "backtrack"
+        ? value
+        : null;
+}
+function snapshots(value) {
+    return Array.isArray(value) ? value : [];
+}
+function flags(value) {
+    return Array.isArray(value) ? value : [];
+}
+function roundOutcome(value) {
+    return value === "success" || value === "partial" ||
+        value === "failed" || value === "blocked"
+        ? value
+        : null;
+}
+function strings(value) {
+    return Array.isArray(value)
+        ? value.filter((item) => typeof item === "string")
+        : [];
+}
+/** Decode a durable :feedback entry. Reject/terminate/in-flight envelopes are
+ * not committed history and therefore do not produce a view. */
+export function decodeCommittedRound(entry) {
+    if (!String(entry.task_id ?? "").endsWith(":feedback"))
+        return null;
+    const lineage = isRecord(entry.loop_lineage) ? entry.loop_lineage : null;
+    const transaction = lineage && isRecord(lineage.round_transaction)
+        ? lineage.round_transaction
+        : null;
+    if (!transaction)
+        return null;
+    const snapshot = parseRoundTransactionSnapshot(transaction.snapshot);
+    if (snapshot && snapshot.phase !== "committed")
+        return null;
+    const resultValue = isRecord(transaction.result)
+        ? transaction.result
+        : snapshot?.result;
+    if (!isRecord(resultValue))
+        return null;
+    const action = committedAction(resultValue.action);
+    if (!action)
+        return null;
+    const result = resultValue;
+    const round = snapshot?.round ?? entryRound(entry);
+    const loopId = snapshot?.loopId ?? String(entry.loop_id ?? lineage?.loop_id ?? "");
+    if (round < 1 || !loopId)
+        return null;
+    const evaluation = snapshot?.evaluation ?? null;
+    const outcome = evaluation ? effectiveOutcome(evaluation) : null;
+    const sequence = typeof entry.sequence === "number" ? entry.sequence : undefined;
+    return {
+        source: "feedback",
+        sourceEntry: entry,
+        loopId,
+        round,
+        roundId: snapshot?.roundId ?? String(transaction.round_id ?? `loop:${loopId}:round:${round}`),
+        sequence,
+        attempt: snapshot?.attempt ?? 1,
+        promptArtifact: snapshot?.promptArtifact ?? null,
+        evaluation,
+        executionEvidence: evaluation?.execution_evidence ?? null,
+        verificationFlags: flags(result.verificationFlags),
+        result,
+        action,
+        success: result.roundSuccess === true,
+        outcome,
+        contractProposal: evaluation?.round_contract
+            ? parseRoundContract(evaluation.round_contract) ?? null
+            : null,
+        beforeEvidence: snapshots(snapshot?.beforeEvidence),
+        afterEvidence: snapshots(snapshot?.afterEvidence),
+        roundEvidence: snapshots(snapshot?.roundEvidence),
+        outputSummary: evaluation?.output_summary,
+        constraintViolations: strings(evaluation?.constraint_violations),
+        discoveredConstraints: strings(evaluation?.discovered_constraints),
+        activeConstraints: strings(lineage?.constraints_active),
+        retractedConstraints: strings(evaluation?.retracted_constraints),
+        emergedSubtasks: strings(evaluation?.emerged_subtasks),
+        completedSubtasks: strings(evaluation?.completed_subtasks),
+        blockedSubtasks: strings(evaluation?.blocked_subtasks),
+        canceledSubtasks: strings(evaluation?.canceled_subtasks),
+    };
+}
+/** Decode an in-memory lineage entry after the engine merged its committed
+ * feedback. The merged shape is intentionally accepted only when stamped
+ * with committed_action. */
+export function decodeMergedRound(entry) {
+    if (!isRecord(entry))
+        return null;
+    const raw = entry;
+    const lineageValue = raw.loop_lineage ?? raw.lineage;
+    const lineage = isRecord(lineageValue) ? lineageValue : {};
+    const action = committedAction(lineage.committed_action ?? raw.committed_action);
+    if (!action)
+        return null;
+    const round = entryRound(raw);
+    if (round < 1)
+        return null;
+    const loopId = typeof raw.loop_id === "string"
+        ? raw.loop_id
+        : typeof lineage.loop_id === "string" ? lineage.loop_id : "";
+    const roundId = typeof lineage.round_id === "string"
+        ? lineage.round_id
+        : `loop:${loopId}:round:${round}`;
+    const evaluationRaw = {};
+    const evaluationKeys = [
+        "success", "output_summary", "constraint_violations", "should_continue",
+        "discovered_constraints", "objective_refinement", "emerged_subtasks",
+        "execution_evidence", "retracted_constraints", "revised_success_criteria",
+        "wrong_assumptions", "worker_results", "compression_checkpoint",
+        "checkpoint_label", "next_action", "completed_subtasks", "blocked_subtasks",
+        "canceled_subtasks", "stop_reason", "outcome", "blocker",
+        "retroactiveClaims", "no_change_reason", "drift_clarification",
+        "prompt_requests", "round_contract",
+    ];
+    let hasEvaluation = false;
+    for (const key of evaluationKeys) {
+        const value = raw[key] ?? lineage[key];
+        if (value !== undefined) {
+            evaluationRaw[key] = value;
+            hasEvaluation = true;
+        }
+    }
+    const evaluation = hasEvaluation
+        ? evaluationRaw
+        : null;
+    const resultRaw = isRecord(lineage.result) ? lineage.result : null;
+    const result = resultRaw ? resultRaw : null;
+    const outcome = roundOutcome(evaluationRaw.outcome) ??
+        (typeof evaluationRaw.success === "boolean"
+            ? evaluationRaw.success ? "success" : "failed"
+            : null);
+    const proposal = parseRoundContract(evaluationRaw.round_contract) ?? null;
+    const executionEvidence = isRecord(evaluationRaw.execution_evidence)
+        ? evaluationRaw.execution_evidence
+        : null;
+    return {
+        source: "merged",
+        sourceEntry: raw,
+        loopId,
+        round,
+        roundId,
+        sequence: typeof lineage.sequence === "number" ? lineage.sequence : undefined,
+        attempt: typeof lineage.attempt === "number" ? lineage.attempt : 1,
+        promptArtifact: isRecord(lineage.prompt_artifact)
+            ? lineage.prompt_artifact
+            : null,
+        evaluation,
+        executionEvidence,
+        verificationFlags: flags(raw.verification_flags ?? lineage.verification_flags),
+        result,
+        action,
+        success: typeof raw.success === "boolean"
+            ? raw.success
+            : typeof lineage.success === "boolean" ? lineage.success : false,
+        outcome,
+        contractProposal: proposal,
+        beforeEvidence: snapshots(lineage.before_evidence),
+        afterEvidence: snapshots(lineage.after_evidence),
+        roundEvidence: snapshots(lineage.round_evidence),
+        outputSummary: typeof evaluationRaw.output_summary === "string"
+            ? evaluationRaw.output_summary
+            : undefined,
+        constraintViolations: strings(evaluationRaw.constraint_violations),
+        discoveredConstraints: strings(evaluationRaw.discovered_constraints),
+        activeConstraints: strings(raw.constraints_active ?? lineage.constraints_active),
+        retractedConstraints: strings(evaluationRaw.retracted_constraints),
+        emergedSubtasks: strings(evaluationRaw.emerged_subtasks),
+        completedSubtasks: strings(evaluationRaw.completed_subtasks),
+        blockedSubtasks: strings(evaluationRaw.blocked_subtasks),
+        canceledSubtasks: strings(evaluationRaw.canceled_subtasks),
+    };
+}
+/** Normalize committed history: rollback directives disappear, later records
+ * replace earlier records for the same logical round, and output is ascending. */
+export function historyRounds(views, beforeRound = Number.POSITIVE_INFINITY) {
+    const byRound = new Map();
+    for (const view of views) {
+        if (!view || view.action === "backtrack" || view.round >= beforeRound)
+            continue;
+        byRound.set(view.round, view);
+    }
+    return [...byRound.values()].sort((a, b) => a.round - b.round);
+}
+export function committedRoundsFromEntries(entries, beforeRound = Number.POSITIVE_INFINITY) {
+    return historyRounds(entries.map(decodeCommittedRound), beforeRound);
+}
+export function mergedRoundsFromEntries(entries, beforeRound = Number.POSITIVE_INFINITY) {
+    return historyRounds(entries.map(decodeMergedRound), beforeRound);
+}
+/** Machine-observed git motion for the most recent contiguous window.
+ * Consumers must decode durable or hydrated entries before calling this;
+ * transaction-envelope interpretation stays confined to this module. */
+export function machineGitMotionSeries(rounds, currentRound, lookback) {
+    const byRound = new Map();
+    for (const round of rounds) {
+        if (round.round < 1 || round.round >= currentRound)
+            continue;
+        const git = round.roundEvidence.find((snapshot) => snapshot.provider === "git");
+        if (!git)
+            continue;
+        byRound.set(round.round, Array.isArray(git.files) && git.files.length > 0);
+    }
+    if (byRound.size < lookback)
+        return null;
+    const recent = [...byRound.keys()].sort((a, b) => a - b).slice(-lookback);
+    if (recent[0] < currentRound - lookback)
+        return null;
+    return recent.map((round) => byRound.get(round));
+}
+//# sourceMappingURL=committed-round.js.map

package/dist/committed-round.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"committed-round.js","sourceRoot":"","sources":["../src/committed-round.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAoCxD,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,WAAW;QACtE,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAC/C,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;QACzC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QAClE,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,oBAAoB,CAAC,KAAiB;IACpD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,WAAW,GAAG,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAChE,CAAC,CAAC,OAAO,CAAC,iBAAiB;QAC3B,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,QAAQ,GAAG,6BAA6B,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IACrE,IAAI,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC;QAC9C,CAAC,CAAC,WAAW,CAAC,MAAM;QACpB,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAG,WAA4C,CAAC;IAC5D,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,UAAU,CAAC,KAA2C,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;IACnF,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,UAAU,GAAG,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,KAAK;QAClB,MAAM;QACN,KAAK;QACL,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,IAAI,QAAQ,MAAM,UAAU,KAAK,EAAE,CAAC;QAC7F,QAAQ;QACR,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,CAAC;QAC/B,cAAc,EAAE,QAAQ,EAAE,cAAc,IAAI,IAAI;QAChD,UAAU;QACV,iBAAiB,EAAE,UAAU,EAAE,kBAAkB,IAAI,IAAI;QACzD,iBAAiB,EAAE,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAClD,MAAM;QACN,MAAM;QACN,OAAO,EAAE,MAAM,CAAC,YAAY,KAAK,IAAI;QACrC,OAAO;QACP,gBAAgB,EAAE,UAAU,EAAE,cAAc;YAC1C,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,IAAI;YACvD,CAAC,CAAC,IAAI;QACR,cAAc,EAAE,SAAS,CAAC,QAAQ,EAAE,cAAc,CAAC;QACnD,aAAa,EAAE,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC;QACjD,aAAa,EAAE,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC;QACjD,aAAa,EAAE,UAAU,EAAE,cAAc;QACzC,oBAAoB,EAAE,OAAO,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAChE,qBAAqB,EAAE,OAAO,CAAC,UAAU,EAAE,sBAAsB,CAAC;QAClE,iBAAiB,EAAE,OAAO,CAAC,OAAO,EAAE,kBAAkB,CAAC;QACvD,oBAAoB,EAAE,OAAO,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAChE,eAAe,EAAE,OAAO,CAAC,UAAU,EAAE,gBAAgB,CAAC;QACtD,iBAAiB,EAAE,OAAO,CAAC,UAAU,EAAE,kBAAkB,CAAC;QAC1D,eAAe,EAAE,OAAO,CAAC,UAAU,EAAE,gBAAgB,CAAC;QACtD,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC;KACzD,CAAC;AACJ,CAAC;AAED;;4BAE4B;AAC5B,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,OAAO,CAAC;IACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,gBAAgB,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACjF,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAC5C,CAAC,CAAC,GAAG,CAAC,OAAO;QACb,CAAC,CAAC,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ;QAClD,CAAC,CAAC,OAAO,CAAC,QAAQ;QAClB,CAAC,CAAC,QAAQ,MAAM,UAAU,KAAK,EAAE,CAAC;IACpC,MAAM,aAAa,GAA4B,EAAE,CAAC;IAClD,MAAM,cAAc,GAAG;QACrB,SAAS,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,iBAAiB;QACvE,wBAAwB,EAAE,sBAAsB,EAAE,kBAAkB;QACpE,oBAAoB,EAAE,uBAAuB,EAAE,0BAA0B;QACzE,mBAAmB,EAAE,gBAAgB,EAAE,wBAAwB;QAC/D,kBAAkB,EAAE,aAAa,EAAE,oBAAoB,EAAE,kBAAkB;QAC3E,mBAAmB,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS;QACxD,mBAAmB,EAAE,kBAAkB,EAAE,qBAAqB;QAC9D,iBAAiB,EAAE,gBAAgB;KACpC,CAAC;IACF,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,aAAa,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YAC3B,aAAa,GAAG,IAAI,CAAC;QACvB,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,aAAa;QAC9B,CAAC,CAAC,aAA0C;QAC5C,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,SAA0C,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC;QACjD,CAAC,OAAO,aAAa,CAAC,OAAO,KAAK,SAAS;YACzC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;YAC9C,CAAC,CAAC,IAAI,CAAC,CAAC;IACZ,MAAM,QAAQ,GAAG,kBAAkB,CAAC,aAAa,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC;IAC1E,MAAM,iBAAiB,GAAG,QAAQ,CAAC,aAAa,CAAC,kBAAkB,CAAC;QAClE,CAAC,CAAC,aAAa,CAAC,kBAAkD;QAClE,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,GAAG;QAChB,MAAM;QACN,KAAK;QACL,OAAO;QACP,QAAQ,EAAE,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QAC7E,OAAO,EAAE,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClE,cAAc,EAAE,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;YAC/C,CAAC,CAAC,OAAO,CAAC,eAA4C;YACtD,CAAC,CAAC,IAAI;QACR,UAAU;QACV,iBAAiB;QACjB,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,kBAAkB,IAAI,OAAO,CAAC,kBAAkB,CAAC;QAC9E,MAAM;QACN,MAAM;QACN,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,SAAS;YACvC,CAAC,CAAC,GAAG,CAAC,OAAO;YACb,CAAC,CAAC,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;QAClE,OAAO;QACP,gBAAgB,EAAE,QAAQ;QAC1B,cAAc,EAAE,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC;QAClD,aAAa,EAAE,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC;QAChD,aAAa,EAAE,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC;QAChD,aAAa,EAAE,OAAO,aAAa,CAAC,cAAc,KAAK,QAAQ;YAC7D,CAAC,CAAC,aAAa,CAAC,cAAc;YAC9B,CAAC,CAAC,SAAS;QACb,oBAAoB,EAAE,OAAO,CAAC,aAAa,CAAC,qBAAqB,CAAC;QAClE,qBAAqB,EAAE,OAAO,CAAC,aAAa,CAAC,sBAAsB,CAAC;QACpE,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,OAAO,CAAC,kBAAkB,CAAC;QAChF,oBAAoB,EAAE,OAAO,CAAC,aAAa,CAAC,qBAAqB,CAAC;QAClE,eAAe,EAAE,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC;QACxD,iBAAiB,EAAE,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC;QAC5D,eAAe,EAAE,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC;QACxD,gBAAgB,EAAE,OAAO,CAAC,aAAa,CAAC,iBAAiB,CAAC;KAC3D,CAAC;AACJ,CAAC;AAED;kFACkF;AAClF,MAAM,UAAU,aAAa,CAC3B,KAA0C,EAC1C,WAAW,GAAG,MAAM,CAAC,iBAAiB;IAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,IAAI,WAAW;YAAE,SAAS;QAChF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAqB,EACrB,WAAW,GAAG,MAAM,CAAC,iBAAiB;IAEtC,OAAO,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,WAAW,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAkB,EAClB,WAAW,GAAG,MAAM,CAAC,iBAAiB;IAEtC,OAAO,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,CAAC;AACpE,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,sBAAsB,CACpC,MAAyC,EACzC,YAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,IAAI,YAAY;YAAE,SAAS;QAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;QAChF,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,GAAG,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAAC;AACpD,CAAC"}

package/dist/enforcement-gate.d.ts

@@ -45,7 +45,9 @@ 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 (R1 → R5). The first rule that fires wins.
+ *  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).
@@ -54,7 +56,7 @@ gitHead?: string): string;
  * @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, skipEvidenceRules?: boolean, 
+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;
 /** Build a rejection prompt for 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;AAyHvB;;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,CA6CxD;AAED;;;sCAGsC;AACtC,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,GACzB,MAAM,GAAG,IAAI,CAwBf;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,CA6IR;AAy0BD;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,kBAAkB,EAChC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,qBAAqB,GAAE,MAAU,EACjC,iBAAiB,UAAQ;AACzB,6DAA6D;AAC7D,wBAAwB,GAAE,MAAU,GACnC,iBAAiB,CAiCnB;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;AA2FvB;;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,CAaf;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,CAsJR;AAi4BD;;;;;;;;;;;;;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,CA2FnB;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"}