loopforge 3.7.0 → 3.8.1

package/dist/audit.js

@@ -4,36 +4,63 @@
  *  happened per round); audit is the assessment layer (which claims are
  *  machine-verified, which gates were decided, is the sequence intact).
  *  Everything is derived from committed vault entries — audit never writes.
+ *
+ *  v3.8: the CONTRACT ITEM axis is the primary completion basis. The criterion
+ *  claims stay as an advisory second view — a criterion claim is an agent
+ *  statement whose machine backing is mediated by the contract items, so it
+ *  cannot be the completion signal. Both axes read the same committed-round
+ *  model and the same item reducer the coordinator and explain use.
  */
 import { eventSequence, StorageCorruptionError } from "./loop-store.js";
 import { auditOrder, deriveGate } from "./cognitive-governance.js";
 import { rederiveClaimViewWithFlags, listVerifiedClaims } from "./evidence-claims.js";
 import { isRecord, entryRound } from "./token-utils.js";
-import { decodeCommittedRound, machineEvidenceForRound } from "./committed-round.js";
+import { legacyTransactionRounds, machineEvidenceForRound, readOnlyRounds, } from "./committed-round.js";
+import { deriveRoundContractView } from "./round-contract.js";
+import { getPolicy } from "./policy.js";
 /** Build the audit from committed vault entries. Pure, read-only.
  *  @param store Optional LoopStore — when provided, sequence integrity is
  *  checked and provenanceAvailable becomes true. */
 export function buildAudit(loopId, entries, store) {
     const ordered = auditOrder(entries);
+    // v3.8: the shared committed-round read model — ordering, dedup and rollback
+    // exclusion come from it, not from a private rule. v3.8.1: the READ-ONLY
+    // window, which additionally applies the session frontier while a committed
+    // rollback directive is in effect, so a backtracked branch is not audited as
+    // this branch's history.
+    const views = readOnlyRounds(entries).filter((view) => view.loopId === loopId);
+    const commands = getPolicy().evidence.commands ?? [];
+    // The executed contract per round, through the ONE derivation explain and
+    // the live coordinator also call. Re-derived per round rather than walked
+    // incrementally on purpose: a private incremental walker would be a second
+    // history interpretation, which is exactly what this project forbids.
+    const contractByRound = new Map();
+    for (const view of views) {
+        contractByRound.set(view.round, deriveRoundContractView({
+            rounds: views,
+            round: view.round,
+            report: view.executionReport,
+            observations: view.observationDelta,
+            outcome: view.outcome,
+            commands,
+        }));
+    }
     // ── Rounds: per-round claims + checks from committed snapshots ─────────
+    //
+    // v3.8.1: the list is built from the SAME window the contract axis below
+    // reads. Scanning the raw entries here applied a second, weaker history
+    // rule — no replacement of a round by a later record of the same logical
+    // round — so a superseded record was listed twice and could still flip the
+    // verdict to `contradicted`, while explain (which reads only the window)
+    // reported a different loop. Rollback exclusion comes from the window too.
     const rounds = [];
-    for (const entry of ordered) {
-        const taskId = String(entry.task_id ?? "");
-        if (!taskId.startsWith(`loop:${loopId}:r`) || !taskId.endsWith(":feedback"))
-            continue;
-        const committed = decodeCommittedRound(entry);
-        if (!committed)
-            continue;
-        // v2.14: rounds committed with action="backtrack" were rolled back —
-        // they are not part of the loop's final history. Counting them would
-        // inflate the round list and let their error flags flip the verdict.
-        if (committed.action === "backtrack")
-            continue;
-        const round = entryRound(entry);
-        const outcome = committed.outcome ?? "unknown";
-        const claimView = committed.evaluation
-            ? rederiveClaimViewWithFlags(committed.evaluation, machineEvidenceForRound(committed), committed.verificationFlags)
+    for (const view of views) {
+        const round = view.round;
+        const outcome = view.outcome ?? "unknown";
+        const claimView = view.evaluation
+            ? rederiveClaimViewWithFlags(view.evaluation, machineEvidenceForRound(view), view.verificationFlags)
             : null;
+        const executed = contractByRound.get(round);
         rounds.push({
             round,
             outcome,
@@ -43,13 +70,57 @@ export function buildAudit(loopId, entries, store) {
                     status: claim.status === "verified" ? "verified" : "unverified",
                 }))
                 : [],
-            checks: committed.verificationFlags.map((flag) => ({
+            checks: view.verificationFlags.map((flag) => ({
                 check: flag.check,
                 severity: flag.severity,
                 verdict: flag.severity === "error" ? "failed" : flag.severity,
             })),
+            contract: executed?.contract && executed.statuses.contractId
+                ? {
+                    id: executed.statuses.contractId,
+                    declared_at_round: executed.contract.declared_at_round,
+                    closure: executed.statuses.closure,
+                    items: executed.statuses.items.map((item) => ({
+                        itemId: item.itemId,
+                        status: item.status,
+                    })),
+                }
+                : null,
         });
     }
+    // ── Contract item axis — the verification skeleton ─────────────────────
+    const contractsById = new Map();
+    for (const view of views) {
+        const executed = contractByRound.get(view.round);
+        if (!executed?.contract || !executed.statuses.contractId)
+            continue;
+        const id = executed.statuses.contractId;
+        const existing = contractsById.get(id);
+        contractsById.set(id, {
+            contract_id: id,
+            declared_at_round: existing?.declared_at_round ?? executed.contract.declared_at_round,
+            first_active_round: existing?.first_active_round ?? view.round,
+            last_active_round: view.round,
+            closure: executed.statuses.closure,
+            closed_at_round: executed.statuses.closed_at_round,
+            items: executed.statuses.items.map((item) => ({
+                itemId: item.itemId,
+                description: item.description,
+                status: item.status,
+            })),
+        });
+    }
+    const contracts = [...contractsById.values()]
+        .sort((a, b) => a.first_active_round - b.first_active_round || a.contract_id.localeCompare(b.contract_id));
+    const flatItems = contracts.flatMap((contract) => contract.items);
+    const contractsSummary = {
+        contracts,
+        open: contracts.filter((contract) => contract.closure === "open").length,
+        verifiedItems: flatItems.filter((item) => item.status === "verified").length,
+        insufficientItems: flatItems.filter((item) => item.status === "insufficient").length,
+        contradictedItems: flatItems.filter((item) => item.status === "contradicted").length,
+        pendingItems: flatItems.filter((item) => item.status === "pending").length,
+    };
     // ── Gates: latest decision wins; opened-without-decision stays open ────
     const decisionsByGate = new Map();
     const openedGates = new Map();
@@ -101,15 +172,26 @@ export function buildAudit(loopId, entries, store) {
                 throw error;
         }
     }
-    // ── Criteria accounting + verdict ──────────────────────────────────────
+    // ── Criteria accounting (advisory second axis) + verdict ───────────────
+    //
+    // v3.8 fix: `declared` used to be a PER-ROUND SUM while `evidenced` was a
+    // DEDUPLICATED count — a criterion claimed in three rounds read as three
+    // declared against one evidenced, so `missing` was fiction. Both sides are
+    // now distinct-id counts over the same history and compare directly.
     const verified = listVerifiedClaims(entries, loopId);
-    const declared = rounds.reduce((sum, round) => sum + round.claims.length, 0);
+    const declaredIds = new Set(rounds.flatMap((round) => round.claims.map((claim) => claim.text)));
+    const declared = declaredIds.size;
     const evidenced = verified.length;
+    // v3.8: the contract item axis decides completion. A contradicted item is a
+    // machine denial; an open contract is unfinished verification; the claim
+    // axis only speaks when no contract item exists to speak for it.
     let verdict = "passed";
-    if (rounds.some((round) => round.checks.some((check) => check.verdict === "failed"))) {
+    if (rounds.some((round) => round.checks.some((check) => check.verdict === "failed")) ||
+        contractsSummary.contradictedItems > 0) {
         verdict = "contradicted";
     }
-    else if (unresolvedUserGates.length > 0 || (declared > 0 && evidenced === 0)) {
+    else if (unresolvedUserGates.length > 0 || contractsSummary.open > 0 ||
+        (declared > 0 && evidenced === 0)) {
         verdict = "incomplete";
     }
     return {
@@ -118,9 +200,11 @@ export function buildAudit(loopId, entries, store) {
         rounds,
         gates,
         unresolvedUserGates,
+        contracts: contractsSummary,
         criteria: { declared, evidenced, missing: Math.max(0, declared - evidenced) },
         sequenceComplete,
         provenanceAvailable,
+        legacyRounds: legacyTransactionRounds(entries).map((item) => item.round),
     };
 }
 //# sourceMappingURL=audit.js.map

package/dist/audit.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit.js","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAEtF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AA8BrF;;oDAEoD;AACpD,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,OAAqB,EACrB,KAAiB;IAEjB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAEpC,0EAA0E;IAC1E,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,SAAS;QACtF,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW;YAAE,SAAS;QAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,IAAI,SAAS,CAAC;QAC/C,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU;YACpC,CAAC,CAAC,0BAA0B,CACxB,SAAS,CAAC,UAAU,EACpB,uBAAuB,CAAC,SAAS,CAAC,EAClC,SAAS,CAAC,iBAAiB,CAC5B;YACH,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,OAAO;YACP,MAAM,EAAE,SAAS;gBACf,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,KAAK,CAAC,QAAQ;oBACpB,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAmB,CAAC,CAAC,CAAC,YAAqB;iBAClF,CAAC,CAAC;gBACL,CAAC,CAAC,EAAE;YACN,MAAM,EAAE,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAA2B;aAC1F,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC9E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAwC,CAAC;YAChE,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;gBAC1B,MAAM;gBACN,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAClD,UAAU,EAAE,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBAC9E,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;gBACpC,SAAS,EAAE,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBAC3E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,EAAE,CAAC;YAC7C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE;gBACtB,WAAW,EAAE,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBAC/E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1C,8DAA8D;QAC9D,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,IAAI,mBAAmB,GAAG,KAAK,KAAK,SAAS,CAAC;IAC9C,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,gBAAgB,GAAG,SAAS,CAAC,MAAM,KAAK,GAAG,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gBAAgB,GAAG,KAAK,CAAC;YACzB,IAAI,CAAC,CAAC,KAAK,YAAY,sBAAsB,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;IAElC,IAAI,OAAO,GAA2B,QAAQ,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,OAAO;QACL,MAAM;QACN,OAAO;QACP,MAAM;QACN,KAAK;QACL,mBAAmB;QACnB,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC,EAAE;QAC7E,gBAAgB;QAChB,mBAAmB;KACpB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"audit.js","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAEtF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAsExC;;oDAEoD;AACpD,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,OAAqB,EACrB,KAAiB;IAEjB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACpC,6EAA6E;IAC7E,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,yBAAyB;IACzB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrD,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAsD,CAAC;IACtF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,uBAAuB,CAAC;YACtD,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,eAAe;YAC5B,YAAY,EAAE,IAAI,CAAC,gBAAgB;YACnC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ;SACT,CAAC,CAAC,CAAC;IACN,CAAC;IAED,0EAA0E;IAC1E,EAAE;IACF,yEAAyE;IACzE,wEAAwE;IACxE,yEAAyE;IACzE,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU;YAC/B,CAAC,CAAC,0BAA0B,CACxB,IAAI,CAAC,UAAU,EACf,uBAAuB,CAAC,IAAI,CAAC,EAC7B,IAAI,CAAC,iBAAiB,CACvB;YACH,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,OAAO;YACP,MAAM,EAAE,SAAS;gBACf,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,KAAK,CAAC,QAAQ;oBACpB,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAmB,CAAC,CAAC,CAAC,YAAqB;iBAClF,CAAC,CAAC;gBACL,CAAC,CAAC,EAAE;YACN,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAA2B;aAC1F,CAAC,CAAC;YACH,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU;gBAC1D,CAAC,CAAC;oBACE,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU;oBAChC,iBAAiB,EAAE,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;oBACtD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;oBAClC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,IAAI;SACT,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU;YAAE,SAAS;QACnE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE;YACpB,WAAW,EAAE,EAAE;YACf,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB;YACrF,kBAAkB,EAAE,QAAQ,EAAE,kBAAkB,IAAI,IAAI,CAAC,KAAK;YAC9D,iBAAiB,EAAE,IAAI,CAAC,KAAK;YAC7B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO;YAClC,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe;YAClD,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7G,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAyB;QAC7C,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACxE,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QAC5E,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,YAAY,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;KAC3E,CAAC;IAEF,0EAA0E;IAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC9E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAwC,CAAC;YAChE,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;gBAC1B,MAAM;gBACN,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;gBAClD,UAAU,EAAE,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBAC9E,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI;gBACpC,SAAS,EAAE,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBAC3E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,EAAE,CAAC;YAC7C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE;gBACtB,WAAW,EAAE,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBAC/E,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1C,8DAA8D;QAC9D,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,IAAI,mBAAmB,GAAG,KAAK,KAAK,SAAS,CAAC;IAC9C,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,gBAAgB,GAAG,SAAS,CAAC,MAAM,KAAK,GAAG,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gBAAgB,GAAG,KAAK,CAAC;YACzB,IAAI,CAAC,CAAC,KAAK,YAAY,sBAAsB,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,EAAE;IACF,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC;IAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;IAElC,4EAA4E;IAC5E,yEAAyE;IACzE,iEAAiE;IACjE,IAAI,OAAO,GAA2B,QAAQ,CAAC;IAC/C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;QAChF,gBAAgB,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;QAClE,CAAC,QAAQ,GAAG,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACtC,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,OAAO;QACL,MAAM;QACN,OAAO;QACP,MAAM;QACN,KAAK;QACL,mBAAmB;QACnB,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC,EAAE;QAC7E,gBAAgB;QAChB,mBAAmB;QACnB,YAAY,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;KACzE,CAAC;AACJ,CAAC"}

package/dist/canonical-state.d.ts

@@ -3,33 +3,25 @@
  * The canonical state is data, not Markdown. Prompt and state-file renderers
  * consume the same value so they cannot silently drift apart.
  */
-import type { ConstraintMeta, CriterionStatus, Lesson, LoopCompileRequest, LoopCompileResponse, MilestoneSummary, RoundContract, SubGoal, VerificationFlag } from "./protocol.js";
+import type { ConstraintMeta, CriterionStatus, RecurringFlag, LoopCompileRequest, LoopCompileResponse, MilestoneSummary, SubGoal, VerificationFlag } from "./protocol.js";
+import type { ActiveContractView } from "./round-contract.js";
+import type { ContractItemStatusView } from "./contract-items.js";
+import type { ConfiguredCapability, VerifiedSubGoalFact } from "./protocol.js";
+import type { RoundFacts } from "./round-facts.js";
 export declare const CANONICAL_STATE_SCHEMA_VERSION: 1;
-/** v3.2: Durable snapshot of what an L1 prompt actually presented last round.
- *  Used as the diff baseline for L1 collapse. Persisted inside the lineage
- *  entry's loop_lineage (field extension — no new persistence format) and
- *  carried on PromptArtifact for the compile-to-persist round-trip. */
-export interface PresentedStateSnapshot {
-    /** Round whose presentation this snapshot describes (the baseline round). */
-    round: number;
-    /** Stable IDs (c-XXXXXXXX) of constraints rendered in the L1 Active
-     *  Constraints section (post-emphasize, non-hard). */
-    constraintIds: string[];
-    /** [sub-goal id, status] pairs rendered in the L1 Active Sub-Goals section
-     *  (in_progress + pending only). Statuses enable transition detection. */
-    subGoals: Array<[string, string]>;
-    /** [start, end] round ranges of all milestones at presentation time. */
-    milestoneRanges: Array<[number, number]>;
-}
-/** v3.3: Per-round statistics for the display (files changed, rejected
- *  attempts, self-reported progress delta). Compiler-derived from committed
- *  entries — zero persistence. Optional: absent when no committed rounds. */
-export interface RoundStat {
-    round: number;
-    filesChangedCount: number | null;
-    rejectedAttempts: number | null;
-    progressDelta: number | null;
-}
+/** v3.7.1: Presentation view of sub-goals shared by prompts and the state
+ *  file (one derivation, no second copy). Only ACTIVE items render as rows
+ *  — pending/in_progress/blocked — ordered blocked → in_progress → pending
+ *  (priority ascending, then most recently changed first) and trimmed to
+ *  `cap`. done/canceled never render as items: they stay in the vault, in
+ *  replay, and in these counts. */
+export declare function activeSubGoalView(subGoals: SubGoal[], cap: number): {
+    active: SubGoal[];
+    activeTotal: number;
+    done: number;
+    canceled: number;
+    total: number;
+};
 /** v3.3: Machine git-motion cross-check over the last committed rounds.
  *  Display-only companion to the R4/R5 exculpatory signal. Optional:
  *  absent when no committed rounds carry git snapshots — the object, when
@@ -60,9 +52,7 @@ export interface CanonicalLoopState {
     blockers: string[];
     verificationFlags: VerificationFlag[];
     discoveries: string[];
-    nextAction: string;
     rollingOutcomes: string[];
-    recurringIssues: string[];
     failedPatterns: string[];
     /** v2.1: Phase-boundary milestone summaries that survive window eviction. */
     milestones: MilestoneSummary[];
@@ -70,13 +60,10 @@ export interface CanonicalLoopState {
     subGoals: SubGoal[];
     /** v3.2: Derived per-criterion status (goal → criteria → evidence view). */
     criterionStatuses: CriterionStatus[];
-    /** v3.2: Deterministic lessons learned (repeated violations / failures). */
-    lessons: Lesson[];
-    /** v2.5: Agent trust score [0, 1] from verification flags. */
-    agentTrustScore: number | undefined;
-    /** v2.5: Trust trend over last 10 rounds. */
-    agentTrustTrend: number[];
-    suggestedNextTask: string;
+    /** v3.8.1: THE repeated-fact list (see RecurringFlag). One derivation
+     *  replaces the former Lessons list and the rolling summary's
+     *  "recurring_issues" window; renderers filter it. */
+    recurringFlags: RecurringFlag[];
     externalContext: string;
     stateFilePath: string;
     progress: {
@@ -90,9 +77,6 @@ export interface CanonicalLoopState {
             skipped: number;
         } | null;
     };
-    /** v3.3: Display-only round stats over the last committed rounds.
-     *  Conditional presence: absent when there are no committed rounds. */
-    roundStats?: RoundStat[];
     /** v3.3: Machine git-motion cross-check for the progress dashboard.
      *  Conditional presence: absent when no committed git snapshots exist. */
     machineStatus?: MachineStatus;
@@ -101,51 +85,73 @@ export interface CanonicalLoopState {
      *  round_contract, which is a proposal for the NEXT round). Conditional
      *  presence: absent without an active contract — keeps state hashes
      *  byte-identical for contract-less rounds. */
-    roundContract?: RoundContract;
+    roundContract?: ActiveContractView;
+    /** v3.8: The derived item statuses of the ACTIVE contract — the runtime's
+     *  statement about what the agent claimed under it. Conditional presence:
+     *  absent without an active contract. */
+    contractItemStatuses?: ContractItemStatusView;
+    /** v3.8: Sub-goals a verified contract item backs. DERIVED, never
+     *  persisted — the machine's separate statement about a `done` sub-goal. */
+    verifiedSubGoals?: VerifiedSubGoalFact[];
+    /** v3.8: The static verification capability (policy-derived). Unconditional:
+     *  it is part of the round's verification context, so every state hash
+     *  changes once, deliberately. */
+    capability: ConfiguredCapability;
 }
 /** Deterministic JSON serialization used by state and prompt hashes. */
 export declare function stableStringify(value: unknown): string;
 export declare function hashCanonicalState(state: CanonicalLoopState): string;
-/** Human/Agent-readable materialized view. It is always reproducible from the
- * canonical state and is never consulted as transaction truth. */
-/** v3.3: Forward-looking "roadmap" view derived from existing state — loop
- *  position, met/remaining criteria (with IDs), and sub-goal activity.
+/** v3.8.1: the one-line phase position — which phase the loop is in, and how
+ *  far the next boundary is.
  *
- *  Deliberately label-free: milestone labels/ranges are collapsed content in
- *  L1 (the diff-collapse invariant) and are rendered in full by Phase
- *  History everywhere else — the roadmap only reports "N rounds since the
- *  last milestone boundary", never the boundary's identity. Next action is
- *  likewise excluded: every level renders its own Next Action section.
- *  Shared by the state-file and prompt renderers so they cannot silently
- *  drift apart (module contract above). Returns [] — renders nothing —
- *  when the state carries none of these. Presentation only; never feeds
- *  enforcement. */
-export declare function buildRoadmap(state: CanonicalLoopState): string[];
+ *  This is all that survives of v3.3's "roadmap": of its four lines, three
+ *  (met/remaining criteria with ids, sub-goal activity) were already rendered
+ *  in full by the sections that own them. Returns "" when no milestone exists,
+ *  so the caller renders no section at all — bare position is already in the
+ *  prompt header.
+ *
+ *  Shared by the state-file and prompt renderers so they cannot drift apart
+ *  (module contract above). Presentation only; never feeds enforcement. */
+export declare function buildPhaseLine(state: CanonicalLoopState): string;
 /** v3.3/v3.4: Render the ACTIVE Round Contract as the Current Task section
  *  body — the single formatting source shared by prompts and the state
  *  file (module contract above). The original objective is NOT here: it
  *  lives in the Objective section. Empty arrays render no line. */
-export declare function formatRoundContract(contract: RoundContract): string;
-/** The trust bar line ("██████░░░░ 60%"). The L2 Agent Trust section and the
- *  detailed L1 renderer used to carry private copies of this formula — shared
- *  here so a formatting change is made once (module contract: renderers must
- *  not silently drift apart). */
-export declare function trustBarLine(score: number): string;
+export declare function formatRoundContract(contract: ActiveContractView,
+/** v3.8: the derived item statuses. When given, each item renders with its
+ *  machine status — the agent sees the verification debt in its own task. */
+statuses?: ContractItemStatusView | null): string;
 /** Milestone heading line ("**🏁 Round 7** (Rounds 3–7, 60%)"). Shared by the
  *  L2 Phase History and the detailed L1 renderer; the L1 copy previously
  *  rendered the range as "R3–R7", a format only this heading used. */
 export declare function milestoneHeading(milestone: MilestoneSummary): string;
-export declare function renderCanonicalStateMarkdown(state: CanonicalLoopState): string;
-export declare function createCanonicalLoopState(request: LoopCompileRequest, response: LoopCompileResponse, stateFilePath: string, 
-/** v3.3: Display-only derived data (round stats, machine git-motion).
- *  Optional 4th param — callers that predate v3.3 stay on 3-arg calls. */
+/** Options that vary per render: the retry attempt (single version of the
+ *  file across attempts is impossible — the attempt IS part of the derived
+ *  view) and the recovery-window Recovery Brief lines (W5, present only
+ *  while a committed backtrack decision is the current round's record). */
+export interface StateFileRenderOptions {
+    attempt?: number;
+    recoveryBrief?: string[];
+}
+/** Human/Agent-readable materialized view. It is always reproducible from the
+ *  canonical state and is never consulted as transaction truth.
+ *
+ *  v3.8.1: this is where the diagnostics live — the progress dashboard, the
+ *  criterion list, round stats, the FULL recurring-flag history and the phase
+ *  history. The prompt carries only what the next round needs. */
+export declare function renderCanonicalStateMarkdown(state: CanonicalLoopState, options?: StateFileRenderOptions): string;
+export declare function createCanonicalLoopState(request: LoopCompileRequest, response: LoopCompileResponse, stateFilePath: string,
+/** v3.3: Display-only derived data. Optional 4th param — callers that
+ *  predate v3.3 stay on 3-arg calls. */
 derived?: {
-    roundStats?: RoundStat[];
     machineStatus?: MachineStatus;
-    /** v3.4: ACTIVE Round Contract for this round (compile-derived from the
-     *  committed evals of earlier rounds — see loop-compiler). Drives the
-     *  Current Task. Never the submission's own round_contract field, which
-     *  is a proposal for the NEXT round. */
-    roundContract?: RoundContract | null;
+    /** v3.8.1: the contract-fact bundle — the ACTIVE Round Contract (drives
+     *  the Current Task; never the submission's own `round_contract` field,
+     *  which is a proposal for the NEXT round), its derived item statuses, and
+     *  the machine-verified sub-goal facts, all from ONE `deriveRoundFacts`
+     *  call. Taking them as a bundle makes it structurally impossible to
+     *  assemble a state out of values derived over different history windows —
+     *  v3.4/v3.8 passed them as three independent options. */
+    roundFacts?: RoundFacts;
 }): CanonicalLoopState;
 //# sourceMappingURL=canonical-state.d.ts.map

package/dist/canonical-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-state.d.ts","sourceRoot":"","sources":["../src/canonical-state.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,MAAM,EACN,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,EACb,OAAO,EACP,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAIvB,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD;;;uEAGuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd;0DACsD;IACtD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;8EAC0E;IAC1E,QAAQ,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClC,wEAAwE;IACxE,eAAe,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC1C;AAED;;6EAE6E;AAC7E,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED;;;;2EAI2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,cAAc,EAAE,CAAC;IACrC,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,6EAA6E;IAC7E,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,4EAA4E;IAC5E,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC,4EAA4E;IAC5E,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8DAA8D;IAC9D,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,6CAA6C;IAC7C,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,GAAG,IAAI,CAAC;KACnE,CAAC;IACF;2EACuE;IACvE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;8EAC0E;IAC1E,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;mDAI+C;IAC/C,aAAa,CAAC,EAAE,aAAa,CAAC;CAC/B;AAID,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYtD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAEpE;AAwED;kEACkE;AAClE;;;;;;;;;;;mBAWmB;AACnB,wBAAgB,YAAY,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAmDhE;AAED;;;mEAGmE;AACnE,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAcnE;AAMD;;;iCAGiC;AACjC,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKlD;AAED;;sEAEsE;AACtE,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,GAAG,MAAM,CAKpE;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CA4L9E;AAED,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,aAAa,EAAE,MAAM;AACrB;0EAC0E;AAC1E,OAAO,CAAC,EAAE;IACR,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;4CAGwC;IACxC,aAAa,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;CACtC,GACA,kBAAkB,CAsFpB"}
+{"version":3,"file":"canonical-state.d.ts","sourceRoot":"","sources":["../src/canonical-state.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,OAAO,EACP,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAIvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD;;;;;mCAKmC;AACnC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,OAAO,EAAE,EACnB,GAAG,EAAE,MAAM,GACV;IACD,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAiBA;AAED;;;;2EAI2E;AAC3E,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,cAAc,EAAE,CAAC;IACrC,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,6EAA6E;IAC7E,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,4EAA4E;IAC5E,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC;;0DAEsD;IACtD,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,KAAK,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,GAAG,IAAI,CAAC;KACnE,CAAC;IACF;8EAC0E;IAC1E,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;mDAI+C;IAC/C,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;6CAEyC;IACzC,oBAAoB,CAAC,EAAE,sBAAsB,CAAC;IAC9C;gFAC4E;IAC5E,gBAAgB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACzC;;sCAEkC;IAClC,UAAU,EAAE,oBAAoB,CAAC;CAClC;AAID,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAYtD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAEpE;AAiFD;;;;;;;;;;2EAU2E;AAC3E,wBAAgB,cAAc,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAoBhE;AAED;;;mEAGmE;AACnE,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,kBAAkB;AAC5B;6EAC6E;AAC7E,QAAQ,CAAC,EAAE,sBAAsB,GAAG,IAAI,GACvC,MAAM,CA6BR;AAMD;;sEAEsE;AACtE,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,GAAG,MAAM,CAKpE;AAgDD;;;2EAG2E;AAC3E,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;kEAKkE;AAClE,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,kBAAkB,EACzB,OAAO,CAAC,EAAE,sBAAsB,GAC/B,MAAM,CAkCR;AAuND,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,aAAa,EAAE,MAAM;AACrB;wCACwC;AACxC,OAAO,CAAC,EAAE;IACR,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;;;8DAM0D;IAC1D,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,GACA,kBAAkB,CAwFpB"}