04. 数据存储(架构 v32)
翻译说明: 本页是与 英文源规格 一一对应的机器辅助翻译。代码、协议字段和标识符保持原文;如翻译与英文源事实有歧义,以英文版本为准。
Lossless tool-image storage (#1868)
Transcript format 2 uses an optional storage-private binaryStorage version 1 envelope. Each recognized image/blob string appears once in its record; typed JSON paths and exact text templates reconstruct the original structured result and JSON mirror. Templates preserve key order, whitespace and escape spelling. Nested proven mirrors share text references when their outer JSON string token has canonical JSON spelling, as produced by JSON.stringify; other spellings stay literal. Arbitrary narrative text is never inferred to be an image or a result mirror. The public UiMessage, plugin card inputs, extension context, model history and existing RPC request/response objects contain the complete decoded values.
Live transcripts, revisions, checkpoints, compaction tails and the Desktop outbox share the lossless representation. A first append/update converts an existing legacy file through a verified sibling temporary file and atomic replacement. Reading alone never converts files. Conversion failure preserves the original and propagates an error. Invalid references/unknown codec versions are errors; restoration must not continue with an empty history.
New code reads both plain legacy records and encoded records. Database schema 26 is a version-only migration with a schema-25 backup: it stops older applications from misreading a new encoded file. It does not alter user configuration or rewrite transcripts at startup. Downgrading to an old application requires a complete compatible backup, not merely swapping the SQLite file. No external blob directory, new file cleanup lifecycle or lossy image transform is added.
0. 所有权决定
Rust host-core 独家拥有 SQLite (D002),以及转录文件 与它一起存储(D119)。 Plan/Goal 工件和队列记录也是主机拥有的 (D189); shell 默认值是主机设置 (D190)。
- Node pi sidecar 不直接打开数据库或转录文件
- Electron main 不直接写入 DB 或转录文件
- 所有持久应用程序数据 - 会话、设置、提供程序、计划任务、 工件、通知、审核 — 通过主机 RPC。 (v1 违规 已修复:以前位于 Electron 拥有的计划任务
scheduled-tasks.json.)
1. 目标
本地优先、重启后可恢复、敏感数据隔离 — 另外,对于 架构 v7、v8、v11 和 v14:
- 无损转录 — 存储运行时消息形状(内容块), 不是 UI 投影; UI 形状是在 RPC 边界处导出的。
- SQLite 是一个索引,而不是有效负载存储 (D119) — 消息内容有效 每个会话一个 JSONL 文件(codex/claude-code 样式):人类可读, 可 grepable、可复制,并且无论数据库大小如何,数据库都保持很小 聊天。
- 高性能 — O(1) 文件追加,覆盖每个热点的索引 查询、整数倍、单写入器 WAL、热路径上没有 JSON 扫描。
- 可扩展,无需迁移,成本低廉(块词汇、JSONL 行 类型、kv 命名空间、
config_json列),带有迁移,其中 结构(新实体),由PRAGMA user_version版本化。 - Plan/Goal 检查点是不可变的主机工件,具有记录的路径, 哈希值和大小;现有的批准行还带有执行字段。 启动中断是进程纪元栅栏,并且不会重播任何工作。
2. 文件布局
正式打包版把上述目录树放在 ~/.pi-desktop;开发构建放在 ~/.pi-desktop-dev, 因为正式版与 pnpm dev 是两个需要同时运行的安装(D599、ADR 0094)。 PI_DESKTOP_DATA_DIR 会整体替换任一默认根目录,并在作为子进程环境变量传给 host-core 之前被解析为绝对路径。
~/.pi-desktop/
├── pi.sqlite # index database (WAL: + -wal/-shm) — host-core only
├── pi.sqlite.v6.bak # archived pre-v7 database (D119 breaking reset)
├── pi.sqlite.v8.bak # exact readable backup before v8→v15 destructive work
├── pi.sqlite.v9.bak # exact readable backup before v9→v15 destructive work
├── pi.sqlite.v10.bak # exact readable backup before v10→v15 destructive work
├── sessions/ # transcript file store (D119) — host-core only
│ ├── <sessionId>.jsonl # live transcript (header + messages)
│ ├── <sessionId>.revisions.jsonl # regenerate branches, append-only
│ └── <sessionId>.inflight.json # streaming reply checkpoint (D299), transient
├── secrets/ # encrypted secret blobs + .machine-key (unchanged)
├── attachments/ # content-addressed blobs (sha256 name), refs from messages
├── plugins/ # code + data + registry.json (unchanged, spec 07-11)
├── logs/ # NDJSON app/<category>, host/<category>, agent/<category> logs
├── cache/ # disposable caches
├── crash-dumps/ # local Crashpad minidumps (never uploaded; D602)
├── crash-dumps.json # last-reported dump mtime (best-effort marker)
├── review-changes/<sessionId>/<snapshotId>/
│ ├── before # bounded pre-tool bytes, when reversible
│ └── meta.json # path, hashes, diff state, and ownership
├── scratch/<sessionId>/ # per-session agent temp files (D114), including
│ # composer pasted files under pasted/ — deleted
│ # with the session; startup sweep removes orphans
│ # with the session; startup sweep removes orphans
│ # and stale dirs
└── visualizations/<sessionId>/ # inline visualization .html fragments (D671) —
# deleted with the session; startup sweep removes
# orphans only, never by age一个数据库文件保持跨实体写入事务性(例如会话+ 一次提交中的转+工件)。数据库存储没有大的有效负载:消息 内容存在于 sessions/ 中,附件和工具输出超出限制 16-tool-result-limits 存在于磁盘上,已引用 由 path/hash 提供。
2.0 消息拥有的评论快照 (ADR 0043)
成功的工作区 PRAGMA user_version/Plan/Goal 工具结果携带有界 03-工具和权限 中描述的 details.review 记录。 转录本 JSONL 是可见卡片的持久索引;上一个 字节和哈希位于工作区之外 review-changes/<sessionId>/<snapshotId>/。主机删除会话的 带有 session.delete 的快照目录并扫描其会话的目录 启动时不再存在。快照永远不会从 Git 推断出来,所以稍后 commit 不会删除历史审查证据。
2.1 转录文件 (D119)
sessions/<sessionId>.jsonl — 第一行是会话标头,然后是一行 每条消息; seq 由行顺序隐含:
{"type":"session","schema":2,"sessionId":"0b0e…","createdAt":"2026-07-26T09:00:00.000Z"}
{"type":"message","id":"m1","role":"user","createdAt":"…","blocks":[{"type":"text","text":"…"}]}
{"type":"message","id":"m2","role":"tool","toolName":"Write","blocks":[{"type":"tool_call","callId":"c1","args":{},"result":{},"status":"success"}]}
{"type":"message","id":"m3","role":"assistant","createdAt":"…","blocks":[{"type":"thinking","text":"…"},{"type":"text","text":"…"}],"meta":{"usage":{},"modelId":"…"}}
{"type":"compaction","id":"cp1","summary":"…","firstKeptMessageId":"m2","throughMessageId":"m3","tokensBefore":917000,"retainedTail":[…],"providerId":"…","modelId":"…","createdAt":"…"}sessions/<sessionId>.inflight.json — 会话中正在流式输出的助手回复,是一个 { schema, sessionId, turnId, savedAt, message } 对象,host-core 在每次 session.saveInflightMessage 时原子替换(临时文件 + 重命名)(D299)。当 message_update 事件携带可见文本时,Electron 主进程至多每 1.5 秒发送一次检查点, 因此回复中途退出或崩溃最多丢失最后一个间隔的输出,而不是整条回复。该文件是临时的: 同一 id 的最终行的 session.appendMessage 会移除它;completed/error 的回合 结束仅在该 id 已索引时才移除它(D327);启动扫描以及 sidecar 丢失时的回合结束 (recoverInflight)会把最终行从未落盘的残留检查点提升写入转录——回合已 completed 时为 complete,否则为该回合下的 aborted 助手消息。它从不追加、 从不被 sidecar 读取、也从不镜像进 SQLite;针对已被索引的 id 的迟到检查点会被丢弃。 子代理回复不做检查点。
sessions/<sessionId>.revisions.jsonl — 仅附加,每个存档一行 重新生成分支; active 标志仅存在于数据库索引中,因此切换 修订版永远不会重写此文件:
{"type":"revision","rootUserId":"u1","revisionIndex":1,"createdAt":"…","messages":[…message records…],"turns":{"<messageId>":"<turnId>"}}规则:
blocks是规范的块词汇表 (§4.7) — 不是 UiMessage 投影。meta是解析后的元数据对象(usage/modelId/ 提供商 ID / 状态 / 错误 / 修订字段)。- 文件中的时间戳是 RFC3339 有线拼写(可读性);数据库索引 保持整数毫秒。
- 读者跳过未知的
type行和撕裂的尾行:新的行类型 不需要迁移,并且附加过程中的崩溃不会毒害文件。 compaction是模型上下文检查点,不是消息;它会以分隔行而不是聊天气泡 呈现(D203)。读取时,每条消息都会原样返回,同时单独返回所有仍然有效的 检查点,并按从旧到新的顺序排列。最新检查点是活动检查点,整条检查点链会 参与转录本行的渲染,因此某个检查点的生命周期可以长于创建它的那次压缩。 如果某条记录的throughMessageId锚点已不存在,则在读取和分叉时按记录丢弃。throughMessageId是持久转录本边界;firstKeptMessageId和retainedTail重现摘要+适用的 重启后的上下文。活动回合的retainedTail最多保存最新的用户消息; 已完成回合的检查点尾部为空。details.retainedTailMode(active_turn或completed_turn)持久化该边界;没有该字段的旧记录归一化为最新的用户消息。 当绑定模型需要 DeepSeek 风格推理回放时,details.retainedReasoning可保存有界的 先前思考回合(仅 text + thinking),以便压缩后的 Completions 请求能回传可用推理 而不恢复 tool-call 对(ADR 0256 / #296)。 活动消息超过保留限制时,将以标记、截断的形式存储;UI/diagnostics 的原始消息行 保持完整和权威。 自动压缩失败可能会存储details.fallback = "retained_tail"以及简短的恢复摘要,而不是 LLM 生成的摘要;完整的 转录本仍然具有权威性,后备尾部只是模型上下文 恢复视图。details还携带检查点生成和 压缩族,两者对主机都是不透明的。- 写入者使用flush + fsync追加(消息持久性≈WAL
synchronous=NORMAL);完整的转录本重写(regenerate/edit,修订 切换、导入)执行同级临时文件 + 原子重命名。一个正常的 上下文检查点是一个附加行,并且永远不会重写可见消息。 重写会延续每个仍然有效的检查点 重写的消息,而不仅仅是最新的消息。 - 排序:文件在数据库索引事务之前写入。两者之间发生崩溃时,最多只会丢失 一个派生索引行,不会丢失内容;下一次完整重写会自行修复。读取转录本时, 对重复的消息 ID 去重并保留最后一条。
- 转录本文件是用户数据:仅在删除其会话时删除, 绝不会被年龄或孤儿横扫(与
scratch/不同)。
3. 连接引导
PRAGMA journal_mode = WAL;
PRAGMA synchronous = NORMAL; -- durable enough under WAL; app-crash safe
PRAGMA foreign_keys = ON;
PRAGMA busy_timeout = 5000;
PRAGMA temp_store = MEMORY;
PRAGMA cache_size = -16000; -- 16 MB page cache
PRAGMA trusted_schema = ON; -- required by the FTS triggers (§4.8); the DB
-- is app-owned at a fixed path, never an
-- untrusted input, so schema trust is safe
PRAGMA auto_vacuum = INCREMENTAL; -- set at creation, before any table- 架构版本位于
PRAGMA user_version(v15 =15) 中。 v1meta桌子不见了。 - host-core 是单一作者;语句使用
prepare_cached;每个 多行写入在一个事务中运行。 - 启动维护在 RPC 服务之前运行:一个事务标记每个
plan_approvals行,其中status='pending'为interrupted以及每一行 将execution_state IN ('queued', 'running')设为interrupted;它也 中止正在运行的轮次并附加恢复审核记录。无进程纪元 已连载。已批准的 queued/running Plan/Goal 中断离开sessions.mode = 'agent'。然后交易就进入正常状态PRAGMA incremental_vacuum和审计保留修剪 (§9)。
4. 架构
4.1 kv — 命名空间配置
替换 v1 settings + meta,并托管插件设置(规范 07-11 §5)。
CREATE TABLE kv (
ns TEXT NOT NULL,
key TEXT NOT NULL,
value_json TEXT NOT NULL,
updated_at INTEGER NOT NULL,
PRIMARY KEY (ns, key)
) WITHOUT ROWID;| 纳秒 | 内容 |
|---|---|
app | 设置 blob (settings.get/set)、currentProjectId |
ui | 渲染器要求主机保留的非关键 UI 状态 |
cache | 模型刷新标记,最近的模型参考(规范 13 §3) |
plugin:<id> | 每个插件的设置;卸载=DELETE WHERE ns = ? |
projectMemory | 按规范项目路径键控的持久用户创作上下文;结构化值包含 format: "entries-v1"、视觉 entries、派生 content 与 updatedAt |
新的配置域(例如 MCP 服务器)作为命名空间启动;他们毕业到 仅当表需要关系或索引时才使用它们。
Renderer 侧边栏首选项 (D093)
Sidebar organization remains non-authoritative presentation state. Main keeps an atomic sidebar-preferences.json backup in the selected app data root; pi.desktop.sidebarPreferences in renderer localStorage supplies first paint. See sidebar layout recovery.
type SidebarPreferences = {
sessionMeta: Record<string, {
pinned?: boolean;
archived?: boolean;
order?: number; // renderer-local manual order
}>;
projectMeta: Record<string, {
pinned?: boolean;
archived?: boolean;
collapsed?: boolean;
order?: number; // renderer-local manual order
}>;
projectSort: "recent" | "created" | "oldest" | "name" | "manual";
sessionView: {
sort: "recent" | "created" | "oldest" | "name" | "manual";
archived: boolean;
};
openProjectPaths: string[];
};- 项目密钥和保留路径使用规范化的完整路径;会话密钥使用 持久会话 ID。 Duplicate/slash-variant 路径在加载时被丢弃。
projectSort: "manual"和projectMeta[*].order保存渲染器本地的项目显示顺序。 拖动项目标题或在该标题上使用键盘箭头会为可见的规范化路径写入连续顺序值。 缺失或无效值回落到稳定路径顺序;置顶和归档优先级仍在手动顺序之前应用。 会话manual/order仍是兼容性字段,侧边栏不会公开会话手动重排。- Restore the application backup before bootstrap persists the selected Project. Without a backup, migrate a valid legacy cache, including an explicitly empty tab list. Only if neither copy is valid, recover registered Projects from
projects.list. Existing valid layouts never reopen intentionally closed tabs. - An unreadable backup must not be replaced with empty startup state; a failed catalog read must not persist an empty recovery result. Writes are limited to 2 MiB, flushed and atomically renamed through dedicated trusted-Main-frame IPC. Project/Session/Workspace authority remains with Rust. Offline storage relocation remaps internal retained paths and Project metadata keys while preserving external Projects and display labels.
- 记录从不包含转录内容、工具参数、提供商 配置或秘密。清除它仅更改显示。
openProjectPaths保留侧边栏选项卡。选定的工作空间仍然存在 主机拥有的kv(app, currentProjectId)并通过以下方式恢复workspace.get;渲染器不会保留竞争的活动路径。
4.2 projects — 工作发生的地方
替换 v1 workspace 单例。提供设置项目存档索引 (D066/D133)、侧边栏按项目分组(基准§3.8)以及未来的每个项目 默认值。
CREATE TABLE projects (
id INTEGER PRIMARY KEY,
path TEXT NOT NULL UNIQUE,
name TEXT NOT NULL,
pinned INTEGER NOT NULL DEFAULT 0,
created_at INTEGER NOT NULL,
last_opened_at INTEGER NOT NULL
);- 每当打开工作区、会话时,行都会按路径自动插入 使用项目路径或导入引用创建。
- 项目路径被修剪,分隔符标准化为
/,并且尾随 在唯一路径更新插入之前删除分隔符。因此进口 为每个不同的路径实现一个持久的逻辑项目目录。 projects.list是项目存档索引的真实来源。 Renderer 首选项可能会从默认侧边栏隐藏已存档的项目,但不能 删除或隐藏其持久的项目索引行。- 项目行是逻辑索引条目。导入永远不会创建操作 系统目录:历史路径可能丢失、远程或只读。
- 当前可见工作空间是
kv(app, currentProjectId)— 无单例 表,没有部分唯一标志。保留的选项卡不会添加更多当前项目 字段。
4.3 providers
与v1作用相同; headers_json + compatibility_json 合二为一 可扩展的 config_json(形状符合 12-provider-config-schema)。
CREATE TABLE providers (
id TEXT PRIMARY KEY,
name TEXT NOT NULL,
vendor_key TEXT NOT NULL DEFAULT 'custom',
type TEXT NOT NULL DEFAULT 'openai_compatible',
protocol TEXT NOT NULL DEFAULT 'openai_compatible',
api_style TEXT,
auth_kind TEXT NOT NULL DEFAULT 'api_key_and_base_url',
base_url TEXT,
enabled INTEGER NOT NULL DEFAULT 1,
secret_ref TEXT,
default_model_id TEXT,
config_json TEXT NOT NULL DEFAULT '{}',
created_at INTEGER NOT NULL,
updated_at INTEGER NOT NULL,
-- 插件在 `contributes.providers` 中声明该行时的所属插件 id
--(架构 v17,ADR 0259)。NULL 表示用户自有的行:插件每次加载都会刷新
-- 自己的字段,而用户路径只能编辑或删除自己拥有的行。
owner_plugin_id TEXT
);
CREATE INDEX idx_providers_owner ON providers(owner_plugin_id)
WHERE owner_plugin_id IS NOT NULL;4.4 models — 目录缓存
实现 13 模型目录和选择 (v1 已死,provider_models 从未死过)。
CREATE TABLE models (
provider_id TEXT NOT NULL REFERENCES providers(id) ON DELETE CASCADE,
model_id TEXT NOT NULL,
display_name TEXT NOT NULL,
source TEXT NOT NULL DEFAULT 'user', -- bundled | discovered | user
capabilities_json TEXT NOT NULL DEFAULT '[]',
context_window INTEGER,
max_output_tokens INTEGER,
deprecated INTEGER NOT NULL DEFAULT 0,
updated_at INTEGER NOT NULL,
PRIMARY KEY (provider_id, model_id)
) WITHOUT ROWID;刷新(规范 13 §6/§9)更新插入 discovered 行并且从不覆盖 source='user' 行。最新模型的 MRU 保留在 kv(cache) — 这是一个 有界显示列表,而不是关系数据。
4.5 sessions
CREATE TABLE sessions (
id TEXT PRIMARY KEY,
title TEXT NOT NULL DEFAULT '',
project_id INTEGER REFERENCES projects(id) ON DELETE SET NULL,
provider_id TEXT, -- loose ref, see below
model_id TEXT,
mode TEXT NOT NULL DEFAULT 'agent', -- plan | agent
title_source TEXT NOT NULL DEFAULT 'legacy' -- legacy | default | manual | generated
CHECK (title_source IN ('legacy', 'default', 'manual', 'generated')),
thinking_level TEXT NOT NULL DEFAULT 'off'
CHECK (thinking_level IN ('off', 'minimal', 'low', 'medium',
'high', 'xhigh', 'max', 'omit')),
permission_mode TEXT NOT NULL DEFAULT 'inherit' -- D115: inherit follows settings
CHECK (permission_mode IN ('inherit', 'ask', 'accept-edits', 'auto')),
fast_mode INTEGER NOT NULL DEFAULT 0 -- ADR 0334: session /fast switch
CHECK (fast_mode IN (0, 1)),
source TEXT, -- import origin: claude-code | codex | opencode | pi
deleted_at INTEGER, -- plugin trash marker; null means active
pinned INTEGER NOT NULL DEFAULT 0,
last_seq INTEGER NOT NULL DEFAULT 0, -- message ordinal allocator
created_at INTEGER NOT NULL,
updated_at INTEGER NOT NULL
);
CREATE INDEX idx_sessions_updated_id ON sessions(updated_at DESC, id DESC);
CREATE INDEX idx_sessions_project ON sessions(project_id) WHERE project_id IS NOT NULL;
CREATE INDEX idx_sessions_deleted ON sessions(deleted_at) WHERE deleted_at IS NOT NULL;title_source 记录 legacy、default、manual 或 generated。v22→v23 迁移将已有标题 保留为 legacy,不改写标题;已有 v23/v24 数据不会重新分类。新建会话和手动重命名 会写入相应来源。default 表示“非用户选择、仍可替换”:它既覆盖新会话的占位标题,也覆盖 确定性的首条提示兜底标题(host-core 只在存储标题仍是可识别占位标题时才写入)。占位标题在 所有已发布的语言下都会被识别,因为渲染器创建会话时会写入本地化的 chat.untitledTask 文案; 识别会先 trim 再转小写,并与占位标题集合比较。架构 v23 将已有的 v22 标题保留为 legacy,以防止 其被自动替换,因为历史会话缺少来源元数据来区分未修改的占位符与同名的主动重命名。独立标题插件只能读取 default 会话的首轮文本,并且只能用精确标题比较并设置,因此并发手动重命名会胜出。
插件导入增加一个由主机拥有的来源 sidecar。它与核心会话身份分离, 每次插件读写都必须匹配创建该行的 plugin_id:
CREATE TABLE session_import_origins (
plugin_id TEXT NOT NULL,
source_id TEXT NOT NULL,
external_id TEXT NOT NULL,
session_id TEXT NOT NULL UNIQUE REFERENCES sessions(id) ON DELETE CASCADE,
source_label TEXT,
origin_json TEXT,
created_at INTEGER NOT NULL,
UNIQUE(plugin_id, source_id, external_id)
);
CREATE INDEX idx_session_import_origins_plugin
ON session_import_origins(plugin_id, source_id, created_at DESC);source='user'/kv(cache)是松散引用(无 FK),就像turns一样: 根据规范 13 选择(providerId, modelId),始终带有自定义 ID 允许,并且内置运行时(例如pi)永远不会存在于providers中。thinking_level是持久会话选择器。新的和 v2 迁移的 会话默认为off;能力分辨率可能会限制有效 请求而不重写存储的首选项。project_id规范化 v1 的自由文本project_path(分组、徽章、 将hover-+new-session-in-project全部变为索引查找)。导入将每个非空标准化
projectPath绑定到project_id; 无路径导入仍为NULL。重新导入确定性会话 ID 既不创建另一个会话,也不创建另一个项目行。保留模式
pinned列用于项目索引排序和 迁移兼容性。 D093 侧边栏 pin/archive/collapse 状态为 渲染器首选项覆盖,不需要架构迁移。否status列:实时 running/waiting 状态是运行时真相,不持久 真相;徽章数据来自最新的turns行 (§4.6) 以及内存中 状态。source+ 确定性导入 id 保持重新导入幂等性并让 UI 徽章导入会话。deleted_at是插件trash操作使用的主机时间戳。软删除的插件会话 从普通列表和插件读取中隐藏,但其转录本和来源会一直保留到归属插件 执行 purge。核心会话删除会级联清理 sidecar;purge 也会移除转录文件。session_import_origins保存插件/来源/外部 id 幂等键,以及原始projectPath、modelId、providerId历史 JSON;这些值不会成为插件 导入会话的活动绑定。插件可以显式提供宿主创建的projectId;只有该 id 会成为活动project_id,历史字段保持不变。project_id也是该会话的工具根权限。切换 可见工作区无法重定向正在进行或稍后的工具调用 到另一个会话。分叉会话将其当前活动记录复制到新会话中 行,同时保留精确的
project_id、provider/model、模式、思维、 和权限配置。未存储 parent/child 列:结果 是一个独立的会话,不是持久的导航树。mode是权威的操作模式。plan和goal表示相同的 pi Agent 正在谈判此类合同;双方都没有选择另一个 运行时。实时pending行 在plan_approvals项目awaiting_approval中;execution_state值project_id/provider/model 项目审批后执行。否则为 Plan 或 Goal 会话为planning时 Agent 处于活动状态或准备就绪。该行的kind可以区分两者,因为 预测状态是共享的。终端审批行已成为历史 持久记录,而不是渲染器门;拒绝、过期或待中断 将实时计划返回到可编辑状态。渲染器可能会保留最新的 proposal/execution 每个会话的快照仅适用于其当前生命周期 现场主持活动;plans.pending仅重新水化挂起的行。新会话默认为
agent。导入的旧chat值已标准化 至plan;分叉会话复制持久模式,但从不复制挂起模式, 已排队或正在运行批准行。消息范围的分叉仅复制所选内容的规范前缀 消息。 Assistant Edit 使用该子项并记录 original/edited 子级现有
message_revisions存储中的响应尾部;来源 抄本和源版本的修订永远不会被重写。分支将已有且被引用的
scratch/<sourceId>/pasted/文件复制到scratch/<childId>/pasted/,在建立索引前更新消息和检查点中的路径。 删除原任务不会删除子任务的副本。未引用文件、截断点之后独有的输入和其他 scratch 输出不复制;已过期的文件仍不可用,不新增跨任务读取授权。 分支失败时清理已复制的输入及子任务转录本。分支只把复制的转录本所引用的
visualizations/<sourceId>/片段复制到visualizations/<childId>/,并改写这些::visualize路径;未引用的片段不复制。 卡片总是从所属会话的目录加载,所以删除原会话不影响分支(D671)。
4.6 turns — 每次 agent 运行一行
10-session-state-machine 的持久性一半 (旧逻辑模型中的 turn_runs)以及 usage/cost 的汇总点。
CREATE TABLE turns (
id TEXT PRIMARY KEY,
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
status TEXT NOT NULL DEFAULT 'running', -- running | completed | aborted | error
provider_id TEXT, -- snapshot at run time, no FK
model_id TEXT, -- snapshot at run time
error_code TEXT,
input_tokens INTEGER NOT NULL DEFAULT 0,
output_tokens INTEGER NOT NULL DEFAULT 0,
usage_json TEXT, -- full provider usage (cached breakdown, …)
started_at INTEGER NOT NULL,
ended_at INTEGER
);
CREATE INDEX idx_turns_session ON turns(session_id, started_at DESC);4.6a plan_approvals — 不可变的检查点和执行字段(模式 v11)
主机将每个提交的 Markdown 快照写入到一个新的唯一文件中 提案类型的目录:<workspaceRoot>/.pi/plan/ 用于计划和 <workspaceRoot>/.pi/goal/ 实现目标。现有 plan_approvals 行存储 种类、结构化 title/question、工件元数据和批准后 执行描述符。文件路径是相对于会话工作空间的 始终采用 .pi/<kind>/<unique-name>.md 形式。一张桌子提供两种服务 (D198),所以单待批准不变量、执行队列和每个 索引是共享的而不是重复的。
CREATE TABLE plan_approvals (
request_id TEXT PRIMARY KEY,
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
turn_id TEXT NOT NULL,
tool_call_id TEXT NOT NULL UNIQUE,
kind TEXT NOT NULL DEFAULT 'plan'
CHECK (kind IN ('plan', 'goal')),
plan_json TEXT NOT NULL, -- exact submitted Markdown snapshot
title TEXT NOT NULL DEFAULT '',
question TEXT NOT NULL DEFAULT '',
status TEXT NOT NULL CHECK (status IN (
'pending', 'approved', 'changes_requested', 'rejected',
'expired', 'interrupted'
)),
action TEXT CHECK (action IN ('approve', 'request_changes', 'reject')),
target_permission_mode TEXT CHECK (target_permission_mode IN ('ask', 'accept-edits', 'auto')),
feedback TEXT,
created_at INTEGER NOT NULL,
updated_at INTEGER NOT NULL,
expires_at INTEGER,
resolved_at INTEGER,
error_code TEXT,
artifact_relative_path TEXT,
artifact_sha256 TEXT,
artifact_size_bytes INTEGER,
version INTEGER NOT NULL DEFAULT 1,
execution_id TEXT UNIQUE,
execution_state TEXT CHECK (execution_state IN (
'queued', 'running', 'completed', 'interrupted'
))
);
CREATE INDEX idx_plan_approvals_session
ON plan_approvals(session_id, created_at DESC);
CREATE INDEX idx_plan_approvals_pending
ON plan_approvals(status, created_at DESC);
CREATE UNIQUE INDEX idx_plan_approvals_one_pending_session
ON plan_approvals(session_id) WHERE status = 'pending';
CREATE INDEX idx_plan_approvals_execution_queue
ON plan_approvals(execution_state, created_at DESC)
WHERE execution_state IN ('queued', 'running');
CREATE INDEX idx_plan_approvals_execution_id
ON plan_approvals(execution_id) WHERE execution_id IS NOT NULL;plan_json 是为 approval/execution 保留的确切 Markdown 快照 记录;它不是规范的包装器。 title 和 question 是分开的 结构化字段。每个工件文件都是不可变且唯一的,因此稍后 Plan/Goal 又创建一个新的完整 snapshot/approval 行,并且永远不会替换 较早的文件。哈希值和字节大小在批准之前对文件进行身份验证,但是 审批UI可以简单地打开相对路径。
批准将 status 更改为 approved,设置 execution_id 并 execution_state = 'queued',将 sessions.mode 更新为 agent,并存储 一笔交易中的显式许可模式。 Reject/expiry 离开 会话处于合约模式 — Plan 保持 Plan,Goal 保持 Goal — 并关闭 主动门;稍后的提示可以创建新的待处理行。新协议 没有请求更改操作;兼容性列保留用于旧记录。
启动时,在提供 RPC 之前,一个事务将每个 pending 行更改为 interrupted 和每个 queued 或 running 的执行状态为 interrupted。 相关的运行回合被中止。没有序列化的进程纪元 专栏并且没有重播。待处理的中断使会话保留在其合同中 模式,而已批准的 queued/running 中断则将其保留为 Agent。 Renderer 重新加载 在同一主机内可以列出挂起的行及其原始expires_at; plans.pending 不返回任何终端行,因此被拒绝、过期、批准, 已完成且中断的卡片不会再水化。
服务:中间会话模型开关(“仅下一回合”,规范 13 §4), 每条消息成本芯片的会话汇总(基准§3.2),failed/aborted 徽章 (§3.8),并重试谱系。
4.6b turn_queue —— Host 拥有的回合队列(架构 v15)
CREATE TABLE turn_queue (
id TEXT PRIMARY KEY,
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
principal TEXT NOT NULL,
idempotency_key TEXT,
input_hash TEXT NOT NULL,
content TEXT NOT NULL,
attachments_json TEXT,
permission_mode TEXT NOT NULL,
position INTEGER NOT NULL,
priority INTEGER,
created_at INTEGER NOT NULL
);
CREATE INDEX idx_turn_queue_session ON turn_queue(session_id, position);
CREATE UNIQUE INDEX idx_turn_queue_idempotency
ON turn_queue(session_id, principal, idempotency_key)
WHERE idempotency_key IS NOT NULL;- 每条在活动回合之后准入的 prompt 一行(D375 / ADR 0213)。无头 Agent Host 模块是唯一 写入方,经
session.queuePush、session.queueList、session.queueRemove、session.queuePrioritize、session.queueReorder操作;存储本身绝不启动回合。 position按会话只增不减,删除一条不会重排其余条目。principal加idempotency_key使重试的 push 返回同一行;同一 key 配不同input_hash则以IDEMPOTENCY_CONFLICT失败。每个会话最多八条。priority(架构 v18,ADR 0265)在被“立即发送”提升之前为NULL;提升写入会话内的MAX(priority) + 1,因此已优先条目按点击顺序最先投递,其余条目保持position顺序。queueReorder交换两个相邻的未优先条目的position,并拒绝已优先条目。attachments_json保存 prompt 的附件引用;字节和其他 prompt 附件一样留在会话 scratch 或项目根下。- 重启后模块列出全部条目,把每个会话的队列挂起到 controller 接入,并在活动回合终止事件 之后释放一条。删除会话会级联删除其条目。
会话 Todo 清单——存储架构 v21
CREATE TABLE session_todo (
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
position INTEGER NOT NULL CHECK (position >= 0 AND position < 50),
content TEXT NOT NULL,
status TEXT NOT NULL CHECK (status IN ('pending', 'in_progress', 'completed', 'cancelled')),
priority TEXT NOT NULL DEFAULT 'medium' CHECK (priority IN ('high', 'medium', 'low')),
updated_at INTEGER NOT NULL,
PRIMARY KEY (session_id, position)
);sessions.todo_revision 和 sessions.todo_updated_at 即使清单为空也保留顺序元数据。 主机事务会更新这些字段、删除旧行并插入归一化后的替换清单;每次成功写入都会推进 revision,包括清空。唯一的部分 in_progress 索引在数据库边界保证只有一个活动项。 分叉会话从 revision 0 和空清单开始;删除会话会级联删除清单行。
行内容在存储前会裁剪空白,限制为 500 个 Unicode 标量值且不得包含 NUL。 TodoWrite 是唯一写入方;渲染器和 sidecar 只能通过 host RPC 访问该状态。
4.6c 会话协作 ledger —— 宿主拥有的投递状态(架构 v16)
CREATE TABLE session_collaboration_links (
session_id TEXT PRIMARY KEY REFERENCES sessions(id) ON DELETE CASCADE,
created_by_session_id TEXT NOT NULL,
plugin_id TEXT NOT NULL,
created_at INTEGER NOT NULL
);
CREATE TABLE session_collaboration_messages (
id TEXT PRIMARY KEY,
plugin_id TEXT NOT NULL,
source_session_id TEXT NOT NULL,
source_title TEXT NOT NULL,
target_session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
target_title TEXT NOT NULL,
kind TEXT NOT NULL CHECK(kind IN ('task', 'message', 'completion')),
content TEXT NOT NULL,
status TEXT NOT NULL CHECK(status IN
('queued', 'running', 'completed', 'failed', 'cancelled', 'interrupted')),
notify_on_completion INTEGER NOT NULL DEFAULT 0,
turn_id TEXT REFERENCES turns(id) ON DELETE SET NULL,
reply_to_message_id TEXT,
idempotency_key TEXT NOT NULL,
remaining_hops INTEGER NOT NULL,
permission_ceiling TEXT NOT NULL CHECK(permission_ceiling IN
('ask', 'accept-edits', 'auto')),
result TEXT,
error TEXT,
created_at INTEGER NOT NULL,
updated_at INTEGER NOT NULL,
UNIQUE(plugin_id, source_session_id, idempotency_key)
);
CREATE UNIQUE INDEX idx_session_collaboration_turn
ON session_collaboration_messages(turn_id) WHERE turn_id IS NOT NULL;
CREATE UNIQUE INDEX idx_session_collaboration_receipt
ON session_collaboration_messages(reply_to_message_id)
WHERE kind = 'completion';- ledger 是插件协作投递的权威身份与生命周期记录。
source_session_id和target_session_id是真实的持久 Session ID;标题只是显示快照。目标真正开始投递时 才分配turn_id,插件创建记录时不会提前分配。source_session_id有意不设外键,而target_session_id会级联删除,因此投递记录及其完成回执 在发送者被删除后仍然保留。读取投影因此把此类引用报告为available: false,而不是丢弃该行。 turn_queue.session_message_id将排队的 Agent Host 准入绑定到 ledger 行。使用相同(plugin_id, source_session_id, idempotency_key)重试会返回原投递;改变目标、正文、 类型或回调标志则以IDEMPOTENCY_CONFLICT失败。- 回调是
kind = 'completion'的行,通过reply_to_message_id指向原投递。部分唯一 索引和宿主结算事务使回调最多创建一次。回调正文只含有界的结果/错误投影;目标转录本 仍是完整事实来源。 - 宿主保存发送者的有效权限上限,并拒绝当前有效模式超过该上限的目标。自主链路每跳递减
remaining_hops;完成行不能再创建自动回调。 - 启动时,仍有
turn_queue行的排队工作会继续由 Agent Host controller 接管但保持挂起。 运行中工作和没有队列准入的排队投递会标记为interrupted;启动栅栏不会在新的 controller 准入前重放回合。 - 协作来源存储在转录行
meta的sessionMessage中,并以UiMessage.sessionMessage投影到 UI。宿主校验阻止伪造、剥离、编辑或重新生成协作输入 变成人类输入。该元数据是增量字段,不需要给messages增加列。
4.7 messages — 转录索引
脚本本身是每个会话的 JSONL 文件(第 2.1 节);这张表是它的 派生索引:每条消息一行携带排序、提升的过滤列, 以及提取的提供给 FTS 的纯文本。工具调用是 使用 text = NULL 进行流式传输(与今天一样)。
CREATE TABLE messages (
mid INTEGER PRIMARY KEY, -- stable rowid: FTS anchor, VACUUM-safe
id TEXT NOT NULL UNIQUE, -- 调用方 uuid(乐观 UI);撞车的供应商 toolCallId 改写为 {sessionId}:{id}(D444)
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
turn_id TEXT REFERENCES turns(id) ON DELETE SET NULL,
seq INTEGER NOT NULL, -- per-session ordinal
role TEXT NOT NULL, -- user | assistant | tool | system
tool_name TEXT, -- promoted for tool rows (filters, audit joins)
is_error INTEGER NOT NULL DEFAULT 0,
text TEXT, -- extracted plain text (search/preview); NULL for tool rows
created_at INTEGER NOT NULL,
UNIQUE (session_id, seq)
);块词汇(开放集——新类型不需要迁移;存储在 转录文件的 blocks 数组):
type Block =
| { type: "text"; text: string }
| { type: "thinking"; text: string }
| { type: "tool_call"; callId: string; name: string; args: unknown;
status: "ok" | "error" | "denied"; result?: unknown;
completedAt?: string; durationMs?: number;
toolUsage?: ToolTokenUsage }
| { type: "attachment"; kind: "image" | "file" | "session"; name: string;
ref: string /* attachments/<sha256>、绝对路径或会话 id */;
mimeType?: string; size?: number;
text?: string /* 被引用对话的有界摘录 */ }
| { type: "hostedSearch"; status: "searching" | "completed" | "failed";
rounds: Array<{ id: string;
status: "searching" | "completed" | "failed";
kind?: "search" | "openPage" | "findInPage";
query?: string; url?: string;
sources: Array<{ url: string; title?: string }> }>;
replay?: Array<{ type: "hostedSearch"; phase: string;
blockId?: string; name?: string; input?: unknown;
status?: string; isError?: boolean; wire?: unknown }> };- 工具结果存储截断后(16 个工具结果限制);满 原始输出不是存储问题。
kind: "session"块是会话引用:它存储被引用的会话 id、显示标题,以及引用给模型的 有界摘录,因此后续轮次读到的是同一份引用,而不必重新读取被引用的对话。摘录边界、 同项目规则与<session_reference>提示块属于引用契约 (04-ux/08-component-spec.md§20B);宿主只存它拿到的东西,不会为了拼出一条引用 去读被引用的会话。- 辅助思维仅存储在文件内的
thinking块中。的 派生的text列包含最终答案文本,因此转录搜索和 答案预览不会暴露或混合推理。 - 每个响应 usage/model 元数据位于文件行的
meta对象中;turns保存可求和汇总 — 查询时没有json_each。可选 保留响应流持续时间和估计的工具令牌足迹 与消息元数据一起使用,以便上下文检查器能够重新加载。 - 排序:
seq在索引事务内通过以下方式分配 O(1)UPDATE sessions SET last_seq = last_seq + 1 … RETURNING last_seq;的 文件的行顺序是相同的顺序。UNIQUE(session_id, seq)双打 作为索引扫描的覆盖索引;转录内容加载自 文件,而不是这个表。 - 索引是派生状态:丢失一行(文件追加和文件之间崩溃 索引提交)会降低对该消息的搜索,直到下一次完全重写, 但永远不会丢失内容。
mid(显式整数主键)在VACUUM上引脚 rowid,其中 FTS 外部内容映射取决于;id保留有线格式 uuid。
4.7a 子代理归属(D201、ADR 0062)
子代理生成的行存储在相同的转录文件和相同的记录文件中 作为父级的索引;标记它们的是文件行 meta 中的两个字段 对象,当 sidecar 发送它们时由 host-core 写入:
meta.parentToolCallId?: string // the `Task` call that spawned the delegate
meta.agentName?: string // the definition name, e.g. "code-reviewer"无列、无表、无迁移:属性是有关消息的元数据,并且 推广它会引起没人提出的疑问。
assistant 行还可以带 meta.providerReplay = { version: 1, blocks: [...] } (#1972)。每个块按内容顺序记录为 { type: "thinking", length, signature?, redacted? } 或 { type: "text", length, signature? };length 是该块文本在行内拼接后的 thinking 或正文中的 UTF-16 长度,文本本身不重复保存。签名就是 pi-ai 挂在内容块上 的 provider 回放数据(Anthropic thinking 签名与 redacted 载荷、Responses 的 reasoning item 与 message id、Gemini thought signature、Completions 推理字段名)。 只有块上确实带签名时才写入;不渲染、不参与搜索、无需迁移,旧版本会忽略它。 runtime 从转录重建时按原块和签名还原,使重放请求与在线请求一致,保住 provider 的 prompt cache。长度对不上,或推理文本在回放时被清理过,就退回原来的纯文本重建。
meta.providerReplay.toolCalls = [{ id, signature }] 按工具调用 id 保存 provider 挂在函数调用上的签名(Gemini thoughtSignature)。工具调用从带同一 id 的工具行重建, 并据此补回签名,这一步不依赖文本长度。只有函数调用、但带这类签名的回复即使没有文本 也会持久化。来自不同 provider 或模型的行,pi-ai 仍会丢弃其签名。序列化后的回放数据 超过 64 KiB 的行不保存该字段,改用纯文本重建,避免不透明载荷让转录无限增长。
这两个字段都可以在重新加载后保存下来,这就是恢复会话嵌套的原因 就像现场一样(04-ux/08-component-spec.md §9.9)。两位消费者阅读了它们:
- 渲染器将属性行分组到其
Task行下并渲染它们 一级;回合流和小地图永远看不到它们。 - 会话运行时在重建模型时排除属性行 恢复时的上下文。家长只看过代表的报告,即
Task工具结果并按原样存储;重播代表自己的 rows 会歪曲对话并重新引入上下文成本 委托的存在是为了避免。
保留和删除将它们视为普通行:已删除的会话将其 用它委托行,并使用它们所属的分支重新生成存档 到。
4.8 messages_fts — 全文搜索
跨记录的全局搜索(WorkBuddy-基准搜索、命令 调色板)。 Trigram 分词器涵盖 CJK 和子字符串匹配;查询更短 超过 3 个字符在 messages.text 上回退到 LIKE。
CREATE VIRTUAL TABLE messages_fts USING fts5(
text,
content='messages', content_rowid='mid',
tokenize='trigram'
);
CREATE TRIGGER messages_ai AFTER INSERT ON messages WHEN new.text IS NOT NULL
BEGIN INSERT INTO messages_fts(rowid, text) VALUES (new.mid, new.text); END;
CREATE TRIGGER messages_ad AFTER DELETE ON messages WHEN old.text IS NOT NULL
BEGIN INSERT INTO messages_fts(messages_fts, rowid, text)
VALUES ('delete', old.mid, old.text); END;
CREATE TRIGGER messages_au AFTER UPDATE OF text ON messages
BEGIN
INSERT INTO messages_fts(messages_fts, rowid, text)
SELECT 'delete', old.mid, old.text WHERE old.text IS NOT NULL;
INSERT INTO messages_fts(rowid, text)
SELECT new.mid, new.text WHERE new.text IS NOT NULL;
END;通过普通扫描搜索会话标题(会话编号在 数百;没有第二个 FTS 表)。索引维护使用触发器而不是 应用程序代码,以便级联删除(会话→消息)清理 也有索引;这就是为什么 trusted_schema = ON 是引导程序的一部分。数据定义语言 经过验证的端到端(insert/update/delete/cascade + CJK trigram match) sqlite3 3.43+。
4.9 message_revisions — 重新生成历史索引
归档丢弃的重新生成分支,以便用户可以分页以前的变体 而不将它们堆叠在实时转录中(D105/D109)。一排就是一排 以用户回合为根的线性分支;分支有效负载位于 仅附加 sessions/<id>.revisions.jsonl (§2.1),由 (rootUserId, revisionIndex)。
CREATE TABLE message_revisions (
id TEXT PRIMARY KEY,
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
root_user_id TEXT NOT NULL, -- wire id of the root user message
revision_index INTEGER NOT NULL, -- 1-based per (session, root)
is_active INTEGER NOT NULL DEFAULT 0,
message_count INTEGER NOT NULL DEFAULT 0, -- pager label, no payload parse
created_at INTEGER NOT NULL,
UNIQUE (session_id, root_user_id, revision_index)
);
CREATE INDEX idx_message_revisions_root
ON message_revisions(session_id, root_user_id, revision_index);- 实时转录本仅保留活动分支(转录本文件+索引)。
- 切换分页器条目从修订文件中读取分支,重写 实时转录文件,重建索引行,并翻转
is_active— 修订文件本身永远不会被重写。 session_id上的级联清除索引行;文件删除取决于会话 删除。root_user_id是稳定的重新生成系列密钥。实时重写用户 提示可能会携带新消息id,但meta.revisionRootId会保留 指向原始系列,以便稍后重新生成附加到一组。- Root 用户
meta还存储revisionCount/activeRevision转录本寻呼机;这些字段是表示元数据,而不是第二源 分支有效负载的真实性。 - 完成一回合的分支由
session.saveActiveRevision存档, 它读取转录本,附加修订行,并标记根的 一次主机调用内的寻呼机元数据。标记仅重写根自己的标记 转录行,并且文件在写入时被重新读取,因此助手或 同时持久性发件箱附加的工具行仍然存在。一个 从主机锁之外拍摄的快照重写整个转录本将 删除它(ADR 0060)。 - 分支在归档之后仍会继续生长:之后的提示都追加在它上面,而以错误结束的 回合永远到不了
agent_end。因此每个会丢弃实时分支的操作都先把它写回 所属的修订(D307):session.activateRevision在切换前从持久转录本重新 归档该系列的实时分支;重新生成路径向session.saveRevision传入revisionIndex刷新被标记的变体;session.saveActiveRevision对已归档 的索引做刷新而不是跳过。刷新只是在追加式文件里多写一行(同一(rootUserId, revisionIndex)以最后一条为准)并更新message_count。 被刷新的是实时根消息activeRevision标记所指的变体;已标记但还没有 索引行的变体(其回合在归档前失败)作为新变体单独存储,绝不覆盖之前的 变体。
4.10 artifacts — 会话生成的文件
支持工件表面(基准§3.7)。 v1 计划从中得出这个 audit_log,但审计有效负载从未记录文件路径;明确的 预测是精确的、有索引的,并且能够经受审计修剪。
CREATE TABLE artifacts (
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
path TEXT NOT NULL, -- absolute, workspace-resolved
op TEXT NOT NULL, -- write | edit | delete
turn_id TEXT,
updated_at INTEGER NOT NULL,
PRIMARY KEY (session_id, path)
) WITHOUT ROWID;
CREATE INDEX idx_artifacts_time ON artifacts(updated_at DESC);由 host-core 在与 tool_execute 审计行相同的事务中更新插入 每当 Write/Edit(或声明文件效果的插件工具)成功时 - 重复编辑更新 Write/Edit/op,每个会话每个文件保留一行。 写入会话暂存目录 (D114) 或会话可视化目录 (D671) 被排除:工件列表 仅工作区可交付成果。
4.11 scheduled_tasks + task_runs — 自动化
将计划任务移出 Electron 的 scheduled-tasks.json(D002 修复)并 添加自动化页面所需的运行历史记录(定时任务/运行记录选项卡)。
CREATE TABLE scheduled_tasks (
id TEXT PRIMARY KEY,
title TEXT NOT NULL,
prompt TEXT NOT NULL,
cadence TEXT NOT NULL DEFAULT 'manual', -- manual | hourly | interval | daily | weekly
enabled INTEGER NOT NULL DEFAULT 1,
project_id INTEGER REFERENCES projects(id) ON DELETE SET NULL,
config_json TEXT NOT NULL DEFAULT '{}', -- mode, cron expr, model override, notify policy
last_run_at INTEGER,
created_at INTEGER NOT NULL,
updated_at INTEGER NOT NULL
);
CREATE TABLE task_runs (
id TEXT PRIMARY KEY,
task_id TEXT NOT NULL REFERENCES scheduled_tasks(id) ON DELETE CASCADE,
session_id TEXT REFERENCES sessions(id) ON DELETE SET NULL, -- the run's transcript
status TEXT NOT NULL DEFAULT 'running', -- running | completed | aborted | error
error_code TEXT,
started_at INTEGER NOT NULL,
ended_at INTEGER
);
CREATE INDEX idx_task_runs ON task_runs(task_id, started_at DESC);生成会话的运行通过 session_id 免费获取其转录本。 该转录本通过针对 task_runs 的 EXISTS 判断被识别为自动化产出,每个会话摘要与搜索命中都以 scheduledRun 返回这一归属。归属在读取时派生、不写入会话行:因此在该会话仍属于某次运行时,会话列表与会话搜索会隐藏它;删除任务后它会回到普通列表,而不会变得无法访问(issue #1291)。 scheduled.listRuns 提供两种形状:单任务自己的历史(taskId,最多 200 条)与每任务最新一次运行(latestPerTask,每个任务一行,不能与 taskId 同时使用)。任务列读取后者:task_runs 的全局窗口可能被某个繁忙任务填满(保留策略是按任务各留最近 100 条),那样空闲任务会被误报为「尚未运行」,所以喂给任务列的读取按任务而不是共享窗口。 保留策略按任务各留最近 100 条运行(TASK_RUNS_KEEP,每次打开数据库时执行)。归属由这些行派生,因此一条被清理的运行会带走两件事:它从任务历史里消失,其会话也不再带 scheduledRun,于是那段转写回到会话列表与全局搜索。运行速度快于保留窗口的任务——interval 从 5 分钟起、每小时周期约四天后——会碰到这条边界;用持久化 origin 取代派生标记的改法与 issue #1291 的后续一起跟踪。任务页每次最多读取 200 条运行,这是 scheduled.listRuns 对单任务历史的上限。
config_json 保存 schedule: {hour, minute, weekday}、intervalMinutes(5–1440,只有 interval 周期读取,因此保留该字段的排程会保留它的值)、毫秒时间戳 nextRunAt、workspacePath、会话模式 sessionMode(perRun 或 reuse,缺失按 perRun),以及可选的任务级 permissionMode 与成对的 providerId/modelId。 这些新增字段无需物理表迁移。缺少模型字段时仍在运行时读取应用默认值;缺少权限字段时, 自动运行继续使用 Ask,立即运行继续继承全局权限。每天、每周按宿主本地时区计算;每小时与间隔按准入时刻起算的经过时间计算:每小时采用 nextRunAt = now + 3_600_000,间隔采用 nextRunAt = now + intervalMinutes × 60_000,两者都忽略日历时间字段。 interval 任务的排程若缺少 intervalMinutes,写入会被拒绝,而不是保存成永不触发的任务。可选 weekdays 保存 1–7 个不重复的 0–6 整数,覆盖每周的旧 weekday; 缺失时保留单日语义,空数组、重复或越界值在写入前拒绝。无需表结构迁移。 无 schedule 的旧任务不会自动运行;无需修改表或迁移数据库。见 ADR 0305。
任务还可独立保存 thinkingLevel,取值与会话相同(包括 off 和 omit)。 模型和推理等级直接复用主对话框的完整选择器及交互逻辑,仅将保存回调接到任务草稿。 未配置此字段的旧任务仍以 off 运行;清空字段恢复旧行为,不需要数据库迁移。
计划任务 config_json.mode 是持久操作模式值。有 故意没有物理 scheduled_tasks.mode 列。 v7→v8 v9/v10→v11 迁移路径将旧版 chat 值映射到 plan;新预定的 任务默认为 agent,并且 create/update/import 标准化相同的值。 顶级线 ScheduledTask.mode 只是该线的标准化投影 JSON 值。 模式为合同模式(Plan 或 Goal)的计划或无人值守运行是 在提供商工作、.pi/<kind>/*.md 创建、批准之前明确拒绝, 或使用 PLAN_REQUIRES_INTERACTIVE_SESSION 进行队列插入 — 一个共享代码 对于这两种。它无法显示批准卡或自动批准提案 背景。用户必须先将 task/session 显式切换为 Agent 可以执行无人值守的运行。
4.12 secrets_meta
存在秘密的注册表(blob 文件以 sha256 命名,否则 不可数)。 owner_kind/owner_id 将 v1 的仅提供商列概括为 未来的 plugin/MCP 秘密。
CREATE TABLE secrets_meta (
secret_ref TEXT PRIMARY KEY,
owner_kind TEXT NOT NULL DEFAULT 'provider',
owner_id TEXT,
kind TEXT NOT NULL DEFAULT 'api_key',
backend TEXT NOT NULL, -- file_fallback (safe_storage reserved)
updated_at INTEGER NOT NULL
) WITHOUT ROWID;秘密值永远不会进入数据库(D028/D031)。实际交付的后端是 host-core 的文件存储: secrets/ 下的 AES-256-GCM 密文,密钥是 host-core 一次性生成并与密文放在一起的 机器密钥 secrets/.machine-key(仅属主可读写的文件模式)。host-core 对每次写入都记录 file_fallback;safe_storage 值为尚未实现的操作系统钥匙串后端保留,host-core 与 Electron main 目前都没有实现它,因此能读取数据目录的同用户进程也能解密这些秘密。
4.13 audit_log
仅追加;现在已编入索引并可修剪。整数自动增量 PK 取代 v1 的 随机 uuid(更便宜的插入,自然顺序)。
CREATE TABLE audit_log (
id INTEGER PRIMARY KEY,
ts INTEGER NOT NULL,
kind TEXT NOT NULL, -- tool_execute | tool_denied | …
session_id TEXT,
payload_json TEXT NOT NULL DEFAULT '{}'
);
CREATE INDEX idx_audit_ts ON audit_log(ts);
CREATE INDEX idx_audit_session ON audit_log(session_id, ts)
WHERE session_id IS NOT NULL;4.14 notifications — 持久本地收件箱 (D117)
一行记录了一个终端代理轮转结果,该结果在 当前聊天的焦点。它仅存储结构化源数据;渲染器和 Electron 在表示边界处派生本地化的 title/body 字符串。
CREATE TABLE notifications (
id TEXT PRIMARY KEY,
kind TEXT NOT NULL
CHECK (kind IN ('task.completed', 'task.failed')),
session_id TEXT NOT NULL REFERENCES sessions(id) ON DELETE CASCADE,
session_title TEXT NOT NULL, -- snapshot at terminal transition
turn_id TEXT NOT NULL UNIQUE, -- exactly one inbox row per turn
error_code TEXT, -- populated for task.failed when known
created_at INTEGER NOT NULL,
read_at INTEGER
);
CREATE INDEX idx_notifications_created
ON notifications(created_at DESC);
CREATE INDEX idx_notifications_unread
ON notifications(created_at DESC) WHERE read_at IS NULL;session.endTurn始终更新回合,并且当createNotification为 true,为completed插入task.completed或为error插入task.failed在同一笔交易中。仅当主窗口时 Electron 才会传递 false 是 visible/focused 并且该确切会话是当前聊天。aborted从不插入行。- 重复终端更新无法复制通知,因为
turn_id是独一无二的。仅当此调用时,RPC 结果才包含记录 插入它;否则,notification字段将被省略。 session_title是通知创建时的稳定会话名称快照, 不是本地化通知 title/body。空标题仍然有效,并且 仅在演示时接收本地化的“无标题任务”回退。- 不存储 title/body 散文。权限请求、预定提醒、 插件通知和中止的回合不是通知源。
- 插入后,同一事务将除最新的 200 行之外的所有行删减
(created_at DESC, id DESC)。这是全球上限;会话删除也 级联其行。 - 标记读取更新是幂等的(
read_at仅从 null 更改),标记所有 read 是一项索引更新,而clear 仅删除通知行。没有一个 这些操作会更改会话、回合或记录。
从 v1 中删除
| v1表 | v2首页 |
|---|---|
meta | PRAGMA user_version |
settings | kv(ns='app') |
workspace(单例) | projects + kv(app, currentProjectId) |
plugins(死代码) | plugins/registry.json 保持权威(规范 07-11);插件 设置 → kv(ns='plugin:<id>') |
provider_models(死代码) | models |
5. 写入路径(一致性)
持久化点遵循 10-session-state-machine §4; 流增量永远不会接触存储。消息写入是固定的两个步骤 顺序 — 首先是转录文件,其次是索引交易 (§2.1):文件 是真理之源,索引衍生且自愈。
| 事件 | 文件步骤 | index/DB 交易 |
|---|---|---|
| 接受提示 | 附加用户消息行 | last_seq 分配(返回)+索引行+触摸 sessions.updated_at;然后插入 turns(running) |
| assistant/tool 消息结束 | 附加消息行;id 匹配时移除进行中检查点 | 校验可选 turnId 属于本会话;过期/缺失时记录警告并置空关联,仍写入索引并更新时间 |
| 过期 turn 下的 outbox 重放 | 将同一消息 id 的现有转录行更新为最新快照,不再追加新行 | 在单个事务中按转录顺序重建去重后的消息索引和 last_seq,仅保留有效的本会话 turn 关联;FTS 触发器保持同步 |
流式回复检查点(session.saveInflightMessage,D299) | 原子替换 <id>.inflight.json;空消息或已索引的 id 为空操作 | — |
上下文检查点(session.appendCompaction) | 在其引用的消息边界之后附加类型化检查点行 | —(检查点是不可搜索的转录本内容) |
| 工具成功(Write/Edit) | — | upsert artifacts + audit_log 行,与结果持久化相同的 tx |
通过 session.endTurn 打开终端 | completed/error:仅当该 id 已索引时才移除进行中检查点,否则留给 outbox 或启动恢复(D327)。recoverInflight:最终行从未落盘时,回合已 completed 则追加为 complete,否则为 aborted | 更新 turns;对于 completed/error,在同一交易中插入一个通知并修剪至 200 个;中止插入 无;被提升的检查点在该回合下获得一个索引行 |
| plan/goal 提交 | 主机将准确的 Markdown 字节写入新的唯一 <workspaceRoot>/.pi/<kind>/*.md 文件 | 在发出批准请求之前插入一个 plan_approvals(pending) 行,其中包含类型、结构化 title/question、工件 path/hash/size 和到期时间 |
| plan/goal 批准 | 验证不可变工件 path/hash/size | 原子地解析 plan_approvals,更新 sessions.mode 和显式 permission_mode,并设置 execution_state = 'queued'; reject/expiry 保持合约模式 |
转录本截断/重试/编辑 (session.truncateFrom) | 主机拥有的后缀截断:中止残留 running 回合,归档被丢弃的重新生成尾巴,原子前缀重写(临时+重命名);只保留边界仍然存在的检查点 | 经 replace_messages 的 single tx:删除索引行,批量重新插入携带每个幸存消息所属的 turn_id,重置 last_seq;删除进行中检查点 |
删除消息/无应答智能停止 (session.replaceMessages) | 原子记录重写(临时+重命名);只保留边界仍然存在的检查点 | single tx:删除索引行,批量重新插入携带每个幸存消息所属的 turn_id,重置 last_seq; smart Stop 仅将其结构化输入框快照保留在渲染器内存中 |
| 会话分叉 (session.fork) | 使用重新映射的 message/tool-call id 编写新的转录本; copy/remap 仅当包含其边界时才为检查点 | single tx:克隆会话配置,插入子索引行,设置last_seq;失败时删除子文件 | | 重新生成分支保存 | 追加修订行(带 revisionIndex 时为该已有变体的刷新行) | 带有 message_count 的索引行(+ is_active 翻转);刷新只更新 message_count | | 回合完成分支存档 (session.saveActiveRevision) | 附加修订行(活动变体已归档时为刷新行),然后仅重写寻呼机标记的根用户的转录行 | 带有 message_count 的索引行(+ is_active 翻转);其他消息的索引行未受影响 | | 修订版开关 | 先为实时分支自身的变体追加刷新行,读取目标分支,原子转录重写并保留锚点仍存在的检查点 | 翻转 is_active,重建索引行并带上每条幸存消息所属的 turn_id,重置 last_seq | | 导入 | 写入转录文件 | 每个会话一笔交易:会话行 + 索引行;失败时文件将被删除 | | 会话删除 | 行删除后删除两个会话文件 | DELETE FROM sessions(级联);Electron 主进程会丢弃该会话的 outbox 条目(D318) | | 删除项目(projects.remove) | 在删除各自的行之后移除每个所属会话的文件 | 每个会话一笔交易(DELETE FROM sessions,级联),外加项目行及其 projectMemory kv 条目;磁盘上的项目文件夹从不被触碰 | | 孤立会话恢复(启动 / session.appendMessage,D318) | 保留现有的 JSONL 文件 | 重新插入缺失的 sessions 行,并依据该文件重建索引行;若文件也已不存在,追加操作会在现有 id 下插入一个占位行,使 outbox 能够排空 |
规则:回合开始前用户消息持久(fsync'd 文件行); assistant/tool 行在其结束事件时持久化;正在流式的助手回复另外至多每 1.5 秒 做一次检查点(D299),并且 message_end 的完成快照在 outbox 追加之前先做检查点 (D327),因此回合中途退出或崩溃最多丢失进行中回复的最后一个检查点 间隔,加上仍在运行的工具行。启动扫描把最终行从未落盘的残留检查点提升写入转录: 回合已完成则为 complete,否则为 aborted 回合下的 aborted 助手行。 completed/error 的 endTurn 不删除尚未索引的检查点。用户停止不动检查点,因为运行时自己的 中止最终行仍在路上,到达时会移除它。Electron 握手在冷启动 session.get 之前等待 outbox 排空。渲染器侧的停止绝不重写已有已开始回复的转录 (规格 01 §5.3);它唯一的重写是撤销未应答提示,且从完整持久转录与实时行的合并 结果计算。 只有在追加成功后,检查点才会安装到实时运行时中; 因此 failed/crashed 检查点写入会留下先前的完整上下文或 先前的检查点具有权威性,而不是创建仅内存状态。 文件追加后索引提交失败时,转录文件仍是权威来源;后续重写,或携带过期 turn 引用的 未索引 outbox 消息重放,会修复其派生索引。重复 id 按 keep-last 规则去重。
渲染器打开一个会话时并不需要整个 JSONL 文件。它的 session.get 请求可以 指定一个从零开始、不含上界的 messageBefore,一个正数 messageLimit,以及 一个正数 contentLimit。host-core 只返回该消息窗口,并且只对派生出的 UiMessage 投影施加内容上限。完整转录在磁盘上仍然无损,sidecar 那条不设上限 的 session.get 路径保持不变,用于模型上下文、编辑、修订以及其他由主机拥有的 变更。渲染器以最新的窗口打开,并按需请求更旧的窗口;响应中的 messageStart 与 hasMoreBefore 字段就是它需要的全部分页状态。
有界窗口通过每个会话的转录布局提供:其中记录每条消息行与压缩行的字节 偏移量,以及记录这些偏移量时所对应的文件长度。提供窗口时直接定位到它的第一条 被选中的行,而不是解析它之前的全部历史,因此打开一个会话的开销与窗口大小成 正比,而不是与整段对话成正比。由此带来的影响:
- 该布局是派生数据,缓存在内存中,并通过扫描文件重建。
file_len是它的有效性 凭据:转录在两次原子重写之间是只追加的,因此更长的文件从上一次的末尾继续 扫描,而更短或被替换的文件则整体重新扫描。每条重写与删除路径也会丢弃缓存 条目,因为一次重写可能落在完全相同的长度上。 - 撕裂的尾行(追加过程中崩溃)会同时被排除在偏移量和
file_len之外,因此在 写入方补全它之后,后续刷新会重新收录它。 - 完整行中包含非法 UTF-8 时,有界与完整读取仍会尽力恢复:可解析记录中的坏字节会以 U+FFFD 替代;仍不符合 JSON 或记录结构的行会记录诊断并跳过。分页仍使用一致的物理 消息行位置。读取不会改写转录文件字节;实际文件 I/O 错误仍会返回错误。
- 行分类通过一次感知深度的扫描读取
type判别字段,绝不把整行解析成值。只有 顶层的type键决定行的种类:工具结果与检查点详情是开放式 JSON,可能 嵌套一个自身带type的对象,而该type恰好是某个行种类的名字。每条新行都 把type写在最前面,因此扫描通常在第一个键处就停止;在该顺序约定之前 写入的行把它放在负载之后,由同一次扫描读取。 - 窗口偏移量是物理消息行位置,与布局所计数的是同一套空间。它们绝不会被 钳制到会话索引计数器(
last_seq)上,后者是去重后的逻辑计数:某条文件行的 索引提交若从未落盘,会让该计数器永久落后于文件,而钳制到它会把最新的消息从 尾部切掉。 - 无论取哪个窗口,压缩链始终整体返回,因为无论哪些消息可见,最新的检查点都 决定着模型上下文。
重新生成或编辑重发通过消息身份而非计数来指明它的切点。渲染器持有的是一份 有界、去重、经过显示过滤的视图,因此其中的下标并不是转录中的位置;主机会用 自己的转录去解析被指名的消息,并在找不到该边界时拒绝,而不是在猜测的位置上 截断。
6. 性能说明
- 单写入者+WAL:读者永远不会阻塞;设计上没有锁争用。
- 所有时间戳 INTEGER Unix ms — 较小的行、整数比较、索引友好。
- 热门查询及其索引:
- 转录本加载 →
sessions/<id>.jsonl的一次连续读取(无 DB)- 会话列表 →
idx_sessions_updated - 按项目分组 →
idx_sessions_project - badges/cost 汇总 →
idx_turns_session(每个会话的最新回合) - 按会话分类的工件 → PK;全球最近的工件 →
idx_artifacts_time - 运行历史记录 →
idx_task_runs - 审核 forensics/pruning →
idx_audit_session/idx_audit_ts - 通知收件箱 →
idx_notifications_created;未读 filter/count →idx_notifications_unread
- 会话列表 →
- O(1)
seq分配;任何地方都没有MAX()+1扫描。 - 所有语句上的
prepare_cached;批量插入到一个 tx 中(导入, 更换)。 - JSON 列在热路径上盲读(按原样发送到渲染器); 任何过滤或求和的内容都是按规则提升的列。
7. 版本控制、v7 重置和 v8 到 v27 迁移
PRAGMA user_version保留模式权限;未来的结构性变化 再次添加有序的 Rust 迁移 fns,每个都在一个事务中,并带有一个pi.sqlite.v<n>.bak在破坏性步骤之前进行复制。v7 是一个中断重置 (D119),而不是迁移。 使用以下命令打开数据库
user_version1–6 WAL 检查点,将其重命名为pi.sqlite.v6.bak(删除过时的sessions/<id>.jsonl/idx_sessions_updated同级文件),并引导一个新的 v7 文件。 旧文件中的会话、提供程序和设置不会保留; 存档仍保留以供手动恢复。所有 v7 之前的迁移代码 (v1settings.sqlite导入,v2→v6 链)被删除。全新安装直接运行完整的 v27 DDL。
架构 v15 是增量的。 它增加
turn_queue表及其两个索引(D386 / ADR 0213),使 Host 拥有的回合队列在重启后存活;不改动任何已有行,迁移前保留pi.sqlite.v14.bak。架构 v16 是增量的。 它增加会话协作 link 和投递表、生命周期索引,以及可为空的
turn_queue.session_message_id绑定(D409 / ADR 0239)。既有会话、回合、队列条目和 插件数据保持有效。迁移前保留pi.sqlite.v15.bak;启动恢复保留持久排队投递,但不会架构 v17 是增量的。 它增加可为空的
providers.owner_plugin_id归属列及其部分索引 (ADR 0259),从而把插件在contributes.providers中声明的 provider 行与用户创建的行区分开 —— 所有 v17 之前的行保持 NULL 归属。该步骤之前保留pi.sqlite.v16.bak副本。架构 v23 是增量的。 它增加
sessions.title_source,默认值为legacy。已有 v22 标题保留为legacy,防止主动重命名被自动覆盖。迁移前保留 v22 备份。 v15→v16 会话协作步骤现在写入16(它自己的版本)而不是最新的架构常量, 因此 v15 文件可以在一次启动中走完两个步骤。架构 v24 是增量的。 它为隔离会话增加
worktrees登记表和projects.worktree_setup_command(ADR 0329)。迁移前保留 v23 备份。架构 v25 是增量的。 它增加可空的
models.discovery_state。迁移前保留 v24 备份。架构 v26 是增量的。 它标记存储私有的无损工具图片信封(#1868)。这是只写版本的 迁移,保留 v25 备份:让旧版本应用拒绝读取已编码的转录文件,而不修改用户配置或 在启动时改写转录文件。
架构 v27 是增量的。 它增加
sessions.fast_mode(ADR 0334),即会话的/fast开关,所有已有会话默认为0。fork 会复制该值;定时任务运行和委托子会话从0开始。 迁移前保留 v26 备份。架构 v7 首先到达 v8,然后使用受保护的路径。 v7→v8 迁移之后是相同的受保护的 v8→v15 迁移;架构-v9 和 schema-v10 数据库采用相同的受保护路径并接收精确的可读数据 破坏性工作之前的
pi.sqlite.v9.bak/pi.sqlite.v10.bak。v8-to-v11 是就地事务迁移。 在迁移之前, host-core 检查 WAL,然后创建精确的可读文件
pi.sqlite.v8.bak;两者都发生在破坏性工作之前。一个原子内 交易它:- 验证每个
sessions.mode值并将chat映射到plan; - 解析结构化应用程序设置值并映射其顶层
defaultMode: "chat"至"plan"; 3.解析每个定时任务的config_json并映射其顶层存储mode: "chat"到"plan",保持嵌套扩展模式不变; - preserves/migrates 现有
plan_approvals表并添加其 工件和执行 fields/indexes; - 保留转录本、轮次、修订、项目、许可、赠款、 提供商和计划任务历史记录;
- 将所有新模式值验证为
plan | goal | agent;和 - 验证
defaultCommandShell作为已知的当前平台目录 ID, 保留暂时不可用的有效ID以便正常运行 Fallback可以选择第一个可用的shell;和 8.添加plan_approvals.kind(NOT NULL DEFAULT 'plan',对照plan | goal) 当该列不存在时,探测pragma_table_info首先是一个已经从当前 DDL 创建表的 v8 数据库 没有被改变两次;根据定义,现有行是 Plan 合约,其中 正是列默认值;和 - 仅在每次更改成功后才设置
PRAGMA user_version = 11。 格式错误的应用程序设置值、格式错误的计划任务config_json、 会话或顶级计划模式无效、平台未知或错误defaultCommandShell、解析、约束或写入失败关闭失败, 回滚事务,并保留迁移前架构 权威;备份 仍然可以恢复。 旧版planApprovalPermissionMode已从应用设置 JSON 中删除 迁移期间;所有不相关的设置保持不变。
- 验证每个
架构 v14 是新增迁移。 它增加可为空的
sessions.deleted_at、部分 删除索引和session_import_origins。现有会话保持活动状态且没有来源行。 迁移使用同一个受保护事务,并在完整性检查通过前保留 v14 之前的备份。
largePasteThreshold 是应用设置 JSON 中的新增字段,而不是数据库 schema 字段。 主机读取设置时会将缺失、格式错误或超出范围的值规范化为 600,设置写入则验证 1–1,000,000 的整数范围。因此现有数据库会在读取时延迟获得默认值,不需要破坏性 迁移或第二个设置存储。
应用设置 JSON 还可选存储布尔值 showThinking,用于转录中的推理可见性。它是可移植的 应用偏好,会像旧字段一样跨设备同步。缺失值回退到旧版 thinkingDisplayMode 字段 (compact 隐藏,detailed/未知/缺失显示);该旧字段仅为持久化设置兼容性保留, 并作为该回退来源。应用设置 JSON 还可选存储 transcriptDisplayMode (flat | command-first | fully-folded),用于转录中的过程分组:flat 不渲染 嵌套活动组,command-first 将 Bash/run 行作为活动组旁的独立行,fully-folded 让每条命令留在其周围的组内。缺失或未知值在渲染层与主进程设置规范化中都归一化为 fully-folded。它是可移植的应用偏好,只改变展示。已弃用的 keepCommandsExpanded 布尔值仅为持久化设置兼容性保留;它不再在设置中暴露,也不再参与渲染读取。这些新增展示 偏好既不重写已存推理,也不改变数据库 schema。
应用设置 JSON 可能仍包含旧版本写入的提示词增强键。为支持回退和降级,宿主保留这些值, 但不会再把它们作为有效偏好读取或写入。用户安装并授权独立的 pi.prompt-enhancement 插件时,Electron 会将有效旧值一次性复制到插件私有设置中 (见 04-ux/12-prompt-enhancement.md)。迁移标记也位于插件私有数据目录;宿主设置 schema 不变。
- Plan 和 Goal 工件永远不会根据转录内容重建。开 启动, 一笔交易标志着每笔
pending批准和每笔queued或runningplan_approvals中的执行状态为interrupted;关联的 在 RPC 服务开始之前,运行回合标记为aborted。待定 会话仍处于合同模式并且已批准 queued/running 会话仍为 Agent。之前没有批准回复或执行 接受重新启动。 - 转录文件格式在会话中携带自己的
schema字段 标题行;未知的行类型会被跳过,因此文件格式会增加 无需重置。
8. 保留和维护
-audit_log:在启动时修剪超过 90 天(可配置)的行; 之后是 incremental_vacuum。
- task_runs:保留每个任务的最后 100 个(使用相同的引导通道进行修剪)。
- 通知:在每次插入后强制执行最新的 200 个全局上限 引导作为防御性修复;否则,行将在重新启动后继续存在,直到清除, 与会话一起修剪或级联删除。
- 转录文件:用户数据,从未修剪或清除 - 仅删除 他们的会话(删除或计划运行的清理)。孤立文件(会话行 消失,文件存在)被保留,而不是被垃圾收集:该文件是 事实来源和未来的重新索引可以恢复它。
- 日志在文件层轮转(D082);会话永远不会自动删除。
- 附件 GC(稍后):扫描
attachments/中未被任何引用的哈希值 转录文件。
9. 可扩展性手册
| 需要 | 机制 | 迁移? |
|---|---|---|
| 新的消息内容类型(引用、差异、语音) | 转录文件中的新块 type | 不 |
| 新的每个响应元数据 | 消息行中的 meta 键 | 不 |
| 新转录系类型 | 新的 JSONL type(读者跳过未知) | 不 |
| 新的配置域(MCP 服务器、内存) | kv 命名空间 | 不 |
| 新 provider/task 旋钮 | config_json 密钥 | 不 |
| 新模型能力 | capabilities_json 中的值 | 不 |
| 新 queryable/filterable 字段 | 晋升专栏 | 是(附加) |
| 具有关系的新实体(知识库、连接器) | 新表 | 是的 |
经验法则:files/JSON 适用于主机仅存储和发送的有效负载; 主机过滤、连接、求和或索引的任何内容的列。
10. 秘密规则(不变)
1.渲染器从不保守秘密 2. 操作系统 safeStorage 仍是目标主后端;实际交付的是加密文件后端(file_fallback),机器密钥与密文放在一起,设置中必须说明这一风险 3. SQLite 中不存在秘密值;仅 secrets_meta 记账 4. 导出的会话默认排除机密
11. 验收
- 会话和转录本以相同的字节方式重新启动(块、用法、 工具结果) — 内容从
sessions/<id>.jsonl重新加载,没有 UI投影损失 - 5k 消息会话的转录加载是一个连续的文件读取;不 热路径上的消息内容 SQL 3.在运行回合中杀死-9:启动标记回合
aborted,转录 直到最后一个 fsync 消息行都完好无损;撕裂的尾线是 读取时跳过 - 在文件追加和索引提交之间杀死-9:消息仍然呈现 重启后;搜索只会错过它,直到下一次抄本重写为止
- 打开 v7 之前的数据库将其存档为
pi.sqlite.v6.bak并启动 新鲜的 v7 文件;重新打开新文件就是简单的打开 - 计划任务 CRUD + 运行历史记录仅通过主机 RPC 往返
- FTS跨会话查找CJK和ASCII子串;删除会话 删除其索引条目和两个会话文件
- 插件卸载在一条语句中清除
kv(plugin:<id>) - 重置侧边栏首选项不会更改
projects、sessions或 转录本数据;保留的路径和组织选择在正常情况下生存 当首选项可用时渲染器重新启动 - 会话 A 的工具调用会解析 A 的持久项目根,即使在 可见工作区切换到项目 B 11.会话的思维水平在重新启动后仍然存在 12.辅助思维阻止往返,独立于最终答案文本; 派生搜索文本排除思考内容
- 重新生成的助手变体在重新启动后仍然有效
sessions/<id>.revisions.jsonl;实时 root 用户会重新加载revisionCount/activeRevision,寻呼机可以恢复任何存档 分支,并且切换分支永远不会重写修订文件 - 完成和失败的回合自动创建一个持久通知; 重复的终端更新不会重复它,中止的轮次不会创建任何内容, 最新的 200 上限在重启后仍然存在 15.通知list/unread、标记已读、标记所有读、清除和会话 级联删除使用记录的 indexes/transactions 而不进行更改 转动或转录数据
- Schema v7 首先到达 v8,然后使用受保护的 v8→v11 路径。的 v8→v11 迁移是一个带有 WAL 检查点和精确的原子事务 在进行破坏性工作之前可读
pi.sqlite.v8.bak;架构 v9 和 v10 接收pi.sqlite.v9.bak/pi.sqlite.v10.bak。持续会话, 应用程序默认值和预定的chat值映射到plan、sessions/transcripts 和plan_approvals工件/ 执行字段保留,plan_approvals.kind添加到现有行 默认为plan,并且应用程序 settings/scheduled 配置格式错误, 无效的模式或无效的默认 shell 无法通过预迁移关闭 模式完好无损 - SubmitPlan 和 SubmitGoal 将精确的 Markdown 字节写入唯一的
.pi/plan/*.md或.pi/goal/*.md文件 具有 SHA-256 和大小; title/question 保持结构化并重新加载渲染器 仅保留待处理行和原始绝对截止日期 18.全流程重启标志着pending/queued/running审批行中断, 中止关联的回合,不执行重播,将待处理的会话保留在其 合约模式, 保留已批准的中断会话 Agent,并拒绝过时的响应 - 计划的或无人值守的 Plan 或 Goal 运行在 provider/artifact/ 之前失败 使用
PLAN_REQUIRES_INTERACTIVE_SESSION进行队列工作;无背景路径 自动批准任一类型 - 架构 v14 插件导入使用主机生成的会话 id;每个会话一个来源行;以
(pluginId, source, externalId)幂等;除非显式提供宿主创建的projectId,否则不绑定项目或模型;读取和变更按所有权限制,并支持先 trash、后 purge。 - 架构 v16 协作行在重试时保留源/目标 Session ID 和幂等性,将投递绑定到 实际目标回合,持久化转录来源,不创建重复完成回调,执行权限上限和跳数限制, 在重启后保留排队工作但不重放,并在取消时保留目标会话。
当前回合补充指令的转录位置预留
已接收的补充输入通过 Electron 现有消息 outbox 写入,带有 meta.steering: true, 并以 UiMessage.steering 往返传递。即使渲染器重载丢失提交状态,Smart Stop 仍保留 该输入。如果助手仍在流式回复,先加入其临时快照,为回复预留位于新用户行之前的位置。 主机保存临时行和进行中检查点,也保存空预留行,以便崩溃恢复将其落定。 只要索引中的助手仍为 status: streaming,后续流式检查点就仍然有效。
session.appendMessage 对已完成消息保持幂等重放,仅允许同一会话和消息 id 的 终态助手替换索引中的流式助手。更新仅涉及该转录行和搜索文本,保留顺序、所属回合及 其他所有行。迟到的部分快照和重复终态快照不能覆盖已落定结果。恢复时在原位置应用 最新检查点。如果主机调用尚未完成时出现更新的追加快照,outbox 同样保留该快照。 可选 turnId 仅在对应 turn 存在且属于目标会话时保留;缺失或跨会话时记录警告并省略, 不因此拒绝消息。旧版失败追加若已写入 JSONL,重放会更新同 id 行,并按去重后的转录顺序 重建索引,不再追加副本。若 messages.id 已属于另一会话,主机在写 JSONL 前改写为 {sessionId}:{id};重放原始 id 对该改写行无操作。outbox 将 UNIQUE constraint failed: messages.id 当作确认并继续排空(D444)。带 PERMISSION_DENIED: 前缀的永久拒绝同样丢弃该行以便 FIFO 继续; PLUGIN_PERMISSION_DENIED 和其他宿主失败在其重试额度内仍暂停(D597)。无法归类的失败在同 一 Host 代内按有界退避重试(5 秒起、翻倍、上限 60 秒),连续五次失败后写入 session-message-outbox.dead-letter.json(保留载荷、sessionId、隔离时间与宿主错误,最多 保留最新 256 条,超出丢最旧),随后继续排空,因此单个无法归类的队头不会饿死所有会话的 写入(D656);Host 重启属于新代,会立即重试该队头。隔离条目不会自动重放, session.delete 会连同该会话的隔离条目一起删除。1024 条上限在尝试 flush 后仍满时, enqueue 会记录被拒 key/session 并 reject,不会谎报已入队;通用外键错误不会被当作确认。 向已认领的协作投递回合做 steering 是额外的人类输入:必须指向该投递的会话, 不受投递内容/附件契约约束,不继承投递来源,并清掉客户端带来的 session_message。无需存储架构迁移。
Provider display order
kv(ns="app", key="providers.order") stores an ordered array of provider IDs. Host-core owns updates through providers.reorder; missing metadata preserves creation order, new IDs follow saved IDs, and deleted IDs are ignored. This preference does not rewrite provider configuration or require a schema migration.
定时任务日历配置来源
可选的 config_json.calendarConfigured 布尔值独立记录明确的日历配置意图, 不与 Hourly 间隔内部需要的 schedule 对象混用。旧版 Daily/Weekly 行只要保存了 schedule 就推断为日历配置;旧版 Hourly 行保留字段,但转换时需要明确确认日历时间。 已知意图在周期切换和数据库重开后仍然保留。该新增 JSON 字段不需要表或 schema 版本迁移;旧版本会忽略它,也无法执行新的转换保护。
Physical operation usage ledger
Optional operation ID, origin, physical account/model and cost status augment existing message/turn usage. session.recordUsage merges identities into the existing turn usage_json; no schema migration or historical rewrite is needed. Identified records are idempotent across event replay, outbox retries, tool results and parent/subagent rollups. Legacy token-only rows remain readable and additive. An unknown price is distinct from a known zero price; partial known costs remain on the individual operations. Late usage targets its captured turn and does not revive it or debit the currently active turn. Immediate nested parent and owning Task remain separate optional transcript/event fields.
末尾压缩检查点读取(#2163)
有界末尾页包含最后一条消息之后追加的压缩记录,重新打开或重启后立即返回 最新检查点和上下文估算。历史中间页只保留生效的检查点及页内记录,不读取全链。
User-defined mode runs (schema 29)
ADR mode-definitions adds one v28-to-v29 migration. It backs up the existing database before adding mode_snapshots, mode_runs, mode_gate_results and sessions.mode_snapshot_hash. Existing sessions and Plan approvals are retained. Mode ids remain in sessions.mode; chat still normalizes to plan.
A run references an immutable definition snapshot, its current stage, revision, claim, permission origin, budgets, token usage and completed-round count. Gate results record the stage, action, outcome and bounded evidence. At most one open run exists per session. Restart clears in-flight claims and pauses those runs without replaying work. Deleting a session cascades its run records.
Host-started turns evaluate Auto as Accept edits. A run's original snapshot remains authoritative even when its source file changes.
Custom session mode identifiers (schema 32)
v31→v32 迁移先备份,再在事务内移除旧库残留的 sessions.mode 内置模式枚举 CHECK,使升级数据库与新建数据库一样接受经过 Host 校验的自定义模式 ID。 保留实际表的其他字段与约束、会话数据、索引、触发器、视图和引用会话的子记录。 提交前检查外键;成功或回滚后都恢复连接设置。已无该约束的表不重建,重新打开 schema 32 不重复迁移;更早的模式 schema 先沿原迁移链升级。Host 的模式 ID、 快照与权限校验不变。旧程序拒绝 schema 32;回退使用保留的 pi.sqlite.v31.bak,不删除用户数据。