loopforge 3.9.4 → 4.0.7

package/dist/round-guidance.js

@@ -0,0 +1,161 @@
+/** v4.0.4 / v4.0.7: the ONE runtime source of round-boundary and
+ *  context-continuity guidance.
+ *
+ *  The compiled prompt footer, the MCP server instructions, the tools/list
+ *  `contextMode` description, the state file and the Explain view read these
+ *  constants. The Forge skill keeps only the definitions and a pointer; it
+ *  must not grow a second copy of the executable sizing rules.
+ *
+ *  `HOST_INVOCATION_CONTRACT` is server-density prose only: the per-round
+ *  prompt footer carries the Agent action surface, not the host runtime
+ *  contract. `CONTEXT_MODE_DESCRIPTION` is the ONE tools/list description.
+ *
+ *  This module is pure: no I/O, no policy, no time, no randomness.
+ */
+export const ROUND_BOUNDARY_PRINCIPLE = "One round is a work slice with before/after evidence, not file/token/commit " +
+    "count.";
+export const ROUND_BOUNDARY_SIZING = "Keep coupled work together; split when unsafe to verify.";
+export const ROUND_BOUNDARY_SUBMISSION = "Agent chooses continuation via should_continue. A Round Contract scopes " +
+    "bounded NEXT-round work and acceptance, not this round's end. Acceptance " +
+    "commits; rejection retries the round (+1); maxRounds stops.";
+export const ROUND_BOUNDARY_NON_BOUNDARIES = "Time, invocation/session/stage changes, redelivery, checkpoints, restores, " +
+    "status, resume and unpause do not end rounds.";
+/** v4.0.5: the ONE routing sentence for a lost in-context retry invocation.
+ *  The prompt footer and the short retry guidance read it. LoopForge — not
+ *  the Agent — recompiles the same round/attempt in clean context. */
+export const ROUND_BOUNDARY_INVOCATION_LOST = "If the invocation that received the previous prompt is gone, call " +
+    "loopforge_resume(loopId, invocationLost: true); LoopForge recompiles the " +
+    "same logical round and attempt in clean context. Never carry this " +
+    "in-context retry prompt into a new invocation.";
+/** v4.0.7: the ONE host invocation contract. It separates the cleared model
+ *  conversation from the warm host runtime and states what LoopForge does not
+ *  manage. It is rendered at server density only; the per-round prompt footer
+ *  does not repeat it. */
+export const HOST_INVOCATION_CONTRACT = "Clean context starts a new model conversation, not a new host or tool " +
+    "runtime: do not carry the previous model transcript, tool outputs or " +
+    "uncommitted reasoning into it. Keep the same loopId, logical session and " +
+    "modified workspace; a host process that stays alive may keep the MCP " +
+    "connection and tool processes warm and the installed skill files " +
+    "available, while the host holds the submissionHandle for tool calls. " +
+    "A warm runtime is not model memory: the new conversation knows only what " +
+    "this prompt and the host's stable environment provide. LoopForge does not " +
+    "manage provider prompt/KV caches or implicit model habits and neither " +
+    "clears nor relies on them. Only committed facts and the bounded " +
+    "projections LoopForge returns for this invocation are guaranteed; " +
+    "anything else that must survive belongs to explicit host configuration, " +
+    "not a LoopForge fact.";
+/** v4.0.7: the ONE tools/list description of PromptContextMode. tools.ts
+ *  imports it so the wire description and the runtime prose cannot drift. */
+export const CONTEXT_MODE_DESCRIPTION = "The derived context boundary of the returned prompt, projected from its " +
+    "PromptArtifact. fresh_invocation starts a new model conversation, not a " +
+    "host runtime: the previous model transcript, tool outputs and uncommitted " +
+    "reasoning are not carried; the invocation keeps the same loopId, logical " +
+    "session and workspace; a live host may keep its MCP connection, tool " +
+    "processes and installed skill files warm. It covers first_round, " +
+    "next_round, recovery_redo, rejection_escalation and invocation_recovery, " +
+    "and may describe the SAME logical round. same_round_retry " +
+    "(enforcement_retry) continues the original invocation below the repeated " +
+    "same-check rejection threshold. Prompt density does not determine it. " +
+    "LoopForge does not manage provider prompt/KV caches or implicit model " +
+    "habits. Read contextReason for the specific case.";
+/** The host execution contract. It names the four context strategies instead
+ *  of asking the host to reinterpret an enum value:
+ *  clean context, in-context repair, clean-context repair, recovery redo. */
+export const CONTEXT_CONTINUITY_RULES = "A fresh invocation is not a new loop: reuse the same loopId and workspace. " +
+    "It may carry the same logical round (an enforcement retry) or the next " +
+    "round after the last commit; it is the context boundary, not the round " +
+    "boundary. Clean context is not a workspace reset: the current modified " +
+    "workspace continues; it exists to keep the round focused and avoid an " +
+    "overloaded or misleading transcript. " +
+    HOST_INVOCATION_CONTRACT + " " +
+    "Prompt density does not choose the context boundary. Below the repeated " +
+    "same-check rejection threshold, continue the original invocation and " +
+    "inject the rejection notice, findings and failure reason. If that " +
+    "invocation is gone, call loopforge_resume(loopId, invocationLost: true): " +
+    "LoopForge recompiles the SAME round and attempt as a cold-context " +
+    "invocation_recovery prompt; never reuse the in-context retry prompt in a " +
+    "new model conversation. At the rejection escalation threshold, start a " +
+    "clean model conversation with the retry notice, findings, rejected-attempt " +
+    "posture and committed memory. That posture describes the rejected attempt, " +
+    "not the current workspace; inspect the current workspace before acting. " +
+    "A retry inside a recovered redo keeps its Recovery Brief. A held prompt, " +
+    "checkpoint, restore, status, resume or unpause never advances or resets " +
+    "the round. If the loopId or prompt is lost, use loopforge_status view=all " +
+    "and loopforge_resume; do not call loopforge_start for an existing " +
+    "objective. A stopped loop is terminal; resume does not reopen it.";
+/** Render the runtime guidance.
+ *
+ *  - `prompt` renders the boundary principle, sizing, submission and
+ *    non-boundary rules. A `same_round_retry` already explained its single
+ *    logical round in the retry section, so only submission and non-boundary
+ *    rules are repeated. The fresh body is kept under ~480 characters so the
+ *    L0 footer does not force a policy-budget change.
+ *  - `server` renders the same rules plus the host context-continuity
+ *    contract. */
+export function renderRoundGuidance(density, contextMode) {
+    if (density === "prompt") {
+        if (contextMode === "same_round_retry") {
+            return [
+                ROUND_BOUNDARY_SUBMISSION,
+                ROUND_BOUNDARY_NON_BOUNDARIES,
+                ROUND_BOUNDARY_INVOCATION_LOST,
+            ].join("\n");
+        }
+        return [
+            ROUND_BOUNDARY_PRINCIPLE,
+            ROUND_BOUNDARY_SIZING,
+            ROUND_BOUNDARY_SUBMISSION,
+            ROUND_BOUNDARY_NON_BOUNDARIES,
+        ].join("\n");
+    }
+    return [
+        ROUND_BOUNDARY_PRINCIPLE,
+        ROUND_BOUNDARY_SIZING,
+        ROUND_BOUNDARY_SUBMISSION,
+        ROUND_BOUNDARY_NON_BOUNDARIES,
+        CONTEXT_CONTINUITY_RULES,
+    ].join("\n");
+}
+/** Human-readable strategy label for one context boundary. JSON/artifacts keep
+ *  the enum values; every human surface uses this ONE mapping.
+ *
+ *  `recoveryBoundary` means a committed rollback directive governs this
+ *  compile. A repeated rejection can escalate a retried redo; the label must
+ *  keep the recovery-lesson fact instead of dropping it. */
+export function formatContextBoundaryLabel(mode, reason, options = {}) {
+    if (mode === "same_round_retry") {
+        return "in-context repair (same_round_retry; enforcement_retry; continue " +
+            "original invocation if alive; lessons injected)";
+    }
+    if (reason === "rejection_escalation") {
+        return options.recoveryBoundary
+            ? "clean context repair + recovery retry (fresh_invocation; " +
+                "rejection_escalation; recovery lessons carried)"
+            : "clean context repair (fresh_invocation; rejection_escalation; same " +
+                "logical round; rejected posture is attempt-time only)";
+    }
+    if (reason === "invocation_recovery") {
+        return options.recoveryBoundary
+            ? "clean context repair + invocation recovery + recovery retry " +
+                "(fresh_invocation; invocation_recovery; same logical round; " +
+                "retry and recovery lessons carried)"
+            : "clean context repair + invocation recovery (fresh_invocation; " +
+                "invocation_recovery; same logical round; retry lessons carried)";
+    }
+    if (reason === "enforcement_retry") {
+        return options.recoveryBoundary
+            ? "clean context repair + recovery retry (fresh_invocation; " +
+                "enforcement_retry; recovery lessons carried)"
+            : "clean context repair (fresh_invocation; enforcement_retry; same " +
+                "logical round; lessons carried)";
+    }
+    if (reason === "recovery_redo") {
+        return "clean context after restore (fresh_invocation; recovery_redo; " +
+            "lessons carried)";
+    }
+    if (reason === "first_round") {
+        return "clean context — first round (fresh_invocation)";
+    }
+    return "clean context — next round (fresh_invocation; workspace continues)";
+}
+//# sourceMappingURL=round-guidance.js.map

package/dist/round-guidance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-guidance.js","sourceRoot":"","sources":["../src/round-guidance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAOH,MAAM,CAAC,MAAM,wBAAwB,GACnC,8EAA8E;IAC9E,QAAQ,CAAC;AAEX,MAAM,CAAC,MAAM,qBAAqB,GAChC,0DAA0D,CAAC;AAE7D,MAAM,CAAC,MAAM,yBAAyB,GACpC,0EAA0E;IAC1E,2EAA2E;IAC3E,6DAA6D,CAAC;AAEhE,MAAM,CAAC,MAAM,6BAA6B,GACxC,6EAA6E;IAC7E,+CAA+C,CAAC;AAElD;;sEAEsE;AACtE,MAAM,CAAC,MAAM,8BAA8B,GACzC,oEAAoE;IACpE,2EAA2E;IAC3E,oEAAoE;IACpE,gDAAgD,CAAC;AAEnD;;;0BAG0B;AAC1B,MAAM,CAAC,MAAM,wBAAwB,GACnC,wEAAwE;IACxE,uEAAuE;IACvE,2EAA2E;IAC3E,uEAAuE;IACvE,mEAAmE;IACnE,uEAAuE;IACvE,2EAA2E;IAC3E,4EAA4E;IAC5E,wEAAwE;IACxE,kEAAkE;IAClE,oEAAoE;IACpE,0EAA0E;IAC1E,uBAAuB,CAAC;AAE1B;6EAC6E;AAC7E,MAAM,CAAC,MAAM,wBAAwB,GACnC,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,uEAAuE;IACvE,mEAAmE;IACnE,2EAA2E;IAC3E,4DAA4D;IAC5D,2EAA2E;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,mDAAmD,CAAC;AAEtD;;6EAE6E;AAC7E,MAAM,CAAC,MAAM,wBAAwB,GACnC,6EAA6E;IAC7E,yEAAyE;IACzE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,uCAAuC;IACvC,wBAAwB,GAAG,GAAG;IAC9B,0EAA0E;IAC1E,uEAAuE;IACvE,oEAAoE;IACpE,2EAA2E;IAC3E,oEAAoE;IACpE,2EAA2E;IAC3E,yEAAyE;IACzE,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,oEAAoE;IACpE,mEAAmE,CAAC;AAItE;;;;;;;;kBAQkB;AAClB,MAAM,UAAU,mBAAmB,CACjC,OAAwB,EACxB,WAA+B;IAE/B,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,IAAI,WAAW,KAAK,kBAAkB,EAAE,CAAC;YACvC,OAAO;gBACL,yBAAyB;gBACzB,6BAA6B;gBAC7B,8BAA8B;aAC/B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,OAAO;YACL,wBAAwB;YACxB,qBAAqB;YACrB,yBAAyB;YACzB,6BAA6B;SAC9B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IACD,OAAO;QACL,wBAAwB;QACxB,qBAAqB;QACrB,yBAAyB;QACzB,6BAA6B;QAC7B,wBAAwB;KACzB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;4DAK4D;AAC5D,MAAM,UAAU,0BAA0B,CACxC,IAAuB,EACvB,MAA2B,EAC3B,UAA0C,EAAE;IAE5C,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAChC,OAAO,mEAAmE;YACxE,iDAAiD,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,KAAK,sBAAsB,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,gBAAgB;YAC7B,CAAC,CAAC,2DAA2D;gBACzD,iDAAiD;YACrD,CAAC,CAAC,qEAAqE;gBACnE,uDAAuD,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,gBAAgB;YAC7B,CAAC,CAAC,8DAA8D;gBAC5D,8DAA8D;gBAC9D,qCAAqC;YACzC,CAAC,CAAC,gEAAgE;gBAC9D,iEAAiE,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC,gBAAgB;YAC7B,CAAC,CAAC,2DAA2D;gBACzD,8CAA8C;YAClD,CAAC,CAAC,kEAAkE;gBAChE,iCAAiC,CAAC;IAC1C,CAAC;IACD,IAAI,MAAM,KAAK,eAAe,EAAE,CAAC;QAC/B,OAAO,gEAAgE;YACrE,kBAAkB,CAAC;IACvB,CAAC;IACD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,OAAO,gDAAgD,CAAC;IAC1D,CAAC;IACD,OAAO,oEAAoE,CAAC;AAC9E,CAAC"}

package/dist/round-outcome.d.ts

@@ -0,0 +1,21 @@
+/** v3.9.7 / v4.0.6: the ONE round-outcome predicates.
+ *
+ *  Kept in a neutral module so contract closure, the contract walker, the
+ *  verification gate, the coordinator and the gate record all share the same
+ *  blocked definition without an import cycle through self-eval.
+ *
+ *  v4.0.6: `outcome` is the SOLE round conclusion — `success` and
+ *  `agent_stop_reason` are gone, so these predicates read one field.
+ */
+import type { RoundOutcome, SelfEvaluation } from "./protocol.js";
+/** v2.12 / v4.0.6: the round outcome. `outcome` is required on every
+ *  evaluation; the defensive fallback only protects malformed library input
+ *  and never invents success. */
+export declare function effectiveOutcome(selfEval: SelfEvaluation): RoundOutcome;
+/** v2.12 / v4.0.6: Whether the outcome is a success claim. */
+export declare function effectiveSuccess(selfEval: SelfEvaluation): boolean;
+/** v3.8.3 / v4.0.6: the ONE definition of "this round declares itself
+ *  blocked" — a declared `outcome: "blocked"`. `needs_human_input` is now
+ *  expressed by the blocker text, not a separate field. */
+export declare function declaresBlocked(selfEval: SelfEvaluation): boolean;
+//# sourceMappingURL=round-outcome.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"round-outcome.d.ts","sourceRoot":"","sources":["../src/round-outcome.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAElE;;iCAEiC;AACjC,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY,CAOvE;AAED,8DAA8D;AAC9D,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAElE;AAED;;2DAE2D;AAC3D,wBAAgB,eAAe,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAEjE"}

package/dist/round-outcome.js

@@ -0,0 +1,31 @@
+/** v3.9.7 / v4.0.6: the ONE round-outcome predicates.
+ *
+ *  Kept in a neutral module so contract closure, the contract walker, the
+ *  verification gate, the coordinator and the gate record all share the same
+ *  blocked definition without an import cycle through self-eval.
+ *
+ *  v4.0.6: `outcome` is the SOLE round conclusion — `success` and
+ *  `agent_stop_reason` are gone, so these predicates read one field.
+ */
+/** v2.12 / v4.0.6: the round outcome. `outcome` is required on every
+ *  evaluation; the defensive fallback only protects malformed library input
+ *  and never invents success. */
+export function effectiveOutcome(selfEval) {
+    const outcome = selfEval.outcome;
+    if (outcome === "success" || outcome === "partial" ||
+        outcome === "failed" || outcome === "blocked") {
+        return outcome;
+    }
+    return "failed";
+}
+/** v2.12 / v4.0.6: Whether the outcome is a success claim. */
+export function effectiveSuccess(selfEval) {
+    return effectiveOutcome(selfEval) === "success";
+}
+/** v3.8.3 / v4.0.6: the ONE definition of "this round declares itself
+ *  blocked" — a declared `outcome: "blocked"`. `needs_human_input` is now
+ *  expressed by the blocker text, not a separate field. */
+export function declaresBlocked(selfEval) {
+    return selfEval.outcome === "blocked";
+}
+//# sourceMappingURL=round-outcome.js.map

package/dist/round-outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-outcome.js","sourceRoot":"","sources":["../src/round-outcome.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH;;iCAEiC;AACjC,MAAM,UAAU,gBAAgB,CAAC,QAAwB;IACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAC9C,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAClD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,gBAAgB,CAAC,QAAwB;IACvD,OAAO,gBAAgB,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC;AAClD,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,eAAe,CAAC,QAAwB;IACtD,OAAO,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC;AACxC,CAAC"}

package/dist/round-transaction.d.ts

@@ -6,17 +6,88 @@
  * a process crash is idempotent.
  */
 import type { LoopStore } from "./loop-store.js";
-import { LoopForgeEngine } from "./engine.js";
 import type { ObservationDelta } from "./evidence-provider.js";
-import type { ContractBinding, MachineObservation, PromptArtifact, SelfEvaluation, SubmissionDiagnostic } from "./protocol.js";
+import type { CheckpointRef, CompiledRoundFacts, ContractBinding, EvidencePosture, MachineObservation, OperatorAcceptance, PromptArtifact, RecoveryDirective, RecoveryTarget, SelfEvaluation, SubmissionDiagnostic, VerificationFlag, WorkspaceCheckpointManifest } from "./protocol.js";
 import { type RoundProcessResult } from "./round-coordinator.js";
 import type { RoundCommitStore } from "./storage.js";
-/** v3.9.1: schema 3 embeds Git observation schema 2 (complete boundary
- *  fingerprints) and later adds optional diagnostics/manifest fields. */
-export declare const ROUND_TRANSACTION_SCHEMA_VERSION: 3;
+/** v3.9.7: schema 5 adds the transaction before-image, explicit mid-round
+ *  checkpoints and the redo restore marker. v4.0.3: schema 7 requires the
+ *  persisted `EvidencePosture` on every result and adds the transient
+ *  `RetryContext`. v4.0.4: schema 8 embeds the schema-10 PromptArtifact
+ *  (`fresh_invocation`) and the renamed `SelfEvaluation.agent_stop_reason`.
+ *  v4.0.6: schema 9 is a BREAKING shape break — the committed evaluation
+ *  carries a required `outcome`, one `execution_report.claims` channel
+ *  (`cr-`/`rci-`) and `round_contract.supersedes`; `success`,
+ *  `agent_stop_reason`, `contract_transition`, `tests_reported`,
+ *  `criterion_claims` and `contract_item_claims` are gone. Every earlier
+ *  version is reported as legacy by `legacyTransactionRounds`; there is no
+ *  compatibility migration. */
+export declare const ROUND_TRANSACTION_SCHEMA_VERSION: 9;
+/** Maximum distinct mid-round checkpoints one transaction may reference. */
+export declare const MAX_MID_CHECKPOINTS_PER_TRANSACTION = 32;
+/** The root branch identity for every loop. */
+export declare function rootBranchId(loopId: string): string;
+/** v3.9.6: deterministic transaction identity. The logical round identity is
+ *  still `roundId`; this id prevents a deep redo from replaying an abandoned
+ *  commit at the same numeric round. */
+export declare function deriveTransactionId(input: {
+    kind: "evaluation" | "rollback";
+    branchId: string;
+    roundId: string;
+    attempt: number;
+    promptHash?: string;
+    recovery?: {
+        target: RecoveryTarget;
+        reason: string;
+        /** v4.0.3: directive facts that distinguish two rollbacks of the same
+         *  target/reason (stable, sorted, never arbitrary object order). */
+        abandonedRounds?: number[];
+        failedRounds?: number[];
+        observedSkippedFiles?: string[];
+        reportedSkippedFiles?: string[];
+        triggerFindings?: string[];
+    };
+}): string;
 export type RoundTransactionPhase = "prepared" | "prompted" | "evaluated" | "rejected" | "committed" | "terminated";
+/** v4.0.3: the transient facts a held retry needs, attached to the REJECTED
+ *  snapshot before the retry prompt is compiled.
+ *
+ *  It is in-flight transaction state, never committed history: a rejected
+ *  attempt writes no Vault entry, and the retry commit clears this context
+ *  together with the evaluation/result of the rejected attempt. Keeping it on
+ *  the held snapshot (rather than only in the process that produced the
+ *  rejection) is what lets `loopforge_resume`/a stalled retry still know the
+ *  attempt number, rejection notice, findings and transient posture.
+ *
+ *  `attempt` is the attempt the NEXT compile/submission uses — it equals
+ *  `rejectedAttempt + 1`. */
+export interface RetryContext {
+    /** The next attempt; equals `rejectedAttempt + 1`. */
+    attempt: number;
+    rejectedAttempt: number;
+    /** The enforcement gate's protected rejection notice. */
+    rejectionNotice: string;
+    /** Findings from the rejected attempt — authority for the retry, never for
+     *  committed history. */
+    verificationFlags: VerificationFlag[];
+    /** The rejected attempt's transient evidence posture. It is rendered only
+     *  as "not committed" and never enters the Vault, Working Memory or a gate. */
+    evidencePosture: EvidencePosture;
+    rejectedAt: number;
+}
 export interface RoundTransactionSnapshot {
     schemaVersion: typeof ROUND_TRANSACTION_SCHEMA_VERSION;
+    /** v3.9.6: the transaction's branch. The root branch is
+     *  `loop:<loopId>:branch:root`; a rollback directive's transactionId names
+     *  the child branch used by its redo and all later transactions. */
+    branchId: string;
+    /** v3.9.6: stable identity of this transaction. `roundId` remains the
+     *  logical round; `transactionId` distinguishes a redo from an abandoned
+     *  commit at the same numeric round. */
+    transactionId: string;
+    /** v3.9.6: evaluations are normal work rounds; rollbacks are directives
+     *  that abandon a round without claiming work. */
+    kind: "evaluation" | "rollback";
     roundId: string;
     loopId: string;
     round: number;
@@ -25,13 +96,47 @@ export interface RoundTransactionSnapshot {
     beforeEvidence: MachineObservation[];
     afterEvidence?: MachineObservation[];
     evaluation?: SelfEvaluation;
+    /** v4.0.1: the immutable operator surface, carried byte-identically on every
+     *  evaluation transaction and rollback directive. A same-round redo may
+     *  replace the numeric round slot, so the fact must travel with each durable
+     *  document rather than existing only on the root. */
+    operatorAcceptance?: OperatorAcceptance;
+    /** v4.0.1: the compile facts that produced this evaluation. Absent on a
+     *  rollback directive. */
+    compiled?: CompiledRoundFacts;
+    /** v3.9.6: committed rollback directive facts (rollback kind only). */
+    recovery?: RecoveryDirective;
     result?: RoundProcessResult;
+    /** v4.0.3: transient retry facts. Present only on a rejected attempt or its
+     *  held retry prompt; never on a committed transaction, a directive or a
+     *  terminated attempt. It is cleared before the retry commit. */
+    retryContext?: RetryContext;
     /** v3.9.1: every lossy normalization decision for this submission. Saved
      *  with the transaction; strict boundary failures never reach here. */
     normalizationDiagnostics?: SubmissionDiagnostic[];
     /** v3.9.1: the known evaluation paths present in the raw submission. The
      *  receipt uses this manifest; unknown paths live in diagnostics only. */
     submittedFields?: string[];
+    /** v3.9.7: the automatic transaction before-image. Required when the
+     *  before-phase Git boundary was observed and materialized. */
+    beforeCheckpoint?: CheckpointRef;
+    /** v3.9.7: explicit machine fact when the automatic before-image failed.
+     *  The round may continue; it is simply not a recovery target. */
+    beforeCheckpointError?: {
+        code: string;
+        detail: string;
+        at: number;
+    };
+    /** v3.9.7: Agent-created mid-round savepoints, creation order, capped. */
+    checkpoints?: CheckpointRef[];
+    /** v3.9.7: only on the redo transaction. Proves this round's before state
+     *  was produced by a verified restore of the named directive. The target
+     *  checkpoint id/hash live only in the directive. */
+    restore?: {
+        directiveTransactionId: string;
+        redoRound: number;
+        verifiedAt: number;
+    };
     /** v3.8: the contract binding resolved at commit time (see ContractBinding).
      *  Absent when the committing round declared no contract. */
     contractBinding?: ContractBinding;
@@ -44,28 +149,24 @@ export interface RoundTransactionInput {
     snapshot: RoundTransactionSnapshot;
     task: string;
     maxRounds: number;
+    /** v4.0.1: the pre-commit history loaded by the advance path. Absent for
+     *  direct callers, which let the round coordinator load it. */
+    history?: import("./history.js").CommittedHistory;
     selfEval: SelfEvaluation;
-    lastSelfEval?: SelfEvaluation;
     consecutiveRejections: number;
     /** L4 (v3.7.x): previous round's rejection check (own-streak basis). */
     lastRejectionCheck?: string;
-    successTrajectory: boolean[];
-    /** v2.13: Files from skipped backtrack rounds for restore check. */
-    backtrackSkippedFiles?: string[];
-    /** M3 (v3.7.x): skipped-file git fingerprints at their failed rounds. */
-    backtrackSkippedFingerprints?: Record<string, string>;
-    /** v2.12: Git HEAD of the backtrack restore point. The verification gate
-     *  checks the workspace returns to this commit before accepting work. */
-    backtrackTargetGitHead?: string;
-    /** v3.9: files already dirty at the backtrack restore point (restore
-     *  baseline — see RoundProcessResult.backtrackTargetDirty). */
-    backtrackTargetDirty?: string[];
     /** v3.8.3: trusted round-start entrypoint fingerprints (see RoundProcessInput). */
     entrypointTrust?: Record<string, string>;
     /** v3.9.1: normalization metadata carried into the evaluated snapshot. */
     normalizationDiagnostics?: SubmissionDiagnostic[];
     submittedFields?: string[];
     actualEvidence: MachineObservation[];
+    /** The in-flight transaction's before-image, for machine backtrack target
+     *  mapping. Never a cognitive input. */
+    beforeCheckpoint?: CheckpointRef;
+    /** Reads a checkpoint manifest from the store (machine backtrack only). */
+    resolveCheckpointManifest?: (ref: CheckpointRef) => WorkspaceCheckpointManifest | null;
 }
 export interface RoundTransactionOutcome {
     snapshot: RoundTransactionSnapshot;
@@ -73,6 +174,15 @@ export interface RoundTransactionOutcome {
     /** true when a prior committed decision was replayed from the vault. */
     replayed: boolean;
 }
+/** v3.9.6: a first-class rollback directive. `snapshot` is the held
+ *  evaluation snapshot of the abandoned round; `recovery.transaction_id` is
+ *  both the directive transaction and the child branch identity. */
+export interface RecoveryTransactionInput {
+    snapshot: RoundTransactionSnapshot;
+    loopId: string;
+    recovery: RecoveryDirective;
+    actualEvidence: MachineObservation[];
+}
 /** v3.8/v3.9.1: The round's observation delta (before → after). Each entry
  *  carries raw before/after references; Git's `changedFiles` is the only
  *  file-change fact and is null when the pair cannot be compared. DERIVED,
@@ -85,20 +195,57 @@ export declare function deriveRoundObservationDelta(before: MachineObservation[]
  *  legacy documents explicitly instead of letting them vanish from history. */
 export declare function transactionSchemaVersionOf(value: unknown): number | null;
 export declare function makeRoundId(loopId: string, round: number): string;
-export declare function prepareRoundTransaction(loopId: string, round: number, beforeEvidence: MachineObservation[], promptArtifact?: PromptArtifact): RoundTransactionSnapshot;
+export declare function prepareRoundTransaction(loopId: string, round: number, beforeEvidence: MachineObservation[], promptArtifact?: PromptArtifact, opts?: {
+    branchId?: string;
+    operatorAcceptance?: OperatorAcceptance;
+    compiled?: CompiledRoundFacts;
+    kind?: "evaluation";
+    beforeCheckpoint?: CheckpointRef;
+    beforeCheckpointError?: {
+        code: string;
+        detail: string;
+        at: number;
+    };
+}): RoundTransactionSnapshot;
 /** Attach the next prompt attempt to a rejected logical round without changing
  * its identity or evidence baseline. Evaluation fields belong to the previous
  * attempt and are cleared before the Agent receives the retry prompt. */
-export declare function prepareRejectedAttempt(rejected: RoundTransactionSnapshot, promptArtifact: PromptArtifact): RoundTransactionSnapshot;
+export declare function prepareRejectedAttempt(rejected: RoundTransactionSnapshot, promptArtifact: PromptArtifact, compiled?: CompiledRoundFacts, operatorAcceptance?: OperatorAcceptance): RoundTransactionSnapshot;
+/** v4.0.5: re-bind a held RETRY prompt to a newly compiled artifact for the
+ *  SAME logical round and attempt. This is not a new attempt: attempt, round,
+ *  before evidence, retry facts, restore marker and branch stay byte-identical;
+ *  only the prompt-derived identity (artifact, prompt hash, transaction id and
+ *  the owning ids on checkpoints) changes.
+ *
+ *  Context preservation is enforced here, not by convention:
+ *  - the artifact identity must equal the held identity;
+ *  - an invocation-recovery recompile must be
+ *    `fresh_invocation / invocation_recovery`;
+ *  - every other recompile must keep the held mode and reason exactly.
+ *
+ *  Evaluation/result fields of the rejected attempt are cleared before the
+ *  Agent receives the new prompt, exactly like `prepareRejectedAttempt`. */
+export declare function rebindHeldPrompt(held: RoundTransactionSnapshot, artifact: PromptArtifact, compiled?: CompiledRoundFacts, operatorAcceptance?: OperatorAcceptance): RoundTransactionSnapshot;
+/** v4.0.3: schema 7 structural validation of the persisted evidence posture.
+ *  A committed round without a well-formed posture is a HARD break — it is not
+ *  committed history and is reported as legacy, never silently re-derived. */
+export declare function isEvidencePosture(value: unknown): value is EvidencePosture;
+/** v4.0.3: structural validation of the transient retry context. It is only
+ *  legal on a rejected attempt or its held retry prompt. */
+export declare function isRetryContext(value: unknown): value is RetryContext;
 export declare function isProcessResult(value: unknown): value is RoundProcessResult;
 /** Parse a persisted snapshot without trusting arbitrary vault data. */
 export declare function parseRoundTransactionSnapshot(value: unknown): RoundTransactionSnapshot | null;
 export declare class RoundTransactionCoordinator {
-    private readonly engine;
     private readonly store;
     private readonly commitStore;
-    constructor(engine: LoopForgeEngine, store?: LoopStore, commitStore?: RoundCommitStore);
+    constructor(store: LoopStore, commitStore?: RoundCommitStore);
     process(input: RoundTransactionInput): RoundTransactionOutcome;
+    /** v3.9.6: commit an Agent-initiated rollback directive. This path does not
+     *  run verification or enforcement: abandoning work is an action, not a
+     *  success claim. The directive is a typed event, not a `:feedback` round. */
+    commitRecovery(input: RecoveryTransactionInput): RoundTransactionOutcome;
+    private readRecoveryCommitted;
     /** Recover an already committed decision without evaluating or writing. */
     recover(snapshot: RoundTransactionSnapshot): RoundTransactionOutcome | null;
     private readCommitted;

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

@@ -1 +1 @@
-{"version":3,"file":"round-transaction.d.ts","sourceRoot":"","sources":["../src/round-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EACV,eAAe,EACf,kBAAkB,EAClB,cAAc,EAEd,cAAc,EACd,oBAAoB,EACrB,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAUhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD;yEACyE;AACzE,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAO3D,MAAM,MAAM,qBAAqB,GAC7B,UAAU,GACV,UAAU,GACV,WAAW,GACX,UAAU,GACV,WAAW,GACX,YAAY,CAAC;AAEjB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,OAAO,gCAAgC,CAAC;IACvD,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,CAAC;IAC7B,cAAc,EAAE,kBAAkB,EAAE,CAAC;IACrC,aAAa,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACrC,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B;2EACuE;IACvE,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClD;8EAC0E;IAC1E,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B;iEAC6D;IAC7D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,cAAc,CAAC;IACzB,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,wEAAwE;IACxE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,OAAO,EAAE,CAAC;IAC7B,oEAAoE;IACpE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,yEAAyE;IACzE,4BAA4B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD;6EACyE;IACzE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;mEAC+D;IAC/D,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,mFAAmF;IACnF,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,0EAA0E;IAC1E,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClD,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,cAAc,EAAE,kBAAkB,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;2CAK2C;AAC3C,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,kBAAkB,EAAE,EAC5B,KAAK,EAAE,kBAAkB,EAAE,GAC1B,gBAAgB,EAAE,CAEpB;AAED;;+EAE+E;AAC/E,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGxE;AA0BD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,kBAAkB,EAAE,EACpC,cAAc,CAAC,EAAE,cAAc,GAC9B,wBAAwB,CAc1B;AAED;;yEAEyE;AACzE,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,wBAAwB,EAClC,cAAc,EAAE,cAAc,GAC7B,wBAAwB,CA4B1B;AAWD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAK3E;AA0CD,wEAAwE;AACxE,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,GACb,wBAAwB,GAAG,IAAI,CA8FjC;AAED,qBAAa,2BAA2B;IAKpC,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJzB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAmB;gBAG5B,MAAM,EAAE,eAAe,EACxC,KAAK,CAAC,EAAE,SAAS,EACjB,WAAW,CAAC,EAAE,gBAAgB;IAMhC,OAAO,CAAC,KAAK,EAAE,qBAAqB,GAAG,uBAAuB;IA6I9D,2EAA2E;IAC3E,OAAO,CAAC,QAAQ,EAAE,wBAAwB,GAAG,uBAAuB,GAAG,IAAI;IAQ3E,OAAO,CAAC,aAAa;IAkBrB,OAAO,CAAC,gBAAgB;CAwBzB"}
+{"version":3,"file":"round-transaction.d.ts","sourceRoot":"","sources":["../src/round-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,iBAAiB,CAAC;AAE7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EACjB,cAAc,EAEd,cAAc,EACd,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,EAC5B,MAAM,eAAe,CAAC;AAKvB,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAahC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGrD;;;;;;;;;;;+BAW+B;AAC/B,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAE3D,4EAA4E;AAC5E,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAEtD,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;wCAEwC;AACxC,wBAAgB,mBAAmB,CAAC,KAAK,EAAE;IACzC,IAAI,EAAE,YAAY,GAAG,UAAU,CAAC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE;QACT,MAAM,EAAE,cAAc,CAAC;QACvB,MAAM,EAAE,MAAM,CAAC;QACf;4EACoE;QACpE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACxB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;QAChC,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;QAChC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;KAC5B,CAAC;CACH,GAAG,MAAM,CAuBT;AAOD,MAAM,MAAM,qBAAqB,GAC7B,UAAU,GACV,UAAU,GACV,WAAW,GACX,UAAU,GACV,WAAW,GACX,YAAY,CAAC;AAEjB;;;;;;;;;;;6BAW6B;AAC7B,MAAM,WAAW,YAAY;IAC3B,sDAAsD;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,yDAAyD;IACzD,eAAe,EAAE,MAAM,CAAC;IACxB;6BACyB;IACzB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC;mFAC+E;IAC/E,eAAe,EAAE,eAAe,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,OAAO,gCAAgC,CAAC;IACvD;;wEAEoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB;;4CAEwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB;sDACkD;IAClD,IAAI,EAAE,YAAY,GAAG,UAAU,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,CAAC;IAC7B,cAAc,EAAE,kBAAkB,EAAE,CAAC;IACrC,aAAa,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACrC,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B;;;0DAGsD;IACtD,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC;8BAC0B;IAC1B,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IAC7B,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B;;qEAEiE;IACjE,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;2EACuE;IACvE,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClD;8EAC0E;IAC1E,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B;mEAC+D;IAC/D,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC;sEACkE;IAClE,qBAAqB,CAAC,EAAE;QACtB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,EAAE,EAAE,MAAM,CAAC;KACZ,CAAC;IACF,0EAA0E;IAC1E,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B;;yDAEqD;IACrD,OAAO,CAAC,EAAE;QACR,sBAAsB,EAAE,MAAM,CAAC;QAC/B,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF;iEAC6D;IAC7D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB;mEAC+D;IAC/D,OAAO,CAAC,EAAE,OAAO,cAAc,EAAE,gBAAgB,CAAC;IAClD,QAAQ,EAAE,cAAc,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,wEAAwE;IACxE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,mFAAmF;IACnF,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,0EAA0E;IAC1E,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClD,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,cAAc,EAAE,kBAAkB,EAAE,CAAC;IACrC;4CACwC;IACxC,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,2EAA2E;IAC3E,yBAAyB,CAAC,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,2BAA2B,GAAG,IAAI,CAAC;CACxF;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;oEAEoE;AACpE,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,kBAAkB,EAAE,CAAC;CACtC;AAED;;;;;2CAK2C;AAC3C,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,kBAAkB,EAAE,EAC5B,KAAK,EAAE,kBAAkB,EAAE,GAC1B,gBAAgB,EAAE,CAEpB;AAED;;+EAE+E;AAC/E,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGxE;AA0BD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,kBAAkB,EAAE,EACpC,cAAc,CAAC,EAAE,cAAc,EAC/B,IAAI,GAAE;IACJ,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,qBAAqB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;CACjE,GACL,wBAAwB,CA4C1B;AAED;;yEAEyE;AACzE,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,wBAAwB,EAClC,cAAc,EAAE,cAAc,EAC9B,QAAQ,CAAC,EAAE,kBAAkB,EAC7B,kBAAkB,CAAC,EAAE,kBAAkB,GACtC,wBAAwB,CAkE1B;AAED;;;;;;;;;;;;;4EAa4E;AAC5E,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,wBAAwB,EAC9B,QAAQ,EAAE,cAAc,EACxB,QAAQ,CAAC,EAAE,kBAAkB,EAC7B,kBAAkB,CAAC,EAAE,kBAAkB,GACtC,wBAAwB,CAsE1B;AA6CD;;8EAE8E;AAC9E,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,eAAe,CAqG1E;AAED;4DAC4D;AAC5D,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAapE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CAc3E;AAsJD,wEAAwE;AACxE,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,GACb,wBAAwB,GAAG,IAAI,CAmNjC;AAED,qBAAa,2BAA2B;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;IAClC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAmB;gBAG7C,KAAK,EAAE,SAAS,EAChB,WAAW,CAAC,EAAE,gBAAgB;IAMhC,OAAO,CAAC,KAAK,EAAE,qBAAqB,GAAG,uBAAuB;IAqL9D;;kFAE8E;IAC9E,cAAc,CAAC,KAAK,EAAE,wBAAwB,GAAG,uBAAuB;IAwGxE,OAAO,CAAC,qBAAqB;IA0B7B,2EAA2E;IAC3E,OAAO,CAAC,QAAQ,EAAE,wBAAwB,GAAG,uBAAuB,GAAG,IAAI;IAU3E,OAAO,CAAC,aAAa;IAkBrB,OAAO,CAAC,gBAAgB;CAmCzB"}