[map] Evidence Kernel 北极星 + PS1 巨石退役战役

[2233admin]

北极星:Evidence Kernel

这个工具的长期定位不是「又一个代码扫描器」,而是 agentic 工程的证据内核——模型后训练解决不了、且模型越强需求越大的那一层。

为什么模型解决不了(产品论点,四条硬边界)

1. 确定性与重放:同输入必同裁决、可 diff、可回归。采样式模型原理上给不了;更强的模型只是更常对,不是可证明地对。
2. Attestation 是密码学问题,不是认知问题:发现项绑 snapshot identity + digest 链(in-toto/SLSA 范式)。模型无法为自己的断言出示可验证出处——这仓自己的 ai-safety-002(agent 自报 coverage 解锁满分)就是活证据。
3. 全库全史 fact ≠ context window:attention 是有损检索,不是数据库。跨仓不变量、历史 churn、依赖环,要的是可查询的事实存储。
4. Gate 的对抗鲁棒性:发布闸门不能被 prompt injection 说服。裁决权必须在确定性层,模型只当可选陪审(sealed / cached / attributable)。

验证不对称是根逻辑:生成代码变便宜了,验证没有。RLVR 时代 verifier 是训练燃料——模型越强,可验证信号越稀缺。这个工具站在需求上升侧;它甚至可以反过来给 agent 行为当 reward oracle(#14 v0.6.0 session intelligence 正好骑同一根 spine:agent trace 也是 fact)。

目标架构:三平面 + 一根 provenance spine

平面	职责	现状锚点
fact plane	typed facts,content-addressed,增量	ast-grep 已内化(#42)、sentrux-native、toolchainDigests
policy plane	声明式 fail-closed gate	rules.toml + sentrux_gate + audit validate
judgment plane	sealed 可选 LLM 判断	model_channels + audit 科室(#31/#32 已加固)

provenance spine 贯穿三层:每个产物都是 attestation(subject digest + materials + builder),release 侧 attest-build-provenance 已开头(PR #43),向管线内每一步延伸。

为什么 PS1 巨石是第一战

• 债址集中:max_cc 162 元凶是 PS 测试文件,29 god files 大头在 PS 层;rules.toml 的 ratchet 注释亲口承认门槛是被这层债压低的(原始意图 B/70/0)
• 自己的审计读不全自己:[self-audit] security department findings against this repository #33/[self-audit] ai-safety department findings against this repository #34 coverage 段承认 205KB/114KB 只能 pattern 扫——审计工具的最大不可信面是它自己的遗留层
• churn 100 分位 = 下一个真 bug 最可能藏的地方
• 锁死 mac/linux 一等公民(roadmap: enforce self-dogfood release gates and add session intelligence #14 v0.7.0 native 包的前提)
• AGENTS.md 已定方向(Rust-first、PS 仅薄壳、逐入口退役),本战役只是把方向变成可验收的票

子票

• [ps1-exit] T1 契约冻结:巨石行为盘点 + golden parity harness #46 T1 契约冻结:巨石行为盘点 + golden parity harness
• [ps1-exit] T2 launcher 收编:run-code-intel.ps1 → code-intel run + thin forwarder #47 T2 launcher 收编 → thin forwarder
• [ps1-exit] T3 doctor 收编:工具/运行时体检面进 Rust doctor envelope #48 T3 doctor 收编
• [ps1-exit] T4 模型通道执行体 Rust 化(sealed judgment plane 地基) #49 T4 模型通道执行体 Rust 化
• [ps1-exit] T5 拆解 Invoke-SentruxAgentTool.ps1(114KB wrapper) #50 T5 拆解 Invoke-SentruxAgentTool.ps1
• [evidence-kernel] T6 fact plane v1:content-addressed 增量自扫(action cache) #51 T6 fact plane v1:content-addressed 增量自扫
• [ps1-exit] T7 测试资产迁移分流(顺手解 max_cc=162 公案) #52 T7 测试资产迁移分流
• [ps1-exit] T8 退役闸门 + ratchet 自动收紧 + mac/linux 全管线自扫 #53 T8 退役闸门 + ratchet 自动收紧 + 跨平台全管线自扫
• [evidence-kernel] T9 agent-native 查询面:code-intel serve --mcp(只读) #54 T9 agent-native 查询面(MCP,只读)

顺序

T1 先行,阻塞一切。T2 次之(launcher 是统一挂点)。T3/T4/T5 可并行。T6 在 T2 后独立推进。T7 等 T2-T5 大头。T8 收口。T9 二期(依赖 T6),不阻塞主线。frontier = T1(#46)。

顶层验收(战役 done 口径)

• run-code-intel.ps1 与 Invoke-SentruxAgentTool.ps1 删除或 ≤50 行 shim
• rules.toml 至少收紧两档,向 B/70/0 逼近,manifest 证据支撑
• ubuntu/macos runner 全管线自扫 green
• 无变更 warm 自扫 wall-clock ≥60% 降幅
• 全程每个 PR:contract parity green,自扫 green,禁止靠放松 baseline 换绿

不做

• 不 big-bang 删 PS1(AGENTS.md 铁律,逐入口退役)
• MoonBit 不进生产路径
• 不引常驻 daemon、不引新生产依赖(除非量化证明 Rust/现有栈做不到)
• fact plane v2(datalog 引擎、跨机分布式缓存)不在本战役
• v0.6.0 session trace / v0.7.0 viewer 不并入本战役(另走 roadmap: enforce self-dogfood release gates and add session intelligence #14)

关联

• roadmap: enforce self-dogfood release gates and add session intelligence #14(roadmap;其 v0.5.1 切片已核实基本落地,见票内 2026-07-27 状态 comment)
• [self-audit] security department findings against this repository #33 / [self-audit] ai-safety department findings against this repository #34 / [self-audit] supply-chain department findings against this repository #35(自审计发现;修复走 PR fix(ci): harden workflow supply-chain and injection surface #43/fix(ai-safety): prompt injection boundary, hardened model delegate, audit regression fixtures #44/fix(audit): ai-safety-003 validate wiring; verify v0.5.1 self-dogfood slice holds #45 及在途 PR-C)
• feat: internalize ast-grep with a pinned CI installation #42(ast-grep 内化,fact plane 的先手棋)

[2233admin]

战役推进单位调整：新开 #78 [ps1-exit] CI 去 PS1。

原因：legacy/ 改名（#77）后，CI 与 release 仍执行 45 个 PS1 调用点。这些调用点是 run-code-intel.ps1 / Invoke-SentruxAgentTool.ps1 的消费者，不归零就删不掉巨石——真实依赖链与票序相反（T7 名义最后，实际卡死 T2/T3/T5 出口）。

#78 不改本战役票序，改推进单位：从「按模块 port」改成「按 CI 调用点切换」，每 PR 切 1–3 个，parity harness 当闸门。#78 归零即同时满足 #47 / #48 / #50 的出口条件，并吸收 #52 的实质工作。

frontier 从 #47 移到 #78。