ummaya 0.2.3 → 0.2.4

package/tui/src/ipc/frames.generated.ts

@@ -13,6 +13,7 @@ export type IPCFrame =
   | UserInputFrame
   | ChatRequestFrame
   | AssistantChunkFrame
+  | ProgressEventFrame
   | ToolCallFrame
   | ToolResultFrame
   | CoordinatorPhaseFrame
@@ -188,6 +189,10 @@ export type Temperature = number;
  * Nucleus sampling threshold.
  */
 export type TopP = number;
+/**
+ * K-EXAONE/FriendliAI reasoning policy for this assistant turn.
+ */
+export type ReasoningMode = ('fast' | 'balanced' | 'deep' | 'diagnostic' | 'auto') | null;
 /**
  * Opaque session identifier.
  */
@@ -267,15 +272,36 @@ export type TransactionId4 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind3 = 'tool_call';
+export type Kind3 = 'progress_event';
 /**
- * ULID correlating this call to its subsequent tool_result.
+ * Safe query-loop phase represented by this event.
  */
-export type CallId = string;
+export type Phase =
+  | 'analysis'
+  | 'tool_selection'
+  | 'tool_call'
+  | 'tool_result'
+  | 'answer_synthesis';
 /**
- * Concrete tool name selected by the model; root primitive names remain valid for legacy transcripts.
+ * Korean progress text for the TUI.
  */
-export type Name3 = string;
+export type MessageKo = string;
+/**
+ * English fallback progress text.
+ */
+export type MessageEn = string;
+/**
+ * True because this channel never carries raw provider chain-of-thought.
+ */
+export type SafeToPersist = boolean;
+/**
+ * Concrete adapter/tool id when this event is tied to one.
+ */
+export type ToolId = string | null;
+/**
+ * Tool call id when this event is tied to a specific invocation.
+ */
+export type CallId = string | null;
 /**
  * Opaque session identifier.
  */
@@ -307,15 +333,15 @@ export type TransactionId5 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind4 = 'tool_result';
+export type Kind4 = 'tool_call';
 /**
- * ULID correlating this result to its originating tool_call.
+ * ULID correlating this call to its subsequent tool_result.
  */
 export type CallId1 = string;
 /**
- * Primitive kind discriminator per Spec 031.
+ * Concrete tool name selected by the model; root primitive names remain valid for legacy transcripts.
  */
-export type Kind5 = 'find' | 'locate' | 'send' | 'check';
+export type Name3 = string;
 /**
  * Opaque session identifier.
  */
@@ -347,11 +373,15 @@ export type TransactionId6 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind6 = 'coordinator_phase';
+export type Kind5 = 'tool_result';
 /**
- * Current coordinator phase.
+ * ULID correlating this result to its originating tool_call.
+ */
+export type CallId2 = string;
+/**
+ * Primitive kind discriminator per Spec 031.
  */
-export type Phase = 'Research' | 'Synthesis' | 'Implementation' | 'Verification';
+export type Kind6 = 'find' | 'locate' | 'send' | 'check';
 /**
  * Opaque session identifier.
  */
@@ -383,7 +413,43 @@ export type TransactionId7 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind7 = 'worker_status';
+export type Kind7 = 'coordinator_phase';
+/**
+ * Current coordinator phase.
+ */
+export type Phase1 = 'Research' | 'Synthesis' | 'Implementation' | 'Verification';
+/**
+ * Opaque session identifier.
+ */
+export type SessionId7 = string;
+/**
+ * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
+ */
+export type CorrelationId7 = string;
+/**
+ * ISO-8601 UTC timestamp with sub-ms precision.
+ */
+export type Ts7 = string;
+/**
+ * Envelope version. Hard-fail on mismatch (E1, FR-001).
+ */
+export type Version7 = '1.0';
+/**
+ * Origin role. Validated against kind<->role allow-list (E3, FR-004).
+ */
+export type Role8 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+/**
+ * Per-session monotonic sequence number (ge=0). Gap detection uses this.
+ */
+export type FrameSeq7 = number;
+/**
+ * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
+ */
+export type TransactionId8 = string | null;
+/**
+ * Frame discriminator.
+ */
+export type Kind8 = 'worker_status';
 /**
  * Unique worker identifier.
  */
@@ -403,35 +469,35 @@ export type Status = 'idle' | 'running' | 'waiting_permission' | 'error';
 /**
  * Opaque session identifier.
  */
-export type SessionId7 = string;
+export type SessionId8 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId7 = string;
+export type CorrelationId8 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts7 = string;
+export type Ts8 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version7 = '1.0';
+export type Version8 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role8 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role9 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq7 = number;
+export type FrameSeq8 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId8 = string | null;
+export type TransactionId9 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind8 = 'permission_request';
+export type Kind9 = 'permission_request';
 /**
  * ULID; round-trips in the matching permission_response frame.
  */
@@ -459,39 +525,39 @@ export type RiskLevel = 'low' | 'medium' | 'high';
 /**
  * Fully-qualified adapter id (e.g. `mock_verify_mobile_id`). Falls back to worker_id || primitive_kind in the TUI when None. None for legacy callers that have not yet been updated.
  */
-export type ToolId = string | null;
+export type ToolId1 = string | null;
 /**
  * Opaque session identifier.
  */
-export type SessionId8 = string;
+export type SessionId9 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId8 = string;
+export type CorrelationId9 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts8 = string;
+export type Ts9 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version8 = '1.0';
+export type Version9 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role9 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role10 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq8 = number;
+export type FrameSeq9 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId9 = string | null;
+export type TransactionId10 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind9 = 'permission_response';
+export type Kind10 = 'permission_response';
 /**
  * ULID matching the originating permission_request.request_id.
  */
@@ -511,39 +577,39 @@ export type PrimitiveKind1 = ('find' | 'locate' | 'send' | 'check') | null;
 /**
  * The fully-qualified adapter id (e.g. `mock_verify_mobile_id`, `mock_submit_welfare_grant`) the citizen authorised. The TUI uses this to render the human-readable Korean adapter name in /consent list and the modal title. None for non-adapter primitives (rare) or legacy backends.
  */
-export type ToolId1 = string | null;
+export type ToolId2 = string | null;
 /**
  * Opaque session identifier.
  */
-export type SessionId9 = string;
+export type SessionId10 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId9 = string;
+export type CorrelationId10 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts9 = string;
+export type Ts10 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version9 = '1.0';
+export type Version10 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role10 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role11 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq9 = number;
+export type FrameSeq10 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId10 = string | null;
+export type TransactionId11 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind10 = 'session_event';
+export type Kind11 = 'session_event';
 /**
  * Session lifecycle event type.
  */
@@ -551,35 +617,35 @@ export type Event = 'save' | 'load' | 'list' | 'resume' | 'new' | 'exit';
 /**
  * Opaque session identifier.
  */
-export type SessionId10 = string;
+export type SessionId11 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId10 = string;
+export type CorrelationId11 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts10 = string;
+export type Ts11 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version10 = '1.0';
+export type Version11 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role11 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role12 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq10 = number;
+export type FrameSeq11 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId11 = string | null;
+export type TransactionId12 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind11 = 'error';
+export type Kind12 = 'error';
 /**
  * Machine-readable error code (e.g., 'backend_crash', 'protocol_mismatch').
  */
@@ -591,35 +657,35 @@ export type Message = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId11 = string;
+export type SessionId12 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId11 = string;
+export type CorrelationId12 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts11 = string;
+export type Ts12 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version11 = '1.0';
+export type Version12 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role12 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role13 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq11 = number;
+export type FrameSeq12 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId12 = string | null;
+export type TransactionId13 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind12 = 'payload_start';
+export type Kind13 = 'payload_start';
 /**
  * Payload MIME type.
  */
@@ -631,35 +697,35 @@ export type EstimatedBytes = number | null;
 /**
  * Opaque session identifier.
  */
-export type SessionId12 = string;
+export type SessionId13 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId12 = string;
+export type CorrelationId13 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts12 = string;
+export type Ts13 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version12 = '1.0';
+export type Version13 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role13 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role14 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq12 = number;
+export type FrameSeq13 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId13 = string | null;
+export type TransactionId14 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind13 = 'payload_delta';
+export type Kind14 = 'payload_delta';
 /**
  * Monotonic within the payload (first delta = 0).
  */
@@ -671,35 +737,35 @@ export type Payload1 = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId13 = string;
+export type SessionId14 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId13 = string;
+export type CorrelationId14 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts13 = string;
+export type Ts14 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version13 = '1.0';
+export type Version14 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role14 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role15 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq13 = number;
+export type FrameSeq14 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId14 = string | null;
+export type TransactionId15 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind14 = 'payload_end';
+export type Kind15 = 'payload_end';
 /**
  * Total number of payload_delta frames emitted.
  */
@@ -711,35 +777,35 @@ export type Status1 = 'ok' | 'aborted';
 /**
  * Opaque session identifier.
  */
-export type SessionId14 = string;
+export type SessionId15 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId14 = string;
+export type CorrelationId15 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts14 = string;
+export type Ts15 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version14 = '1.0';
+export type Version15 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role15 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role16 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq14 = number;
+export type FrameSeq15 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId15 = string | null;
+export type TransactionId16 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind15 = 'backpressure';
+export type Kind16 = 'backpressure';
 /**
  * Reader action. pause=stop emitting; resume=clear; throttle=slow down.
  */
@@ -771,35 +837,35 @@ export type HudCopyEn = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId15 = string;
+export type SessionId16 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId15 = string;
+export type CorrelationId16 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts15 = string;
+export type Ts16 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version15 = '1.0';
+export type Version16 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role16 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role17 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq15 = number;
+export type FrameSeq16 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId16 = string | null;
+export type TransactionId17 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind16 = 'resume_request';
+export type Kind17 = 'resume_request';
 /**
  * Last correlation_id the TUI successfully applied. None if no prior frame.
  */
@@ -815,35 +881,35 @@ export type TuiSessionToken = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId16 = string;
+export type SessionId17 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId16 = string;
+export type CorrelationId17 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts16 = string;
+export type Ts17 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version16 = '1.0';
+export type Version17 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role17 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role18 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq16 = number;
+export type FrameSeq17 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId17 = string | null;
+export type TransactionId18 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind17 = 'resume_response';
+export type Kind18 = 'resume_response';
 /**
  * Inclusive lower bound of frames that will be replayed.
  */
@@ -863,35 +929,35 @@ export type HeartbeatIntervalMs = number;
 /**
  * Opaque session identifier.
  */
-export type SessionId17 = string;
+export type SessionId18 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId17 = string;
+export type CorrelationId18 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts17 = string;
+export type Ts18 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version17 = '1.0';
+export type Version18 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role18 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role19 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq17 = number;
+export type FrameSeq18 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId18 = string | null;
+export type TransactionId19 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind18 = 'resume_rejected';
+export type Kind19 = 'resume_rejected';
 /**
  * Machine-readable reason code.
  */
@@ -908,35 +974,35 @@ export type Detail = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId18 = string;
+export type SessionId19 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId18 = string;
+export type CorrelationId19 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts18 = string;
+export type Ts19 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version18 = '1.0';
+export type Version19 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role19 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role20 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq18 = number;
+export type FrameSeq19 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId19 = string | null;
+export type TransactionId20 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind19 = 'heartbeat';
+export type Kind20 = 'heartbeat';
 /**
  * ping from sender, pong from receiver.
  */
@@ -948,35 +1014,35 @@ export type PeerFrameSeq = number;
 /**
  * Opaque session identifier.
  */
-export type SessionId19 = string;
+export type SessionId20 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId19 = string;
+export type CorrelationId20 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts19 = string;
+export type Ts20 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version19 = '1.0';
+export type Version20 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role20 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role21 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq19 = number;
+export type FrameSeq20 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId20 = string | null;
+export type TransactionId21 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind20 = 'notification_push';
+export type Kind21 = 'notification_push';
 /**
  * Notification channel handle.
  */
@@ -1000,35 +1066,35 @@ export type Payload2 = string;
 /**
  * Opaque session identifier.
  */
-export type SessionId20 = string;
+export type SessionId21 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId20 = string;
+export type CorrelationId21 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts20 = string;
+export type Ts21 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version20 = '1.0';
+export type Version21 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role21 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role22 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq20 = number;
+export type FrameSeq21 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId21 = string | null;
+export type TransactionId22 = string | null;
 /**
  * Frame discriminator.
  */
-export type Kind21 = 'plugin_op';
+export type Kind22 = 'plugin_op';
 /**
  * Operation phase. ``request`` = TUI initiates install/uninstall/list; ``progress`` = backend reports phase tick; ``complete`` = backend reports terminal outcome.
  */
@@ -1088,35 +1154,35 @@ export type WasIdempotentNoop = boolean | null;
 /**
  * Opaque session identifier.
  */
-export type SessionId21 = string;
+export type SessionId22 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId21 = string;
+export type CorrelationId22 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts21 = string;
+export type Ts22 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version21 = '1.0';
+export type Version22 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role22 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role23 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq21 = number;
+export type FrameSeq22 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId22 = string | null;
+export type TransactionId23 = string | null;
 /**
  * Frame discriminator — 21st arm of IPCFrame.
  */
-export type Kind22 = 'adapter_manifest_sync';
+export type Kind23 = 'adapter_manifest_sync';
 /**
  * Full registry snapshot. Non-empty (I1); no duplicate tool_id (I2).
  *
@@ -1126,7 +1192,7 @@ export type Entries = [AdapterManifestEntry, ...AdapterManifestEntry[]];
 /**
  * Globally unique adapter id within the registry, e.g. 'nmc_emergency_search'. Lowercase snake-case; validated by I7.
  */
-export type ToolId2 = string;
+export type ToolId3 = string;
 /**
  * Human-readable display name; bilingual permitted.
  */
@@ -1162,35 +1228,35 @@ export type EmitterPid = number;
 /**
  * Opaque session identifier.
  */
-export type SessionId22 = string;
+export type SessionId23 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId22 = string;
+export type CorrelationId23 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts22 = string;
+export type Ts23 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version22 = '1.0';
+export type Version23 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role23 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role24 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq22 = number;
+export type FrameSeq23 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId23 = string | null;
+export type TransactionId24 = string | null;
 /**
  * Frame discriminator — arm 22 of IPCFrame.
  */
-export type Kind23 = 'consent_revoke_request';
+export type Kind24 = 'consent_revoke_request';
 /**
  * UUIDv4 round-trip correlation ID; matched in consent_revoke_response.
  */
@@ -1210,35 +1276,35 @@ export type Reason1 = string | null;
 /**
  * Opaque session identifier.
  */
-export type SessionId23 = string;
+export type SessionId24 = string;
 /**
  * UUIDv7 string for new emissions; ULID accepted for back-compat. Non-empty; emitter SHOULD use UUIDv7. (E5)
  */
-export type CorrelationId23 = string;
+export type CorrelationId24 = string;
 /**
  * ISO-8601 UTC timestamp with sub-ms precision.
  */
-export type Ts23 = string;
+export type Ts24 = string;
 /**
  * Envelope version. Hard-fail on mismatch (E1, FR-001).
  */
-export type Version23 = '1.0';
+export type Version24 = '1.0';
 /**
  * Origin role. Validated against kind<->role allow-list (E3, FR-004).
  */
-export type Role24 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
+export type Role25 = 'tui' | 'backend' | 'tool' | 'llm' | 'notification';
 /**
  * Per-session monotonic sequence number (ge=0). Gap detection uses this.
  */
-export type FrameSeq23 = number;
+export type FrameSeq24 = number;
 /**
  * UUIDv7. Populated for idempotent state-change frames (irreversible tools). None for streaming chunks. (FR-026) Non-empty when present (parity with codec.ts ``z.string().min(1).nullable().optional()`` — Spec 2642 § US3).
  */
-export type TransactionId24 = string | null;
+export type TransactionId25 = string | null;
 /**
  * Frame discriminator — arm 23 of IPCFrame.
  */
-export type Kind24 = 'consent_revoke_response';
+export type Kind25 = 'consent_revoke_response';
 /**
  * Mirrors consent_revoke_request.request_id for round-trip correlation.
  */
@@ -1312,6 +1378,7 @@ export interface ChatRequestFrame {
   max_tokens?: MaxTokens;
   temperature?: Temperature;
   top_p?: TopP;
+  reasoning_mode?: ReasoningMode;
 }
 /**
  * One conversation-history entry carried by ``ChatRequestFrame.messages``.
@@ -1409,9 +1476,14 @@ export interface AssistantChunkFrame {
   done: Done;
 }
 /**
- * backend -> TUI (display only): a tool invocation decision by the model.
+ * backend -> TUI: deterministic query-loop progress.
+ *
+ * This is intentionally separate from ``AssistantChunkFrame.thinking``.
+ * ``progress_event`` carries safe harness state such as analysis, tool
+ * selection, tool dispatch/result, and answer synthesis. Provider reasoning
+ * remains on the gated ``thinking_delta`` channel.
  */
-export interface ToolCallFrame {
+export interface ProgressEventFrame {
   session_id: SessionId3;
   correlation_id: CorrelationId3;
   ts: Ts3;
@@ -1424,20 +1496,17 @@ export interface ToolCallFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind3;
-  call_id: CallId;
-  name: Name3;
-  arguments: Arguments1;
-}
-/**
- * Tool-specific arguments. Concrete adapter calls carry adapter schema fields directly.
- */
-export interface Arguments1 {
-  [k: string]: any;
+  phase: Phase;
+  message_ko: MessageKo;
+  message_en: MessageEn;
+  safe_to_persist?: SafeToPersist;
+  tool_id?: ToolId;
+  call_id?: CallId;
 }
 /**
- * backend -> TUI (render): the output of a tool invocation.
+ * backend -> TUI (display only): a tool invocation decision by the model.
  */
-export interface ToolResultFrame {
+export interface ToolCallFrame {
   session_id: SessionId4;
   correlation_id: CorrelationId4;
   ts: Ts4;
@@ -1451,19 +1520,19 @@ export interface ToolResultFrame {
   trailer?: FrameTrailer | null;
   kind?: Kind4;
   call_id: CallId1;
-  envelope: ToolResultEnvelope;
+  name: Name3;
+  arguments: Arguments1;
 }
 /**
- * Active primitive discriminated union. Unknown kind falls to UnrecognizedPayload.
+ * Tool-specific arguments. Concrete adapter calls carry adapter schema fields directly.
  */
-export interface ToolResultEnvelope {
-  kind: Kind5;
+export interface Arguments1 {
   [k: string]: any;
 }
 /**
- * backend -> TUI: Spec 027 coordinator phase update.
+ * backend -> TUI (render): the output of a tool invocation.
  */
-export interface CoordinatorPhaseFrame {
+export interface ToolResultFrame {
   session_id: SessionId5;
   correlation_id: CorrelationId5;
   ts: Ts5;
@@ -1475,13 +1544,21 @@ export interface CoordinatorPhaseFrame {
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind6;
-  phase: Phase;
+  kind?: Kind5;
+  call_id: CallId2;
+  envelope: ToolResultEnvelope;
 }
 /**
- * backend -> TUI: per-worker status row update from Spec 027 swarm.
+ * Active primitive discriminated union. Unknown kind falls to UnrecognizedPayload.
  */
-export interface WorkerStatusFrame {
+export interface ToolResultEnvelope {
+  kind: Kind6;
+  [k: string]: any;
+}
+/**
+ * backend -> TUI: Spec 027 coordinator phase update.
+ */
+export interface CoordinatorPhaseFrame {
   session_id: SessionId6;
   correlation_id: CorrelationId6;
   ts: Ts6;
@@ -1494,15 +1571,12 @@ export interface WorkerStatusFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind7;
-  worker_id: WorkerId;
-  role_id: RoleId;
-  current_primitive: CurrentPrimitive;
-  status: Status;
+  phase: Phase1;
 }
 /**
- * backend -> TUI: a worker raises a permission request.
+ * backend -> TUI: per-worker status row update from Spec 027 swarm.
  */
-export interface PermissionRequestFrame {
+export interface WorkerStatusFrame {
   session_id: SessionId7;
   correlation_id: CorrelationId7;
   ts: Ts7;
@@ -1515,18 +1589,15 @@ export interface PermissionRequestFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind8;
-  request_id: RequestId;
-  worker_id: WorkerId1;
-  primitive_kind: PrimitiveKind;
-  description_ko: DescriptionKo;
-  description_en: DescriptionEn;
-  risk_level: RiskLevel;
-  tool_id?: ToolId;
+  worker_id: WorkerId;
+  role_id: RoleId;
+  current_primitive: CurrentPrimitive;
+  status: Status;
 }
 /**
- * TUI -> backend: citizen's decision on a permission_request.
+ * backend -> TUI: a worker raises a permission request.
  */
-export interface PermissionResponseFrame {
+export interface PermissionRequestFrame {
   session_id: SessionId8;
   correlation_id: CorrelationId8;
   ts: Ts8;
@@ -1539,16 +1610,18 @@ export interface PermissionResponseFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind9;
-  request_id: RequestId1;
-  decision: Decision;
-  receipt_id?: ReceiptId;
-  primitive_kind?: PrimitiveKind1;
+  request_id: RequestId;
+  worker_id: WorkerId1;
+  primitive_kind: PrimitiveKind;
+  description_ko: DescriptionKo;
+  description_en: DescriptionEn;
+  risk_level: RiskLevel;
   tool_id?: ToolId1;
 }
 /**
- * Bidirectional: session lifecycle events.
+ * TUI -> backend: citizen's decision on a permission_request.
  */
-export interface SessionEventFrame {
+export interface PermissionResponseFrame {
   session_id: SessionId9;
   correlation_id: CorrelationId9;
   ts: Ts9;
@@ -1561,19 +1634,16 @@ export interface SessionEventFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind10;
-  event: Event;
-  payload: Payload;
-}
-/**
- * Event-specific payload. For list: {sessions: [{id, created_at, turn_count}]}. For resume: {id: str}. For others: {}.
- */
-export interface Payload {
-  [k: string]: any;
+  request_id: RequestId1;
+  decision: Decision;
+  receipt_id?: ReceiptId;
+  primitive_kind?: PrimitiveKind1;
+  tool_id?: ToolId2;
 }
 /**
- * backend -> TUI: a backend error surfaced to the TUI for rendering.
+ * Bidirectional: session lifecycle events.
  */
-export interface ErrorFrame {
+export interface SessionEventFrame {
   session_id: SessionId10;
   correlation_id: CorrelationId10;
   ts: Ts10;
@@ -1586,23 +1656,19 @@ export interface ErrorFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind11;
-  code: Code;
-  message: Message;
-  details: Details;
+  event: Event;
+  payload: Payload;
 }
 /**
- * Structured error details. UMMAYA_* env var values MUST be redacted.
+ * Event-specific payload. For list: {sessions: [{id, created_at, turn_count}]}. For resume: {id: str}. For others: {}.
  */
-export interface Details {
+export interface Payload {
   [k: string]: any;
 }
 /**
- * Begins a streamed payload (assistant output, tool result chunking).
- *
- * Sender MUST follow with >= 1 payload_delta and exactly one payload_end.
- * role allow-list: backend, tool, llm.
+ * backend -> TUI: a backend error surfaced to the TUI for rendering.
  */
-export interface PayloadStartFrame {
+export interface ErrorFrame {
   session_id: SessionId11;
   correlation_id: CorrelationId11;
   ts: Ts11;
@@ -1615,15 +1681,23 @@ export interface PayloadStartFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind12;
-  content_type: ContentType;
-  estimated_bytes?: EstimatedBytes;
+  code: Code;
+  message: Message;
+  details: Details;
 }
 /**
- * One chunk of a streamed payload.
+ * Structured error details. UMMAYA_* env var values MUST be redacted.
+ */
+export interface Details {
+  [k: string]: any;
+}
+/**
+ * Begins a streamed payload (assistant output, tool result chunking).
  *
+ * Sender MUST follow with >= 1 payload_delta and exactly one payload_end.
  * role allow-list: backend, tool, llm.
  */
-export interface PayloadDeltaFrame {
+export interface PayloadStartFrame {
   session_id: SessionId12;
   correlation_id: CorrelationId12;
   ts: Ts12;
@@ -1636,16 +1710,15 @@ export interface PayloadDeltaFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind13;
-  delta_seq: DeltaSeq;
-  payload: Payload1;
+  content_type: ContentType;
+  estimated_bytes?: EstimatedBytes;
 }
 /**
- * Terminates a streamed payload.
+ * One chunk of a streamed payload.
  *
- * MUST carry a trailer with final=True.
  * role allow-list: backend, tool, llm.
  */
-export interface PayloadEndFrame {
+export interface PayloadDeltaFrame {
   session_id: SessionId13;
   correlation_id: CorrelationId13;
   ts: Ts13;
@@ -1658,16 +1731,16 @@ export interface PayloadEndFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind14;
-  delta_count: DeltaCount;
-  status: Status1;
+  delta_seq: DeltaSeq;
+  payload: Payload1;
 }
 /**
- * Emitted when outgoing queue crosses HWM or a 429 condition is detected.
+ * Terminates a streamed payload.
  *
- * role allow-list: tui (tui_reader), backend (backend_writer, upstream_429).
- * FR-012, FR-015: hud_copy_ko/en MUST be non-empty (min_length=1).
+ * MUST carry a trailer with final=True.
+ * role allow-list: backend, tool, llm.
  */
-export interface BackpressureSignalFrame {
+export interface PayloadEndFrame {
   session_id: SessionId14;
   correlation_id: CorrelationId14;
   ts: Ts14;
@@ -1680,20 +1753,16 @@ export interface BackpressureSignalFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind15;
-  signal: Signal;
-  source: Source;
-  queue_depth: QueueDepth;
-  hwm: Hwm;
-  retry_after_ms?: RetryAfterMs;
-  hud_copy_ko: HudCopyKo;
-  hud_copy_en: HudCopyEn;
+  delta_count: DeltaCount;
+  status: Status1;
 }
 /**
- * Sent by the reconnecting TUI after a stdio drop.
+ * Emitted when outgoing queue crosses HWM or a 429 condition is detected.
  *
- * role allow-list: tui.
+ * role allow-list: tui (tui_reader), backend (backend_writer, upstream_429).
+ * FR-012, FR-015: hud_copy_ko/en MUST be non-empty (min_length=1).
  */
-export interface ResumeRequestFrame {
+export interface BackpressureSignalFrame {
   session_id: SessionId15;
   correlation_id: CorrelationId15;
   ts: Ts15;
@@ -1706,18 +1775,20 @@ export interface ResumeRequestFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind16;
-  last_seen_correlation_id?: LastSeenCorrelationId;
-  last_seen_frame_seq?: LastSeenFrameSeq;
-  tui_session_token: TuiSessionToken;
+  signal: Signal;
+  source: Source;
+  queue_depth: QueueDepth;
+  hwm: Hwm;
+  retry_after_ms?: RetryAfterMs;
+  hud_copy_ko: HudCopyKo;
+  hud_copy_en: HudCopyEn;
 }
 /**
- * Backend accepts the resume.
+ * Sent by the reconnecting TUI after a stdio drop.
  *
- * Must be followed by replay of frames with frame_seq > last_seen_frame_seq.
- * Trailer with final=True MUST be set (E6).
- * role allow-list: backend.
+ * role allow-list: tui.
  */
-export interface ResumeResponseFrame {
+export interface ResumeRequestFrame {
   session_id: SessionId16;
   correlation_id: CorrelationId16;
   ts: Ts16;
@@ -1730,18 +1801,18 @@ export interface ResumeResponseFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind17;
-  resumed_from_frame_seq: ResumedFromFrameSeq;
-  replay_count: ReplayCount;
-  server_session_id: ServerSessionId;
-  heartbeat_interval_ms: HeartbeatIntervalMs;
+  last_seen_correlation_id?: LastSeenCorrelationId;
+  last_seen_frame_seq?: LastSeenFrameSeq;
+  tui_session_token: TuiSessionToken;
 }
 /**
- * Backend cannot honor the resume request.
+ * Backend accepts the resume.
  *
+ * Must be followed by replay of frames with frame_seq > last_seen_frame_seq.
  * Trailer with final=True MUST be set (E6).
  * role allow-list: backend.
  */
-export interface ResumeRejectedFrame {
+export interface ResumeResponseFrame {
   session_id: SessionId17;
   correlation_id: CorrelationId17;
   ts: Ts17;
@@ -1754,17 +1825,18 @@ export interface ResumeRejectedFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind18;
-  reason: Reason;
-  detail: Detail;
+  resumed_from_frame_seq: ResumedFromFrameSeq;
+  replay_count: ReplayCount;
+  server_session_id: ServerSessionId;
+  heartbeat_interval_ms: HeartbeatIntervalMs;
 }
 /**
- * Emitted every 30 s (default) by both sides to prove liveness.
+ * Backend cannot honor the resume request.
  *
- * Note: Heartbeat frames do NOT increment frame_seq — they use a dedicated
- * counter. This keeps ring-buffer economy tight.
- * role allow-list: tui, backend.
+ * Trailer with final=True MUST be set (E6).
+ * role allow-list: backend.
  */
-export interface HeartbeatFrame {
+export interface ResumeRejectedFrame {
   session_id: SessionId18;
   correlation_id: CorrelationId18;
   ts: Ts18;
@@ -1777,6 +1849,29 @@ export interface HeartbeatFrame {
    */
   trailer?: FrameTrailer | null;
   kind?: Kind19;
+  reason: Reason;
+  detail: Detail;
+}
+/**
+ * Emitted every 30 s (default) by both sides to prove liveness.
+ *
+ * Note: Heartbeat frames do NOT increment frame_seq — they use a dedicated
+ * counter. This keeps ring-buffer economy tight.
+ * role allow-list: tui, backend.
+ */
+export interface HeartbeatFrame {
+  session_id: SessionId19;
+  correlation_id: CorrelationId19;
+  ts: Ts19;
+  version?: Version19;
+  role: Role20;
+  frame_seq?: FrameSeq19;
+  transaction_id?: TransactionId20;
+  /**
+   * Completion/validation metadata. Populated on terminal frames. (FR-006)
+   */
+  trailer?: FrameTrailer | null;
+  kind?: Kind20;
   direction: Direction;
   peer_frame_seq: PeerFrameSeq;
 }
@@ -1798,18 +1893,18 @@ export interface HeartbeatFrame {
  * UMMAYA swap-2 add-on, not a CC-divergence regression).
  */
 export interface NotificationPushFrame {
-  session_id: SessionId19;
-  correlation_id: CorrelationId19;
-  ts: Ts19;
-  version?: Version19;
-  role: Role20;
-  frame_seq?: FrameSeq19;
-  transaction_id?: TransactionId20;
+  session_id: SessionId20;
+  correlation_id: CorrelationId20;
+  ts: Ts20;
+  version?: Version20;
+  role: Role21;
+  frame_seq?: FrameSeq20;
+  transaction_id?: TransactionId21;
   /**
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind20;
+  kind?: Kind21;
   subscription_id: SubscriptionId;
   adapter_id: AdapterId;
   event_guid: EventGuid;
@@ -1840,18 +1935,18 @@ export interface NotificationPushFrame {
  * role allow-list: tui (request), backend (progress / complete).
  */
 export interface PluginOpFrame {
-  session_id: SessionId20;
-  correlation_id: CorrelationId20;
-  ts: Ts20;
-  version?: Version20;
-  role: Role21;
-  frame_seq?: FrameSeq20;
-  transaction_id?: TransactionId21;
+  session_id: SessionId21;
+  correlation_id: CorrelationId21;
+  ts: Ts21;
+  version?: Version21;
+  role: Role22;
+  frame_seq?: FrameSeq21;
+  transaction_id?: TransactionId22;
   /**
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind21;
+  kind?: Kind22;
   op: Op;
   request_op?: RequestOp;
   name?: Name4;
@@ -1883,18 +1978,18 @@ export interface PluginOpFrame {
  * Constitution § II + Spec 1634 boot-validation pattern.
  */
 export interface AdapterManifestSyncFrame {
-  session_id: SessionId21;
-  correlation_id: CorrelationId21;
-  ts: Ts21;
-  version?: Version21;
-  role: Role22;
-  frame_seq?: FrameSeq21;
-  transaction_id?: TransactionId22;
+  session_id: SessionId22;
+  correlation_id: CorrelationId22;
+  ts: Ts22;
+  version?: Version22;
+  role: Role23;
+  frame_seq?: FrameSeq22;
+  transaction_id?: TransactionId23;
   /**
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind22;
+  kind?: Kind23;
   entries: Entries;
   manifest_hash: ManifestHash;
   emitter_pid: EmitterPid;
@@ -1911,7 +2006,7 @@ export interface AdapterManifestSyncFrame {
  * - ``tool_id`` matches ``^[a-z][a-z0-9_]*$`` (I7).
  */
 export interface AdapterManifestEntry {
-  tool_id: ToolId2;
+  tool_id: ToolId3;
   name: Name5;
   primitive: Primitive;
   policy_authority_url?: PolicyAuthorityUrl;
@@ -1950,18 +2045,18 @@ export interface OutputSchemaJson {
  * role allow-list: tui.
  */
 export interface ConsentRevokeRequestFrame {
-  session_id: SessionId22;
-  correlation_id: CorrelationId22;
-  ts: Ts22;
-  version?: Version22;
-  role: Role23;
-  frame_seq?: FrameSeq22;
-  transaction_id?: TransactionId23;
+  session_id: SessionId23;
+  correlation_id: CorrelationId23;
+  ts: Ts23;
+  version?: Version23;
+  role: Role24;
+  frame_seq?: FrameSeq23;
+  transaction_id?: TransactionId24;
   /**
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind23;
+  kind?: Kind24;
   request_id: RequestId2;
   receipt_id: ReceiptId2;
   scope: Scope;
@@ -1985,18 +2080,18 @@ export interface ConsentRevokeRequestFrame {
  * role allow-list: backend.
  */
 export interface ConsentRevokeResponseFrame {
-  session_id: SessionId23;
-  correlation_id: CorrelationId23;
-  ts: Ts23;
-  version?: Version23;
-  role: Role24;
-  frame_seq?: FrameSeq23;
-  transaction_id?: TransactionId24;
+  session_id: SessionId24;
+  correlation_id: CorrelationId24;
+  ts: Ts24;
+  version?: Version24;
+  role: Role25;
+  frame_seq?: FrameSeq24;
+  transaction_id?: TransactionId25;
   /**
    * Completion/validation metadata. Populated on terminal frames. (FR-006)
    */
   trailer?: FrameTrailer | null;
-  kind?: Kind24;
+  kind?: Kind25;
   request_id: RequestId3;
   ok: Ok;
   revoked_at?: RevokedAt;