@x-otto/runtime 0.0.1-alpha.5 → 0.0.1-alpha.7

package/README.md

@@ -63,13 +63,14 @@ runtime.hookRegistry.register(defineHook({
 | Field | Default | Description |
 |-------|---------|-------------|
 | `workspaceDir` | `process.cwd()` | Workspace root |
-| `providerRegistry` | `createDefaultProviderRegistry()` | LLM provider registry |
+| `providerRegistry` | `createProviderRegistry()` | LLM provider registry (empty registry; providers loaded by host plugins) |
 | `hookRegistry` | `createHookRegistry({preset:'default'})` | Hook container |
 | `clock` | system clock | Deterministic clock (replay feed) |
 | `traceStore` | `MemoryAppendLog` | Trace storage backend |
 | `checkpointStore` | `MemoryAppendLog` | Checkpoint storage backend |
 | `memory` | `undefined` | Auto memory compression port |
 | `maxSessions` | env `SESSION_MAX`(50) | Session pool capacity |
+| `idleTimeoutMs` | env `SESSION_IDLE_TIMEOUT_MS` | Idle session timeout |
 | `storage` | `{kind:'in-memory'}` | Persistence backend (disk/remote/custom) |
 
 ### `AgentRuntime`
@@ -86,7 +87,7 @@ runtime.hookRegistry.register(defineHook({
 
 ### `RUNTIME_DEFAULTS`
 
-Single source of truth for cross-layer defaults: `{ maxToolTurns: 25 }` (references `ENGINE_DEFAULTS`).
+Single source of truth for cross-layer defaults: `{ maxToolTurns: 120 }` (references `ENGINE_DEFAULTS` from `@x-otto/agent`).
 
 ### Process & Fleet Governance
 
@@ -98,7 +99,7 @@ Single source of truth for cross-layer defaults: `{ maxToolTurns: 25 }` (referen
 
 ## Dependencies
 
-- Internal: `@x-otto/agent`, `@x-otto/ai`, `@x-otto/devtools`, `@x-otto/env`, `@x-otto/hooks`, `@x-otto/persistence`, `@x-otto/prompt`, `@x-otto/session`, `@x-otto/session-contract`, `@x-otto/shared`
+- Internal: `@x-otto/agent`, `@x-otto/ai`, `@x-otto/devtools`, `@x-otto/env`, `@x-otto/hooks`, `@x-otto/interchange`, `@x-otto/persistence`, `@x-otto/prompt`, `@x-otto/session`, `@x-otto/session-contract`, `@x-otto/shared`
 - External: `node:crypto`, `node:fs/promises`, `node:path`, `node:child_process`
 
 ## Related

package/dist/index.d.ts

@@ -4,12 +4,207 @@ 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 { OttoProcessInfo } from "@x-otto/env";
-import { Agent, AgentEvent, AgentMessage, AgentSessionEvent, AgentSessionEventMap, AgentSessionEventType, AgentSessionSubscriber, AgentTool, ApprovalRisk, AskUserQuestion, ClockPort, DescribeImagesPort, GrillAnswer, GrillQuestion, GrillRequest, MemoryPort, MemoryPort as MemoryPort$1, 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, 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";
 import { Devtools } from "@x-otto/devtools";
 
+//#region src/plane/host-registry.d.ts
+type RegistrationPlane = 'host' | 'preset';
+/** 注册条目公共字段（平面无关）。 */
+interface BasePlaneEntry {
+  /** 条目唯一 id（格内唯一；插件注册约定 `plugin:<pluginId>` / `waterfall:<timing>`）。 */
+  id: string;
+  /** 贡献类型标签（'plugin' 身份声明 / 'waterfall' 贡献 / 未来轴）。 */
+  kind: string;
+  /** 贡献载荷（注册者语义自定）。 */
+  value: unknown;
+  /** 来源插件 id（非插件来源的注册可省略）。 */
+  pluginId?: string;
+  /**
+   * R6'：来源插件 manifest 版本（信任绑定版本——插件更新后需重新评估白名单，
+   * trust 不跨版本自动存续）。非插件来源注册可省略。
+   */
+  pluginVersion?: string;
+}
+/**
+ * host 平面条目草稿（进程级单例）。`plane: 'host'` + `scope: 'process'` 为编译期
+ * 字面量——只能传给 HostRegistry.register()，传进任何 PRESET 格注册 API 即编译错误。
+ */
+type HostPlaneDraft = BasePlaneEntry & {
+  readonly plane: 'host';
+  readonly scope: 'process';
+};
+/** PRESET workspace 格条目草稿——`scope: 'workspace'` 只能传给 workspace 格的注册 API。 */
+type WorkspacePresetDraft = BasePlaneEntry & {
+  readonly plane: 'preset';
+  readonly scope: 'workspace';
+};
+/** PRESET 会话格条目草稿——`scope: 'session'` 只能传给会话格的注册 API。 */
+type SessionPresetDraft = BasePlaneEntry & {
+  readonly plane: 'preset';
+  readonly scope: 'session';
+};
+/** 已盖章的 host 平面条目（无附加键）。 */
+interface HostPlaneEntry extends HostPlaneDraft {}
+/** 已盖章的 PRESET workspace 条目——workspaceKey 由格在注册时盖章（调用方不可自报）。 */
+interface WorkspacePresetEntry extends WorkspacePresetDraft {
+  /** 所属 workspace key（`ws_<uuid>`）。由格盖章，非调用方自报。 */
+  workspaceKey: string;
+}
+/** 已盖章的 PRESET 会话条目——sessionId 由格在注册时盖章（调用方不可自报）。 */
+interface SessionPresetEntry extends SessionPresetDraft {
+  /** 所属会话 id。由格盖章，非调用方自报。 */
+  sessionId: string;
+}
+type PlaneEntry = HostPlaneEntry | WorkspacePresetEntry | SessionPresetEntry;
+/** 发射端上下文（host 单点发射携带）。缺省字段 = 不匹配对应平面。 */
+interface EmitContext {
+  /** 发射时已知的会话 id——会话格条目仅当匹配才可达。 */
+  sessionId?: string;
+  /** 发射时已知的 workspace key——workspace 格条目仅当匹配才可达。 */
+  workspaceKey?: string;
+}
+/** R6' 版本漂移条目（插件更新后残留的旧版本注册，需重新评估）。 */
+interface StalePlaneEntry {
+  entry: PlaneEntry;
+  /** 注册时快照的版本。 */
+  registeredVersion: string | undefined;
+  /** 插件当前 manifest 版本（可能缺省——manifest 无版本字段）。 */
+  currentVersion: string | undefined;
+}
+/** PRESET workspace 格（注册 + 列表 + 清理）。 */
+declare class WorkspacePresetGrid {
+  /** workspace key（`ws_<uuid>`）——构造时由 HostRegistry.workspace() 传入。 */
+  readonly key: string;
+  private readonly entries;
+  /** 已 dispose（格关闭后拒绝新注册，fail-closed）。 */
+  private disposed;
+  constructor(/** workspace key（`ws_<uuid>`）——构造时由 HostRegistry.workspace() 传入。 */
+
+  key: string);
+  /**
+   * 注册一条 workspace 级 PRESET 贡献。同 id 重复注册 = 整体替换（R6'：新评估覆盖
+   * 旧评估，不继承——插件更新后经 unregister→register 全量替换）。
+   */
+  register(draft: WorkspacePresetDraft): WorkspacePresetEntry;
+  unregister(id: string): boolean;
+  /** 撤销某插件的全部条目（pluginId 匹配）。返回撤销条数。 */
+  unregisterByPlugin(pluginId: string): number;
+  list(): readonly WorkspacePresetEntry[];
+  /** workspace 关闭 → 清空本格。幂等。 */
+  dispose(): void;
+}
+/** PRESET 会话格（注册 + 列表 + 清理）。 */
+declare class SessionPresetGrid {
+  readonly sessionId: string;
+  private readonly entries;
+  private disposed;
+  constructor(sessionId: string);
+  register(draft: SessionPresetDraft): SessionPresetEntry;
+  unregister(id: string): boolean;
+  unregisterByPlugin(pluginId: string): number;
+  list(): readonly SessionPresetEntry[];
+  /** 会话 dispose → 清空本格。幂等。 */
+  dispose(): void;
+}
+/** PRESET workspace 作用域句柄——`workspace.preset.register()`（RFC-327 D2 API 形状）。 */
+declare class WorkspacePresetScope {
+  readonly workspaceKey: string;
+  /**
+   * PRESET workspace 格。注册 API 形状 = `workspace.preset.register(draft)`。
+   * 语义同 WorkspacePresetGrid（注册/撤销/列表/清理），随 workspace 生命周期。
+   */
+  readonly preset: WorkspacePresetGrid;
+  constructor(workspaceKey: string);
+  /** workspace 关闭 → 清 workspace 格（R2'：HOST 桶不受影响）。幂等。 */
+  dispose(): void;
+}
+/** PRESET 会话作用域句柄——`session.preset.register()`（RFC-327 D2 API 形状）。 */
+declare class SessionPresetScope {
+  readonly sessionId: string;
+  /**
+   * PRESET 会话格。注册 API 形状 = `session.preset.register(draft)`。
+   * 语义同 SessionPresetGrid（注册/撤销/列表/清理），随会话生命周期。
+   */
+  readonly preset: SessionPresetGrid;
+  constructor(sessionId: string);
+  /** 会话 dispose → 清会话格（R2'：HOST 桶与 workspace 格不受影响）。幂等。 */
+  dispose(): void;
+}
+/**
+ * HostRegistry —— 进程级单例注册表（RFC-327 修订 D2，T-327-M2-01/02）。
+ *
+ * 三桶：host 平面（进程级单例）+ PRESET workspace 格（按 workspaceKey）+ PRESET
+ * 会话格（按 sessionId）。生命周期=进程；dispose() 清空全部。
+ *
+ * 编译期跨平面拒绝（R2'）：register 只收 HostPlaneDraft（plane:'host'），
+ * workspace/session 格的注册 API 只收各自字面量草稿——跨平面注册在类型层即失败。
+ */
+declare class HostRegistry {
+  private readonly hostEntries;
+  private readonly workspaceScopes;
+  private readonly sessionScopes;
+  private disposed;
+  private ensureNotDisposed;
+  /** host 平面注册（进程级单例）。`host.register()`（RFC-327 D2 API 形状）。 */
+  register(draft: HostPlaneDraft): HostPlaneEntry;
+  unregister(id: string): boolean;
+  /** 撤销某插件在 host 平面的全部条目。返回撤销条数。 */
+  unregisterByPlugin(pluginId: string): number;
+  /** host 平面条目（进程级单例，不随任何会话/workspace 清理）。 */
+  list(): readonly HostPlaneEntry[];
+  /**
+   * PRESET workspace 格句柄（ensure 语义——workspace 挂载/首次注册时建格，幂等）。
+   * 注册 API 形状 = `workspace.preset.register(draft)`。
+   */
+  workspace(workspaceKey: string): WorkspacePresetScope;
+  /**
+   * PRESET 会话格句柄（ensure 语义——会话创建时派生会话格，幂等）。
+   * 注册 API 形状 = `session.preset.register(draft)`。
+   */
+  session(sessionId: string): SessionPresetScope;
+  /** workspace 关闭 → 清 workspace 格（不重建；不存在即 no-op）。 */
+  disposeWorkspaceGrid(workspaceKey: string): void;
+  /**
+   * RFC-327 修订 D2（M2，应用点 B 建议修订）：把 `fromKey` 格的条目迁移到 `toKey` 格。
+   *
+   * 场景：pendingWorkspaceInit（交互态首次打开待信任确认）路径下插件 reload 先于
+   * workspaceRef 就位，PMM 用 DEFAULT_WORKSPACE_KEY（'default'）兜底注册；真实 key
+   * 就位后（completeWorkspaceDependentStartup）必须把 default 格条目迁到真实格，
+   * 否则两格并存、发射端按真实 key 路由查不到插件条目。
+   *
+   * 语义：条目按 id 迁移（整体搬，不重新盖章之外不改变语义）；fromKey 格迁移后清空
+   * 且 dispose（fail-closed，防后续误注册到已废弃格）。fromKey 不存在 / toKey===fromKey
+   * 均为 no-op。只迁移 workspace 级条目（host/会话格不涉及）。
+   */
+  migrateWorkspaceGrid(fromKey: string, toKey: string): void;
+  /** 会话 dispose → 清会话格（不重建；不存在即 no-op）。 */
+  disposeSessionGrid(sessionId: string): void;
+  /** 撤销某插件在全部平面（host + 全部 workspace 格 + 全部会话格）的条目。返回撤销条数。 */
+  unregisterByPluginEverywhere(pluginId: string): number;
+  /**
+   * R6' 版本漂移检出：返回 pluginId 名下所有注册版本 ≠ 当前版本的条目。
+   * 插件更新后，正常 reload 走 unregister→register 全量替换；本方法兜底检出
+   * 「旧版本条目残留」（脏插件/撤销失败等异常路径）——调用方应据此重新评估
+   * 白名单（trust 不跨版本自动存续）。`currentVersion` 为 undefined（manifest
+   * 无版本）时，无版本条目视为一致、带版本条目视为漂移（需重新评估）。
+   */
+  revalidatePlugin(pluginId: string, currentVersion: string | undefined): StalePlaneEntry[];
+  /**
+   * 发射端路由（host 单点发射携带上下文）——按上下文过滤 PRESET 注册：
+   *   host 平面条目恒达（进程级单例）；
+   *   workspace 格条目仅当 ctx.workspaceKey 匹配；
+   *   会话格条目仅当 ctx.sessionId 匹配（s1 事件不达 s2 的 PRESET）。
+   */
+  resolveForEmit(ctx: EmitContext): readonly PlaneEntry[];
+  /** 全部平面的全部条目（诊断/审计用）。 */
+  listAll(): readonly PlaneEntry[];
+  /** 进程生命周期结束 → 清空全部平面（host + workspace 格 + 会话格）。幂等。 */
+  dispose(): void;
+}
+//#endregion
 //#region src/context-source.d.ts
 interface ContextSource {
   /** 本源的唯一标识。重复注册→覆盖前一次同 id 源。 */
@@ -57,6 +252,10 @@ 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）
@@ -294,6 +493,12 @@ interface AgentSessionOptions {
    */
   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 有外部契约消费方），但不进列表。
@@ -992,6 +1197,15 @@ interface SessionPoolOptions {
    * 确定性时钟端口。缺省=真实系统时钟（行为不变）；replay 由 trace 回灌。
    */
   clock?: ClockPort;
+  /**
+   * 确定性 id 生成端口（M-2）。缺省=systemId（crypto.randomUUID）；replay/测试注入固定序列。
+   * 透传给 InMemorySession 与 fork 产物。
+   */
+  idGen?: IdPort;
+  /**
+   * 确定性随机端口（M-2）。缺省=systemRandom（Math.random）；replay 由 trace 回灌。
+   */
+  randomGen?: RandomPort;
   /**
    * 仅用于 restore / restoreAll 场景。
    * 正常 createSession 路径必须传入完整 ResolvedSessionConfig，不使用此字段。
@@ -1011,6 +1225,13 @@ interface SessionPoolOptions {
   residencyGovernor?: ResidencyGovernor;
   /** RFC-323 M4：驻留预算运行时配置 getter（settings 注入，透传给 PersistenceSync）。 */
   getResidencyConfig?: () => _$_x_otto_session_contract0.ResidencyBudgetConfig | undefined;
+  /**
+   * RFC-327 修订 D2（M2）：双平面注册边界——进程级 HostRegistry（可选注入）。
+   * 注入后会话在进池（create/fork/restore 三个装池点）时派生 PRESET 会话格，
+   * 出池（remove/idle 驱逐/LRU 驱逐/池 dispose）时清理会话格。未注入 = 不派生
+   * （宿主不接双平面即零影响）。
+   */
+  planeRegistry?: HostRegistry;
   /**
    * RFC-146：本地高效冷会话枚举策略（可选注入）。仅本地 SQLite 后端在
    * `session-pool-factory.ts` 构造期注入（内部持有 `SqliteSessionRepository`，
@@ -1107,8 +1328,12 @@ declare class SessionPool {
   private readonly traceStore?;
   private readonly checkpointStore?;
   private readonly clock?;
+  private readonly idGen;
+  private readonly randomGen;
   private readonly residencyGovernor?;
   private readonly getResidencyConfig?;
+  /** RFC-327 修订 D2（M2）：双平面注册边界——会话格派生/清理的宿主注册表（可选）。 */
+  private readonly planeRegistry?;
   private readonly configProvider?;
   /** RFC-146：本地高效冷会话枚举策略（可选，见 SessionPoolOptions.listColdSessionsOverride）。 */
   private readonly listColdSessionsOverride?;
@@ -1152,8 +1377,14 @@ declare class SessionPool {
   /**
    * 登记"会话进池时刻"（create/fork/restore 三个装池点）。纯进程内状态，永不落盘，
    * 不会污染 `/resume` 展示的 `lastActiveAt`。活动侧续期见 `residencySince`。
+   *
+   * RFC-327 修订 D2（M2）：同一装池点是会话格的派生点——派生 PRESET 会话格
+   * （`session.preset.register()` 的目标）。会话级贡献随会话 dispose 清理
+   * （见 clearSessionPlaneGrid 在四个出池点的调用）。
    */
   private admitToResidency;
+  /** RFC-327 修订 D2（M2）：会话出池 → 清理 PRESET 会话格（不重建；未派生即 no-op）。 */
+  private clearSessionPlaneGrid;
   /**
    * 驱逐判据用的"最近驻留活动时刻" = **进池时刻与真实活动时间中较新的那个**。
    *
@@ -1258,15 +1489,15 @@ declare class SessionPool {
    * 不阻塞会话删除本身）。
    */
   private clearSessionStores;
-  /**
-   * fork 直接复用 source session 自身的已解析配置，
-   * 消息通过复制 snapshot entries 完整迁移。
-   */
   /**
    * RFC-160 D3/D4：出口 hydrate（fork 用）。无剥离态直通；有剥离态且持久层具备能力则回填；
    * 能力缺席 → 断言炸（接线遗漏立即暴露，绝不把剥离态固化为新会话正文）。
    */
   private ensureEntriesHydrated;
+  /**
+   * fork 直接复用 source session 自身的已解析配置，
+   * 消息通过复制 snapshot entries 完整迁移。
+   */
   forkSession(sourceId: string, newId?: string): Promise<AgentSession | undefined>;
   save(id: string): Promise<void>;
   saveAll(): Promise<void>;
@@ -1406,6 +1637,13 @@ interface RuntimeOptions {
   residencyGovernor?: ResidencyGovernor;
   /** RFC-323 M4：驻留预算运行时配置 getter（settings 注入透传）。 */
   getResidencyConfig?: () => _$_x_otto_session_contract0.ResidencyBudgetConfig | undefined;
+  /**
+   * RFC-327 修订 D2（M2）：双平面注册边界——进程级 HostRegistry（可选注入）。
+   * 注入后会话池在会话创建/fork/restore 时派生 PRESET 会话格，会话移除/驱逐/池
+   * dispose 时清理会话格（对齐「会话创建派生会话格、会话 dispose 清会话格」生命周期）。
+   * 未注入 = 会话格不派生（行为不变，宿主不接双平面即零影响）。
+   */
+  planeRegistry?: HostRegistry;
 }
 interface AgentRuntime {
   /** 统一派生入口：子 runtime / 宿主 / swarm / task-runner 皆经此（§4-11）。 */
@@ -1649,11 +1887,6 @@ declare class MemoryGovernor {
   constructor(options?: MemoryGovernorOptions);
   /** 当前分级（供外部只读查询，如 TUI 状态展示）。 */
   get currentLevel(): MemoryPressureLevel;
-  /**
-   * 晚绑定 onWarning/onCritical/onCriticalDuringGrace（App 构造时活跃 session 尚不存在，
-   * M2/M3 在 session 就绪后调用注入）。对齐 `App.setScheduleService` 的晚绑定模式，
-   * 非构造期可选依赖。
-   */
   /**
    * 合并式更新（每个字段独立覆盖，未传的字段保留原值）——RFC-115 追补：`app.ts`
    * 启动期注入 `onSample`（trace 落盘）后，`interactive.ts` 会话就绪时再调用一次
@@ -2077,6 +2310,12 @@ interface ApplyDiffResult {
  * apply 可能出乎意料地冲突/无冲突"，不用来拒绝 apply。
  */
 declare function hasRepoDrifted(repoRoot: string, base: string): boolean;
+/**
+ * 纯预检：diff 能否干净 apply 到主仓工作区（`git apply --check`，无任何副作用）。
+ * 供 governance/apply-policy 的 `conflict` 信号使用——在真正 `applyDiff` 之前判定"是否可干净
+ * 落地"。空 diff 视为干净。true=无冲突可落地；false=有冲突/无法判定（交给 applyDiff 兜底）。
+ */
+declare function checkApply(repoRoot: string, diff: string): boolean;
 /**
  * 把作业 diff apply 到主仓工作区。**check-first，不强改**：先 `git apply --check` 验证能否干净
  * 应用——能才真 apply；不能（主仓漂移/冲突）则返回 applied=false + conflictPaths，**绝不**往主树
@@ -2611,9 +2850,9 @@ declare function createDocSyncReminderHooks(port: DocSyncPort, priority?: 64): H
  *
  * 放在 @x-otto/runtime（coding 依赖 runtime、反向不依赖）：coding 侧 hook 经 `@x-otto/runtime` import。
  * 注：本表是**排序权威**（方案 H：section 仍由各自 hook 自注册，priority 数字降级为对本表的引用）；
- * 不强行把 `SYSTEM_PROMPT_SECTIONS` 各 section 物理并入单一 registry（那超出外科尺度、非目标）——
+ * 不强行把 `SYSTEM_PROMPT_SECTIONS` 各 section 物理并入单一 registry（那超出外科尺度、非目标）。
  * section 数量以该常量的字段数为准，不在本段注释里重复写死具体数字（history: 建表时 7 个，
- * 后追加 docSyncReminder 成 8 个，写死数字会重犯本次发现的漂移）。
+ * 后追加 docSyncReminder 成 8 个，又补 skillLoopGuidance 成 9 个——写死数字会重犯本次发现的漂移）。
  */
 type SystemPromptLane = 'stable' | 'volatile';
 interface SystemPromptSectionSpec {
@@ -2656,7 +2895,7 @@ declare const SYSTEM_PROMPT_SECTIONS: {
     readonly name: "runtime:memory-index";
     readonly priority: 35;
     readonly lane: "stable";
-    readonly budgetBytes: 30000;
+    readonly budgetBytes: 24000;
   };
   readonly skillCatalog: {
     readonly name: "skill-catalog-injection";
@@ -2664,11 +2903,32 @@ declare const SYSTEM_PROMPT_SECTIONS: {
     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: 8000;
+    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";
@@ -2693,6 +2953,11 @@ declare const SYSTEM_PROMPT_SECTIONS: {
  * 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
@@ -2705,6 +2970,18 @@ interface SessionStableInjectionOptions {
 }
 declare function createSessionStableInjectionHooks(options: SessionStableInjectionOptions): HookSpec[];
 //#endregion
+//#region src/session/tool-result-store-global.d.ts
+/**
+ * tool-result-store-global.ts — RFC-093：ToolResultStore 全局单例
+ *
+ * AgentSession 构造 spill 闭包时引用。懒初始化（首次 spill 时基于 cwd 解析 .otto 目录）——
+ * 避免模块加载期做 fs 探测。
+ */
+declare const globalToolResultStore: {
+  spill(sessionId: string, toolCallId: string, text: string): Promise<string | undefined>;
+  cleanupSession(sessionId: string): Promise<void>;
+};
+//#endregion
 //#region src/session/derive-title.d.ts
 /**
  * 从会话消息列表中派生标题（RFC-030 P1）。
@@ -2736,6 +3013,21 @@ interface ToolHookOptions {
 }
 declare function createToolHookExecutor(options: ToolHookOptions): ToolHookExecutor;
 //#endregion
+//#region src/session/session-compaction-lock.d.ts
+/**
+ * RFC-381 M1/M2：跨进程 durable 压缩锁端口（与 @x-otto/memory 的 CompactionLockPort
+ * 结构同形——runtime 不依赖 memory 包，结构子类型即满足；memory 侧注入处见
+ * MemoryManagerConfig.compactionLock）。
+ */
+interface SessionCompactionLockPort {
+  acquire(sessionId: string, token: string): Promise<boolean>;
+  release(sessionId: string, token: string): Promise<void>;
+}
+declare const DEFAULT_COMPACTION_LOCK_ORPHAN_TIMEOUT_MS = 60000;
+declare function createSessionCompactionLock(session: Session<unknown>, options?: {
+  orphanTimeoutMs?: number;
+}): SessionCompactionLockPort;
+//#endregion
 //#region src/session/persistence-sync.d.ts
 interface PersistenceSyncDeps {
   persistence: SessionPersistence<AgentMessage>;
@@ -2786,6 +3078,15 @@ interface PersistenceSyncDeps {
    * 这是后端能力事实，不是用户配置——未来远端支持 append-tail 后改声明即可自动升级。
    */
   turnFlush?: 'incremental' | 'snapshot';
+  /**
+   * M-2：确定性时钟端口（可选）。restore/restoreAll 装载快照时注入 InMemorySession——
+   * restore 本身不产生活动（快照 metadata 权威），但为确定性重放/测试保持一致构造。
+   */
+  clock?: ClockPort;
+  /**
+   * M-2：确定性 id 生成端口（可选）。restore 路径不 append entry，故当前仅作一致性注入。
+   */
+  idGen?: IdPort;
 }
 declare class PersistenceSync {
   private readonly deps;
@@ -2862,13 +3163,6 @@ declare class PersistenceSync {
    */
   track(agentSession: AgentSession, transient: boolean): void;
   flushPending(id: string): Promise<void>;
-  /**
-   * P2 缓解（独立 review 补充，2026-07-12）：会话可能经 idle 驱逐（`collectIdle`）或满池 LRU
-   * 驱逐（`evictLeastRecent`）消失，这两条路径不经过 `removeSession`/`flushPending`（前者是
-   * 同步批量收集不适合 await 落盘完成，后者已自行 fire-and-forget 触发 `saveSnapshot`）——
-   * 提供一个轻量同步纯清理方法，供这两条驱逐路径调用，与 `flushPending` 共享同一清理意图
-   * 但不附带"等待落盘完成"的语义（驱逐场景不需要，也不应阻塞驱逐循环）。
-   */
   /**
    * RFC-323 D4：计算用于预算分配的活跃会话数（排除 transient）。
    *
@@ -2886,6 +3180,13 @@ declare class PersistenceSync {
    * 一致地排除 transient（不订阅持久化、不参与预算分摊）。
    */
   private sumEstimatedContentBytes;
+  /**
+   * P2 缓解（独立 review 补充，2026-07-12）：会话可能经 idle 驱逐（`collectIdle`）或满池 LRU
+   * 驱逐（`evictLeastRecent`）消失，这两条路径不经过 `removeSession`/`flushPending`（前者是
+   * 同步批量收集不适合 await 落盘完成，后者已自行 fire-and-forget 触发 `saveSnapshot`）——
+   * 提供一个轻量同步纯清理方法，供这两条驱逐路径调用，与 `flushPending` 共享同一清理意图
+   * 但不附带"等待落盘完成"的语义（驱逐场景不需要，也不应阻塞驱逐循环）。
+   */
   forgetSession(id: string): void;
   /**
    * RFC-352 D2：驱逐的最终 snapshot 仍在队列中时不能提前清 residency 状态。
@@ -2908,26 +3209,6 @@ declare class PersistenceSync {
    */
   private isTransient;
   save(id: string): Promise<void>;
-  /**
-   * RFC-336 D1：会话行预建——会话创建即落 `sessions` 一行（无 entries），不等首条消息。
-   *
-   * **要解决的问题**（实测复现，2026-08-10）：`repo.createSession()` 的唯一调用点是
-   * `RelationalSessionPersistence.save()`，而 save 由 `track()` 订阅的 `turn.end`/
-   * `prompt.end` 触发——两者都发生在**首个模型回合完成之后**。因此"用户已回车、模型还没
-   * 回任何东西"这段窗口（≈ 一次完整模型往返，数秒~数十秒）内进程若被强杀（SIGKILL/OOM/
-   * 断电），DB 里连 `sessions` 行都不存在 → 整个会话蒸发，`/resume` 完全看不到，
-   * 且 `detectCrashGap` 因 `load()` 返回 null 而根本不执行（RFC-305 D3 的盲区）。
-   *
-   * **为什么复用 doSaveEntries 而非直调 repo**（D1-b，RFC-159 D3）：写租约检查在
-   * `RelationalSessionPersistence.save()` 入口，是所有会话写路径的单一汇聚点。直调
-   * `repo.createSession()` 会开一条无租约的写路径先例。走这里则天然经 `enqueue` 串行链
-   * → `doSaveEntries` → `persistence.save()`，租约与写序语义全部继承，零新增写路径。
-   * 空 entries 快照在 save 内部即 `createSession()` + 零次 `appendEntry()`，正是所需语义。
-   *
-   * **幂等**：`createSession` 是 `ON CONFLICT DO NOTHING`；重复调用安全。
-   * **fire-and-forget**（规则 3）：失败只 warn，绝不阻塞会话创建——预建是可用性增强，
-   * 不是创建流程的正确性前提（失败时退化为改动前行为：首个 turn 后才落行）。
-   */
   /**
    * RFC-336 D2：输入边界落盘——prep 成功、模型往返开始**之前**把新增 entries 落库。
    *
@@ -2948,6 +3229,26 @@ declare class PersistenceSync {
    * prompt 终态落盘共用同一条 per-session 链，天然串行、写租约语义一致。
    */
   requestInputBoundaryFlush(agentSession: AgentSession, transient: boolean): void;
+  /**
+   * RFC-336 D1：会话行预建——会话创建即落 `sessions` 一行（无 entries），不等首条消息。
+   *
+   * **要解决的问题**（实测复现，2026-08-10）：`repo.createSession()` 的唯一调用点是
+   * `RelationalSessionPersistence.save()`，而 save 由 `track()` 订阅的 `turn.end`/
+   * `prompt.end` 触发——两者都发生在**首个模型回合完成之后**。因此"用户已回车、模型还没
+   * 回任何东西"这段窗口（≈ 一次完整模型往返，数秒~数十秒）内进程若被强杀（SIGKILL/OOM/
+   * 断电），DB 里连 `sessions` 行都不存在 → 整个会话蒸发，`/resume` 完全看不到，
+   * 且 `detectCrashGap` 因 `load()` 返回 null 而根本不执行（RFC-305 D3 的盲区）。
+   *
+   * **为什么复用 doSaveEntries 而非直调 repo**（D1-b，RFC-159 D3）：写租约检查在
+   * `RelationalSessionPersistence.save()` 入口，是所有会话写路径的单一汇聚点。直调
+   * `repo.createSession()` 会开一条无租约的写路径先例。走这里则天然经 `enqueue` 串行链
+   * → `doSaveEntries` → `persistence.save()`，租约与写序语义全部继承，零新增写路径。
+   * 空 entries 快照在 save 内部即 `createSession()` + 零次 `appendEntry()`，正是所需语义。
+   *
+   * **幂等**：`createSession` 是 `ON CONFLICT DO NOTHING`；重复调用安全。
+   * **fire-and-forget**（规则 3）：失败只 warn，绝不阻塞会话创建——预建是可用性增强，
+   * 不是创建流程的正确性前提（失败时退化为改动前行为：首个 turn 后才落行）。
+   */
   precreateSessionRow(agentSession: AgentSession, transient: boolean): void;
   /**
    * 驱逐路径专用：用调用方**同步捕获**的快照入链落盘。
@@ -3020,21 +3321,6 @@ declare class PersistenceSync {
    * 若未提供 configProvider 则返回 null。
    */
   restore(id: string): Promise<AgentSession | null>;
-  /**
-   * RFC-305 D3：restore 时 trace↔DB 对账——检出"上次进程异常终止时已发生但未落库"的
-   * turn 缺口并告警。对账基准 = trace append-log（逐事件实时落盘，独立于 save 链）：
-   * DB 最后一条已持久化 entry 时间戳之后，trace 仍有 `turn.end` lifecycle 事件 →
-   * 这些 turn 的消息只进过内存、从未进 DB，已随崩溃永久丢失。
-   *
-   * 用时间戳而非 turn 号对账：trace 的 turn 字段 per-prompt 从 0 重置，跨 prompt 不可比；
-   * ts 与 entry.timestamp 同源（Date.now 系时钟），单机单调可比。
-   *
-   * 容忍度：正常退出路径（prompt.end 立即落盘 + turn 级入链）下 trace turn.end 与 DB
-   * 落库几乎同时，容忍 CRASH_GAP_TOLERANCE_MS 内的尾差（在途写 + 时钟粒度），超出才告警。
-   *
-   * fail-soft：traceStore 缺失/读取异常/无 turn.end 事件 → 静默跳过（debug 日志），
-   * 绝不阻塞 restore、绝不产生假告警。
-   */
   /**
    * RFC-305 D3：对账结果查询口——restore/restoreAll 内部把本次恢复检出的崩溃缺口记入
    * per-session 缓存，调用方（CLI resume 路径）在订阅建立后读取并 toast。缓存随
@@ -3077,7 +3363,7 @@ interface EngineSnapshot {
 }
 /** 引擎产出的治理决策（所有字段确定性）。 */
 interface ResidencyDecision {
-  /** 单会话当前有效字节预算（已/处分配层 × 压力档）。 */
+  /** 单会话当前有效字节预算（分配量经压力档缩放后的最终值）。 */
   maxBytesPerSession: number;
   /** 当前全局驻留压力比例（0.0 ~ 1.0）。 */
   globalPressure: number;
@@ -3085,15 +3371,15 @@ interface ResidencyDecision {
   isGlobalPressure: boolean;
 }
 /**
- * 计算“每个会话当前 应该  byte budget — 给定 snapshot，治理一个值。
+ * 计算给定 snapshot 下每个会话的有效字节预算。
  *
- * 特性:
- * - 负反馈：currentTotalResidentBytes 越大 pressure 越高 → 每个会话预算*越低*。
- * - 下界 MIN_PER_SESSION：防止分配结果不可用作 （如果 N 极大, SESSION_MAX=50×16=800MB < totalBudget).
- * - 上界 MAX_PER_SESSION：模型折叠输入的最大（imageasher, window by compression）约为 214MB/会话。
- * - 确定性：相同 snapshot → 相同 decision（R4，皱纹是稳定 的。
+ * 特性：
+ * - 负反馈：currentTotalResidentBytes 越大 → pressure 越高 → 每个会话预算越低。
+ * - 下界 MIN_PER_SESSION：防会话数极大时分配结果不可用。
+ * - 上界 MAX_PER_SESSION：单会话驻留上限。
+ * - 确定性：相同 snapshot → 相同 decision（R4）。
  */
 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, CAPABILITY_SURFACE_PATTERNS, type Checkpoint, type CheckpointData, type ContextBuildInput, type ContextInjectionPort, type ContextSource, ContextSourceRegistry, DEFAULT_MAX_AUTO_APPLY_LINES, type DiskSessionPoolOptions, type DocSyncPort, 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 KillOptions, LEVEL_DIVISOR, type ManagedProcess, type MemoryDeltaPort, MemoryGovernor, type MemoryGovernorOptions, type MemoryPort, type MemoryPressureLevel, type MemorySample, type MemorySubsystem, PanelStateStore, PersistenceSync, type PersistenceSyncDeps, 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 RemoteSessionPoolOptions, type ReplayLevel, type ResidencyDiagnostics, ResidencyGovernor, type ResidencyPressureLevel, type ResolvedSessionConfig, type RestoreMode, type RuntimeOptions, SYSTEM_PROMPT_SECTIONS, type SandboxRunner, type SandboxToolCall, type SandboxToolResult, SandboxUnavailableError, SessionPool, type SessionPoolOptions, type SessionPorts, type SessionStableInjectionOptions, type SessionStorageConfig, type SystemPromptSectionSpec, TimeTravelController, type TimeTravelDeps, type TodoReminderPort, type TracebackView, type TurnRecord, type Verdict, type Worktree, applyDiff, applyMemoryTransform, applySectionBudget, attachAgentObserver, buildEngineStores, captureFiles, createAgentRuntime, createDefaultContextSourceRegistry, createDiskSessionPool, createDocSyncReminderHooks, createEnvironmentContextSource, createInMemorySessionPool, createMemoryDeltaHooks, createMemoryIndexContextSource, createRemoteSessionPool, createSessionStableInjectionHooks, createTodoReminderHooks, createToolHookExecutor, createWorktree, decideApply, decide as decideResidency, defaultMaxToolTurnExtensions, deriveSessionTitle, diffTouchedPaths, effectiveResidencyBudget, formatDocSyncReminder, globalAgentJobRegistry, globalAgentObservability, globalProcessRegistry, globalProcessRuntime, 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 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 };
 //# sourceMappingURL=index.d.ts.map