loopforge 3.7.1 → 3.8.2

package/README.md

@@ -1,168 +1,122 @@
-# LoopForge
+# LoopForge package
 
-**A context window is not memory. Memory needs a runtime.**
+The `loopforge` package is the TypeScript runtime behind LoopForge. It keeps
+round state durable, collects machine evidence, verifies submitted claims, and
+compiles the next prompt. The external coding Agent still owns planning, file
+changes, tool use, and execution.
 
-> **Version per `package.json`** — `npm install -g loopforge`. Node.js ≥ 18. Zero runtime dependencies.
-> [中文文档](../README.zh-CN.md)
+For the product model and the contract mental model, read the
+[root README](../README.md) or [中文说明](../README.zh-CN.md). This document is
+the package and integration reference.
 
----
+**Requirements:** Node.js >= 18. Zero runtime dependencies. The package version
+is defined only by the `version` field in `package.json`.
 
-## The real problems with long-horizon tasks
+## Install and run
 
-Any AI coding agent, given a long enough task, hits three walls. Not because the model isn't smart enough. Not because the context window isn't large enough. These are **architectural** problems.
-
-### Problem 1: The summary cascade
-
-Context fills up → compress. Fills up again → compress again. The third compression is a summary of a summary of a summary. Every cycle evaporates information — critical constraints get silently deleted because the summarizer judged them "no longer relevant." Researchers found that after 3–4 summary cycles, constraint violation rates spike from 0% to 59%. The agent doesn't know what it forgot, because the forgetting itself was compressed away.
-
-### Problem 2: Self-correction doesn't work
-
-Models cannot reliably improve themselves through introspection — they talk themselves out of correct answers. Effective recovery requires an **external verifier** — an independent observer that doesn't share the agent's context, doesn't participate in its reasoning, and only looks at inputs and outputs.
+```bash
+npm install -g loopforge
+loopforge init --client claude
+claude mcp add loopforge -- npx loopforge mcp
+```
 
-### Problem 3: Compound error (p^N)
+The CLI provides the following entry points:
 
-If each step succeeds with probability p, N sequential steps succeed with probability p^N. Frontier agents nail nearly 100% of tasks under 4 minutes but crater to under 10% on tasks over 4 hours. Small errors at each step become the correct input for the next step.
+```text
+loopforge mcp
+loopforge init --client claude|codex|generic [--target DIR] [--force]
+loopforge doctor [--json]
+loopforge inspect LOOP_ID [--round N] [--prompt] [--json]
+loopforge explain LOOP_ID [--round N] [--json]
+```
 
-**These three problems amplify each other. The summary cascade loses information → lost information becomes errors → the agent can't self-correct because those errors look reasonable within its own context.**
+`loopforge mcp` starts the synchronous MCP server. `init` installs the client
+configuration, `doctor` reports local readiness, `inspect` reads persisted loop
+state, and `explain` shows why a committed round received its disposition.
 
----
+## MCP integration
 
-## What LoopForge does about it
+The MCP server exposes nine tools:
 
-LoopForge runs outside the agent and owns the boundary between rounds. Its
-design has two explicit sources:
+- `loopforge_start` creates a session and returns the first prompt.
+- `loopforge_next` submits the structured evaluation for the held round.
+- `loopforge_status` returns session, loop, audit, or explain views.
+- `loopforge_stop` intentionally stops a session.
+- `loopforge_pause` pauses a session at a round boundary.
+- `loopforge_resume` reconstructs a durable session.
+- `loopforge_replay` reads the committed timeline and round diffs.
+- `loopforge_gate_check` preflights a high-risk action.
+- `loopforge_gate_resolve` records the decision for an opened user gate.
 
-- **One factual source:** committed typed round documents in the Vault.
-- **One cognitive source:** Canonical State compiled from those facts.
+The two gate tools are opt-in through `policy.gate.enabled` and are hidden from
+`tools/list` when disabled. A gate decision is an auditable process record. It
+does not prove that a human was present because the Agent submits the resolve
+call.
 
-`loopforge_next` accepts a structured evaluation. The core fields `success`,
-`output_summary`, `constraint_violations`, and `should_continue` are strict;
-optional fields are normalized. Invalid input returns `evaluation_invalid` and
-can be corrected with the same `roundId` without saving session state, writing
-a round, entering either gate, or changing metrics.
+Every `loopforge_next` submission must include the four strict evaluation
+fields: `success`, `output_summary`, `constraint_violations`, and
+`should_continue`. `round_contract`, `subgoal_updates`, and
+`execution_report.contract_item_claims` are also strict structural boundaries.
+Malformed payloads return a retryable error for the same `roundId` without
+writing session state, a round, gate records, rejection counters, or metrics.
+Agent reports remain claims. Only independent observations can support a
+verified fact.
 
-Valid submissions pass through evidence collection, a verification gate
-organized into four domains (evaluation consistency, evidence integrity, plan
-& contract, progress & recovery), and an enforcement gate driven by one
-ordered strategy table across four action classes (evidence contradiction,
-contract & scope, plan drift, progress recovery). Only an allowed round joins
-committed history. The shared internal `CommittedRoundView` gives Replay,
-Audit, Metrics, contracts, the compiler, and gate history one decoder and one
-filtering policy. It does not create another storage format.
+## TypeScript API
 
-The compiler evolves Canonical State from committed history, then derives
-focus, todo, phase, delegation, and handoff for prompts and status views. The
-next prompt therefore comes from typed cognitive state, not from a summary of
-the previous prompt.
+The package exports the runtime in separate entry points:
 
 ```text
-Traditional: prompt -> summary -> next prompt -> another summary
-LoopForge:    committed rounds -> Canonical State -> next prompt
+loopforge          protocol types, policy, store, compiler, engine, evidence,
+                   transactions, metrics, and MCP classes
+loopforge/compiler compiler helpers
+loopforge/replay   ReplayBackend
+loopforge/mcp      MCP server entry point
 ```
 
-The verification gate compares claims with Git snapshots, test output, and
-configured command evidence. The enforcement gate can accept, reject,
-backtrack, or terminate. A rejected submission commits nothing. A stalled-
-progress evaluator can restore the last clean round, inject a diagnosis, and
-verify workspace restoration before work continues.
-
----
-
-## What LoopForge is not
+The main exports include `createEngine` and `LoopForgeEngine` for an in-process
+engine, `FileLoopStore` for durable JSON storage, `compileLoop` for compiling a
+prompt from committed facts, `ReplayBackend` for read-only history queries,
+`McpServer` for the MCP transport, and `SessionManager` for durable MCP
+sessions. Type declarations are emitted alongside the runtime in `dist/`.
 
-- **Not a memory database.** The optional state file is derived. Committed
-  rounds hold facts, and Canonical State supplies runtime cognition.
-- **Not a context compressor.** It recompiles prompts from typed state instead
-  of compressing the prior prompt.
-- **Not a constraint tracker.** Constraints are one input to external judgment.
-- **Not an agent or unattended executor.** The external agent owns planning,
-  code changes, and tool use. LoopForge governs round transitions.
+Example import:
 
----
-
-## Install
-
-```bash
-npm install -g loopforge
-loopforge init --client claude
-claude mcp add loopforge -- npx loopforge mcp
+```ts
+import { createEngine, FileLoopStore, compileLoop } from "loopforge";
 ```
 
-Works with Claude Code, Codex CLI, or any MCP-compatible client.
+Use the generated `.d.ts` files in `dist/` for the exact signatures and input
+types. The public protocol constructors and types are exported from the main
+entry point.
 
-The MCP server path (`loopforge mcp`) is the primary integration. It provides
-the full cognitive infrastructure: verification gate, enforcement gate,
-backtrack, evidence collection, and crash recovery. The engine is also
-available as a library for custom integrations.
+## Persistence and policy
 
----
+LoopForge stores durable loop data under `.loopforge/loops/` and derived human
+state under `.loopforge/state/`. Committed typed round documents are the source
+of truth. The state file can be regenerated and must not be treated as a second
+history.
 
-## Architecture
-
-```text
-External agent
-  -> structured evaluation
-  -> evidence / verification / enforcement
-  -> accept, reject, backtrack, or terminate
-       reject / terminate: no round commit
-       accept / stop / backtrack: commit transaction decision
-  -> committed round documents        [factual source]
-  -> CommittedRoundView                [shared read model]
-       -> Replay                       [what happened]
-       -> Audit / Metrics              [evidence and diagnostics]
-       -> Canonical State              [cognitive source]
-            -> DerivedCognitiveFacts
-            -> prompt / state file / status
-            -> external agent, next round
-```
-
----
-
-## Key capabilities
-
-- Structured evaluation with strict core fields, lenient optional normalization,
-  and retryable `evaluation_invalid` responses.
-- One committed-round history for the compiler, contracts, gates, Replay,
-  Audit, and Metrics.
-- One Canonical State for prompts, the optional state file, and current-status
-  cognition.
-- Evidence-backed accept, reject, backtrack, and terminate decisions, including
-  Round Contract and workspace-restore checks. A backtrack carries a derived
-  Recovery Brief — trigger rule, restore point, redo round ID, failed
-  approaches, and falsified assumptions — sourced from committed rounds plus
-  the in-flight attempt (never rejected payloads); the redo reuses the round
-  ID and its commit retires the brief.
-- L0, L1, and L2 prompt density, five-state sub-goals with explicit
-  `subgoal_updates` transitions (active `sg-` IDs only; done/canceled are
-  terminal), constraint lifecycle, milestones, and agent-requested emphasis or
-  confusion points. Prompts and the state file render active sub-goals only,
-  capped by policy; the state file is grouped into Current / Recent /
-  Historical Summary tiers with derived metadata (round, attempt, state hash)
-  and is byte-identical when regenerated from the Vault.
-- Separate Replay and Audit views. Replay answers what happened; Audit checks
-  evidence and completeness.
-- Durable sessions with atomic round documents, sequence checks, owned locks,
-  renewable leases, pause, resume, and idempotent recovery.
-- Nine MCP tools: `start`, `next`, `status`, `stop`, `pause`, `resume`, `replay`,
-  `gate_check`, and `gate_resolve`. The two gate tools are opt-in
-  (`policy.gate.enabled`, default false): hidden from `tools/list`, structured
-  preflight via `gate_check`, round-blocking on unapproved `gate_ids`
-  citations.
-- Zero runtime dependencies. Policy controls thresholds, budgets, and intervals.
-
----
+Runtime behavior is controlled by `loop_policy.json`. Evidence commands are
+explicitly configured, run without a shell, and restricted to the workspace.
+The default policy keeps the optional user gate disabled.
 
 ## Development
 
+Run these commands from this directory:
+
 ```bash
 npm run check
+npm run build
 npm test
 npm pack --dry-run --json
+npm run verify:artifacts
+git diff --check
 ```
 
-The protocol schema in `../loopforge-protocol.json` is generated from `src/protocol.ts`. Do not edit it by hand.
-
----
+The build generates `../loopforge-protocol.json` and `dist/`. Change protocol
+types in `src/protocol.ts` first, then run the build. Do not edit generated
+artifacts by hand.
 
 ## License
 

package/dist/audit.d.ts

@@ -4,21 +4,39 @@
  *  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 type { LoopStore } from "./loop-store.js";
 import type { VaultEntry } from "./loop-store.js";
+import type { ContractItemStatus } from "./protocol.js";
 export interface AuditRound {
     round: number;
     outcome: string;
     claims: Array<{
         text: string;
-        status: "verified" | "unverified" | "no_evidence";
+        status: "verified" | "unverified";
     }>;
     checks: Array<{
         check: string;
         severity: string;
         verdict: "failed" | "warn" | "info";
     }>;
+    /** v3.8: the contract this round EXECUTED under and each item's status as of
+     *  this round — the same derivation `explain` renders. */
+    contract: {
+        id: string;
+        declared_at_round: number;
+        closure: string;
+        items: Array<{
+            itemId: string;
+            status: ContractItemStatus;
+        }>;
+    } | null;
 }
 export interface AuditGate {
     gateId: string;
@@ -28,12 +46,42 @@ export interface AuditGate {
     decidedAt: string;
     round: number;
 }
+/** v3.8: One contract's outcome over the loaned loop, keyed by its content-
+ *  addressed id. Re-declaring the same contract later extends the same entry —
+ *  the identity says it IS the same contract. */
+export interface AuditContract {
+    contract_id: string;
+    declared_at_round: number;
+    first_active_round: number;
+    last_active_round: number;
+    closure: "open" | "verified" | "blocked";
+    closed_at_round: number | null;
+    /** Item statuses as of the last round the contract was execution-relevant. */
+    items: Array<{
+        itemId: string;
+        description: string;
+        status: ContractItemStatus;
+    }>;
+}
+export interface AuditContractSummary {
+    contracts: AuditContract[];
+    /** Contracts whose final closure is still `open`. */
+    open: number;
+    verifiedItems: number;
+    insufficientItems: number;
+    contradictedItems: number;
+    pendingItems: number;
+}
 export interface AuditResult {
     loopId: string;
     verdict: "passed" | "incomplete" | "contradicted";
     rounds: AuditRound[];
     gates: AuditGate[];
     unresolvedUserGates: string[];
+    /** v3.8: the verification skeleton — the primary completion basis. */
+    contracts: AuditContractSummary;
+    /** Advisory second axis: criterion claims, not the completion signal.
+     *  `declared` and `evidenced` are both DISTINCT-id counts, so they compare. */
     criteria: {
         declared: number;
         evidenced: number;
@@ -42,6 +90,10 @@ export interface AuditResult {
     sequenceComplete: boolean;
     /** False when no LoopStore was provided (sequence/provenance degraded). */
     provenanceAvailable: boolean;
+    /** v3.8: rounds whose persisted transaction carries a legacy schema
+     *  version. They are NOT part of history (the version break is hard) — this
+     *  list makes the loss visible instead of letting the loop look complete. */
+    legacyRounds: number[];
 }
 /** Build the audit from committed vault entries. Pure, read-only.
  *  @param store Optional LoopStore — when provided, sequence integrity is

package/dist/audit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAIlD,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,UAAU,GAAG,YAAY,GAAG,aAAa,CAAA;KAAE,CAAC,CAAC;IACnF,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC,CAAC;CACzF;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,QAAQ,GAAG,YAAY,GAAG,cAAc,CAAC;IAClD,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,gBAAgB,EAAE,OAAO,CAAC;IAC1B,2EAA2E;IAC3E,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED;;oDAEoD;AACpD,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,UAAU,EAAE,EACrB,KAAK,CAAC,EAAE,SAAS,GAChB,WAAW,CA8Gb"}
+{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../src/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAQlD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGxD,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,UAAU,GAAG,YAAY,CAAA;KAAE,CAAC,CAAC;IACnE,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC,CAAC;IACxF;8DAC0D;IAC1D,QAAQ,EAAE;QACR,EAAE,EAAE,MAAM,CAAC;QACX,iBAAiB,EAAE,MAAM,CAAC;QAC1B,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,kBAAkB,CAAA;SAAE,CAAC,CAAC;KAC9D,GAAG,IAAI,CAAC;CACV;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;iDAEiD;AACjD,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IACzC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,8EAA8E;IAC9E,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC,CAAC;CACnF;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,QAAQ,GAAG,YAAY,GAAG,cAAc,CAAC;IAClD,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,sEAAsE;IACtE,SAAS,EAAE,oBAAoB,CAAC;IAChC;mFAC+E;IAC/E,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,gBAAgB,EAAE,OAAO,CAAC;IAC1B,2EAA2E;IAC3E,mBAAmB,EAAE,OAAO,CAAC;IAC7B;;iFAE6E;IAC7E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;oDAEoD;AACpD,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,UAAU,EAAE,EACrB,KAAK,CAAC,EAAE,SAAS,GAChB,WAAW,CA6Lb"}

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"}