loopforge 3.0.0 → 3.6.0

package/dist/cognitive-governance.js

@@ -1,12 +1,34 @@
+/** v2.12: User/Agent gate classification and governance helpers.
+ *
+ *  Ported from the 3.x line with the V2 flat-contract adaptation: the MCP
+ *  surface works with a flat gate text (the agent's blocker description),
+ *  while the structured GateActionDescriptor stays an internal type for
+ *  audit display. Only decisions are persisted — gate state is always
+ *  re-derivable via deriveGate, so the vault never holds a second truth.
+ */
 import { createHash } from "node:crypto";
-import { deriveCriterionId, deriveGateId, deriveTextHash } from "./derive-id.js";
-import { isRecord } from "./token-utils.js";
-import { entryRound } from "./token-utils.js";
+import { computeGoalTextHash } from "./loop-compiler.js";
+import { entryRound as sharedEntryRound } from "./token-utils.js";
+export function entryRound(entry) {
+    return sharedEntryRound(entry);
+}
+/** Effects that always require human authorization. */
 const USER_EFFECTS = new Set([
     "production", "credentials", "data_migration", "public_api", "publish",
     "payment", "external_communication",
 ]);
+/** High-risk markers, English + Chinese. */
 const USER_RISK = /production|prod\b|credential|secret|permission|publish|release|database migration|schema migration|public api break|rm\s+-rf|reset\s+--hard|send email|payment|生产|上线|凭据|密钥|权限|发布|数据迁移|破坏性/i;
+/** Stable gate ID from canonicalized gate text (gate- + sha256 slice 12). */
+export function deriveGateId(text) {
+    return "gate-" + computeGoalTextHash(text).slice(0, 12);
+}
+/** Stable todo item ID (todo- + sha256 slice 8) for the LoopProjection. */
+export function deriveTodoId(text) {
+    return "todo-" + computeGoalTextHash(text).slice(0, 8);
+}
+/** Canonical serialization — sorted scope/effects make the hash stable
+ *  across field-order and whitespace differences. */
 export function canonicalizeGateAction(action) {
     return JSON.stringify({
         description: action.description.trim(),
@@ -16,9 +38,12 @@ export function canonicalizeGateAction(action) {
         authorization: action.authorization,
     });
 }
+/** 16-hex hash binding an approval to the exact action text — an edited
+ *  action produces a different hash, so old approvals expire automatically. */
 export function gateActionHash(action) {
     return createHash("sha256").update(canonicalizeGateAction(action)).digest("hex").slice(0, 16);
 }
+/** Classify a structured action descriptor (internal use; audit display). */
 export function deriveStructuredGate(action) {
     const actionHash = gateActionHash(action);
     const highRisk = action.authorization === "user_required" ||
@@ -44,6 +69,9 @@ export function deriveStructuredGate(action) {
             },
     };
 }
+/** Classify a flat gate text (MCP surface). The id embeds the canonicalized
+ *  text hash, so a changed blocker text yields a different gate id and any
+ *  previously recorded approval no longer matches. */
 export function deriveGate(action, scope = []) {
     if (typeof action !== "string")
         return deriveStructuredGate(action);
@@ -64,25 +92,15 @@ export function deriveGate(action, scope = []) {
         };
     return { id, gate };
 }
-function report(entry) {
-    return isRecord(entry.round_report) ? entry.round_report : null;
-}
-/**
- * Replay events in a deterministic logical order. Backends are allowed to
- * return entries in different physical orders, so insertion order cannot be
- * used to decide which gate decision or verification result wins.
- * Shared with the policy-metrics replay path, which must fold events in the
- * same order as the audit.
- */
+/** Deterministic replay order for audit — backends may return entries in
+ *  different physical orders, so insertion order can never decide which
+ *  gate decision or verification result wins. */
 export function auditOrder(entries) {
     return entries
         .map((entry, index) => ({ entry, index }))
         .sort((left, right) => {
-        const leftSequence = left.entry.event_sequence;
-        const rightSequence = right.entry.event_sequence;
-        if (typeof leftSequence === "number" && typeof rightSequence === "number" && leftSequence !== rightSequence) {
-            return leftSequence - rightSequence;
-        }
+        // v2.14: the event_sequence sort layer was removed — no entry in the
+        // codebase ever writes that field, so the branch was unreachable.
         const roundDiff = entryRound(left.entry) - entryRound(right.entry);
         if (roundDiff !== 0)
             return roundDiff;
@@ -90,9 +108,8 @@ export function auditOrder(entries) {
         const timeRight = Date.parse(right.entry.timestamp ?? "");
         const validLeft = Number.isFinite(timeLeft);
         const validRight = Number.isFinite(timeRight);
-        if (validLeft && validRight && timeLeft !== timeRight) {
+        if (validLeft && validRight && timeLeft !== timeRight)
             return timeLeft - timeRight;
-        }
         if (validLeft !== validRight)
             return validLeft ? -1 : 1;
         const key = (entry) => [
@@ -100,127 +117,10 @@ export function auditOrder(entries) {
             entry.task_id ?? entry.id ?? "",
             entry.gate_id ?? "",
             entry.approved === true ? "1" : entry.approved === false ? "0" : "",
-        ].join("\u0000");
+        ].join("\0");
         const keyDiff = key(left.entry).localeCompare(key(right.entry));
         return keyDiff !== 0 ? keyDiff : left.index - right.index;
     })
         .map(({ entry }) => entry);
 }
-/** Read-only, replayable audit derived from accepted vault events. */
-export function auditEntries(loopId, entries) {
-    const orderedEntries = auditOrder(entries);
-    const objectiveEntry = [...orderedEntries].reverse().find((entry) => isRecord(entry.loop_objective));
-    const objective = objectiveEntry && isRecord(objectiveEntry.loop_objective)
-        ? objectiveEntry.loop_objective
-        : null;
-    const declared = objective && Array.isArray(objective.success_criteria)
-        ? objective.success_criteria.filter((value) => typeof value === "string")
-        : [];
-    const evidenced = new Set();
-    const passed = new Set();
-    const failed = new Set();
-    const unavailable = new Set();
-    const evidenceRefs = new Set();
-    const gateState = new Map();
-    const obligations = new Map();
-    const criterionByTarget = new Map();
-    for (const criterion of declared) {
-        const normalized = criterion.trim().replace(/\s+/g, " ").toLowerCase();
-        criterionByTarget.set(normalized, criterion);
-        criterionByTarget.set(deriveCriterionId(normalized), criterion);
-    }
-    for (const entry of orderedEntries) {
-        if (entry.task_type === "gate_decision" && typeof entry.gate_id === "string") {
-            gateState.set(entry.gate_id, entry.approved === true);
-        }
-        if (entry.task_type === "gate_opened" && typeof entry.gate_id === "string") {
-            if (!gateState.has(entry.gate_id))
-                gateState.set(entry.gate_id, false);
-        }
-        const value = report(entry);
-        const evidence = value && isRecord(value.evidence) ? value.evidence : null;
-        if (value && isRecord(value.blocker) && typeof value.blocker.reason === "string") {
-            const refs = Array.isArray(value.blocker.references)
-                ? value.blocker.references.filter((ref) => typeof ref === "string")
-                : [];
-            const derived = isRecord(value.blocker.action)
-                ? deriveStructuredGate(value.blocker.action)
-                : deriveGate(value.blocker.reason, refs);
-            if (derived.gate.kind === "user" && !gateState.has(derived.id)) {
-                gateState.set(derived.id, false);
-            }
-        }
-        if (!evidence)
-            continue;
-        const provenance = isRecord(evidence.provenance) ? evidence.provenance : {};
-        if (Array.isArray(evidence.claims)) {
-            for (const raw of evidence.claims) {
-                if (!isRecord(raw) || typeof raw.targetId !== "string" || !Array.isArray(raw.evidenceRefs) || raw.evidenceRefs.length === 0)
-                    continue;
-                const refs = raw.evidenceRefs.filter((ref) => typeof ref === "string");
-                const verified = refs.some((ref) => isRecord(provenance[ref]) &&
-                    provenance[ref].status === "verified" && provenance[ref].source !== "agent");
-                if (verified) {
-                    const normalizedTarget = raw.targetId.trim().replace(/\s+/g, " ").toLowerCase();
-                    evidenced.add(criterionByTarget.get(normalizedTarget) ?? raw.targetId.trim());
-                }
-                for (const ref of refs)
-                    evidenceRefs.add(ref);
-            }
-        }
-        if (Array.isArray(evidence.checks)) {
-            for (const raw of evidence.checks) {
-                if (!isRecord(raw) || typeof raw.name !== "string")
-                    continue;
-                const checkProvenance = provenance[`check:${raw.name}`];
-                const evidenceStatus = isRecord(checkProvenance)
-                    ? checkProvenance.status
-                    : "unavailable";
-                const id = `reg-${deriveTextHash(raw.name, 12)}`;
-                const sourceRound = entryRound(entry);
-                if (raw.status === "passed" && evidenceStatus === "verified") {
-                    passed.add(raw.name);
-                    failed.delete(raw.name);
-                    unavailable.delete(raw.name);
-                    obligations.set(raw.name, { id, check: raw.name, sourceRound, status: "satisfied" });
-                }
-                else if (raw.status === "failed" || evidenceStatus === "contradicted") {
-                    failed.add(raw.name);
-                    passed.delete(raw.name);
-                    unavailable.delete(raw.name);
-                    obligations.set(raw.name, { id, check: raw.name, sourceRound, status: "contradicted" });
-                }
-                else {
-                    unavailable.add(raw.name);
-                    passed.delete(raw.name);
-                    obligations.set(raw.name, { id, check: raw.name, sourceRound, status: "open" });
-                }
-            }
-        }
-    }
-    const missing = declared.filter((criterion) => !evidenced.has(criterion));
-    const unresolvedUserGates = [...gateState].filter(([, approved]) => !approved).map(([id]) => id);
-    const verdict = failed.size > 0 ? "contradicted"
-        : missing.length || unresolvedUserGates.length || unavailable.size ? "incomplete"
-            : "passed";
-    const sequences = entries.map((entry) => entry.event_sequence);
-    const sequenceValues = sequences.filter((value) => typeof value === "number" && Number.isInteger(value) && value > 0);
-    const sequenceSet = new Set(sequenceValues);
-    const sequenceComplete = entries.length === 0
-        || (sequenceValues.length === entries.length
-            && sequenceSet.size === entries.length
-            && Math.min(...sequenceValues) === 1
-            && Math.max(...sequenceValues) === entries.length
-            && entries.every((entry) => entry.loop_id === undefined || entry.loop_id === loopId));
-    return {
-        loopId,
-        verdict,
-        criteria: { declared, evidenced: [...evidenced].sort(), missing },
-        checks: { passed: [...passed].sort(), failed: [...failed].sort(), unavailable: [...unavailable].sort() },
-        unresolvedUserGates,
-        sequenceComplete,
-        evidenceRefs: [...evidenceRefs].sort(),
-        regressionObligations: [...obligations.values()].sort((a, b) => a.check.localeCompare(b.check)),
-    };
-}
 //# sourceMappingURL=cognitive-governance.js.map

package/dist/cognitive-governance.js.map

@@ -1 +1 @@
-{"version":3,"file":"cognitive-governance.js","sourceRoot":"","sources":["../src/cognitive-governance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGjF,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,YAAY,GAAG,IAAI,GAAG,CAA0C;IACpE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS;IACtE,SAAS,EAAE,wBAAwB;CACpC,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,4LAA4L,CAAC;AAE/M,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE;QACtC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC5E,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAA4B;IACzD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAA4B;IAC/D,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,KAAK,eAAe;QACvD,MAAM,CAAC,aAAa,KAAK,cAAc;QACvC,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,QAAQ,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/F,OAAO;QACL,EAAE,EAAE,QAAQ,UAAU,EAAE;QACxB,UAAU;QACV,IAAI,EAAE,QAAQ;YACZ,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,0BAA0B,MAAM,CAAC,WAAW,EAAE;gBACxD,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvE,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;aACxG;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,WAAW;gBAC3B,gBAAgB,EAAE,MAAM,CAAC,KAAK;gBAC9B,mBAAmB,EAAE,4EAA4E;aAClG;KACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAqC,EAAE,QAAkB,EAAE;IACpF,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,IAAI,GAAgB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,oCAAoC,MAAM,EAAE;YACtD,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7C,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;SACxG;QACH,CAAC,CAAC;YACE,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,mBAAmB,EAAE,4EAA4E;SAClG,CAAC;IACN,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAkBD,SAAS,MAAM,CAAC,KAAiB;IAC/B,OAAO,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC9C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;QAC/C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC;QACjD,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;YAC5G,OAAO,YAAY,GAAG,aAAa,CAAC;QACtC,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,IAAI,UAAU,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACtD,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC9B,CAAC;QACD,IAAI,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,MAAM,GAAG,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC;YACzC,KAAK,CAAC,SAAS,IAAI,EAAE;YACrB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,IAAI,EAAE;YAC/B,KAAK,CAAC,OAAO,IAAI,EAAE;YACnB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;SACpE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5D,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,OAAqB;IAChE,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;IACrG,MAAM,SAAS,GAAG,cAAc,IAAI,QAAQ,CAAC,cAAc,CAAC,cAAc,CAAC;QACzE,CAAC,CAAC,cAAc,CAAC,cAAc;QAC/B,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,gBAAgB,CAAC;QACrE,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;QAC1F,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6G,CAAC;IACzI,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACvE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC7C,iBAAiB,CAAC,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC7E,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,IAAI,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACjF,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;gBAClD,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;gBAClF,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAC5C,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAyC,CAAC;gBAC/E,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/D,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBACtI,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC;gBACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;oBAC3D,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;gBAC/E,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,gBAAgB,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;oBAChF,SAAS,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChF,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI;oBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAAE,SAAS;gBAC7D,MAAM,eAAe,GAAG,UAAU,CAAC,SAAS,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,eAAe,CAAC;oBAC9C,CAAC,CAAC,eAAe,CAAC,MAAM;oBACxB,CAAC,CAAC,aAAa,CAAC;gBAClB,MAAM,EAAE,GAAG,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;gBACjD,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;gBACtC,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,cAAc,KAAK,UAAU,EAAE,CAAC;oBAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC5E,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;gBACvF,CAAC;qBAAM,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,cAAc,KAAK,cAAc,EAAE,CAAC;oBACxE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC5E,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;gBAC1F,CAAC;qBAAM,CAAC;oBACN,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1E,MAAM,mBAAmB,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc;QAC9C,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,mBAAmB,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACjF,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CACrC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAC9F,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IAC5C,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC;WACxC,CACD,cAAc,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;eACrC,WAAW,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM;eACnC,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC;eACjC,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,OAAO,CAAC,MAAM;eAC9C,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CACrF,CAAC;IACJ,OAAO;QACL,MAAM;QACN,OAAO;QACP,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE;QACjE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE;QACxG,mBAAmB;QACnB,gBAAgB;QAChB,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE;QACtC,qBAAqB,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KAChG,CAAC;AACJ,CAAC"}
+{"version":3,"file":"cognitive-governance.js","sourceRoot":"","sources":["../src/cognitive-governance.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,OAAO,EAAE,UAAU,IAAI,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAElE,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,OAAO,gBAAgB,CAAC,KAA2C,CAAC,CAAC;AACvE,CAAC;AAED,uDAAuD;AACvD,MAAM,YAAY,GAAG,IAAI,GAAG,CAA0C;IACpE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS;IACtE,SAAS,EAAE,wBAAwB;CACpC,CAAC,CAAC;AAEH,4CAA4C;AAC5C,MAAM,SAAS,GAAG,4LAA4L,CAAC;AAE/M,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE;QACtC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC5E,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;AACL,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,cAAc,CAAC,MAA4B;IACzD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,MAA4B;IAE5B,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,KAAK,eAAe;QACvD,MAAM,CAAC,aAAa,KAAK,cAAc;QACvC,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,QAAQ,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/F,OAAO;QACL,EAAE,EAAE,QAAQ,UAAU,EAAE;QACxB,UAAU;QACV,IAAI,EAAE,QAAQ;YACZ,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,0BAA0B,MAAM,CAAC,WAAW,EAAE;gBACxD,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvE,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;aACxG;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,WAAW;gBAC3B,gBAAgB,EAAE,MAAM,CAAC,KAAK;gBAC9B,mBAAmB,EAAE,4EAA4E;aAClG;KACN,CAAC;AACJ,CAAC;AAED;;sDAEsD;AACtD,MAAM,UAAU,UAAU,CACxB,MAAqC,EACrC,QAAkB,EAAE;IAEpB,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,IAAI,GAAgB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,oCAAoC,MAAM,EAAE;YACtD,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7C,WAAW,EAAE,CAAC,yBAAyB,EAAE,eAAe,EAAE,4CAA4C,CAAC;SACxG;QACH,CAAC,CAAC;YACE,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,mBAAmB,EAAE,4EAA4E;SAClG,CAAC;IACN,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;iDAEiD;AACjD,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC9C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,IAAI,UAAU,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,GAAG,SAAS,CAAC;QACnF,IAAI,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,MAAM,GAAG,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC;YACzC,KAAK,CAAC,SAAS,IAAI,EAAE;YACrB,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,IAAI,EAAE;YAC/B,KAAK,CAAC,OAAO,IAAI,EAAE;YACnB,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;SACpE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC5D,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}

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

@@ -0,0 +1,78 @@
+/** Enforcement Gate — Layer 2 round-boundary runtime enforcement (v1.13).
+ *
+ * Pure-function module. Receives the verification gate's findings plus
+ * round-level context and decides whether to accept the round, reject it
+ * (force the agent to redo), or terminate the loop.
+ *
+ * This is the "runtime" that prompt-only constraint systems lack.
+ * Verification gate detects WHAT is wrong; enforcement gate decides
+ * what to DO about it.
+ *
+ * Decision semantics:
+ * - accept:    round passes all checks; advance to next round as normal.
+ * - reject:    agent's self-evaluation or round output is invalid; the
+ *              agent receives a rejection prompt and must redo the SAME
+ *              round. Round counter does NOT increment.
+ * - terminate: loop has reached an unrecoverable state; stop immediately
+ *              with stopReason "enforcement_terminated".
+ */
+import type { VaultEntry } from "./loop-store.js";
+import type { EnforcementResult, SelfEvaluation, VerificationFlag, VerificationResult } from "./protocol.js";
+/** Scan backwards from currentRound to find the most recent clean round.
+ *  Collects discovered_constraints from skipped rounds along the way.
+ *  Returns null when no clean round is found within maxDepth. */
+export declare function findSafeRestorePoint(currentRound: number, vaultEntries: VaultEntry[], maxDepth: number): {
+    round: number;
+    skippedDiscoveries: string[];
+} | null;
+/** v2.12: Git HEAD commit hash at the restore point. Read from the restore
+ *  round's committed transaction snapshot (after evidence preferred, before
+ *  evidence as fallback). Returns null when the round has no git snapshot
+ *  or no committed feedback entry. */
+export declare function findBacktrackTargetGitHead(restoreRound: number, vaultEntries: VaultEntry[]): string | null;
+/** Build the backtrack prompt injected at the top of the restored round.
+ *
+ *  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[], 
+/** v2.13: Files changed in the skipped rounds (from evidence snapshots).
+ *  Used to show the agent exactly what needs to be reverted. */
+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;
+/** Build a rejection prompt for the agent.
+ *
+ *  The prompt clearly states the round was rejected, why, what the agent
+ *  must fix, and that the agent must redo the SAME round (not advance).
+ *
+ *  v2.7: Accepts verificationFlags to render a diagnostic "Evidence Gap"
+ *  section. Each error/warn flag becomes a concrete claim-vs-evidence
+ *  mismatch statement so the agent knows exactly what to correct rather
+ *  than retrying blindly.
+ *
+ * @param currentRound      The round number that was rejected (NOT incremented).
+ * @param task              The original loop task description.
+ * @param enforceResult     The enforcement decision with reason and fix instructions.
+ * @param verificationFlags The verification gate's findings for this round.
+ *                          Used to build the Evidence Gap section. */
+export declare function buildRejectionPrompt(currentRound: number, task: string, enforceResult: EnforcementResult, verificationFlags?: VerificationFlag[]): string;
+//# sourceMappingURL=enforcement-gate.d.ts.map