loopforge 3.9.2 → 4.0.7

package/dist/mcp/round-lifecycle.d.ts

@@ -10,44 +10,30 @@
  * session ownership, queues, and leases remain in SessionManager.
  */
 import { LoopForgeEngine } from "../engine.js";
-import type { LoopForgeRequest, LoopForgeResponse, SelfEvaluation, SubmissionDiagnostic, SubmissionGuidance, SubmissionReceipt, VerificationFlag, ExternalContextProvider, LoopTerminalSink, RoundVerificationStatus } from "../protocol.js";
-import type { MachineObservation } from "../protocol.js";
+import type { CheckpointRef, EvidencePosture, LoopCompileRequest, OperatorAcceptance, PromptContextMode, PromptContextReason, RecoveryRequest, RoundOutcome, SelfEvaluation, SubmissionDiagnostic, SubmissionGuidance, SubmissionHandle, SubmissionReceipt, VerificationFlag, LoopTerminalSink, StopReason } from "../protocol.js";
 import type { RoundTransactionSnapshot } from "../round-transaction.js";
+import { FileWorkspaceCheckpointStore } from "../workspace-checkpoint.js";
 import type { LoopStore, VaultEntry } from "../loop-store.js";
-import type { SessionStateStore } from "../storage.js";
+import type { SessionSaveOptions, SessionStateStore } from "../storage.js";
 export interface McpSession {
+    /** v4.0.4: a LIVE key inside this process. It is persisted and rebuilt by
+     *  `loopforge_resume`/`autoResumeAll`, but it is not the durable identity:
+     *  relationships and recovery use `loopId`. */
     sessionId: string;
+    /** The one durable loop identity. */
     loopId: string;
+    /** The compile-time task text; the immutable operator objective is a
+     *  separate committed fact (`OperatorAcceptance`). */
     task: string;
     engine: LoopForgeEngine;
     currentRound: number;
     maxRounds: number;
-    successTrajectory: boolean[];
     status: "running" | "stopped" | "stalled" | "paused";
     createdAt: number;
-    /** Previous round's validated SelfEvaluation — used by verification gate. */
-    lastSelfEval?: SelfEvaluation;
     consecutiveRejections: number;
     /** Which enforcement check triggered the last rejection.
      *  Only same-check rejections accumulate toward the max. */
     lastRejectionCheck: string;
-    /** v2.13: Files changed in skipped rounds during the last backtrack.
-     *  The next round's verification gate checks that the agent did not
-     *  continue working on stale files without restoring the workspace.
-     *  Cleared after the first successful post-backtrack round. */
-    backtrackSkippedFiles: string[];
-    /** M3 (v3.7.x): git fingerprint of each skipped file at its failed round
-     *  — machine proof for the workspace-restore check. Cleared with
-     *  backtrackSkippedFiles after the restore round. */
-    backtrackSkippedFingerprints: Record<string, string>;
-    /** v2.12: Git HEAD of the last backtrack restore point. The verification
-     *  gate checks the workspace returns to this commit before accepting.
-     *  Cleared after the first successful post-backtrack round. */
-    backtrackTargetGitHead?: string;
-    /** v3.9: files already dirty at that restore point — the baseline the
-     *  restored workspace is compared against, so unrelated work in progress
-     *  does not read as a failed restore. Cleared with the HEAD above. */
-    backtrackTargetDirty?: string[];
     /** v3.8.3: the trusted round-start fingerprint of every enabled command's
      *  entrypoint files, captured when the CURRENT in-flight round was prepared.
      *
@@ -57,20 +43,12 @@ export interface McpSession {
      *  appears in and a re-derived baseline could launder. Absent means the
      *  round runs without that arm — never a lost round. */
     entrypointTrust?: Record<string, string>;
-    /** Evidence baseline captured immediately before the agent receives a prompt. */
-    evidenceBaseline?: MachineObservation[];
+    /** v3.9.7: operator-owned immutable acceptance, carried as a session cursor
+     *  so a recovery that clears the held snapshot cannot lose it. The root
+     *  committed round-1 transaction remains the authority. */
+    operatorAcceptance?: OperatorAcceptance;
     /** Schema-versioned transaction for the prompt currently held by the agent. */
     roundSnapshot?: RoundTransactionSnapshot;
-    /** Persisted prompt prevents resume from compiling the same round twice. */
-    currentPrompt?: string | null;
-    currentLevel?: string;
-    /** Structured warnings from the most recent compile — preferred over regex parsing. */
-    currentWarnings?: string[];
-    /** v3.0.1: The full compile response of the current round, cached so the
-     *  typed projection (getProjection) derives from it instead of recompiling
-     *  the whole vault. Freshness is checked via loop_id + round; rebuilt by
-     *  every compile path. Not persisted — cold sessions fall back to compiling. */
-    lastCompileResponse?: LoopForgeResponse | null;
 }
 export interface McpSessionSummary {
     sessionId: string;
@@ -82,43 +60,156 @@ export interface StartInput {
     task: string;
     loopId?: string;
     maxRounds?: number;
-    domain?: string;
     planSource?: string;
     constraints?: string[];
+    /** v3.9.4: initial local requirements, each becoming a stable `cr-*` anchor
+     *  in the objective. Omit to keep the default criterion. */
+    criteria?: string[];
 }
+/** v4.0.5: the host's invocation-level input. It is carried into ONE prompt
+ *  compilation/artifact and never stored as loop task, acceptance, history or
+ *  Working Memory. The host owns cross-process persistence. */
+export interface InvocationInputs {
+    /** Trimmed, non-empty. An empty/whitespace value is `invalid_argument`. */
+    currentUserInstruction?: string;
+}
+/** v4.0.5: resume/unpause transport input. `invocationLost` is the host's
+ *  declaration that the original in-context retry invocation is gone; it is
+ *  never persisted and only changes the context reason of the SAME attempt. */
+export interface ResumeInputs extends InvocationInputs {
+    invocationLost?: boolean;
+}
+/** v4.0.5: a structural defect in invocation input. The MCP handlers map this
+ *  to `invalid_argument`; it is never a policy or round defect. */
+export declare class InvocationInputError extends Error {
+    readonly code = "invalid_argument";
+}
+/** v4.0.5: normalize the invocation instruction at the transport boundary.
+ *  `undefined`/absent stays absent ("not provided"); non-string or
+ *  empty/whitespace is a structural defect. The trimmed text is stored
+ *  verbatim — no case folding, no internal-whitespace folding. */
+export declare function normalizeCurrentUserInstruction(raw: unknown): string | undefined;
+/** v4.0.5: normalize a whole transport input bundle before any state is read
+ *  or mutated. */
+export declare function normalizeInvocationInputs<T extends InvocationInputs>(inputs?: T): T | undefined;
+/** v3.9.4: a structural defect in the start criteria argument. The MCP
+ *  handler maps this to `invalid_argument`; it is never a policy defect. */
+export declare class StartCriteriaError extends Error {
+    readonly code = "invalid_argument";
+}
+/** v3.9.4: normalize initial criteria at the start boundary.
+ *
+ *  - a non-array / non-string element is a structural defect (throws);
+ *  - empty text is dropped with a warning;
+ *  - duplicate normalized-exact text keeps the first spelling, with a
+ *    warning (the stable id derivation would otherwise produce two entries
+ *    with one `cr-*` id);
+ *  - over `policy.evolution.max_start_criteria` is dropped from the tail with
+ *    a warning;
+ *  - an empty result is the caller's signal to keep the default criterion. */
+export declare function normalizeStartCriteria(raw: unknown): {
+    criteria: string[];
+    warnings: string[];
+};
+/** v4.0.4: the terminal reason a manual `loopforge_stop` reports to the
+ *  terminal sink and in its response. It is never persisted as a committed
+ *  round fact, so status/resume after a restart still report "no committed
+ *  terminal reason". One constant keeps the response and the sink aligned. */
+export declare const MANUAL_STOP_REASON: "cancelled";
 export interface AdvanceResult {
     sessionId: string;
+    /** Durable loop identity, returned with the held prompt so a restarted
+     *  agent can call `loopforge_resume` without reconstructing IDs. Absent on
+     *  results that have no session (for example a missing-handle refusal). */
+    loopId?: string;
+    /** On a continue result this is the NEXT round being prepared; the
+     *  `agentOutcome` field and the receipt describe the round that was just
+     *  submitted. Use `submission_receipt.round_id` as the authoritative
+     *  identity of the submitted round. */
     round: number;
-    /** Stable logical identity; unchanged when enforcement retries the round. */
-    roundId?: string;
+    /** v4.0.0: the ONE transport anchor for the held attempt. Derived from the
+     *  persisted snapshot; never persisted itself. Absent on terminal results. */
+    submissionHandle?: SubmissionHandle;
+    /** v3.9.7: the held transaction's before-image + mid savepoints. */
+    checkpoints?: CheckpointRef[];
+    /** v3.9.7: explicit fact when the automatic before-image failed. */
+    beforeCheckpointError?: {
+        code: string;
+        detail: string;
+    };
     prompt: string | null;
-    stopReason?: string;
+    /** v4.0.4: LoopForge's terminal reason. ONLY a `StopReason` — session
+     *  state, handle/payload/session errors are reported through
+     *  `sessionStatus`/`submissionError` and never masquerade as a stop reason. */
+    stopReason?: StopReason;
+    /** v4.0.4: the live session's status when the result is not a loop terminal
+     *  reason. `paused`/`stopped`/`stalled` describe the SESSION, not a
+     *  `StopReason`; `running` is present only where the caller needs the
+     *  distinction. */
+    sessionStatus?: "running" | "stopped" | "paused" | "stalled";
     /** v2.0.1: Human-readable context for why the loop stopped.
      *  Provides facts the agent can use to decide its next action,
      *  without LoopForge prescribing a specific behavior. */
     stopDetail?: string;
     level?: string;
-    roundSuccess?: boolean;
+    /** v4.0.2: the context boundary of the delivered prompt. Projected from the
+     *  PromptArtifact, never re-derived by the lifecycle. Absent when this
+     *  result carries no prompt. */
+    contextMode?: PromptContextMode;
+    contextReason?: PromptContextReason;
+    agentSuccessClaim?: boolean;
+    /** v4.0.6: the Agent-declared outcome of the round this result is about. */
+    agentOutcome?: RoundOutcome | null;
+    /** v4.0.4: the Agent's declared should_continue of the same round. */
+    agentShouldContinue?: boolean;
     warnings?: string[];
     /** v1.13: Enforcement action for this round. accept/reject/terminate.
      *  When "reject", the prompt contains a rejection notice and the agent
      *  must redo the same round. Round counter does NOT increment. */
-    enforcementAction?: "accept" | "reject" | "terminate" | "backtrack";
-    /** v3.8: The round-level verification posture — `trusted` when everything
-     *  claimed this round is machine-backed, `insufficient` when claims are
-     *  unbacked but nothing is denied, `contradicted` when a machine fact
-     *  denies a claim. Never a verdict about the agent's work quality. */
-    verificationStatus?: RoundVerificationStatus;
+    enforcementAction?: "accept" | "reject" | "terminate" | "backtrack" | "recovery";
+    /** v4.0.3: the ONE evidence posture of the round this result is about.
+     *  Accepted rounds carry the persisted posture; a rejection carries its
+     *  transient copy. Never a verdict about the agent's work quality. */
+    evidencePosture?: EvidencePosture;
     /** v1.13: When enforcementAction is "reject" or "terminate", the reason
      *  why the round was rejected or the loop was terminated. */
     enforcementReason?: string;
+    /** v3.9.7: the committed rollback directive facts and the verified restore
+     *  that produced the redo prompt. The Agent does not restore the workspace;
+     *  LoopForge already did. */
+    recovery?: {
+        origin: "agent" | "machine";
+        reason: string;
+        target_checkpoint_id: string;
+        redo_round: number;
+        restore: {
+            status: "verified";
+            head?: string;
+            previous_head?: string;
+            safety_ref?: string;
+            files_written: number;
+            files_deleted: number;
+            verified_at: number;
+        };
+    };
     /** v3.8.1: set when the RUNTIME refused the submission before touching any
      *  state — the same `ToolErrorCode` as `stopReason`, plus the structured
      *  details a transport maps onto its error envelope. Produced by
      *  `validateSubmission` in submission-boundary.ts, which SessionManager
      *  runs before its queue and lease heartbeat. */
     submissionError?: {
-        code: "evaluation_invalid" | "contract_invalid";
+        code: "evaluation_invalid" | "contract_invalid" | "invalid_argument" | "session_not_found" | "submission_handle_required" | "submission_handle_mismatch" | "recovery_invalid" | "recovery_disabled" | "recovery_unavailable" | "checkpoint_invalid" | "checkpoint_unavailable" | "checkpoint_failed" | "checkpoint_limit" | "restore_failed" | "restore_pending"
+        /** v4.0.4: another live process owns the session lease; this is a
+         *  session error, not a loop terminal reason. */
+         | "lease_conflict";
+        details: Record<string, unknown>;
+    };
+    /** v3.9.4: a prompt-projection code defect. This is NOT a submission
+     *  refusal (the round may already be committed); the next prompt was not
+     *  delivered and the session is stalled. The MCP envelope maps it to the
+     *  `projection_incomplete` error code. */
+    projectionError?: {
+        code: "projection_incomplete";
         details: Record<string, unknown>;
     };
     /** v3.9.1: current-fact submission guidance for the held/prepared round.
@@ -145,10 +236,13 @@ export interface RoundLifecycleDeps {
     ownerId: string;
     /** Session lease duration; stamped into saved session entries. */
     leaseMs: number;
-    /** Live accessor for the mutable contextProvider field on SessionManager. */
-    getContext: () => ExternalContextProvider | undefined;
+    /** v3.9.7: per-loop checkpoint store. Absent disables automatic
+     *  before-images (the round still runs with an explicit error fact). */
+    checkpointStoreFor?: (loopId: string) => FileWorkspaceCheckpointStore | undefined;
 }
-export declare function buildLoopRequest(session: McpSession, lastEval?: SelfEvaluation, verificationFlags?: VerificationFlag[]): LoopForgeRequest;
+export declare function buildLoopRequest(session: McpSession,
+/** v4.0.5: the host's explicit invocation input for THIS compile. */
+inputs?: InvocationInputs): LoopCompileRequest;
 export declare class RoundLifecycle {
     private readonly store;
     private readonly sessionStore;
@@ -156,19 +250,30 @@ export declare class RoundLifecycle {
     private readonly terminalSinks;
     private readonly ownerId;
     private readonly leaseMs;
-    private readonly getContext;
+    private readonly checkpointStoreFor;
     constructor(deps: RoundLifecycleDeps);
+    /** v3.9.7: the one RoundDriver construction site. Every prepare must carry
+     *  the per-loop checkpoint store, or no round can produce a before-image. */
+    private driver;
     /** v3.9.1: the submission-guidance projection for a session's held round.
-     *  One history window (`derivationRounds`, the compile window), no writes.
+     *  One history read and one compile window, no writes.
      *  Findings from a rejected/retried attempt are supplied by the caller. */
     guidanceFor(session: McpSession, extras?: {
         verificationFlags?: ReadonlyArray<VerificationFlag>;
         recovery?: {
-            required: boolean;
-            restore_point?: number;
-            target_head?: string;
+            pending: boolean;
+            redo_round: number;
+            checkpoint_id: string;
+            restore_verified: boolean;
+            origin?: "agent" | "machine";
+            reason?: string;
         } | null;
     }): SubmissionGuidance;
+    /** The operator criteria the held prompt's reference space was built from.
+     *  The held acceptance wins; committed objective lineage is the fallback for
+     *  a session whose snapshot predates the acceptance field. Null when neither
+     *  is observable — callers fail open. */
+    private objectiveCriteriaFor;
     /** v3.9.1: the before facts of the round being submitted, from the SAME
      *  history window the compile uses. Works on a replay too: rounds below the
      *  logical round exclude the round itself. */
@@ -179,7 +284,7 @@ export declare class RoundLifecycle {
     /** Persist session state to vault for cross-process recovery.
      *  The filtered vault and replacement entry are written once under the
      *  backend lock, so recovery never observes the old two-write gap. */
-    save(session: McpSession): void;
+    save(session: McpSession, options?: SessionSaveOptions): void;
     /** Reconstruct a McpSession from a vault session_state entry.
      *  Returns null if the entry is not "running" status.
      *  Shared by resume() and autoResumeAll(). */
@@ -210,25 +315,101 @@ export declare class RoundLifecycle {
      *
      *  Best-effort: an unreadable policy or an unresolvable command must leave
      *  the round without the absolute arm, not fail the preparation. */
-    private seedEntrypointTrust;
+    /** v4.0.3: seed the round-start entrypoint baseline. Public so the start
+     *  path can seed BEFORE the first prompt is delivered; a missing baseline
+     *  must never be re-derived from an already-modified workspace. */
+    seedEntrypointTrust(session: McpSession): void;
+    /** v4.0.3: warnings for a resumed round whose trusted baseline is absent.
+     *  The workspace may already have been modified; re-capturing it would
+     *  launder the change, so the round runs with the Git-delta arm only. */
+    private resumeWarnings;
+    /** v3.9.7: operator acceptance and branch identity travel with the session
+     *  cursor (not only the held snapshot). Every prepare carries them forward;
+     *  a recovery that clears the held snapshot must not reset the branch to
+     *  root or lose the operator's acceptance surface. */
+    private prepareOptions;
     private persistPrepared;
-    private restoredPromptResult;
+    /** v4.0.2: the context boundary carried by a prompt-bearing result. It is
+     *  a PROJECTION of the artifact that produced the prompt — never a second
+     *  derivation from live session state. */
+    private contextFacts;
+    /** v3.9.7: execution metadata attached to every held/prepared prompt. These
+     *  are transport facts, never prompt governance content. v4.0.0: the anchor
+     *  itself is the separate `submissionHandle`; this bundle owns only the
+     *  checkpoint facts. */
+    private transactionFacts;
+    /** v4.0.0: the transport handle for the current held snapshot, or absent. */
+    private heldHandle;
+    /** v3.9.7: guidance facts for a redo whose restore is already verified.
+     *  They are derived from the still-pending committed directive, so a
+     *  restart returns the same surface as the original recovery response. */
+    private pendingRecoveryGuidance;
+    /** v4.0.0: return the exact stored prompt plus the CURRENT handle. This is
+     *  the ONE path that re-delivers a prompt without compiling. It fails closed
+     *  unless the full held predicate holds (phase, round, attempt, rendered
+     *  prompt), so a committed/terminated/retrying snapshot can never masquerade
+     *  as held. The warning is appended without mutating the artifact. Public so
+     *  SessionManager can use it on its pre-queue stale-handle path. */
+    heldPromptResult(session: McpSession, warning?: string): AdvanceResult | null;
     /** Reconcile the crash window where feedback committed but session_state
      *  still points at the old prompt. Returns null when no commit is pending.
      *  v3.7: async — the continue-after-crash branch compiles through
      *  RoundDriver.prepare (the sync prepareSync fallback was removed). */
     private reconcileCommittedRound;
+    /** v3.9.7: a committed directive with no verified redo snapshot must be
+     *  completed BEFORE any ordinary compile/held-prompt path. The restore and
+     *  redo prepare are idempotent; a verified held redo prompt is returned
+     *  without re-checking the workspace (the Agent may already have worked). */
+    private completePendingRecovery;
+    /** v4.0.5: the zero-side-effect refusal for a cold handoff whose held retry
+     *  facts are missing or inconsistent. Nothing is saved, compiled or
+     *  advanced; the held snapshot and handle are unchanged. */
+    private invocationRecoveryUnavailable;
+    /** v4.0.5: map a compile failure onto the existing stalled/coverage result.
+     *  Returns null for an unexpected error so the caller can rethrow it. */
+    private compileStalledResult;
+    /** v4.0.5: ONE held-prompt entry for resume/unpause/recovery. With no new
+     *  instruction it re-delivers the stored prompt and handle unchanged; with a
+     *  new instruction it recompiles the SAME round/attempt and preserves the
+     *  held context boundary (including an existing invocation recovery). */
+    private heldPromptWithInputs;
+    /** v4.0.5: the public `loopforge_next` instruction-recompile entry. It only
+     *  recompiles the held prompt for a new invocation instruction: no
+     *  submission, no round/attempt change, no evidence collection. The handle
+     *  was validated by SessionManager before its queue and lease heartbeat. */
+    recompileHeldWithInstruction(session: McpSession, instruction: string): Promise<AdvanceResult>;
+    /** v4.0.5: compile a held prompt again without collecting evidence, writing
+     *  the Vault, changing attempt/round or touching retry counters. */
+    private recompileHeldPrompt;
+    /** v4.0.5: compile the retry prompt for a rejected attempt that has no held
+     *  prompt (its retry compile failed before). This is the one path that
+     *  creates the next attempt for such a session. */
+    private prepareRetryWithInputs;
+    /** v4.0.5: recompile the SAME retry attempt when the host declared the
+     *  original invocation lost, or when a submitted retry prompt never existed
+     *  (rejected snapshot). Returns null when this session has no retry material
+     *  or when the held prompt is already a clean context (idempotent no-op). */
+    private recompileRetryAttempt;
+    /** A rejected round still owns its original before-image. Recover its next
+     *  attempt through the same retry preparation used by a live rejection;
+     *  ordinary prepare would recapture evidence and reset snapshot.attempt.
+     *  v4.0.5: the instruction travels with the compile and is inherited from
+     *  the rejected prompt within the same logical round. */
+    private prepareMissingPrompt;
     /** Resume tail: the session has been reconstructed and registered. Reconcile
      *  a committed-but-undelivered round, restore the held prompt, or recover a
      *  missing prompt from current round state. v3.7: async — compilation runs
      *  through RoundDriver.prepare like unpause (the prepareSync fallback was
      *  removed); a failed compile now degrades to the same stalled terminal
-     *  result unpause returns instead of persisting a null prompt. */
-    resume(session: McpSession): Promise<AdvanceResult>;
+     *  result unpause returns instead of persisting a null prompt.
+     *  v4.0.5: an `invocationLost` retry is recompiled as a cold-context prompt
+     *  for the SAME logical round/attempt, before the ordinary held-prompt path. */
+    resume(session: McpSession, inputs?: ResumeInputs): Promise<AdvanceResult>;
     /** Unpause tail: the session has been reconstructed and registered with
-     *  status "running". Refresh async evidence, reconcile a committed round,
-     *  restore the held prompt, or compile the next prompt. */
-    unpause(session: McpSession): Promise<AdvanceResult>;
+     *  status "running". Reconcile a committed round, restore the held prompt,
+     *  or compile the next prompt from the committed window. v4.0.5: the same
+     *  invocation inputs and cold-handoff recompile apply here. */
+    unpause(session: McpSession, inputs?: ResumeInputs): Promise<AdvanceResult>;
     /** Record a gate_opened entry when an accepted round reports a high-risk
      *  blocker (USER_RISK hit). Idempotent per gate. The gate is a record
      *  layer — it never blocks the round decision flow. */
@@ -240,20 +421,35 @@ export declare class RoundLifecycle {
     private extractEvaluation;
     /** Execute the round transaction and apply per-rule rejection tracking.
      *  MUTATES: session.roundSnapshot, session.consecutiveRejections,
-     *           session.lastRejectionCheck, session.lastSelfEval,
-     *           session.successTrajectory */
+     *           session.lastRejectionCheck */
     private executeRoundTransaction;
     /** Build a rejection result: compile a retry prompt, persist, return.
      *  MUTATES: session.roundSnapshot, session.currentPrompt, session.currentLevel */
     private buildRejectionResult;
-    /** v2.10: Build a backtrack result — roll back to last clean round.
-     *  Resets the round counter to the restore target + 1, merges preserved
-     *  discoveries, compiles from the restored state, and injects the
-     *  backtrack prompt at the top.
-     *  MUTATES: session.currentRound, session.roundSnapshot,
-     *           session.currentPrompt, session.currentLevel,
-     *           session.consecutiveRejections, session.lastSelfEval */
+    /** v3.9.7: the workspace/state-dir facts shared by restore preflight and
+     *  execution. The state directory is never part of the restored boundary. */
+    private restoreContext;
+    /** Execute the committed directive's restore, verify it, then compile the
+     *  redo from the SAME baseline. The directive is never rewritten. */
+    private runRestoreAndPrepare;
+    /** Failed restore: the directive remains pending, no prompt exists, and the
+     *  session is resumable. */
+    private restoreFailedResult;
+    /** v2.10: Build a backtrack result. The directive is already committed;
+     *  LoopForge executes and verifies the restore, then compiles the redo from
+     *  the verified baseline. A failed restore leaves the directive pending and
+     *  the session stalled — no redo prompt is ever issued unverified. */
     private buildBacktrackResult;
+    /** v4.0.4: the ONE terminal stop-detail formatter. Live stop, termination,
+     *  crash-recovered stop and resume-of-stopped read the same three fact
+     *  blocks; a committed fact is described identically on every path. */
+    private terminalFacts;
+    /** v4.0.4: the terminal result of an already-stopped loop, built from
+     *  committed history. This is the ONE read path for `resume` of a stopped
+     *  loop: it reports the committed `StopReason` and renders the same three
+     *  fact blocks as a live stop. A loop with no committed stop round reports
+     *  the session status and says so instead of inventing a reason. */
+    stoppedLoopResult(loopId: string, currentRound: number): AdvanceResult;
     /** Build a termination result: persist stopped status, notify sinks.
      *  MUTATES: session.status, session.currentPrompt
      *
@@ -272,20 +468,28 @@ export declare class RoundLifecycle {
      *           session.evidenceBaseline, session.roundSnapshot */
     private advanceToNextRound;
     /** M4: mark a session stalled after its round committed but the next
-     *  prompt could not be prepared/persisted — mirrors the crash-recovery
-     *  siblings (reconcileCommittedRound / resume / reject paths). The
-     *  committed round stays held (roundSnapshot untouched) so a resubmission
-     *  with the same roundId replays it and recompiles the next round. */
+     *  prompt could not be prepared/persisted. v4.0.0: the committed snapshot is
+     *  NOT a held prompt, so this result carries no handle; the Agent must call
+     *  `loopforge_resume`, which reconciles the commit and compiles the next
+     *  prompt. Re-submitting an old handle can never resurrect the old round. */
     private stalledAfterCommit;
     private advanceUnlocked;
+    /** v3.9.6: Agent-initiated recovery. The Agent selects the target; this
+     *  method only validates it against committed facts, records the rollback
+     *  directive and compiles the redo. It never runs ordinary verification or
+     *  enforcement on the abandoned work. */
+    recover(sessionId: string, recovery: RecoveryRequest, inputs?: InvocationInputs): Promise<AdvanceResult>;
+    /** Execute the committed directive's restore and return the redo prompt. */
+    private restoreAndPrepareRedo;
     /** Core cycle entry used by SessionManager.advance after the queue + lease
      *  dance: validate → extract → execute transaction → route disposition
      *  → advance to next round (continue) or return terminal result.
-     *  @param roundId v3.0.1: the roundId of the round this submission reports
-     *    on (from the last start/next/resume response). Anchors the submission;
-     *    a stale or duplicate submission returns the held prompt instead of
-     *    being processed. Optional — when absent the anchor check is skipped. */
-    advance(sessionId: string, output: string, preExtractedEval?: SelfEvaluation, roundId?: string, normalizationDiagnostics?: SubmissionDiagnostic[], submittedFields?: string[]): Promise<AdvanceResult>;
+     *  v4.0.0: the submission identity (the exact held transaction) is validated
+     *  by SessionManager before its queue and lease heartbeat. This entry point
+     *  owns the round state machine and does not re-check anchors. */
+    advance(sessionId: string, output: string, preExtractedEval?: SelfEvaluation, normalizationDiagnostics?: SubmissionDiagnostic[], submittedFields?: string[],
+    /** v4.0.5: invocation input for the prompt compiled after this submission. */
+    inputs?: InvocationInputs): Promise<AdvanceResult>;
     /** Write back loop knowledge to long-term memory.
      *  Uses shared base builder from policy.ts. Called when a loop terminates. */
     notifyTerminal(session: McpSession, stopReason: string): Promise<void>;

package/dist/mcp/round-lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"round-lifecycle.d.ts","sourceRoot":"","sources":["../../src/mcp/round-lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAO/C,OAAO,KAAK,EAEV,gBAAgB,EAChB,iBAAiB,EAEjB,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EAEjB,gBAAgB,EAChB,uBAAuB,EAEvB,gBAAgB,EAChB,uBAAuB,EAExB,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAWzD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAUxE,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAiBvD,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB,6EAA6E;IAC7E,YAAY,CAAC,EAAE,cAAc,CAAC;IAE9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B;gEAC4D;IAC5D,kBAAkB,EAAE,MAAM,CAAC;IAC3B;;;mEAG+D;IAC/D,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC;;yDAEqD;IACrD,4BAA4B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD;;mEAE+D;IAC/D,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;0EAEsE;IACtE,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC;;;;;;;4DAOwD;IACxD,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACxC,+EAA+E;IAC/E,aAAa,CAAC,EAAE,wBAAwB,CAAC;IACzC,4EAA4E;IAC5E,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uFAAuF;IACvF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B;;;oFAGgF;IAChF,mBAAmB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAChD;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;CACtD;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;6DAEyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;sEAEkE;IAClE,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IACpE;;;0EAGsE;IACtE,kBAAkB,CAAC,EAAE,uBAAuB,CAAC;IAC7C;iEAC6D;IAC7D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;;;qDAIiD;IACjD,eAAe,CAAC,EAAE;QAChB,IAAI,EAAE,oBAAoB,GAAG,kBAAkB,CAAC;QAChD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAClC,CAAC;IACF;gFAC4E;IAC5E,mBAAmB,CAAC,EAAE,kBAAkB,CAAC;IACzC;wEACoE;IACpE,kBAAkB,CAAC,EAAE,iBAAiB,CAAC;CACxC;AAeD;;sDAEsD;AACtD,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IAC/C,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAC5C,QAAQ,EAAE,eAAe,CAAC;IAC1B,aAAa,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACrC,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,6EAA6E;IAC7E,UAAU,EAAE,MAAM,uBAAuB,GAAG,SAAS,CAAC;CACvD;AAID,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,UAAU,EACnB,QAAQ,CAAC,EAAE,cAAc,EACzB,iBAAiB,CAAC,EAAE,gBAAgB,EAAE,GACrC,gBAAgB,CAyDlB;AAID,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;IAClC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAgC;IAC7D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkB;IAC3C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAwB;IACtD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA4C;gBAE3D,IAAI,EAAE,kBAAkB;IAUpC;;+EAE2E;IAC3E,WAAW,CACT,OAAO,EAAE,UAAU,EACnB,MAAM,GAAE;QACN,iBAAiB,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;QACpD,QAAQ,CAAC,EAAE;YACT,QAAQ,EAAE,OAAO,CAAC;YAClB,aAAa,CAAC,EAAE,MAAM,CAAC;YACvB,WAAW,CAAC,EAAE,MAAM,CAAC;SACtB,GAAG,IAAI,CAAC;KACL,GACL,kBAAkB;IAYrB;;kDAE8C;IAC9C,OAAO,CAAC,cAAc;IAuBtB;+EAC2E;IAC3E,OAAO,CAAC,YAAY;IA0EpB;;0EAEsE;IACtE,IAAI,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI;IA+C/B;;kDAE8C;IAC9C,kBAAkB,CAChB,KAAK,EAAE,UAAU,EACjB,WAAW,UAAQ,GAClB,UAAU,GAAG,IAAI;IAqFpB;;kEAE8D;IAC9D;;;;;;;;;;6EAUyE;IACzE,OAAO,CAAC,kBAAkB;IAc1B;;;;;;;;;;wEAUoE;IACpE,OAAO,CAAC,mBAAmB;IAQ3B,OAAO,CAAC,eAAe;IAsCvB,OAAO,CAAC,oBAAoB;IAc5B;;;2EAGuE;YACzD,uBAAuB;IAiHrC;;;;;sEAKkE;IAC5D,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC;IA0CzD;;+DAE2D;IACrD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC;IAqF1D;;2DAEuD;IACvD,OAAO,CAAC,qBAAqB;IAyB7B,6EAA6E;IAC7E,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE;IAclD;4DACwD;IACxD,OAAO,CAAC,iBAAiB;IAOzB;;;6CAGyC;YAC3B,uBAAuB;IA4DrC;sFACkF;YACpE,oBAAoB;IA2DlC;;;;;;uEAMmE;YACrD,oBAAoB;IAqIlC;;;;;;;gFAO4E;IAC5E,OAAO,CAAC,sBAAsB;IAyC9B;yDACqD;IACrD,OAAO,CAAC,eAAe;IAkCvB;;;mEAG+D;YACjD,kBAAkB;IAwKhC;;;;0EAIsE;IACtE,OAAO,CAAC,kBAAkB;YA4BZ,eAAe;IAyJ7B;;;;;;iFAM6E;IACvE,OAAO,CACX,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,gBAAgB,CAAC,EAAE,cAAc,EACjC,OAAO,CAAC,EAAE,MAAM,EAChB,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,EACjD,eAAe,CAAC,EAAE,MAAM,EAAE,GACzB,OAAO,CAAC,aAAa,CAAC;IAWzB;kFAC8E;IACxE,cAAc,CAClB,OAAO,EAAE,UAAU,EACnB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC;CAejB"}
+{"version":3,"file":"round-lifecycle.d.ts","sourceRoot":"","sources":["../../src/mcp/round-lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAK/C,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,EAElB,kBAAkB,EAElB,iBAAiB,EACjB,mBAAmB,EAEnB,eAAe,EACf,YAAY,EACZ,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EAEjB,gBAAgB,EAEhB,gBAAgB,EAChB,UAAU,EACX,MAAM,gBAAgB,CAAC;AAiBxB,OAAO,KAAK,EAEV,wBAAwB,EACzB,MAAM,yBAAyB,CAAC;AAajC,OAAO,EACL,4BAA4B,EAC7B,MAAM,4BAA4B,CAAC;AAmBpC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAmC3E,MAAM,WAAW,UAAU;IACzB;;mDAE+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf;0DACsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;IACrD,SAAS,EAAE,MAAM,CAAC;IAElB,qBAAqB,EAAE,MAAM,CAAC;IAC9B;gEAC4D;IAC5D,kBAAkB,EAAE,MAAM,CAAC;IAC3B;;;;;;;4DAOwD;IACxD,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC;;+DAE2D;IAC3D,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,+EAA+E;IAC/E,aAAa,CAAC,EAAE,wBAAwB,CAAC;CAC1C;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;CACtD;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;gEAC4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;+DAE+D;AAC/D,MAAM,WAAW,gBAAgB;IAC/B,2EAA2E;IAC3E,sBAAsB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;+EAE+E;AAC/E,MAAM,WAAW,YAAa,SAAQ,gBAAgB;IACpD,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;mEACmE;AACnE,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,IAAI,sBAAsB;CACpC;AAED;;;kEAGkE;AAClE,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,OAAO,GACX,MAAM,GAAG,SAAS,CAcpB;AAED;kBACkB;AAClB,wBAAgB,yBAAyB,CAAC,CAAC,SAAS,gBAAgB,EAClE,MAAM,CAAC,EAAE,CAAC,GACT,CAAC,GAAG,SAAS,CASf;AAED;4EAC4E;AAC5E,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,sBAAsB;CACpC;AAED;;;;;;;;;8EAS8E;AAC9E,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG;IACpD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAgDA;AAED;;;8EAG8E;AAC9E,eAAO,MAAM,kBAAkB,EAAG,WAAoB,CAAC;AAEvD,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB;;+EAE2E;IAC3E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;2CAGuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd;kFAC8E;IAC9E,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,oEAAoE;IACpE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9B,oEAAoE;IACpE,qBAAqB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;mFAE+E;IAC/E,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;uBAGmB;IACnB,aAAa,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC7D;;6DAEyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;oCAEgC;IAChC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IACpC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,4EAA4E;IAC5E,YAAY,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IACnC,sEAAsE;IACtE,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;sEAEkE;IAClE,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;IACjF;;0EAEsE;IACtE,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC;iEAC6D;IAC7D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;iCAE6B;IAC7B,QAAQ,CAAC,EAAE;QACT,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;QAC5B,MAAM,EAAE,MAAM,CAAC;QACf,oBAAoB,EAAE,MAAM,CAAC;QAC7B,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE;YACP,MAAM,EAAE,UAAU,CAAC;YACnB,IAAI,CAAC,EAAE,MAAM,CAAC;YACd,aAAa,CAAC,EAAE,MAAM,CAAC;YACvB,UAAU,CAAC,EAAE,MAAM,CAAC;YACpB,aAAa,EAAE,MAAM,CAAC;YACtB,aAAa,EAAE,MAAM,CAAC;YACtB,WAAW,EAAE,MAAM,CAAC;SACrB,CAAC;KACH,CAAC;IACF;;;;qDAIiD;IACjD,eAAe,CAAC,EAAE;QAChB,IAAI,EACA,oBAAoB,GACpB,kBAAkB,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,4BAA4B,GAC5B,4BAA4B,GAC5B,kBAAkB,GAClB,mBAAmB,GACnB,sBAAsB,GACtB,oBAAoB,GACpB,wBAAwB,GACxB,mBAAmB,GACnB,kBAAkB,GAClB,gBAAgB,GAChB,iBAAiB;QACnB;yDACiD;WAC/C,gBAAgB,CAAC;QACrB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAClC,CAAC;IACF;;;8CAG0C;IAC1C,eAAe,CAAC,EAAE;QAChB,IAAI,EAAE,uBAAuB,CAAC;QAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAClC,CAAC;IACF;gFAC4E;IAC5E,mBAAmB,CAAC,EAAE,kBAAkB,CAAC;IACzC;wEACoE;IACpE,kBAAkB,CAAC,EAAE,iBAAiB,CAAC;CACxC;AAkBD;;sDAEsD;AACtD,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IAC/C,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAC5C,QAAQ,EAAE,eAAe,CAAC;IAC1B,aAAa,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACrC,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB;4EACwE;IACxE,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,4BAA4B,GAAG,SAAS,CAAC;CACnF;AAID,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,UAAU;AACnB,qEAAqE;AACrE,MAAM,CAAC,EAAE,gBAAgB,GACxB,kBAAkB,CA6CpB;AAID,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;IAClC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAgC;IAC7D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkB;IAC3C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAwB;IACtD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAErB;gBAEF,IAAI,EAAE,kBAAkB;IAUpC;iFAC6E;IAC7E,OAAO,CAAC,MAAM;IAQd;;+EAE2E;IAC3E,WAAW,CACT,OAAO,EAAE,UAAU,EACnB,MAAM,GAAE;QACN,iBAAiB,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;QACpD,QAAQ,CAAC,EAAE;YACT,OAAO,EAAE,OAAO,CAAC;YACjB,UAAU,EAAE,MAAM,CAAC;YACnB,aAAa,EAAE,MAAM,CAAC;YACtB,gBAAgB,EAAE,OAAO,CAAC;YAC1B,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;YAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;SACjB,GAAG,IAAI,CAAC;KACL,GACL,kBAAkB;IAoBrB;;;6CAGyC;IACzC,OAAO,CAAC,oBAAoB;IAa5B;;kDAE8C;IAC9C,OAAO,CAAC,cAAc;IA8BtB;+EAC2E;IAC3E,OAAO,CAAC,YAAY;IA0EpB;;0EAEsE;IACtE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,GAAE,kBAAuB,GAAG,IAAI;IAsCjE;;kDAE8C;IAC9C,kBAAkB,CAChB,KAAK,EAAE,UAAU,EACjB,WAAW,UAAQ,GAClB,UAAU,GAAG,IAAI;IAwFpB;;kEAE8D;IAC9D;;;;;;;;;;6EAUyE;IACzE,OAAO,CAAC,kBAAkB;IAqB1B;;;;;;;;;;wEAUoE;IACpE;;uEAEmE;IACnE,mBAAmB,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI;IAQ9C;;6EAEyE;IACzE,OAAO,CAAC,cAAc;IActB;;;0DAGsD;IACtD,OAAO,CAAC,cAAc;IAYtB,OAAO,CAAC,eAAe;IA8EvB;;8CAE0C;IAC1C,OAAO,CAAC,YAAY;IAUpB;;;4BAGwB;IACxB,OAAO,CAAC,gBAAgB;IAsBxB,6EAA6E;IAC7E,OAAO,CAAC,UAAU;IAKlB;;8EAE0E;IAC1E,OAAO,CAAC,uBAAuB;IAuB/B;;;;;wEAKoE;IACpE,gBAAgB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAsC7E;;;2EAGuE;YACzD,uBAAuB;IAuHrC;;;iFAG6E;YAC/D,uBAAuB;IA6ErC;;gEAE4D;IAC5D,OAAO,CAAC,6BAA6B;IAkBrC;6EACyE;IACzE,OAAO,CAAC,oBAAoB;IAqB5B;;;6EAGyE;YAC3D,oBAAoB;IAgBlC;;;gFAG4E;IACtE,4BAA4B,CAChC,OAAO,EAAE,UAAU,EACnB,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,aAAa,CAAC;IA8BzB;wEACoE;YACtD,mBAAmB;IAiCjC;;uDAEmD;YACrC,sBAAsB;IAyCpC;;;iFAG6E;YAC/D,qBAAqB;IAiEnC;;;;6DAIyD;IACzD,OAAO,CAAC,oBAAoB;IA0B5B;;;;;;;oFAOgF;IAC1E,MAAM,CACV,OAAO,EAAE,UAAU,EACnB,MAAM,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,aAAa,CAAC;IA+CzB;;;mEAG+D;IACzD,OAAO,CACX,OAAO,EAAE,UAAU,EACnB,MAAM,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,aAAa,CAAC;IAiDzB;;2DAEuD;IACvD,OAAO,CAAC,qBAAqB;IAyB7B,6EAA6E;IAC7E,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE;IAgBlD;4DACwD;IACxD,OAAO,CAAC,iBAAiB;IAOzB;;8CAE0C;YAC5B,uBAAuB;IA4CrC;sFACkF;YACpE,oBAAoB;IAsGlC;iFAC6E;IAC7E,OAAO,CAAC,cAAc;IAuBtB;yEACqE;YACvD,oBAAoB;IAoIlC;gCAC4B;IAC5B,OAAO,CAAC,mBAAmB;IAgC3B;;;0EAGsE;YACxD,oBAAoB;IA+GlC;;2EAEuE;IACvE,OAAO,CAAC,aAAa;IA2BrB;;;;wEAIoE;IACpE,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,aAAa;IAkDtE;;;;;;;gFAO4E;IAC5E,OAAO,CAAC,sBAAsB;IAkD9B;yDACqD;IACrD,OAAO,CAAC,eAAe;IA0CvB;;;mEAG+D;YACjD,kBAAkB;IAmJhC;;;;iFAI6E;IAC7E,OAAO,CAAC,kBAAkB;YA4BZ,eAAe;IAuM7B;;;6CAGyC;IACnC,OAAO,CACX,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,eAAe,EACzB,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,aAAa,CAAC;IA2NzB,4EAA4E;YAC9D,qBAAqB;IAmDnC;;;;;sEAKkE;IAC5D,OAAO,CACX,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,gBAAgB,CAAC,EAAE,cAAc,EACjC,wBAAwB,CAAC,EAAE,oBAAoB,EAAE,EACjD,eAAe,CAAC,EAAE,MAAM,EAAE;IAC1B,8EAA8E;IAC9E,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,aAAa,CAAC;IAWzB;kFAC8E;IACxE,cAAc,CAClB,OAAO,EAAE,UAAU,EACnB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC;CA8BjB"}