不变量索引
wesgine 不变量（INV-*）按子系统分组的速查表。违反不变量 = 架构 Bug。
数据韧性（INV-RESIL）
| 编号 | 描述 | 定义 |
|---|
| RESIL-01 | Cell Boot 永远成功，无论何种数据损坏 | data-model.md |
| RESIL-02 | Runtime().Run() 永远可用，降级不影响新请求 | data-model.md |
| RESIL-03 | 单 Layer 损坏不扩散到其他 Layer | data-model.md |
| RESIL-04 | 进程排他锁，同一 Cell 同时只有一个写入者 | data-model.md |
| RESIL-05 | 快照验证，损坏快照丢弃 | data-model.md |
| RESIL-06 | Journal 只追加，无 seek/truncate | data-model.md |
| RESIL-07 | 损坏文件归档到 corrupt/ 供诊断 | data-model.md |
| RESIL-08 | mmap 禁用（PRAGMA mmap_size=0） | data-model.md |
| RESIL-09 | VACUUM 禁止自动 | data-model.md |
| RESIL-10 | 迁移全幂等 | data-model.md |
记忆（INV-MEM）
| 编号 | 描述 | 定义 |
|---|
| MEM-24 | 写入前威胁模式扫描（凭据泄漏 + invisible unicode） | memory.md §九 |
| MEM-25 | 写入后可召回性诊断 | memory.md §九 |
| MEM-26 | GC 使用 recall-frequency weighted 淘汰 | memory.md §九 |
| MEM-27 | WritePolicy 门控（silent/logged/gated） | memory.md §九 |
| MEM-38~47 | Actor 边界收敛（读 ActorVisible / 写 RequireActor） | memory.md §九 |
| MEM-48~49 | actor 提列 + 层判定单点 LayerOf | memory.md §九 |
| MEM-50 | 自动注入面判据成对（RecallQualityOK） | memory.md §九 |
| MEM-51 | accessed_at 下界是 created_at | memory.md §九 |
| MEM-52 | 计数按层按人（CountByLayer） | memory.md §九 |
| MEM-53 | 写、清、取单条都按层 | memory.md §九 |
| MEM-54 | 耐久性是 Kind 的属性，会话是一等列 | memory.md §九 |
会话（INV-SESS）
| 编号 | 描述 | 定义 |
|---|
| SESS-01 | 会话变更 scope 是 cell:chat 不是 cell:read | actor.md |
| SESS-02 | 归属单点 AssertActor，门开在路由漏斗 | actor.md |
| SESS-03 | checkpoint/branch 行身份 (session_id, id) | actor.md |
观测（INV-OBS）
| 编号 | 描述 | 定义 |
|---|
| OBS-08 | 观测面 Actor 边界（SQL + 内存环 + 事件环） | observability.md §九 |
| OBS-09 | 证据链 / 审计抬到 admin，不按 actor 过滤 | observability.md §九 |
| OBS-10 | RunEventBuffer 记 owner，无主 Run 隐藏 | observability.md §九 |
Run 与终止（INV-RUN / INV-TERM）
| 编号 | 描述 | 定义 |
|---|
| RUN-DETACH | Run 生命周期与 SSE 连接解耦 | anti-patterns.md |
| TERM-04 | 每个 return 路径必须发终端事件 | run-limits.md |
| MODEL-01 | Model 为空时拒绝执行 | invariant-registry.md |
| MODEL-02 | 所有可用模型对用户可见 | invariant-registry.md |
文件 I/O（INV-IO）
| 编号 | 描述 | 定义 |
|---|
| IO-01 | ArtifactDir 由引擎推算 | file-io.md |
| IO-02 | 输出必须落入 ArtifactDir 或 HostPaths | file-io.md |
| IO-03 | exec CWD 优先级链 | file-io.md |
| IO-05 | Workspace Handle 与 Memory 对等 | file-io.md |
持久化（INV-PERSIST）
| 编号 | 描述 | 定义 |
|---|
| PERSIST-01 | 写入 DB 前 stripInlineImages | invariant-registry.md |
| PERSIST-02 | 空 assistant 消息不写入 | invariant-registry.md |
| PERSIST-07 | 打不开的密文不得被覆盖 | invariant-registry.md |
其他
| 编号 | 描述 | 定义 |
|---|
| CRON-10 | Cron 执行身份边界 | cron.md §十六 |
| EXEC-PROC-01 | 一个原语生成子进程（proc.Command） | invariant-registry.md |
| LINE-01 | 行长上限有名字且高于生产者上界 | invariant-registry.md |
| JSON-01 | llmjson 改写位置安全 | invariant-registry.md |
| ENV-01/02/03 | 主机感知进程级共享 | invariant-registry.md |
| QUOTA-05 | 外设配额判据在唯一增长点 | governance.md |
相关文档
- 反模式清单 →
anti-patterns.md
- 数据韧性 →
data-model.md
- Memory 不变量 →
memory.md