@x-otto/runtime 0.0.1-alpha.9 → 0.1.0-alpha.9

package/dist/index.d.ts

@@ -1,10 +1,12 @@
-import { CostSummary, Message, Model, ModelResolution, ProviderRegistry, ThinkingLevel } from "@x-otto/ai";
+import { CostSummary, Message, Model, ModelResolution, ProviderRegistry, StreamFunction, ThinkingLevel } from "@x-otto/ai";
 import { HookRegistry, HookSpec, SystemPromptTransformInput, ToolExecuteAfterInput } from "@x-otto/hooks";
 import { EventBus, Events, Logger, TypedEventEmitter } from "@x-otto/shared";
 import { AppendLog, PanelStateDraftEntry, PanelStateEditedFile, PanelStatePersistence, PanelStateSnapshot, PanelStateSubagentEntry, PanelStateTodoItem, PanelStateTurnSummary, PasteStatePersistence, PasteStateSnapshot } from "@x-otto/persistence";
-import { InMemorySession, LeaseInspection, Session, SessionEntry, SessionPersistence, SessionSnapshot } from "@x-otto/session";
+import { EVENT_DOMAIN, EventDomain, SYSTEM_PROMPT_SECTIONS, SystemPromptSectionSpec, applySectionBudget, getEventDomain } from "@x-otto/interchange";
+import * as _$_x_otto_session0 from "@x-otto/session";
+import { InMemorySession, LeaseInspection, Session, SessionEntry, SessionPanelState, SessionPersistence, SessionSnapshot } from "@x-otto/session";
 import { OttoProcessInfo } from "@x-otto/env";
-import { Agent, AgentEvent, AgentMessage, AgentSessionEvent, AgentSessionEventMap, AgentSessionEventType, AgentSessionSubscriber, AgentTool, ApprovalRisk, AskUserQuestion, ClockPort, DescribeImagesPort, GrillAnswer, GrillQuestion, GrillRequest, IdPort, MemoryPort, MemoryPort as MemoryPort$1, RandomPort, StreamFunction, StreamRetryConfig, ToolHookExecutor, ToolResult, TraceEvent, TraceRecorder, applyMemoryTransform } from "@x-otto/agent";
+import { Agent, AgentEvent, AgentMessage, AgentSessionEvent, AgentSessionEventMap, AgentSessionEventType, AgentSessionSubscriber, AgentTool, ApprovalRisk, AskUserQuestion, ClockPort, DescribeImagesPort, GrillAnswer, GrillQuestion, GrillRequest, IdPort, MemoryPort, MemoryPort as MemoryPort$1, RandomPort, StreamFunction as StreamFunction$1, StreamRetryConfig, ToolHookExecutor, ToolResult, TraceEvent, TraceRecorder, applyMemoryTransform } from "@x-otto/agent";
 import * as _$_x_otto_session_contract0 from "@x-otto/session-contract";
 import { ResidencyBudgetConfig, TurnRecord, TurnRecord as TurnRecord$1 } from "@x-otto/session-contract";
 import { ChildProcess, SpawnOptions } from "node:child_process";
@@ -205,6 +207,14 @@ declare class HostRegistry {
   dispose(): void;
 }
 //#endregion
+//#region src/session/semantic-reviewer.d.ts
+type SemanticReviewerVerdict = 'allow' | 'deny' | 'abstain';
+type SemanticReviewer = (toolName: string, args: Record<string, unknown>, description: string, risk?: ApprovalRisk) => Promise<SemanticReviewerVerdict>;
+/** 升级审批哨兵（与 T2 的 escalation reason 同源；此处不 import agent 常量避免反向依赖，测试锁定同值）。 */
+declare const ESCALATION_MARKER = "[sandbox-escalation]";
+/** 仅「升级审批」请求可进语义裁决（普通 ask 仍走用户审批——范围克制，RFC §2 D3）。 */
+declare function isEscalationApproval(description: string): boolean;
+//#endregion
 //#region src/context-source.d.ts
 interface ContextSource {
   /** 本源的唯一标识。重复注册→覆盖前一次同 id 源。 */
@@ -252,10 +262,6 @@ declare class ContextSourceRegistry {
   sealAndBuildHooks(workspaceDir?: string, memory?: ContextBuildInput['memory']): HookSpec[];
 }
 //#endregion
-//#region src/session/semantic-reviewer.d.ts
-type SemanticReviewerVerdict = 'allow' | 'deny' | 'abstain';
-type SemanticReviewer = (toolName: string, args: Record<string, unknown>, description: string, risk?: ApprovalRisk) => Promise<SemanticReviewerVerdict>;
-//#endregion
 //#region src/context-sources/memory-delta.d.ts
 /**
  * memory-delta（#3 volatile memory delta）
@@ -332,6 +338,11 @@ interface MemorySubsystem extends MemoryPort$1, ContextInjectionPort, MemoryDelt
  * 经过宿主完整解析后的 session 配置。
  * 所有业务字段均已确定，无需再做 merge。
  * Manager 层只接受此类型来创建 session，不持有业务默认值。
+ *
+ * RFC-394 D2/R1：这是配置链的**唯一真源**。AgentSessionOptions 从本类型派生
+ * （`SessionConfigSubset`），AgentConfig 从 Options 映射，PersistedSessionConfig
+ * 从字段元数据（`PERSISTABLE_CONFIG_FIELDS`）生成——新增字段只改此处，编译器
+ * 自动传播，消灭手抄映射清单（此前 4 次漏传事故的根因）。
  */
 interface ResolvedSessionConfig {
   model: Model;
@@ -369,6 +380,11 @@ interface ResolvedSessionConfig {
   stallDetection?: {
     windowTurns?: number;
     repeatThreshold?: number;
+    emptyTurnThreshold?: number;
+  } | false;
+  /** RFC-385 D1：首轮空转检测。缺省启用（走 ENGINE_DEFAULTS.idleTurnMaxTextChars）；`false` 显式关闭。 */
+  idleTurnDetection?: {
+    maxTextChars?: number;
   } | false;
   /** RFC-204 D1/D2：会话累计成本软预算（美元）。缺省 = 不启用检测。 */
   sessionCostBudgetUSD?: number;
@@ -418,7 +434,27 @@ interface ResolvedSessionConfig {
    */
   describeImages?: DescribeImagesPort;
 }
-interface AgentSessionOptions {
+/**
+ * RFC-394 D2/R1：从 ResolvedSessionConfig 派生到 AgentSessionOptions 的会话配置子集。
+ *
+ * 这 27 个字段是 ResolvedSessionConfig 中**同时出现在 AgentSessionOptions 里**的字段——
+ * 此前逐字段手抄（buildAgentSession:461+），现用 Pick 派生，增删只改 ResolvedSessionConfig
+ * 一处，编译器自动传播到 Options。AgentSessionOptions = SessionConfigSubset & InfrastructurePorts。
+ *
+ * 不在此子集的字段（permissionAlwaysAllow / availableModels）是会话级权限/模型集合，
+ * 不传给 AgentSession 构造（由 SessionPool 直接读写 configs Map）。
+ */
+type SessionConfigSubset = Pick<ResolvedSessionConfig, 'model' | 'titleModel' | 'modelResolution' | 'agentName' | 'systemPrompt' | 'systemTail' | 'tools' | 'thinkingLevel' | 'maxToolTurns' | 'maxToolTurnExtensions' | 'promptOutputTokenBudget' | 'promptWallClockBudgetMs' | 'stallDetection' | 'idleTurnDetection' | 'sessionCostBudgetUSD' | 'todoContinuation' | 'promptRefresh' | 'workspaceDir' | 'workspaceId' | 'transient' | 'depth' | 'interactive' | 'listable' | 'retryAccelerate' | 'streamRetry' | 'networkDisconnectRetry' | 'lifecycleAsyncTimeoutMs' | 'describeImages'>;
+/**
+ * RFC-394 D2/R1：AgentSessionOptions = SessionConfigSubset（从 ResolvedSessionConfig 派生）
+ * + InfrastructurePorts（运行时注入的基础设施端口）。
+ *
+ * 此前 AgentSessionOptions 是 42 字段的独立 interface，27 个字段与 ResolvedSessionConfig
+ * 逐字段手抄重复——现用 Pick 派生消灭手抄。新增 ResolvedSessionConfig 字段时，
+ * SessionConfigSubset 自动跟随（如需传入 AgentSession），编译器报错提示遗漏。
+ */
+interface AgentSessionOptions extends SessionConfigSubset {
+  /** 会话 id（仅 createSession 路径可选注入）。 */
   id?: string;
   /**
    * RFC-324 D1/R5：turn-gated 压缩的超时兜底（毫秒）惰性读数。
@@ -428,98 +464,29 @@ interface AgentSessionOptions {
    * 未注入时回退 `SESSION_COMPACTION_TIMEOUT_MS`（其本身已含 env 覆盖）。
    */
   getCompactionTimeoutMs?: () => number | undefined;
-  model: Model;
-  /** 模型决策溯源(为何选中此 model)——透传给观测层供 inspector 显示。 */
-  modelResolution?: ModelResolution;
-  agentName?: string;
-  systemPrompt?: string;
-  /** 会话恒定的 volatile system 尾段种子（append 子代理角色块等）；透传至 PromptParams.systemTail。 */
-  systemTail?: string[];
-  tools?: AgentTool[];
-  thinkingLevel?: ThinkingLevel;
-  maxToolTurns?: number;
-  maxToolTurnExtensions?: number;
-  /** RFC-104 D3：per-prompt output-token 预算（AgentSessionOptions 透传面）。 */
-  promptOutputTokenBudget?: number;
-  /** RFC-104 D3：per-prompt 墙钟预算（ms）。 */
-  promptWallClockBudgetMs?: number;
   /** RFC-104 D2 缺省：顶层默认开、子 agent 默认关；OTTO_BUDGET_STEER_WRAPUP=1/0 覆盖。 */
   budgetSteerWrapUp?: boolean;
-  /**
-   * RFC-203/RFC-204 D4：早期停滞检测配置透传（第三层，此前 AgentConfig/agent.ts 两层
-   * 断链已在 RFC-204 M2 修复）。缺省启用（走 ENGINE_DEFAULTS）；`false` 显式关闭。
-   */
-  stallDetection?: {
-    windowTurns?: number;
-    repeatThreshold?: number;
-  } | false;
-  /**
-   * RFC-204 D1/D2：会话累计成本软预算（美元）。超过阈值时一次性 emit
-   * `session.cost-budget-exceeded`（不阻断）。缺省 = 不启用预算检测。
-   */
-  sessionCostBudgetUSD?: number;
-  /**
-   * RFC-094：todo 停机闭环硬闸——prompt 结束后若 todoList 仍有未完成项，自动续跑（cap 轮内）。
-   * 缺省从 OTTO_TODO_CONTINUE / OTTO_TODO_CONTINUE_MAX 解析（默认开、cap=3）；depth>0 恒不启闸。
-   */
-  todoContinuation?: {
-    enabled: boolean;
-    max: number;
-  };
-  workspaceDir?: string;
-  /** workspace 逻辑标识（`workspaceRef.id`），按 workspace 过滤会话列表时使用。 */
-  workspaceId?: string;
-  transient?: boolean;
   hookRegistry: HookRegistry;
-  stream: StreamFunction;
-  /**
-   * RFC-078 M134：标题生成用的便宜模型（app 层经 RFC-061 `category:'search'` + usability gate 解析）。
-   * 缺省 → 不启用 LLM 标题生成（仅保留 derived 启发式占位）。禁用对话模型/claude-OAuth（R3）。
-   */
-  titleModel?: Model;
+  stream: StreamFunction$1;
   logger: Logger;
   devtools?: Devtools;
-  promptRefresh?: PromptRefresh;
   memory?: MemoryPort;
   recorder?: TraceRecorder;
   /** RFC-145 D3：nondet batch 冲洗回调（透传给 Agent → work-loop）。缺省 = 不聚合。 */
   nondetFlush?: () => void;
   clock?: ClockPort;
-  depth?: number;
   /**
    * RFC-371 M-A：父任务锚点（任务树语义）。orchestrator 委派子会话时注入
    * `RunSessionOptions.parentTaskId`，透传 Agent → ToolExecutor → 工具上下文 →
    * task_delegate/agent_call → orchestrator per-parent fan-out 闸。undefined = root 层。
    */
   parentTaskId?: string;
-  interactive?: boolean;
   /**
    * RFC-380 T4：LLM 语义审批层（opt-in）。仅升级审批（sandbox-denied escalate ask）
    * 且配置时生效；allow/deny 自动裁决（宿主侧需消费 approval.required 的
    * semanticVerdict 记命令 bypass），abstain/未配置 → 既有用户弹窗流程。
    */
   semanticReviewer?: SemanticReviewer;
-  /**
-   * 是否在 `/resume` 列表中可见（缺省 = 可见）。`false` 用于 headless 一次性内部会话
-   * （`otto --print/--json`）——照常落盘（sessionId/trace 有外部契约消费方），但不进列表。
-   * 详见 `PersistedSessionConfig.listable`。
-   */
-  listable?: boolean;
-  retryAccelerate?: {
-    skip: boolean;
-  };
-  /** RFC-230：流式重试策略投影，见 `ResolvedSessionConfig.streamRetry` 同名字段注释。 */
-  streamRetry?: StreamRetryConfig;
-  /** RFC-230：网络断连重试策略投影，见 `ResolvedSessionConfig.networkDisconnectRetry` 同名字段注释。 */
-  networkDisconnectRetry?: StreamRetryConfig;
-  /** RFC-366：lifecycleAsync 挂死兜底超时（毫秒），见 `ResolvedSessionConfig.lifecycleAsyncTimeoutMs` 同名字段注释。 */
-  lifecycleAsyncTimeoutMs?: number;
-  /**
-   * RFC-181 D3/M3：图像委托描述端口（宿主 VisionDelegateService 实现，coding 层在会话
-   * 装配时注入）。缺省 = 主模型不支持视觉时，image block 降级为占位文本（见
-   * @x-otto/agent 的 vision-gate.ts 完整设计说明）。
-   */
-  describeImages?: DescribeImagesPort;
 }
 interface AgentSessionInfo {
   id: string;
@@ -583,7 +550,7 @@ declare function resolveTodoContinuationConfig(env: {
   max: number;
 };
 declare class AgentSession extends EventBus<AgentSessionEventMap> {
-  readonly session: Session<AgentMessage>;
+  readonly session: Session<AgentMessage> & SessionPanelState;
   readonly workspaceDir: string;
   readonly workspaceId?: string;
   private agent;
@@ -614,13 +581,67 @@ declare class AgentSession extends EventBus<AgentSessionEventMap> {
   }> | undefined;
   /** RFC-324 D1/R5：turn-gate 超时兜底的惰性读数（见 AgentSessionOptions 同名字段）。 */
   private readonly getCompactionTimeoutMs?;
-  model: Model;
+  private _model;
   /** 模型决策溯源(哪层选中 + 拒了谁)——供 task-runner 透传观测层。 */
-  modelResolution?: ModelResolution;
-  tools: AgentTool[];
-  systemPrompt: string;
+  private _modelResolution?;
+  private _tools;
+  private _systemPrompt;
   /** 会话恒定的 volatile system 尾段种子（append 子代理角色块等）；透传至每轮 PromptParams.systemTail。 */
-  systemTail?: string[];
+  private _systemTail?;
+  private _maxToolTurns;
+  private _maxToolTurnExtensions;
+  /** RFC-104 D3：per-prompt 预算（fork 拷贝面；depth>0 构造时已被剥除）。 */
+  private _promptOutputTokenBudget?;
+  private _promptWallClockBudgetMs?;
+  private _thinkingLevel;
+  private _promptRefresh?;
+  /** 公开只读——模型。写操作走 applyModel()。 */
+  get model(): Model;
+  get modelResolution(): ModelResolution | undefined;
+  get tools(): AgentTool[];
+  get systemPrompt(): string;
+  get systemTail(): string[] | undefined;
+  get maxToolTurns(): number;
+  get maxToolTurnExtensions(): number;
+  get promptOutputTokenBudget(): number | undefined;
+  get promptWallClockBudgetMs(): number | undefined;
+  get thinkingLevel(): ThinkingLevel;
+  get promptRefresh(): PromptRefresh | undefined;
+  /** RFC-394 D4/R4：显式 apply 方法——外部写运行时状态的唯一入口。 */
+  applyModel(model: Model, resolution?: ModelResolution): void;
+  /**
+   * RFC-446 M3（D3）：模型切换 + 上下文窗口适配的统一语义入口。
+   *
+   * 背景：模型切换在 CLI /model、engine 子进程、FrontendPort（web-ui/远端）、HTTP API、
+   * 启动期初始化五条路径上行为不一致——只有 CLI 做了窗口适配（reconfigure + ensureFitsWindow
+   * 主动压缩），其余只写模型字段，超量历史留到下一轮请求才被反应式压缩救回。
+   *
+   * 本方法把「切换 + 适配」下沉到 AgentSession 自身（this.memory 与 app.storage.memory 同源，
+   * 由 session-pool-factory 构造注入），各路径调用后行为自动一致，新增入口自动继承。
+   * 同步 applyModel 保持不动（14 处纯设置调用点，含同步上下文）。
+   *
+   * 返回值：compacted=true 表示触发压缩（调用方应 toast 告知用户），false 表示无需压缩。
+   * compacted 时携带 summary/replacement（调用方可能需要跨进程转发——CLI 侧向 engine
+   * 子进程转发真实压缩数据，engine 只写回不重复压缩，避免双进程压缩竞态）。
+   * 压缩结果已写回本 session 树（recordCompaction），后续 buildContext 直接读到压缩后的消息。
+   *
+   * 设计取舍（RFC §D3）：不 fire-and-forget——压缩是 async 且可能调 LLM，调用方必须
+   * await 完成才能保证"切换后上下文一致"，失败时抛错由调用方决定是否阻断切换。
+   */
+  applyModelWithContextFit(model: Model, resolution?: ModelResolution): Promise<{
+    compacted: boolean;
+    summary?: string;
+    replacement?: unknown[];
+  }>;
+  applyThinkingLevel(level: ThinkingLevel): void;
+  applyTools(tools: AgentTool[]): void;
+  applySystemPrompt(prompt: string): void;
+  applyBudgets(opts: {
+    maxToolTurns?: number;
+    maxToolTurnExtensions?: number;
+    promptOutputTokenBudget?: number;
+    promptWallClockBudgetMs?: number;
+  }): void;
   agentName: string;
   depth: number;
   /**
@@ -643,13 +664,6 @@ declare class AgentSession extends EventBus<AgentSessionEventMap> {
    * 置 false —— 照常落盘但不进列表。详见 `PersistedSessionConfig.listable`。
    */
   readonly listable: boolean;
-  maxToolTurns: number;
-  maxToolTurnExtensions: number;
-  /** RFC-104 D3：per-prompt 预算（fork 拷贝面；depth>0 构造时已被剥除）。 */
-  promptOutputTokenBudget?: number;
-  promptWallClockBudgetMs?: number;
-  thinkingLevel: ThinkingLevel;
-  promptRefresh?: PromptRefresh;
   private logger;
   private hookRegistry;
   private devtools?;
@@ -731,7 +745,7 @@ declare class AgentSession extends EventBus<AgentSessionEventMap> {
     systemPromptLength: number;
     tools: string[];
   };
-  constructor(session: Session<AgentMessage>, options: AgentSessionOptions);
+  constructor(session: Session<AgentMessage> & SessionPanelState, options: AgentSessionOptions);
   /**
    * 由 SessionPool / 宿主类在 session.created hook 执行完毕后调用。
    * 此时 EventBridge 已完成订阅，session.start 事件可被正确接收。
@@ -848,6 +862,25 @@ declare class AgentSession extends EventBus<AgentSessionEventMap> {
   renameSession(title: string): void;
   /** H5-20：本会话累计用量 + 成本汇总（供 /cost 命令 / TUI 状态栏消费）。 */
   getCostSummary(): CostSummary;
+  /**
+   * RFC-390 D2：最近一轮的 uncached input token（RFC-411 修正口径标注）。
+   * **口径事实（RFC-411）**：`usage.inputTokens` 是 provider 分桶中的 uncached 部分，
+   * **不含 cacheRead/cacheWrite 前缀**（三分桶铁证 packages/ai/src/cache-hit-rate.ts:75
+   * totalInput = cacheRead + cacheWrite + inputTokens）——它不是"当前上下文占用"。
+   * RFC-390 D2 原注释"total 口径含 cache 前缀"是错误标签，已废止（见 RFC-411 执行摘要）。
+   * 供 memory-manager 的 `getRealInputTokens` 惰性端口消费——空响应轮 `record()` 跳过时
+   * 值停留在上一轮。undefined = 本会话尚无 usage（首次请求前）。
+   * （RealInputPolicy 因该口径低估从"补漏"退化为近乎恒不触发，坐标换算修正 defer 至
+   * memory 包独立 RFC——TokenPressurePolicy 真实估算仍是主力防线。）
+   */
+  getLastInputTokens(): number | undefined;
+  /**
+   * RFC-434 D2：上一轮请求的 **total 口径** input（`cacheRead + cacheWrite + inputTokens`）
+   * ——"上下文实际有多大"的 provider 权威读数。供 memory-manager 的 `getRealInputTokens`
+   * 端口消费，取代原先错用的 `getLastInputTokens`（uncached-only，见 RFC-411 口径定性）。
+   * `undefined` = 本会话尚无 usage。
+   */
+  getLastTotalInputTokens(): number | undefined;
   /**
    * RFC-019 M1：最近一回合的缓存命中率（R1）。`null` = 供应商无缓存 API 或本回合无 usage 数据
    * ——消费方应据此隐藏该字段，而非展示误导性的 0。供 `/cache-stats`、summary 行消费。
@@ -1107,6 +1140,9 @@ declare class PanelStateStore {
   /**
    * 批量加载——直接返回 `PanelStateSnapshot`，供 persistence-sync 恢复/迁移路径使用。
    * 比分别调用 4 次 get 方法更高效（一次 load 而非四次）。
+   *
+   * RFC-393 M4：版本门——读出的 `ver` 不匹配 `PANEL_STATE_VER` 时废弃旧 checkpoint
+   * （返回 null，触发全量重读/迁移兜底）。缺省（旧数据无 ver）= 0，自动废弃。
    */
   loadAll(sessionId: string): Promise<PanelStateSnapshot | null>;
   /**
@@ -1157,6 +1193,42 @@ declare class ResidencyGovernor {
 }
 //#endregion
 //#region src/session/session-manager.d.ts
+/**
+ * RFC-394 D3/R2：后端能力 seam——收敛此前散装旋钮为结构化能力接口。
+ *
+ * 此前 SessionPoolOptions 有 5 个后端能力旋钮（isSessionWriteLocked /
+ * inspectSessionWriteLease / forceReleaseSessionWriteLease / listColdSessionsOverride /
+ * panelStateStore），每个都是"未注入即降级"的独立可选字段。现在收敛为 2 个
+ * 能力接口对象，由持久化后端自声明（复用 supportsArchive 式能力探测惯例）。
+ *
+ * residencyGovernor / getResidencyConfig / planeRegistry 不是后端能力旋钮
+ * （它们是跨模块基础设施注入——内存治理信号源/双平面注册表），保留为显式注入。
+ */
+/**
+ * 写租约管理能力——合并此前 3 个散装旋钮（isSessionWriteLocked /
+ * inspectSessionWriteLease / forceReleaseSessionWriteLease）。
+ *
+ * 由本地 SQLite 后端注入（SessionWriteLeaseManager 的薄封装）；
+ * 远端/内存后端无租约机制，不注入（行为与迁移前一致）。
+ */
+interface WriteLeaseManager {
+  /** 某会话当前是否被**另一存活进程**持有写租约（无副作用，不 acquire）。 */
+  isLockedByOther(sessionId: string): boolean;
+  /** 写租约只读诊断（持有者 pid/hostname/存活性/mtime 距今）。 */
+  inspect(sessionId: string): _$_x_otto_session0.LeaseInspection;
+  /** 强制释放写租约（跳过 token 实核，仅供用户主动 /session unlock --force）。 */
+  forceRelease(sessionId: string): void;
+}
+/**
+ * 冷会话枚举能力——收敛此前 listColdSessionsOverride 散装旋钮。
+ *
+ * 由本地 SQLite 后端注入（SqliteSessionRepository 单次 SQL 查询）；
+ * 远端后端不注入，缺省走 listPaginated+load 兜底路径。
+ */
+interface ColdSessionLister {
+  /** 枚举持久化后端已知但未必已加载进内存的冷会话（本地高效 SQL / 远端兜底分页）。 */
+  listColdSessions(workspaceKey: string): Promise<AgentSessionInfo[]>;
+}
 /**
  * Manager 只持有基础设施配置（持久化、网络、日志）。
  * 业务配置（model、systemPrompt、tools 等）由宿主（coding/第二宿主）解析后
@@ -1233,37 +1305,20 @@ interface SessionPoolOptions {
    */
   planeRegistry?: HostRegistry;
   /**
-   * RFC-146：本地高效冷会话枚举策略（可选注入）。仅本地 SQLite 后端在
-   * `session-pool-factory.ts` 构造期注入（内部持有 `SqliteSessionRepository`，
-   * 单次 SQL 查询即拿到完整 `AgentSessionInfo[]`，远快于"逐个 HTTP load()"）；
-   * 远端后端（`otto serve` / `remote-persistence-server`）不注入，缺省走
-   * `listAllPersistedSessions` 的 `persistence.listPaginated()+load()` 兜底路径。
-   * `SessionPool` 只判断"策略是否已注入"，不感知底层是什么仓储实现——
-   * 消灭对具体仓储类型的依赖（见 RFC-146 §6b「sessionRepoRef 迁移策略」）。
-   */
-  listColdSessionsOverride?: (workspaceKey: string) => Promise<AgentSessionInfo[]>;
-  /**
-   * 只读探测（可选注入）：某会话当前是否被**另一存活进程**持有写租约（RFC-159 D3
-   * SessionWriteLeaseManager.peekLockedByOther 的薄封装，无副作用）。仅本地 SQLite 后端
-   * 注入（`session-pool-factory.ts`）；未注入时 `listSessions`/`listAllPersistedSessions`
-   * 恒不标注只读（远端/内存后端无租约机制，行为与迁移前一致）。用于 `/resume` 列表
-   * 提前展示"切进去会是只读"，而非等到真正 save 被拒才事后感知。
+   * RFC-394 D3/R2：后端能力 seam——收敛此前 5 个散装旋钮（listColdSessionsOverride /
+   * isSessionWriteLocked / inspectSessionWriteLease / forceReleaseSessionWriteLease /
+   * panelStateStore 的后端注入面）为 2 个能力接口。由持久化后端自声明注入；
+   * 未注入时各方法走降级路径（行为与迁移前一致）。新后端能力走"能力接口 + 自声明"
+   * 模式，禁止在 SessionPoolOptions 新增散装旋钮（R2）。
    */
-  isSessionWriteLocked?: (sessionId: string) => boolean;
+  writeLeaseManager?: WriteLeaseManager;
+  coldSessionLister?: ColdSessionLister;
   /**
-   * RFC-171 D4：写租约只读诊断（可选注入）——`SessionWriteLeaseManager.inspect` 的薄封装。
-   * 仅本地 SQLite 后端注入。供 `/session unlock` 只读诊断模式消费（持有者 pid/hostname/
-   * 存活性/mtime 距今）；未注入时恒返回 `{ locked: false }`（远端/内存后端无租约机制）。
+   * RFC-380 T4：LLM 语义审批层（opt-in）——app 级共享，透传给每个 AgentSession。
+   * 仅升级审批（description 含 [sandbox-escalation]）触发；allow/deny 自动裁决，
+   * abstain/未注入 → 既有用户弹窗流程（行为不变）。fail-closed 语义见 semantic-reviewer.ts。
    */
-  inspectSessionWriteLease?: (sessionId: string) => LeaseInspection;
-  /**
-   * RFC-171 D4：强制释放写租约（可选注入）——`SessionWriteLeaseManager.forceRelease` 的
-   * 薄封装。跳过 token 实核，仅供用户主动触发的 `/session unlock --force` 使用。
-   */
-  forceReleaseSessionWriteLease?: (sessionId: string) => void;
-}
-interface DiskSessionPoolOptions extends SessionPoolOptions {
-  sessionDir: string;
+  semanticReviewer?: SemanticReviewer;
 }
 interface RemoteSessionPoolOptions extends SessionPoolOptions {
   sessionUrl: string;
@@ -1286,7 +1341,7 @@ interface SessionPorts {
   recorder?: TraceRecorder;
   /** RFC-145 D3：nondet batch 冲洗回调（RecordingPorts.flushNondetBatch）。缺省 = 不聚合。 */
   nondetFlush?: () => void;
-  stream?: StreamFunction;
+  stream?: StreamFunction$1;
   tools?: AgentTool[];
   disableMemory?: boolean;
 }
@@ -1320,7 +1375,7 @@ declare class SessionPool {
   private readonly idleTimeoutMs;
   private readonly threshold;
   private activeSessionId?;
-  readonly stream: StreamFunction;
+  readonly stream: StreamFunction$1;
   private readonly hookRegistry;
   private readonly logger;
   private readonly devtools?;
@@ -1335,13 +1390,11 @@ declare class SessionPool {
   /** RFC-327 修订 D2（M2）：双平面注册边界——会话格派生/清理的宿主注册表（可选）。 */
   private readonly planeRegistry?;
   private readonly configProvider?;
-  /** RFC-146：本地高效冷会话枚举策略（可选，见 SessionPoolOptions.listColdSessionsOverride）。 */
-  private readonly listColdSessionsOverride?;
-  /** 只读探测（可选，见 SessionPoolOptions.isSessionWriteLocked）。 */
-  private readonly isSessionWriteLocked?;
-  /** RFC-171 D4：写租约诊断/强制释放（可选，见 SessionPoolOptions 对应字段）。 */
-  private readonly inspectSessionWriteLeaseFn?;
-  private readonly forceReleaseSessionWriteLeaseFn?;
+  /** RFC-394 D3：后端能力 seam（收敛此前 5 个散装旋钮）。 */
+  private readonly writeLeaseManager?;
+  private readonly coldSessionLister?;
+  /** RFC-380 T4：LLM 语义审批层（opt-in）——透传给每个 buildAgentSession。 */
+  private readonly semanticReviewer?;
   /**
    * 持久化是否为「自动行为」。disk/remote 后端 = true（prompt 终态增量落盘 +
    * 宿主 start/stop 自动 restoreAll/saveAll）；in-memory 缺省 = false（行为与历史一致，
@@ -1539,16 +1592,12 @@ declare class SessionPool {
   private canAccommodate;
   dispose(): void;
 }
-declare function createDiskSessionPool(options: DiskSessionPoolOptions): SessionPool;
 declare function createRemoteSessionPool(options: RemoteSessionPoolOptions): SessionPool;
 declare function createInMemorySessionPool(options: SessionPoolOptions): SessionPool;
 //#endregion
 //#region src/create-agent-runtime.d.ts
 type SessionStorageConfig = {
   kind: 'in-memory';
-} | {
-  kind: 'disk';
-  sessionDir: string;
 } | {
   kind: 'remote';
   sessionUrl: string;
@@ -1573,22 +1622,12 @@ type SessionStorageConfig = {
   autoPersist?: boolean; /** 后端专属资源释放（如 SqliteSessionRepository.close()）；dispose 时在 sessions.dispose 后调用。 */
   onDispose?: () => void | Promise<void>;
   /**
-   * RFC-146：本地高效冷会话枚举策略透传（见 SessionPoolOptions.listColdSessionsOverride）。
-   * 关系化 SQLite 分支（session-pool-factory.ts）经此注入，走 SqliteSessionRepository 单次
-   * SQL 查询而非通用 listPaginated+load 慢路径。
+   * RFC-394 D3/R2：后端能力 seam——收敛此前 4 个散装透传字段
+   * （listColdSessionsOverride / isSessionWriteLocked / inspectSessionWriteLease /
+   * forceReleaseSessionWriteLease）为 2 个能力接口。由后端自声明注入。
    */
-  listColdSessionsOverride?: (workspaceKey: string) => Promise<AgentSessionInfo[]>;
-  /**
-   * 只读探测策略透传（见 SessionPoolOptions.isSessionWriteLocked）。关系化 SQLite 分支
-   * 经此注入 SessionWriteLeaseManager.peekLockedByOther 的薄封装。
-   */
-  isSessionWriteLocked?: (sessionId: string) => boolean;
-  /**
-   * RFC-171 D4：写租约诊断/强制释放策略透传（见 SessionPoolOptions 对应字段）。
-   * 关系化 SQLite 分支经此注入 SessionWriteLeaseManager.inspect/forceRelease 的薄封装。
-   */
-  inspectSessionWriteLease?: (sessionId: string) => LeaseInspection;
-  forceReleaseSessionWriteLease?: (sessionId: string) => void;
+  writeLeaseManager?: WriteLeaseManager;
+  coldSessionLister?: ColdSessionLister;
   /**
    * RFC-108 D3 面板态（todoList/editedFiles/subagents/drafts）独立持久化的落盘目录。
    * 2026-07-21 修复：`kind:'custom'`（coding 默认的关系化 SQLite 后端）此前不构造
@@ -1644,6 +1683,11 @@ interface RuntimeOptions {
    * 未注入 = 会话格不派生（行为不变，宿主不接双平面即零影响）。
    */
   planeRegistry?: HostRegistry;
+  /**
+   * RFC-380 T4：LLM 语义审批层（opt-in）。注入后仅升级审批（sandbox-denied escalate ask）
+   * 触发；allow/deny 自动裁决，abstain/未注入 → 既有用户弹窗流程（行为不变）。
+   */
+  semanticReviewer?: SemanticReviewer;
 }
 interface AgentRuntime {
   /** 统一派生入口：子 runtime / 宿主 / swarm / task-runner 皆经此（§4-11）。 */
@@ -1654,7 +1698,7 @@ interface AgentRuntime {
   readonly sessions: SessionPool;
   readonly hookRegistry: HookRegistry;
   /** 引擎 stream（从 providerRegistry 派生，§4-11：子 runtime 用之而非各自 createStreamFunction）。 */
-  readonly stream: StreamFunction;
+  readonly stream: StreamFunction$1;
   /** ContextSource 有序注册表（D33）：通用源已内置注册，coding 策略源由宿主追加。 */
   readonly contextSources: ContextSourceRegistry;
   readonly traceStore: AppendLog<TraceEvent>;
@@ -1667,7 +1711,7 @@ interface AgentRuntime {
  * createAgentRuntime 内置调用之；宿主的离线装配路径（不经 createAgentRuntime）亦复用，
  * 确保「App 经 rt.contextSources 构建注入 hooks」对所有后端一致——消灭 App 端的二次造表。
  */
-declare function createDefaultContextSourceRegistry(workspaceDir: string, memory?: MemorySubsystem): ContextSourceRegistry;
+declare function createDefaultContextSourceRegistry(_workspaceDir: string, _memory?: MemorySubsystem): ContextSourceRegistry;
 declare function createAgentRuntime(options?: RuntimeOptions): AgentRuntime;
 //#endregion
 //#region src/engine-stores.d.ts
@@ -2162,6 +2206,11 @@ interface ProcessSpawnConfig {
    */
   env?: Record<string, string>;
   cwd?: string;
+  /** RFC-394 M5：从 ProcessRegistry RegisterInput 收敛——输出落临时文件路径（bash 工具填）。 */
+  logPath?: string;
+  /** RFC-394 M5：从 ProcessRegistry RegisterInput 收敛——best-effort 嗅探端口/URL。 */
+  port?: number;
+  url?: string;
 }
 interface KillOptions {
   graceMs?: number;
@@ -2185,6 +2234,22 @@ interface ManagedProcess {
   readonly pgid: number | undefined;
   readonly status: ProcessStatus;
   readonly config: ProcessSpawnConfig;
+  /** RFC-394 M5：便捷 getter（从 config 投影，消费方不用深挖 config.xxx）。 */
+  readonly command: string;
+  readonly cwd: string | undefined;
+  readonly logPath: string | undefined;
+  readonly port: number | undefined;
+  readonly url: string | undefined;
+  /** 进程启动时刻（spawn/register 时戳，注入时钟）。 */
+  readonly startedAt: number;
+  /** 退出码（未退出或被信号杀死为 undefined）。 */
+  readonly exitCode: number | undefined;
+  /**
+   * RFC-223：运行时输出识别到的服务信息（url/port/protocol）。
+   * 由 `ProcessRuntime.updateDetectedService` 按 D2 去重规则写入，供状态栏
+   * 「服务」指示器与 ServicesDialog 消费。未识别到时为 undefined。
+   */
+  readonly detectedService: DetectedService | undefined;
   /** 原始字节流 stdin/stdout/stderr（规则 5/H2：非行缓冲，帧解析由消费者负责） */
   readonly stdin: NodeJS.WritableStream | null;
   readonly stdout: NodeJS.ReadableStream | null;
@@ -2227,6 +2292,18 @@ declare class ProcessRuntime {
   get(id: string): ManagedProcess | undefined;
   list(filter?: ProcessFilter): ManagedProcess[];
   listForSession(sessionId: string): ManagedProcess[];
+  /** RFC-394 M5：从 ProcessRegistry 收敛——按 sessionId+id 精确查找。 */
+  getForSession(sessionId: string, id: string): ManagedProcess | undefined;
+  /**
+   * RFC-394 M5：从 ProcessRegistry 收敛——registry 级 kill(id)。
+   * ProcessRuntime 的 kill 是实例方法（proc.kill()），此方法提供 registry 级入口。
+   */
+  kill(id: string, opts?: KillOptions): Promise<void>;
+  /**
+   * RFC-394 M5：从 ProcessRegistry 收敛——更新已检测到的服务信息。
+   * 用于 background bash 运行时输出识别到端口/URL 的场景（RFC-223）。
+   */
+  updateDetectedService(id: string, service: DetectedService): void;
   listForOwner(owner: ProcessOwner): ManagedProcess[];
   touch(id: string): void;
   remove(id: string): void;
@@ -2337,6 +2414,15 @@ declare function revertDiff(repoRoot: string, diff: string): ApplyDiffResult;
  * 真实失败无声吞掉，运维完全无感知）。`onError` 缺省不传时行为与修复前一致（纯静默）。
  */
 declare function removeWorktree(wt: Worktree, onError?: (op: 'worktree remove' | 'branch delete' | 'worktree prune', err: unknown) => void): void;
+/**
+ * RFC-435 R8：扫描磁盘上存在的全部 job worktree id（跨进程 rehydrate 源）。
+ *
+ * 用与 pruneOrphanWorktrees 相同的筛选逻辑（tmpdir `otto-wt-*` 前缀 + `otto/job-*` branch），
+ * 但**不删除任何东西**——只返回 jobId 集合。调用方（如 installAgentJobReaper）把本进程
+ * 活跃集与此集合并后传给 pruneOrphanWorktrees，使"他进程（daemon/另一会话）创建的 job
+ * worktree"不会被误判为孤儿销毁（R8：剪枝必须基于 rehydrate 后活跃集合）。
+ */
+declare function listWorktreeJobIds(repoRoot: string): string[];
 /**
  * 扫描并清理孤儿 worktree（SIGKILL/OOM 未走 exit reaper 留下的残留）。
  * 用 `git -C repoRoot worktree list --porcelain` 列出该仓的全部已注册 worktree，
@@ -2459,6 +2545,45 @@ declare const DEFAULT_MAX_AUTO_APPLY_LINES = 200;
  */
 declare function decideApply(signals: ApplySignals, policy: ApplyPolicy): Verdict;
 //#endregion
+//#region src/job-state-store.d.ts
+/** 落盘条目（registry 内 job 的可序列化投影——不含 abort/worktree 活句柄）。 */
+interface JobStateEntry {
+  id: string;
+  sessionId: string;
+  title: string;
+  origin: string;
+  status: AgentJobStatus;
+  /** worktree 的 repoRoot（分区键 + rehydrate 过滤）。 */
+  repoRoot: string;
+  /** worktree 分支（rehydrate 后按此找 worktree 路径）。 */
+  branch: string;
+  /** worktree 的 tmpdir 路径（rehydrate 后 diff 惰性读靠它）。 */
+  worktreePath: string;
+  outputPath: string;
+  startedAt: number;
+  /** ready 后填（**不进 jsonl**——diff 惰性从 worktree 读，评审 R3）。 */
+  diff?: string;
+  error?: string;
+}
+/** 从 AgentSessionJob 投影为可序列化条目（不含 diff——R3）。 */
+declare function toJobStateEntry(job: AgentSessionJob): JobStateEntry;
+/** 构造分区文件路径（`${stateDir}/${repoRootHash}.jsonl`）。 */
+declare function jobStateFilePath(stateDir: string, repoRoot: string): string;
+/**
+ * JobStateStore：append（同步单行）+ load（读全部 + 截断）。
+ * 生命周期：app build 期创建一次，reaper 读与 registry 写共享同一实例（评审 P2-7）。
+ */
+declare class JobStateStore {
+  private readonly stateDir;
+  constructor(stateDir: string);
+  /** 同步 append 单行（O_APPEND 单次 write 原子；与 update 同一 tick、notify 之前——R1）。 */
+  append(entry: JobStateEntry): void;
+  /** 读全部条目（按文件）。调用方按 repoRoot 过滤。 */
+  load(): JobStateEntry[];
+  /** remove/驱逐墓碑（评审 P1-5）：从文件移除该 id 的行（重写；条目数小，可接受）。 */
+  remove(id: string, repoRoot: string): void;
+}
+//#endregion
 //#region src/agent-job-registry.d.ts
 type AgentJobStatus = 'running' | 'needs_input' | 'ready' | 'applied' | 'failed' | 'canceled';
 /**
@@ -2516,6 +2641,8 @@ declare class AgentJobRegistry {
   private readonly maxJobs;
   private readonly clock;
   private onWorktreeCleanupError?;
+  /** RFC-444：jsonl 影子 store（post-hoc setter 注入，模块级单例无构造注入先例）。 */
+  private stateStore;
   private readonly spawnListeners;
   private readonly updateListeners;
   private readonly exitListeners;
@@ -2527,6 +2654,11 @@ declare class AgentJobRegistry {
    * 无法从 app 层注入 logger——app 装配阶段调用本方法一次即可后接。
    */
   setWorktreeCleanupErrorHandler(handler: AgentJobRegistryOptions['onWorktreeCleanupError']): void;
+  /**
+   * RFC-444：接 jsonl 影子 store（app build 期调用一次；reaper 读与写共享同一实例，
+   * 评审 P2-7）。未设置 = 不落盘（影子模式）。
+   */
+  setStateStore(store: JobStateStore | undefined): void;
   onSpawn(listener: AgentJobListener): () => void;
   /** 状态/diff 变更（running→ready/needs_input 等）。 */
   onUpdate(listener: AgentJobListener): () => void;
@@ -2545,6 +2677,14 @@ declare class AgentJobRegistry {
    * 不是数据条目驱逐宽限）。
    */
   retain(id: string, on: boolean): void;
+  /**
+   * RFC-444：静默恢复（rehydrate 用）——直接插 entries，**不触发 onSpawn/onUpdate/onExit**
+   * （评审 P0-1：否则 InProcessEventTrigger 对恢复的终态记录虚假触发 schedule 事件）、
+   * **不重放 append**（评审 P2-7：否则每次重启 jsonl 无限膨胀）。
+   * 只恢复 ready/终态（R2：running/needs_input 进程死即失效，由 reaper 决策表跳过）。
+   */
+  restore(entry: JobStateEntry): AgentSessionJob | undefined;
+  private appendState;
   private notify;
   /**
    * 登记作业。撞满上限时先驱逐已终态的；若全在跑则抛错（提示先 cancel）。
@@ -2587,8 +2727,22 @@ declare class AgentJobRegistry {
 }
 /** 进程级单例：宿主与作业服务共享。 */
 declare const globalAgentJobRegistry: AgentJobRegistry;
-/** 安装宿主退出兜底：process.on('exit') → cleanupAll（清 worktree）。幂等。 */
-declare function installAgentJobReaper(registry?: AgentJobRegistry, repoRoot?: string): void;
+/**
+ * 安装宿主退出兜底：process.on('exit') → cleanupAll（清 worktree）。幂等。
+ *
+ * RFC-444：新增 rehydrate（跨进程可见的底座）：
+ * 1. **rehydrate**：读 jsonl 影子 → 按 repoRoot 过滤 → `registry.restore()` 静默恢复
+ *    ready/终态（不触发事件、不重放 append——评审 P0-1/P2-7）。
+ * 2. **adopt-or-delete 五分支**（评审 P0-2/R7，取代 R8 的磁盘并集永久 no-op）：
+ *    对磁盘上每个 job worktree：
+ *    ① 有记录+ready+worktree 在 → adopt（restore 后自然在 registry）
+ *    ② 有记录+ready+worktree 不在 → adopt 但标 stale（diff 惰性读失败降级）
+ *    ③ 有记录+running/needs_input → 跳过（daemon 可能还活着，保 R8 并集保护）
+ *    ④ 有记录+terminal+worktree 在 → **删 worktree 留记录**（终态残留清理——diff 已应用）
+ *    ⑤ 无记录+worktree 在 → 校验有无产出后删/adopt（防盲删跨仓丢 diff，评审 P0-2）
+ * 3. 剪枝活跃集 = registry（已含 rehydrate 的 ready/终态）∪ 磁盘（R8 保护层）。
+ */
+declare function installAgentJobReaper(registry?: AgentJobRegistry, repoRoot?: string, stateStore?: JobStateStore): void;
 //#endregion
 //#region src/agent-observability.d.ts
 /**
@@ -2768,6 +2922,11 @@ declare function attachAgentObserver(agent: Agent, meta: AgentObservationMeta, r
 declare function createEnvironmentContextSource(workspaceDir: string): ContextSource;
 //#endregion
 //#region src/context-sources/memory-index.d.ts
+/**
+ * RFC-390 D4：标准组合根不再注册此 source（memory 内容由 coding 侧 lesson-injection hook
+ * 合并进 <agent_knowledge> 信封）。保留供 V 形态/无 coding 组合使用——priority 复用
+ * agentKnowledge 的 35（同位替代）。
+ */
 declare function createMemoryIndexContextSource(_workspaceDir: string, memory?: ContextBuildInput['memory']): ContextSource;
 //#endregion
 //#region src/context-sources/todo-reminder.d.ts
@@ -2836,131 +2995,6 @@ interface DocSyncPort {
 declare function formatDocSyncReminder(toolName: string): string;
 declare function createDocSyncReminderHooks(port: DocSyncPort, priority?: 64): HookSpec[];
 //#endregion
-//#region src/context-sources/section-order.d.ts
-/**
- * RFC-020 Phase 3（M54）P3-04：system-prompt 注入 section 的**唯一有序声明**。
- *
- * 治病灶——此前各 section 的 priority 数字（20/25/35/38/40/60）散在 coding hooks 与 runtime
- * context-sources 两包里，"system prompt 各段什么顺序"得捞齐多处数字才能拼出。现收敛为此处一张表：
- *   - 数组/字段顺序即 priority 升序 = 实际 `system.prompt.transform` hook 的执行/拼接顺序；
- *   - `lane` 标明该段落 **stable 前缀**（systemPrompt，进 prompt cache）还是 **volatile 尾段**
- *     （systemTail，落在 cache 断点之后，逐轮可变不击穿缓存）；
- *   - runtime context-sources（environment/memory-index/memory-delta）与 coding hooks
- *     （tool-guidance/lesson/skill-catalog）均从此处取 priority —— 单一真相源，改序只此一处。
- *
- * 放在 @x-otto/runtime（coding 依赖 runtime、反向不依赖）：coding 侧 hook 经 `@x-otto/runtime` import。
- * 注：本表是**排序权威**（方案 H：section 仍由各自 hook 自注册，priority 数字降级为对本表的引用）；
- * 不强行把 `SYSTEM_PROMPT_SECTIONS` 各 section 物理并入单一 registry（那超出外科尺度、非目标）。
- * section 数量以该常量的字段数为准，不在本段注释里重复写死具体数字（history: 建表时 7 个，
- * 后追加 docSyncReminder 成 8 个，又补 skillLoopGuidance 成 9 个——写死数字会重犯本次发现的漂移）。
- */
-type SystemPromptLane = 'stable' | 'volatile';
-interface SystemPromptSectionSpec {
-  /** 对应 hook / ContextSource 的 name/id（与注册名一致，供 drift guard 比对）。 */
-  readonly name: string;
-  readonly priority: number;
-  readonly lane: SystemPromptLane;
-  /**
-   * RFC-374 M3：本 section 的注入字节硬顶（UTF-8）。注入点经
-   * `applySectionBudget` 统一裁剪——预算只此一处声明，各注入点不持局部常量。
-   * 取值原则：明显高于常态内容（防御失控注入而非改变正常行为），
-   * 需要收紧时只改本表。
-   */
-  readonly budgetBytes: number;
-}
-declare const SYSTEM_PROMPT_SECTIONS: {
-  readonly toolGuidance: {
-    readonly name: "tool-guidance-injection";
-    readonly priority: 20;
-    readonly lane: "stable";
-    readonly budgetBytes: 20000;
-  };
-  /**
-   * RFC-318 D7：三分流判别（缺工具 / 流程重复 / 其余）。紧跟 toolGuidance——它是对
-   * "现有工具够不够用"的元判断，语义上属工具指引的延伸；内容恒定故走 stable lane。
-   */
-  readonly skillLoopGuidance: {
-    readonly name: "skill-loop-guidance-injection";
-    readonly priority: 21;
-    readonly lane: "stable";
-    readonly budgetBytes: 2000;
-  };
-  readonly environment: {
-    readonly name: "runtime:environment";
-    readonly priority: 25;
-    readonly lane: "stable";
-    readonly budgetBytes: 8000;
-  };
-  readonly memoryIndex: {
-    readonly name: "runtime:memory-index";
-    readonly priority: 35;
-    readonly lane: "stable";
-    readonly budgetBytes: 24000;
-  };
-  readonly skillCatalog: {
-    readonly name: "skill-catalog-injection";
-    readonly priority: 38;
-    readonly lane: "stable";
-    readonly budgetBytes: 12000;
-  };
-  /** RFC-374 M3 初始 8KB 低于 RFC-382 T5/T6 重建后的常态内容（8.5KB 实测，2026-08-14）——
-   *  字节顶须 > 常态内容（防御失控注入而非改变正常行为），否则每次构建静默截掉 pack 尾部。
-   *  10KB 维持 ~1.2x 防御余量；token 侧仍受 RFC-284 8k soft/12k hard 预算约束。 */
-  readonly lesson: {
-    readonly name: "lesson-injection";
-    readonly priority: 40;
-    readonly lane: "stable";
-    readonly budgetBytes: 10000;
-  }; /** RFC-318 R7 治理补全：lesson-relevant-hints 原为表外 hook，现纳入统一预算面（volatile 尾段）。 */
-  readonly lessonRelevantHints: {
-    readonly name: "lesson-relevant-hints";
-    readonly priority: 41;
-    readonly lane: "volatile";
-    readonly budgetBytes: 4000;
-  };
-  /**
-   * RFC-383 M2（§9 修订 6）：高频 skill 内化指令核心——引擎内部 hook
-   * `internalize-skill-injection` 的 volatile 尾段预算面。**必须注册**：不注册则
-   * applySectionBudget 原样放行、4KB 硬顶失效（决策器提炼不受控）。priority 42 排在
-   * lessonRelevantHints(41) 之后、memoryDelta(60) 之前。
-   */
-  readonly internalize: {
-    readonly name: "internalize-skill-injection";
-    readonly priority: 42;
-    readonly lane: "volatile";
-    readonly budgetBytes: 4000;
-  };
-  readonly memoryDelta: {
-    readonly name: "memory-delta-injection";
-    readonly priority: 60;
-    readonly lane: "volatile";
-    readonly budgetBytes: 8000;
-  };
-  readonly todoReminder: {
-    readonly name: "todo-reminder-injection";
-    readonly priority: 62;
-    readonly lane: "volatile";
-    readonly budgetBytes: 4000;
-  };
-  readonly docSyncReminder: {
-    readonly name: "doc-sync-reminder-injection";
-    readonly priority: 64;
-    readonly lane: "volatile";
-    readonly budgetBytes: 4000;
-  };
-};
-/**
- * RFC-374 M3：按 section name 应用注入预算。内容超预算时裁剪（boundFragment，
- * 纯文本截断后缀，RFC-142 红线兼容）；name 不在表中时原样返回（插件自定义
- * context source 不受本表预算约束——它不进表就不进预算面，是显式而非默认）。
- *
- * 截断诊断（08-14 lesson 字节顶事故跟进）：超预算裁剪是静默丢信息——内容里的
- * 截断后缀模型能看见但宿主日志看不见，预算配置漂移（如 pack 内容长大超过
- * budgetBytes）只表现为「注入内容莫名缺尾」。此处 warn（每进程每 section 一次）
- * 把截断升级为可诊断事件，触发即提示检查 budgetBytes 与内容常态体积是否匹配。
- */
-declare function applySectionBudget(name: string, content: string): string;
-//#endregion
 //#region src/session-stable.d.ts
 interface SessionStableInjectionOptions {
   name: string;
@@ -2970,6 +3004,35 @@ interface SessionStableInjectionOptions {
 }
 declare function createSessionStableInjectionHooks(options: SessionStableInjectionOptions): HookSpec[];
 //#endregion
+//#region src/define-prompt-section.d.ts
+interface PromptSectionDefinition {
+  /**
+   * section 名称——必须在 SYSTEM_PROMPT_SECTIONS 表中已登记且 lane 为 'stable'。
+   * priority / budgetBytes 从表查取，调用方不可覆盖。
+   */
+  readonly name: string;
+  /**
+   * 计算注入内容。返回空/undefined 表示本会话无注入（首轮计算后会话内冻结，不再重算）。
+   * 产物自动过 applySectionBudget（调用方不需手动套预算）。
+   */
+  compute: (input: SystemPromptTransformInput) => Promise<string | undefined> | string | undefined;
+}
+/**
+ * 定义一个 stable prompt section 注入 hook。
+ *
+ * 自动从 SYSTEM_PROMPT_SECTIONS 表查 priority / budgetBytes，走 session 冻结的 stable
+ * lane，产物统一过 applySectionBudget。
+ *
+ * @example
+ * ```ts
+ * const hooks = definePromptSection({
+ *   name: SYSTEM_PROMPT_SECTIONS.skillLoopGuidance.name,
+ *   compute: async () => isEnabled() ? await loadGuidance() : undefined,
+ * })
+ * ```
+ */
+declare function definePromptSection(definition: PromptSectionDefinition): HookSpec[];
+//#endregion
 //#region src/session/tool-result-store-global.d.ts
 /**
  * tool-result-store-global.ts — RFC-093：ToolResultStore 全局单例
@@ -3005,6 +3068,31 @@ declare function deriveSessionTitle(messages: readonly AgentMessage[]): string |
  */
 declare function resolveSessionTitle(persistedTitle: string | undefined, messages: readonly AgentMessage[], id: string): string;
 //#endregion
+//#region src/session/llm-escalation-reviewer.d.ts
+interface LlmEscalationReviewerDeps {
+  /** 会话注入的流函数（与对话同一条，按 model.api 路由 provider）。 */
+  stream: StreamFunction;
+  /** 便宜判定模型（由 app 层解析，同 generateTitle 的 category:'search' 口径）。 */
+  model: Model;
+  /** 上限超时（ms），默认 10s；超时 → abstain。 */
+  timeoutMs?: number;
+}
+/**
+ * 解析 `{"verdict":"allow|deny|abstain"}`。
+ *
+ * **fail-closed 解析**：只有明确抽到 `allow`/`deny` 才返回之，其余（畸形 JSON、截断、
+ * 散文、未知枚举值、空）一律 'abstain'。特别地，绝不因为文本里**出现** "allow" 字样
+ * 就放行——必须是结构化 verdict 字段。
+ */
+declare function parseVerdict(raw: string): SemanticReviewerVerdict;
+/**
+ * 构造 LLM 语义审批器。返回的函数签名即 `SemanticReviewer`。
+ *
+ * 注意：本函数**不做**「是否为升级审批」的判断——那由 gates 的 `isEscalationApproval`
+ * 门负责（单一真源）。
+ */
+declare function createLlmEscalationReviewer(deps: LlmEscalationReviewerDeps): SemanticReviewer;
+//#endregion
 //#region src/session/hooks.d.ts
 interface ToolHookOptions {
   hookRegistry: HookRegistry;
@@ -3381,5 +3469,5 @@ interface ResidencyDecision {
  */
 declare function decide(snapshot: EngineSnapshot): ResidencyDecision;
 //#endregion
-export { type AgentJobListener, AgentJobRegistry, type AgentJobRegistryOptions, type AgentJobStatus, type AgentObsStatus, type AgentObservabilityOptions, AgentObservabilityRegistry, type AgentObservation, type AgentObservationMeta, type AgentObservationSnapshot, type AgentRuntime, AgentSession, type AgentSessionEvent, type AgentSessionEventMap, type AgentSessionEventType, type AgentSessionInfo, type AgentSessionJob, type AgentSessionOptions, type AgentSessionSubscriber, type ApplyDiffResult, type ApplyPolicy, type ApplySignals, type ArchiveRecallPort, type AskUserQuestion, type AutonomyLevel, type BackgroundProcess, type BackgroundProcessStatus, type BasePlaneEntry, CAPABILITY_SURFACE_PATTERNS, type Checkpoint, type CheckpointData, type ContextBuildInput, type ContextInjectionPort, type ContextSource, ContextSourceRegistry, DEFAULT_COMPACTION_LOCK_ORPHAN_TIMEOUT_MS, DEFAULT_MAX_AUTO_APPLY_LINES, type DiskSessionPoolOptions, type DocSyncPort, type EmitContext, type EngineStoreLocation, type EngineStoreOverrides, type ExitResult, FORBIDDEN_ZONE_PATTERNS, type FileEntrySnapshot, type FileSnapshot, FleetMonitor, type FleetMonitorOptions, type FleetSample, type GrillAnswer, type GrillQuestion, type GrillRequest, type HostPlaneDraft, type HostPlaneEntry, HostRegistry, type KillOptions, LEVEL_DIVISOR, type ManagedProcess, type MemoryDeltaPort, MemoryGovernor, type MemoryGovernorOptions, type MemoryPort, type MemoryPressureLevel, type MemorySample, type MemorySubsystem, PanelStateStore, PersistenceSync, type PersistenceSyncDeps, type PlaneEntry, type ProcessCategory, type ProcessFilter, type ProcessLifecycle, type ProcessListener, type ProcessOwner, ProcessRegistry, type ProcessRegistryOptions, ProcessRuntime, type ProcessRuntimeOptions, type ProcessSpawnConfig, type ProcessStatus, type PromptOptions, type PromptRefresh, RUNTIME_DEFAULTS, type RegisterAgentJobInput, type RegisterInput, type RegistrationPlane, type RemoteSessionPoolOptions, type ReplayLevel, type ResidencyDiagnostics, ResidencyGovernor, type ResidencyPressureLevel, type ResolvedSessionConfig, type RestoreMode, type RuntimeOptions, SYSTEM_PROMPT_SECTIONS, type SandboxRunner, type SandboxToolCall, type SandboxToolResult, SandboxUnavailableError, type SessionCompactionLockPort, SessionPool, type SessionPoolOptions, type SessionPorts, type SessionPresetDraft, type SessionPresetEntry, type SessionStableInjectionOptions, type SessionStorageConfig, type StalePlaneEntry, type SystemPromptSectionSpec, TimeTravelController, type TimeTravelDeps, type TodoReminderPort, type TracebackView, type TurnRecord, type Verdict, type WorkspacePresetDraft, type WorkspacePresetEntry, type Worktree, applyDiff, applyMemoryTransform, applySectionBudget, attachAgentObserver, buildEngineStores, captureFiles, checkApply, createAgentRuntime, createDefaultContextSourceRegistry, createDiskSessionPool, createDocSyncReminderHooks, createEnvironmentContextSource, createInMemorySessionPool, createMemoryDeltaHooks, createMemoryIndexContextSource, createRemoteSessionPool, createSessionCompactionLock, createSessionStableInjectionHooks, createTodoReminderHooks, createToolHookExecutor, createWorktree, decideApply, decide as decideResidency, defaultMaxToolTurnExtensions, deriveSessionTitle, diffTouchedPaths, effectiveResidencyBudget, formatDocSyncReminder, globalAgentJobRegistry, globalAgentObservability, globalProcessRegistry, globalProcessRuntime, globalToolResultStore, hasRepoDrifted, installAgentJobReaper, installExitReaper, installProcessReaper, messagesFromSnapshot, pruneOrphanWorktrees, reconstructMessages, removeWorktree, resolveSessionTitle, resolveTodoContinuationConfig, restoreFiles, revertDiff, touchesCapabilitySurface, touchesForbiddenZone, worktreeDiff };
+export { type AgentJobListener, AgentJobRegistry, type AgentJobRegistryOptions, type AgentJobStatus, type AgentObsStatus, type AgentObservabilityOptions, AgentObservabilityRegistry, type AgentObservation, type AgentObservationMeta, type AgentObservationSnapshot, type AgentRuntime, AgentSession, type AgentSessionEvent, type AgentSessionEventMap, type AgentSessionEventType, type AgentSessionInfo, type AgentSessionJob, type AgentSessionOptions, type AgentSessionSubscriber, type ApplyDiffResult, type ApplyPolicy, type ApplySignals, type ArchiveRecallPort, type AskUserQuestion, type AutonomyLevel, type BackgroundProcess, type BackgroundProcessStatus, type BasePlaneEntry, CAPABILITY_SURFACE_PATTERNS, type Checkpoint, type CheckpointData, type ColdSessionLister, type ContextBuildInput, type ContextInjectionPort, type ContextSource, ContextSourceRegistry, DEFAULT_COMPACTION_LOCK_ORPHAN_TIMEOUT_MS, DEFAULT_MAX_AUTO_APPLY_LINES, type DocSyncPort, ESCALATION_MARKER, EVENT_DOMAIN, type EmitContext, type EngineStoreLocation, type EngineStoreOverrides, type EventDomain, type ExitResult, FORBIDDEN_ZONE_PATTERNS, type FileEntrySnapshot, type FileSnapshot, FleetMonitor, type FleetMonitorOptions, type FleetSample, type GrillAnswer, type GrillQuestion, type GrillRequest, type HostPlaneDraft, type HostPlaneEntry, HostRegistry, type JobStateEntry, JobStateStore, type KillOptions, LEVEL_DIVISOR, type LlmEscalationReviewerDeps, type ManagedProcess, type MemoryDeltaPort, MemoryGovernor, type MemoryGovernorOptions, type MemoryPort, type MemoryPressureLevel, type MemorySample, type MemorySubsystem, PanelStateStore, PersistenceSync, type PersistenceSyncDeps, type PlaneEntry, type ProcessCategory, type ProcessFilter, type ProcessLifecycle, type ProcessListener, type ProcessOwner, ProcessRegistry, type ProcessRegistryOptions, ProcessRuntime, type ProcessRuntimeOptions, type ProcessSpawnConfig, type ProcessStatus, type PromptOptions, type PromptRefresh, type PromptSectionDefinition, RUNTIME_DEFAULTS, type RegisterAgentJobInput, type RegisterInput, type RegistrationPlane, type RemoteSessionPoolOptions, type ReplayLevel, type ResidencyDiagnostics, ResidencyGovernor, type ResidencyPressureLevel, type ResolvedSessionConfig, type RestoreMode, type RuntimeOptions, SYSTEM_PROMPT_SECTIONS, type SandboxRunner, type SandboxToolCall, type SandboxToolResult, SandboxUnavailableError, type SemanticReviewer, type SemanticReviewerVerdict, type SessionCompactionLockPort, SessionPool, type SessionPoolOptions, type SessionPorts, type SessionPresetDraft, type SessionPresetEntry, type SessionStableInjectionOptions, type SessionStorageConfig, type StalePlaneEntry, type SystemPromptSectionSpec, TimeTravelController, type TimeTravelDeps, type TodoReminderPort, type TracebackView, type TurnRecord, type Verdict, type WorkspacePresetDraft, type WorkspacePresetEntry, type Worktree, type WriteLeaseManager, applyDiff, applyMemoryTransform, applySectionBudget, attachAgentObserver, buildEngineStores, captureFiles, checkApply, createAgentRuntime, createDefaultContextSourceRegistry, createDocSyncReminderHooks, createEnvironmentContextSource, createInMemorySessionPool, createLlmEscalationReviewer, createMemoryDeltaHooks, createMemoryIndexContextSource, createRemoteSessionPool, createSessionCompactionLock, createSessionStableInjectionHooks, createTodoReminderHooks, createToolHookExecutor, createWorktree, decideApply, decide as decideResidency, defaultMaxToolTurnExtensions, definePromptSection, deriveSessionTitle, diffTouchedPaths, effectiveResidencyBudget, formatDocSyncReminder, getEventDomain, globalAgentJobRegistry, globalAgentObservability, globalProcessRegistry, globalProcessRuntime, globalToolResultStore, hasRepoDrifted, installAgentJobReaper, installExitReaper, installProcessReaper, isEscalationApproval, jobStateFilePath, listWorktreeJobIds, messagesFromSnapshot, parseVerdict, pruneOrphanWorktrees, reconstructMessages, removeWorktree, resolveSessionTitle, resolveTodoContinuationConfig, restoreFiles, revertDiff, toJobStateEntry, touchesCapabilitySurface, touchesForbiddenZone, worktreeDiff };
 //# sourceMappingURL=index.d.ts.map