limen-ai 1.0.0

package/dist/working-memory/interfaces/wmp_types.d.ts

@@ -0,0 +1,635 @@
+/**
+ * WMP (Working Memory Protocol) interface types.
+ * Spec ref: WMP v1.0 Design Source (FINAL DRAFT), Architecture Freeze CF-01/CF-02/CF-03/CF-04/CF-05/CF-07/CF-10/CF-12/CF-13
+ *
+ * Phase: v3.3.0 — Working Memory Protocol Truth Model
+ * Status: FROZEN — interfaces defined before implementation.
+ *
+ * Implements: All TypeScript types for the Working Memory subsystem:
+ *   §3 (8 Invariants WMP-I1 through WMP-I8)
+ *   §4 (21 Conformance Tests CT-WMP-01 through CT-WMP-21)
+ *   §5 (3 System Calls SC-14, SC-15, SC-16)
+ *   §6 (Boundary Snapshot Semantics — dual-record structure)
+ *   §7 (3 Failure Modes FM-WMP-01 through FM-WMP-03)
+ *   §8 (Capacity Policy — 3 configurable limits)
+ *   §9 (CGP Interaction Boundary — position 2 candidacy)
+ *   §10 (Audit/Replay Linkage — pre-emission audit fields)
+ *   §11 (Safety Architecture — three-boundary design)
+ *   §12 (8 Derived Engineering Constraints DERIVED-1 through DERIVED-8)
+ *
+ * Key architectural properties:
+ *   - Task-local scope: no cross-task access (WMP-I1, CF-04)
+ *   - Terminal inaccessibility: discarded on COMPLETED/FAILED/CANCELLED (WMP-I2)
+ *   - Free revisability: no per-mutation audit (WMP-I3, CF-12) — ONLY I-03 exception in Limen
+ *   - Storage/admission separation: context eviction ≠ lifecycle demotion (WMP-I4, CF-01)
+ *   - Deterministic mutation order: monotonic task-local counter (WMP-I5, CF-10)
+ *   - Mandatory boundary capture: dual-record structure at governed boundaries (WMP-I6, CF-04)
+ *   - Terminal atomicity: capture + transition + discard as one operation (WMP-I7)
+ *   - Audit referenceability: boundary snapshots linked to high-stakes transitions (WMP-I8, CF-13)
+ *
+ * Cross-subsystem dependencies:
+ *   - CGP: position 2 candidates via internal read (§9.2)
+ *   - CCP: Trigger 4 pre-emission capture for SC-11 (§6.4)
+ *   - Task lifecycle: terminal discard wiring (§6.4 Trigger 2)
+ *   - Checkpoint system: boundary capture wiring (§6.4 Trigger 1)
+ *   - Audit infrastructure: BoundaryEvent + SnapshotContent storage (§6.2)
+ */
+import type { MissionId, TaskId, AgentId, Result } from '../../kernel/interfaces/index.js';
+import type { DatabaseConnection } from '../../kernel/interfaces/database.js';
+import type { AuditTrail } from '../../kernel/interfaces/audit.js';
+import type { EventBus } from '../../kernel/interfaces/events.js';
+import type { TraceEmitter } from '../../kernel/interfaces/trace.js';
+/**
+ * §6.2: Boundary event record identifier.
+ * Unique per boundary capture event. Referenced by pre-emission audit fields.
+ */
+export type BoundaryEventId = string & {
+    readonly __brand: 'BoundaryEventId';
+};
+/**
+ * §6.2: Snapshot content record identifier.
+ * May be shared across boundary events when content is deduplicated (WMP-I6).
+ */
+export type SnapshotContentId = string & {
+    readonly __brand: 'SnapshotContentId';
+};
+/**
+ * System call invocation identifier.
+ * Used for Trigger 4 linkedEmissionId (§6.2).
+ */
+export type SystemCallId = string & {
+    readonly __brand: 'SystemCallId';
+};
+/**
+ * §6.2, §6.7: Three distinct WMP namespace states.
+ * These are NOT interchangeable. never_initialized and initialized_empty
+ * MUST NOT be deduplicated against each other (WMP-I6, CT-WMP-18).
+ *
+ * 'never_initialized': SC-14 was never called for this task.
+ * 'initialized_empty': SC-14 was called at least once, but all entries have been discarded.
+ * 'initialized_with_entries': SC-14 was called and live entries exist.
+ */
+export type WmpNamespaceState = 'never_initialized' | 'initialized_empty' | 'initialized_with_entries';
+/**
+ * §6.4 Trigger 2: The three terminal states that trigger boundary capture.
+ * captureAtTerminal receives the actual terminal state — never hard-coded.
+ */
+export type WmpTerminalState = 'COMPLETED' | 'FAILED' | 'CANCELLED';
+/**
+ * §6.4: The four boundary snapshot triggers.
+ * Triggers 1-3 are unconditional. Trigger 4 fires only on validation pass.
+ */
+export type BoundaryTrigger = 'checkpoint' | 'task_terminal' | 'mission_transition' | 'pre_irreversible_emission' | 'suspension';
+/**
+ * §5.2, §5.3: A single WMP entry in the live namespace.
+ * Freely revisable within task scope (CF-12, WMP-I3).
+ * Discarded on task terminal state (CF-04, WMP-I2).
+ */
+export interface WmpEntry {
+    /** Entry key — unique within task scope (§5.2 key constraints) */
+    readonly key: string;
+    /** Entry value — valid UTF-8 text, no normalization applied (§5.2) */
+    readonly value: string;
+    /** Byte size of value in UTF-8 encoding */
+    readonly sizeBytes: number;
+    /** Creation timestamp (ISO-8601) */
+    readonly createdAt: string;
+    /** Last update timestamp (ISO-8601) — used for CGP P2 eviction ordering (§9.4) */
+    readonly updatedAt: string;
+    /** Task-local monotonic mutation-order position (WMP-I5, DERIVED-1) */
+    readonly mutationPosition: number;
+}
+/**
+ * §5.2: Input for SC-14 write_working_memory.
+ * Creates a new entry or replaces the value of an existing entry.
+ */
+export interface WriteWorkingMemoryInput {
+    /** Must match the calling task (WMP-I1 scope enforcement) */
+    readonly taskId: TaskId;
+    /**
+     * Entry key — §5.2 constraints:
+     * - Non-empty
+     * - Max 256 UTF-8 characters
+     * - No whitespace
+     * - No path separators (/ \)
+     * - Must not begin with reserved prefix '_wmp.'
+     * - Case-sensitive, byte-stable UTF-8 comparison
+     */
+    readonly key: string;
+    /** Entry value — valid UTF-8 text (§5.2) */
+    readonly value: string;
+}
+/**
+ * §5.2: Output for successful SC-14 write.
+ */
+export interface WriteWorkingMemoryOutput {
+    /** The key that was written */
+    readonly key: string;
+    /** Byte size of the stored value */
+    readonly sizeBytes: number;
+    /** true if new entry created, false if existing entry replaced */
+    readonly created: boolean;
+    /** Task-local mutation-order position assigned to this write (DERIVED-1, WMP-I5) */
+    readonly mutationPosition: number;
+}
+/**
+ * §5.3: Input for SC-15 read_working_memory.
+ * Reads one entry by key or lists all entries. Side-effect-free.
+ */
+export interface ReadWorkingMemoryInput {
+    /** Must match the calling task (WMP-I1 scope enforcement) */
+    readonly taskId: TaskId;
+    /** If provided, read specific entry. If null, list all entries. */
+    readonly key: string | null;
+}
+/**
+ * §5.3: Output for SC-15 read — specific key.
+ */
+export interface ReadWorkingMemoryEntryOutput {
+    readonly key: string;
+    readonly value: string;
+    readonly sizeBytes: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+}
+/**
+ * §5.3: Output for SC-15 read — list all (key = null).
+ */
+export interface ReadWorkingMemoryListOutput {
+    readonly entries: readonly ReadWorkingMemoryEntryOutput[];
+    readonly totalEntries: number;
+    readonly totalSizeBytes: number;
+}
+/**
+ * §5.3: Discriminated union output for SC-15.
+ * When key is provided: ReadWorkingMemoryEntryOutput.
+ * When key is null: ReadWorkingMemoryListOutput.
+ */
+export type ReadWorkingMemoryOutput = ReadWorkingMemoryEntryOutput | ReadWorkingMemoryListOutput;
+/**
+ * §5.4: Input for SC-16 discard_working_memory.
+ * Removes one entry by key or all entries from live namespace.
+ */
+export interface DiscardWorkingMemoryInput {
+    /** Must match the calling task (WMP-I1 scope enforcement) */
+    readonly taskId: TaskId;
+    /** If provided, discard specific entry. If null, discard all. */
+    readonly key: string | null;
+}
+/**
+ * §5.4: Output for successful SC-16 discard.
+ */
+export interface DiscardWorkingMemoryOutput {
+    /** Number of entries discarded */
+    readonly discardedCount: number;
+    /** Total bytes freed */
+    readonly freedBytes: number;
+    /** Task-local mutation-order position assigned to this discard (DERIVED-1, WMP-I5) */
+    readonly mutationPosition: number;
+}
+/**
+ * §6.2: Boundary event record — always created at every applicable boundary.
+ * Never deduplicated. Proves the boundary was processed.
+ * Immutable. No UPDATE, no DELETE. Follows I-06 retention discipline.
+ */
+export interface BoundaryEvent {
+    /** Unique event identifier (UUID) */
+    readonly eventId: BoundaryEventId;
+    /** Task whose WMP namespace was captured */
+    readonly taskId: TaskId;
+    /** Mission owning the task */
+    readonly missionId: MissionId;
+    /**
+     * Which governance boundary triggered this capture.
+     * §6.4: checkpoint | task_terminal | mission_transition | pre_irreversible_emission
+     */
+    readonly trigger: BoundaryTrigger;
+    /** Reference to the associated snapshot content record (§6.2) */
+    readonly snapshotContentId: SnapshotContentId;
+    /**
+     * For pre_irreversible_emission: the SC invocation that triggered this capture.
+     * For other triggers: null.
+     * §6.2: links the boundary event to the specific emission.
+     */
+    readonly linkedEmissionId: SystemCallId | null;
+    /** When the boundary capture was created (ISO-8601) */
+    readonly timestamp: string;
+}
+/**
+ * §6.2: A single entry within a snapshot content record.
+ * Captures the full state of one WMP entry at boundary time.
+ */
+export interface SnapshotEntry {
+    readonly key: string;
+    readonly value: string;
+    readonly sizeBytes: number;
+    readonly createdAt: string;
+    readonly updatedAt: string;
+    readonly mutationPosition: number;
+}
+/**
+ * §6.2: Snapshot content record — captures the logical WMP namespace state.
+ * May be deduplicated when content has not changed since prior snapshot (WMP-I6).
+ * 'never_initialized' and 'initialized_empty' are DISTINCT — never deduplicated
+ * against each other (WMP-I6, CT-WMP-18).
+ * Immutable. No UPDATE, no DELETE. Follows I-06 retention discipline.
+ */
+export interface SnapshotContent {
+    /** Unique content identifier (UUID) */
+    readonly contentId: SnapshotContentId;
+    /** Three-state namespace classification (§6.2) */
+    readonly namespaceState: WmpNamespaceState;
+    /**
+     * Snapshot entries — null when namespaceState is 'never_initialized'.
+     * Empty array when 'initialized_empty'. Populated when 'initialized_with_entries'.
+     * §6.3: Captures semantically visible live namespace, not raw physical storage.
+     */
+    readonly entries: readonly SnapshotEntry[] | null;
+    /** Total entry count at capture time */
+    readonly totalEntries: number;
+    /** Total byte size of all entry values at capture time */
+    readonly totalSizeBytes: number;
+    /** Highest mutation-order position at capture time. null when never_initialized. */
+    readonly highestMutationPosition: number | null;
+}
+/**
+ * §8.1: Configurable WMP capacity limits.
+ * Applied per-task. Configurable via mission policy or global configuration.
+ * [V1-CHOICE] No task-level override — all tasks in a mission share the policy.
+ */
+export interface WmpCapacityPolicy {
+    /** §8.1: Maximum entries per task WMP (default: 100) */
+    readonly maxEntries: number;
+    /** §8.1: Maximum bytes per entry value (default: 65536 = 64KB) */
+    readonly maxBytesPerEntry: number;
+    /** §8.1: Maximum total bytes per task WMP (default: 262144 = 256KB) */
+    readonly maxTotalBytes: number;
+}
+/**
+ * §8.3: Capacity metrics returned in CAPACITY_EXCEEDED error response.
+ * Enables the agent to make informed capacity management decisions.
+ */
+export interface WmpCapacityMetrics {
+    readonly currentEntryCount: number;
+    readonly maxEntryCount: number;
+    readonly currentSizeBytes: number;
+    readonly maxSizeBytes: number;
+    /** Size of the rejected write */
+    readonly requestedSizeBytes: number;
+}
+/**
+ * §10.2: WMP sourcing status for pre-emission audit records.
+ * Distinguishes verified sourcing from conservative capture.
+ */
+export type WmpSourcingStatus = 'verified' | 'not_verified' | 'not_applicable';
+/**
+ * §10.2: Pre-emission WMP fields included in irreversible emission audit records.
+ * Added to SC-4, SC-11, SC-9 audit records when task has initialized WMP.
+ */
+export interface PreEmissionWmpAuditFields {
+    /**
+     * References the boundary event record for the pre-emission capture.
+     * null when wmpSourcingStatus is 'not_applicable'.
+     */
+    readonly preEmissionWmpCaptureId: BoundaryEventId | null;
+    /**
+     * §10.2: Sourcing status.
+     * 'not_verified': v1 default for tasks with initialized WMP.
+     * 'not_applicable': tasks where WMP was never initialized.
+     * 'verified': reserved for v2 source detection.
+     */
+    readonly wmpSourcingStatus: WmpSourcingStatus;
+}
+/**
+ * §5.2: SC-14 write_working_memory error codes (8 codes).
+ */
+export declare const SC14_ERROR_CODES: {
+    /** Task does not exist (validation step 1) */
+    readonly TASK_NOT_FOUND: "TASK_NOT_FOUND";
+    /** Task has reached terminal state (validation step 2) */
+    readonly TASK_TERMINATED: "TASK_TERMINATED";
+    /** Task exists but not in executable state (validation step 2) */
+    readonly TASK_NOT_EXECUTABLE: "TASK_NOT_EXECUTABLE";
+    /** Caller is not the assigned agent of this task (validation step 3) */
+    readonly TASK_SCOPE_VIOLATION: "TASK_SCOPE_VIOLATION";
+    /** Key is empty, exceeds length, contains forbidden chars, or uses reserved prefix (validation step 4) */
+    readonly WORKING_MEMORY_KEY_INVALID: "WORKING_MEMORY_KEY_INVALID";
+    /** Value is not valid UTF-8 (validation step 5) */
+    readonly WORKING_MEMORY_VALUE_INVALID: "WORKING_MEMORY_VALUE_INVALID";
+    /** Write would exceed entry-count or byte-size ceiling (validation step 6) */
+    readonly WORKING_MEMORY_CAPACITY_EXCEEDED: "WORKING_MEMORY_CAPACITY_EXCEEDED";
+    /** RBAC violation when RBAC is active (I-13) — pre-validation */
+    readonly UNAUTHORIZED: "UNAUTHORIZED";
+};
+/**
+ * §5.3: SC-15 read_working_memory error codes (5 codes).
+ */
+export declare const SC15_ERROR_CODES: {
+    /** Task does not exist */
+    readonly TASK_NOT_FOUND: "TASK_NOT_FOUND";
+    /** Task has reached terminal state */
+    readonly TASK_TERMINATED: "TASK_TERMINATED";
+    /** Caller is not the assigned agent of this task */
+    readonly TASK_SCOPE_VIOLATION: "TASK_SCOPE_VIOLATION";
+    /** Specified key does not exist in this task's WMP (when key provided) */
+    readonly WORKING_MEMORY_NOT_FOUND: "WORKING_MEMORY_NOT_FOUND";
+    /** RBAC violation when RBAC is active */
+    readonly UNAUTHORIZED: "UNAUTHORIZED";
+};
+/**
+ * §5.4: SC-16 discard_working_memory error codes (6 codes).
+ */
+export declare const SC16_ERROR_CODES: {
+    /** Task does not exist */
+    readonly TASK_NOT_FOUND: "TASK_NOT_FOUND";
+    /** Task has reached terminal state */
+    readonly TASK_TERMINATED: "TASK_TERMINATED";
+    /** Task not in executable state */
+    readonly TASK_NOT_EXECUTABLE: "TASK_NOT_EXECUTABLE";
+    /** Caller is not the assigned agent of this task */
+    readonly TASK_SCOPE_VIOLATION: "TASK_SCOPE_VIOLATION";
+    /** Specified key does not exist (when key provided) */
+    readonly WORKING_MEMORY_NOT_FOUND: "WORKING_MEMORY_NOT_FOUND";
+    /** RBAC violation when RBAC is active */
+    readonly UNAUTHORIZED: "UNAUTHORIZED";
+};
+/**
+ * Union of all unique WMP error codes across SC-14, SC-15, SC-16 (9 unique).
+ */
+export type WmpErrorCode = 'TASK_NOT_FOUND' | 'TASK_TERMINATED' | 'TASK_NOT_EXECUTABLE' | 'TASK_SCOPE_VIOLATION' | 'WORKING_MEMORY_KEY_INVALID' | 'WORKING_MEMORY_VALUE_INVALID' | 'WORKING_MEMORY_CAPACITY_EXCEEDED' | 'WORKING_MEMORY_NOT_FOUND' | 'UNAUTHORIZED';
+/** §5.2: Maximum key length in UTF-8 characters */
+export declare const WMP_KEY_MAX_LENGTH: 256;
+/** §5.2: Reserved key prefix — system-managed metadata */
+export declare const WMP_KEY_RESERVED_PREFIX: "_wmp.";
+/** §5.2: Forbidden key characters — whitespace and path separators */
+export declare const WMP_KEY_FORBIDDEN_PATTERN: RegExp;
+/** §8.1: Default max entries per task WMP */
+export declare const WMP_DEFAULT_MAX_ENTRIES: 100;
+/** §8.1: Default max bytes per entry value (64 KB) */
+export declare const WMP_DEFAULT_MAX_BYTES_PER_ENTRY: 65536;
+/** §8.1: Default max total bytes per task WMP (256 KB) */
+export declare const WMP_DEFAULT_MAX_TOTAL_BYTES: 262144;
+/**
+ * §9.2: Internal read access for context admission runtime.
+ * This is NOT the agent-facing SC-15 interface.
+ * Infrastructure reading its own managed state — same pattern as
+ * task scheduler reading task_queue (§25.1) or retrieval reading memory (§26.5).
+ *
+ * NOTE: The WmpInternalEntry and WmpInternalReader interfaces are ALREADY
+ * defined in src/context/interfaces/cgp_types.ts (lines 402-429).
+ * This re-export exists for WMP-internal reference. The CGP definition is canonical.
+ */
+export type { WmpInternalEntry, WmpInternalReader } from '../../context/interfaces/cgp_types.js';
+/**
+ * NOTE: The WmpPreEmissionCapture and WmpCaptureResult interfaces are ALREADY
+ * defined in src/claims/interfaces/claim_types.ts (lines 625-647).
+ * This re-export exists for WMP-internal reference. The CCP definition is canonical.
+ */
+export type { WmpPreEmissionCapture, WmpCaptureResult } from '../../claims/interfaces/claim_types.js';
+/**
+ * WMP entry store — manages the live namespace for each task.
+ * All methods enforce task scope (WMP-I1).
+ */
+export interface WmpEntryStore {
+    /** Create or replace an entry. Returns the entry with assigned mutationPosition. */
+    upsert(conn: DatabaseConnection, taskId: TaskId, key: string, value: string, sizeBytes: number): Result<WmpEntry>;
+    /** Read a specific entry by key. Returns WORKING_MEMORY_NOT_FOUND if absent. */
+    get(conn: DatabaseConnection, taskId: TaskId, key: string): Result<WmpEntry>;
+    /** List all live entries for a task. Returns empty array if no entries or never initialized. */
+    listAll(conn: DatabaseConnection, taskId: TaskId): Result<readonly WmpEntry[]>;
+    /** Discard a specific entry by key. Returns WORKING_MEMORY_NOT_FOUND if absent. */
+    discard(conn: DatabaseConnection, taskId: TaskId, key: string): Result<{
+        freedBytes: number;
+    }>;
+    /** Discard all entries for a task. Returns count and bytes freed. */
+    discardAll(conn: DatabaseConnection, taskId: TaskId): Result<{
+        discardedCount: number;
+        freedBytes: number;
+    }>;
+    /** Get current capacity usage for a task. */
+    getUsage(conn: DatabaseConnection, taskId: TaskId): Result<{
+        entryCount: number;
+        totalBytes: number;
+    }>;
+    /** Check if WMP namespace has been initialized (SC-14 called at least once). */
+    isInitialized(conn: DatabaseConnection, taskId: TaskId): Result<boolean>;
+    /** Get the current namespace state for a task. */
+    getNamespaceState(conn: DatabaseConnection, taskId: TaskId): Result<WmpNamespaceState>;
+}
+/**
+ * Boundary snapshot store — manages BoundaryEvent and SnapshotContent records.
+ * All records are immutable (I-06 audit retention discipline).
+ */
+export interface WmpBoundaryStore {
+    /** Create a boundary event record. Always created — never deduplicated. */
+    createBoundaryEvent(conn: DatabaseConnection, event: Omit<BoundaryEvent, 'eventId'>): Result<BoundaryEvent>;
+    /** Create a snapshot content record. May be deduplicated. */
+    createSnapshotContent(conn: DatabaseConnection, content: Omit<SnapshotContent, 'contentId'>): Result<SnapshotContent>;
+    /**
+     * Find existing snapshot content matching the given state (for deduplication).
+     * Returns null if no matching content exists.
+     * §6.2: never_initialized and initialized_empty must NOT match each other.
+     */
+    findMatchingContent(conn: DatabaseConnection, taskId: TaskId, namespaceState: WmpNamespaceState, highestMutationPosition: number | null): Result<SnapshotContent | null>;
+    /** Get boundary event by ID. */
+    getBoundaryEvent(conn: DatabaseConnection, eventId: BoundaryEventId): Result<BoundaryEvent>;
+    /** Get snapshot content by ID. */
+    getSnapshotContent(conn: DatabaseConnection, contentId: SnapshotContentId): Result<SnapshotContent>;
+    /** List all boundary events for a task, ordered by timestamp. */
+    listBoundaryEvents(conn: DatabaseConnection, taskId: TaskId): Result<readonly BoundaryEvent[]>;
+}
+/**
+ * WMP-I5, DERIVED-1: Task-local monotonic mutation counter.
+ * Only advances on SUCCESSFUL visible mutations (create, replace, discard).
+ * Failed operations do NOT advance the counter.
+ */
+export interface WmpMutationCounter {
+    /** Get the next mutation-order position for a task. Atomically increments. */
+    next(conn: DatabaseConnection, taskId: TaskId): Result<number>;
+    /** Get the current (latest assigned) mutation-order position. null if none assigned. */
+    current(conn: DatabaseConnection, taskId: TaskId): Result<number | null>;
+}
+/**
+ * §6: Coordinates boundary snapshot creation at governed boundaries.
+ * Invoked by the system (NOT by agents). No public system call.
+ *
+ * This is the core WMP audit mechanism — the accountability model
+ * for the I-03 exception (WMP-I3).
+ */
+export interface WmpBoundaryCaptureCoordinator {
+    /**
+     * §6.4 Trigger 1: Capture at checkpoint boundary.
+     * Unconditional — fires for every applicable task at every checkpoint.
+     */
+    captureAtCheckpoint(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId): Result<BoundaryEvent>;
+    /**
+     * §6.4 Trigger 2: Capture at task terminal state.
+     * ATOMIC: capture + transition + discard (WMP-I7).
+     * Captures pre-discard live state. No intermediate state is observable.
+     * F-WMP-BB-01: terminalState must be the actual terminal state, never hard-coded.
+     */
+    captureAtTerminal(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId, terminalState: WmpTerminalState): Result<BoundaryEvent>;
+    /**
+     * §6.4 Trigger 3: Capture at mission transition.
+     * Unconditional — fires when owning mission transitions while task is active.
+     */
+    captureAtMissionTransition(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId): Result<BoundaryEvent>;
+    /**
+     * §6.4 Trigger 4: Pre-emission capture.
+     * Only fires after validation passes, before emission commits.
+     * Only fires if task has initialized WMP namespace.
+     * Returns capture result for inclusion in emission audit record.
+     *
+     * If capture fails, emission MUST be blocked (§6.6).
+     */
+    capturePreEmission(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId, emissionId: SystemCallId): Result<BoundaryEvent>;
+    /**
+     * Trigger 5: Capture at task suspension boundary (Memory Doctrine, DC-WMP-213).
+     * Unconditional — fires when task transitions to suspended state.
+     * Establishes the "known version boundary" for resume semantics.
+     * v1 conservative policy: captures even for never-initialized tasks.
+     */
+    captureAtSuspension(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId): Result<BoundaryEvent>;
+}
+/**
+ * §5.2: SC-14 write_working_memory handler.
+ * Creates or replaces entries. Enforces key/value/capacity constraints.
+ * No per-mutation audit (WMP-I3). No dependency tracking.
+ */
+export interface WriteWorkingMemoryHandler {
+    execute(conn: DatabaseConnection, callerTaskId: TaskId, callerAgentId: AgentId, input: WriteWorkingMemoryInput): Result<WriteWorkingMemoryOutput>;
+}
+/**
+ * §5.3: SC-15 read_working_memory handler.
+ * Side-effect-free. No dependency tracking (unlike SC-5, §5.3).
+ * Returns only live namespace state, never boundary capture data (WMP-I4).
+ */
+export interface ReadWorkingMemoryHandler {
+    execute(conn: DatabaseConnection, callerTaskId: TaskId, callerAgentId: AgentId, input: ReadWorkingMemoryInput): Result<ReadWorkingMemoryOutput>;
+}
+/**
+ * §5.4: SC-16 discard_working_memory handler.
+ * Semantic discard — entries are no longer accessible or context candidates.
+ * Physical reclamation is implementation choice.
+ * No per-mutation audit (WMP-I3).
+ */
+export interface DiscardWorkingMemoryHandler {
+    execute(conn: DatabaseConnection, callerTaskId: TaskId, callerAgentId: AgentId, input: DiscardWorkingMemoryInput): Result<DiscardWorkingMemoryOutput>;
+}
+/**
+ * WMP System — the Working Memory Protocol facade.
+ * Orchestrates live namespace operations, boundary captures, and capacity enforcement.
+ *
+ * WMP is kernel infrastructure — not LLM-dependent.
+ * SC-14/SC-15/SC-16 are direct kernel operations, not model invocations.
+ * They do not consume EGP token reservations or DBA admissibility.
+ */
+export interface WorkingMemorySystem {
+    /** SC-14 handler */
+    readonly write: WriteWorkingMemoryHandler;
+    /** SC-15 handler */
+    readonly read: ReadWorkingMemoryHandler;
+    /** SC-16 handler */
+    readonly discard: DiscardWorkingMemoryHandler;
+    /** Boundary capture coordinator (§6) */
+    readonly boundary: WmpBoundaryCaptureCoordinator;
+    /** Entry store */
+    readonly entryStore: WmpEntryStore;
+    /** Boundary store */
+    readonly boundaryStore: WmpBoundaryStore;
+    /** Mutation counter (WMP-I5) */
+    readonly mutationCounter: WmpMutationCounter;
+    /** Capacity policy */
+    readonly capacityPolicy: WmpCapacityPolicy;
+    /** Task lifecycle handler (DC-WMP-X07, X13, DC-WMP-214) */
+    readonly taskLifecycle: WmpTaskLifecycleHandler;
+}
+/**
+ * External dependencies injected into the WMP system.
+ * Follows the factory pattern from CCP/CGP harnesses.
+ */
+export interface WmpSystemDeps {
+    /** Database connection provider */
+    readonly getConnection: () => DatabaseConnection;
+    /**
+     * Audit trail for boundary event/snapshot storage (I-06).
+     * NOTE: WMP does NOT use audit for per-mutation logging (WMP-I3).
+     * Used only for boundary capture metadata and system alerts.
+     */
+    readonly audit: AuditTrail;
+    /** Event bus for WMP system events (FM-WMP-02 alerts, etc.) */
+    readonly events: EventBus;
+    /**
+     * Binding 8, DC-WMP-X09: Constitutional trace emission for 3 WMP governance events
+     * (memory.published, memory.tombstoned, memory.promoted).
+     * Binding 14: Transaction-coupled emission within SQLite transactions.
+     */
+    readonly traceEmitter: TraceEmitter;
+    /** DC-WMP-X15: Event sink for state mutation events (Binding 14). */
+    readonly eventSink?: WmpEventSink;
+    /** Capacity policy configuration */
+    readonly capacityPolicy: WmpCapacityPolicy;
+    /** Hard Stop #7: Injectable clock for deterministic temporal logic. */
+    readonly time: import('../../kernel/interfaces/time.js').TimeProvider;
+}
+/** Event types emitted by WMP through the event bus */
+export declare const WMP_EVENTS: {
+    /** Emitted when a boundary capture is created (§6.2) */
+    readonly BOUNDARY_CAPTURED: "wmp.boundary.captured";
+    /** Emitted when boundary capture fails (FM-WMP-02) */
+    readonly BOUNDARY_CAPTURE_FAILED: "wmp.boundary.capture_failed";
+    /** Emitted when capacity threshold is approached (FM-WMP-03 monitoring) */
+    readonly CAPACITY_WARNING: "wmp.capacity.warning";
+    /** Emitted on terminal discard (§6.4 Trigger 2) */
+    readonly TERMINAL_DISCARD: "wmp.terminal.discard";
+    /** DC-WMP-X15: Emitted on successful SC-14 write (Binding 14 transaction-coupled) */
+    readonly ENTRY_WRITTEN: "wmp.entry.written";
+    /** DC-WMP-X15: Emitted on successful SC-16 discard (Binding 14 transaction-coupled) */
+    readonly ENTRY_DISCARDED: "wmp.entry.discarded";
+};
+/**
+ * DC-WMP-X15, Binding 14: Lightweight callback interface for WMP event emission.
+ * Decouples store implementations from EventBus (which requires OperationContext).
+ * Harness maps this to EventBus at integration time. Tests inject a recorder.
+ *
+ * F-WMP-BB-02: Event emission must be wired at every state mutation point.
+ * If emit throws, the WMP operation STILL SUCCEEDS (per I-48 — trace failures
+ * do not roll back writes). Implementations must catch and log, never propagate.
+ */
+export interface WmpEventSink {
+    emit(eventType: string, taskId: TaskId, data: Record<string, unknown>): void;
+}
+/**
+ * No-op event sink for backward compatibility when no EventBus is available.
+ */
+export declare const WMP_NULL_EVENT_SINK: WmpEventSink;
+/**
+ * DC-WMP-X07, DC-WMP-X13: EGP→WMP lifecycle notification interface.
+ * Invoked by task_store when task lifecycle state changes.
+ * Terminal: triggers atomic capture+transition+discard (WMP-I7).
+ * Suspension: triggers boundary snapshot + write-protection (Memory Doctrine).
+ * Resume: restores write access, verifies namespace integrity (DC-WMP-214).
+ */
+export interface WmpTaskLifecycleHandler {
+    /**
+     * DC-WMP-X07: Task reached terminal state (COMPLETED/FAILED/CANCELLED).
+     * Must atomically: (1) capture boundary snapshot, (2) discard live namespace,
+     * (3) physically reclaim entry rows (DC-WMP-209).
+     * F-WMP-BB-01: terminalState must be the actual terminal state.
+     */
+    onTaskTerminal(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId, terminalState: WmpTerminalState): Result<BoundaryEvent>;
+    /**
+     * DC-WMP-X13: Task suspended (Binding 15 cascade or supervisor action).
+     * Must: (1) capture boundary snapshot at suspension (DC-WMP-213),
+     * (2) enable write-protection (DC-WMP-212 — SC-14/SC-16 return TASK_NOT_EXECUTABLE).
+     */
+    onTaskSuspended(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId): Result<BoundaryEvent>;
+    /**
+     * DC-WMP-214: Task resumed from suspension.
+     * Must verify namespace integrity — all pre-suspension entries intact.
+     */
+    onTaskResumed(conn: DatabaseConnection, taskId: TaskId, missionId: MissionId): Result<void>;
+}
+/** Default capacity policy matching §8.1 defaults */
+export declare const WMP_DEFAULT_CAPACITY_POLICY: WmpCapacityPolicy;
+//# sourceMappingURL=wmp_types.d.ts.map

package/dist/working-memory/interfaces/wmp_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wmp_types.d.ts","sourceRoot":"","sources":["../../../src/working-memory/interfaces/wmp_types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EACV,SAAS,EAAE,MAAM,EAAE,OAAO,EAC1B,MAAM,EACP,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAMrE;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAE/E;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEnF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC;AAMzE;;;;;;;;GAQG;AACH,MAAM,MAAM,iBAAiB,GACzB,mBAAmB,GACnB,mBAAmB,GACnB,0BAA0B,CAAC;AAM/B;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,CAAC;AAMpE;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB,YAAY,GACZ,eAAe,GACf,oBAAoB,GACpB,2BAA2B,GAC3B,YAAY,CAAC;AAMjB;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2CAA2C;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAMD;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;;;OAQG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,4CAA4C;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,+BAA+B;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oFAAoF;IACpF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAMD;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mEAAmE;IACnE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,MAAM,uBAAuB,GAAG,4BAA4B,GAAG,2BAA2B,CAAC;AAMjG;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACxC,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,kCAAkC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wBAAwB;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sFAAsF;IACtF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAMD;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,4CAA4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8BAA8B;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,iEAAiE;IACjE,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE,YAAY,GAAG,IAAI,CAAC;IAC/C,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAMD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,uCAAuC;IACvC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,kDAAkD;IAClD,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,GAAG,IAAI,CAAC;IAClD,wCAAwC;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,oFAAoF;IACpF,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjD;AAMD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,iCAAiC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAMD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,cAAc,GACd,gBAAgB,CAAC;AAErB;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,eAAe,GAAG,IAAI,CAAC;IACzD;;;;;OAKG;IACH,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;CAC/C;AAMD;;GAEG;AACH,eAAO,MAAM,gBAAgB;IAC3B,8CAA8C;;IAE9C,0DAA0D;;IAE1D,kEAAkE;;IAElE,wEAAwE;;IAExE,0GAA0G;;IAE1G,mDAAmD;;IAEnD,8EAA8E;;IAE9E,iEAAiE;;CAEzD,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,gBAAgB;IAC3B,0BAA0B;;IAE1B,sCAAsC;;IAEtC,oDAAoD;;IAEpD,0EAA0E;;IAE1E,yCAAyC;;CAEjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,gBAAgB;IAC3B,0BAA0B;;IAE1B,sCAAsC;;IAEtC,mCAAmC;;IAEnC,oDAAoD;;IAEpD,uDAAuD;;IAEvD,yCAAyC;;CAEjC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,gBAAgB,GAChB,iBAAiB,GACjB,qBAAqB,GACrB,sBAAsB,GACtB,4BAA4B,GAC5B,8BAA8B,GAC9B,kCAAkC,GAClC,0BAA0B,GAC1B,cAAc,CAAC;AAMnB,mDAAmD;AACnD,eAAO,MAAM,kBAAkB,EAAG,GAAY,CAAC;AAE/C,0DAA0D;AAC1D,eAAO,MAAM,uBAAuB,EAAG,OAAgB,CAAC;AAExD,sEAAsE;AACtE,eAAO,MAAM,yBAAyB,QAAY,CAAC;AAMnD,6CAA6C;AAC7C,eAAO,MAAM,uBAAuB,EAAG,GAAY,CAAC;AAEpD,sDAAsD;AACtD,eAAO,MAAM,+BAA+B,EAAG,KAAc,CAAC;AAE9D,0DAA0D;AAC1D,eAAO,MAAM,2BAA2B,EAAG,MAAe,CAAC;AAM3D;;;;;;;;;GASG;AACH,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAMjG;;;;GAIG;AACH,YAAY,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAMtG;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,oFAAoF;IACpF,MAAM,CACJ,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,GAChB,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEpB,gFAAgF;IAChF,GAAG,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE7E,gGAAgG;IAChG,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,QAAQ,EAAE,CAAC,CAAC;IAE/E,mFAAmF;IACnF,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;QAAE,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAE/F,qEAAqE;IACrE,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAE7G,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAEvG,gFAAgF;IAChF,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAEzE,kDAAkD;IAClD,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;CACxF;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,2EAA2E;IAC3E,mBAAmB,CACjB,IAAI,EAAE,kBAAkB,EACxB,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,GACpC,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB,6DAA6D;IAC7D,qBAAqB,CACnB,IAAI,EAAE,kBAAkB,EACxB,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,WAAW,CAAC,GAC1C,MAAM,CAAC,eAAe,CAAC,CAAC;IAE3B;;;;OAIG;IACH,mBAAmB,CACjB,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,iBAAiB,EACjC,uBAAuB,EAAE,MAAM,GAAG,IAAI,GACrC,MAAM,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAElC,gCAAgC;IAChC,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IAE5F,kCAAkC;IAClC,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IAEpG,iEAAiE;IACjE,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;CAChG;AAMD;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,8EAA8E;IAC9E,IAAI,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/D,wFAAwF;IACxF,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;CAC1E;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;OAGG;IACH,mBAAmB,CACjB,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,GACnB,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;;;OAKG;IACH,iBAAiB,CACf,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,gBAAgB,GAC9B,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;OAGG;IACH,0BAA0B,CACxB,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,GACnB,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;;;;;OAOG;IACH,kBAAkB,CAChB,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,YAAY,GACvB,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;;;OAKG;IACH,mBAAmB,CACjB,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,GACnB,MAAM,CAAC,aAAa,CAAC,CAAC;CAC1B;AAMD;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,OAAO,CACL,IAAI,EAAE,kBAAkB,EACxB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,EACtB,KAAK,EAAE,uBAAuB,GAC7B,MAAM,CAAC,wBAAwB,CAAC,CAAC;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,CACL,IAAI,EAAE,kBAAkB,EACxB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,EACtB,KAAK,EAAE,sBAAsB,GAC5B,MAAM,CAAC,uBAAuB,CAAC,CAAC;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,2BAA2B;IAC1C,OAAO,CACL,IAAI,EAAE,kBAAkB,EACxB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,EACtB,KAAK,EAAE,yBAAyB,GAC/B,MAAM,CAAC,0BAA0B,CAAC,CAAC;CACvC;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;IAC1C,oBAAoB;IACpB,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,oBAAoB;IACpB,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,CAAC;IACjD,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,qBAAqB;IACrB,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACzC,gCAAgC;IAChC,QAAQ,CAAC,eAAe,EAAE,kBAAkB,CAAC;IAC7C,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C,2DAA2D;IAC3D,QAAQ,CAAC,aAAa,EAAE,uBAAuB,CAAC;CACjD;AAMD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,kBAAkB,CAAC;IACjD;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,qEAAqE;IACrE,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;IAClC,oCAAoC;IACpC,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,OAAO,iCAAiC,EAAE,YAAY,CAAC;CACvE;AAMD,uDAAuD;AACvD,eAAO,MAAM,UAAU;IACrB,wDAAwD;;IAExD,sDAAsD;;IAEtD,2EAA2E;;IAE3E,mDAAmD;;IAEnD,qFAAqF;;IAErF,uFAAuF;;CAE/E,CAAC;AAMX;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;CAC9E;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,YAEhC,CAAC;AAMH;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC;;;;;OAKG;IACH,cAAc,CACZ,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,gBAAgB,GAC9B,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;;OAIG;IACH,eAAe,CACb,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,GACnB,MAAM,CAAC,aAAa,CAAC,CAAC;IAEzB;;;OAGG;IACH,aAAa,CACX,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,GACnB,MAAM,CAAC,IAAI,CAAC,CAAC;CACjB;AAMD,qDAAqD;AACrD,eAAO,MAAM,2BAA2B,EAAE,iBAIxC,CAAC"}