Skip to content

Commit 6a63504

Browse files
committed
feat(traces): enforce checkpoint invariants across each published commit
Bind raw preparation to the explicit old-tip baseline and actual parent chain. Grant a private publication witness only after every requested commit preserves all prior checkpoint bindings, including those newly introduced in the same batch. Both internal publication paths consume the witness and retain the existing authority, CAS and atomic journal. Public HTTP/SSH wiring remains in later plan cards. MTR-101 independent patch v0.42.71. A4: 42 distinct module cases, zero failed or ignored; all selectors, nightly fmt and strict all-target/all-feature Clippy passed. Own local Claude ER05/H0 PASS session b1a73c84-737e-40d4-a71a-80a69833ce76. Review SHA256: 46c9c6cb278344e9042958cdcd7061af4b5ce6f0816939182d28cc27325e5a27 Final C: exact fmt/clippy/full-test/build/build-tests all passed; 21 targets, 3096 passed, zero failed, 3 original ignored, zero filtered. C terminal SHA256: aa29fd11e09e5e2cd1399ce73b3587bd48af9917f1caa05dc40d7419193dedfe Final input manifest SHA256: 9f82a4d8bbcbf16d0f904751018c1f53ccffcb331c1c442dcab4a35e33c3a4d7 A1/A2 failure and STOP history, accepted cost/error P2s remain recorded. Tag, manual Release and applicable remote D remain pending. Signed-off-by: ELi Ma <eli@patch.sh>
1 parent 71d15f8 commit 6a63504

13 files changed

Lines changed: 1481 additions & 129 deletions

File tree

‎Cargo.lock‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "mega2"
3-
version = "0.42.70"
3+
version = "0.42.71"
44
edition = "2024"
55
license = "MIT OR Apache-2.0"
66
description = "Monorepo engine and Git hosting server for AI agents: trunk-based storage, Git Smart HTTP, Git LFS, OCI registry, and Agent Session Capture"

‎docs/plan/README.md‎

Lines changed: 24 additions & 1 deletion
Large diffs are not rendered by default.

‎docs/plan/plan-20261015.md‎

Lines changed: 134 additions & 17 deletions
Large diffs are not rendered by default.

‎docs/plan/plan-long.md‎

Lines changed: 22 additions & 2 deletions
Large diffs are not rendered by default.

‎docs/plan/plan-status.md‎

Lines changed: 22 additions & 2 deletions
Large diffs are not rendered by default.

‎docs/refactoring/protocol.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
> **MTR101 A4验收与最终源码审查前沿(2026-10-25T00:34:41.026023+00:00):** MTR101 A4实际PASS:fmt/严格Clippy、selector6/4/1及四完整模块7/9/16/10全通过,42唯一用例、0failed/0ignored;212.117/900秒,root后检确认输入/工具/104个DB名称与owner不变、无新孤儿、未手工清理。新覆盖已兑现,最终候选自身Claude ER05 R2待;0.42.70不变,未bump/提交/push/C-D。Libra PR635已推但CI缺fontconfig未闭合,未合并/tag/Release;资格02/03与H1前驱不变。 原A1/A2 FAIL/STOP、A3/R1限定输入PASS保留;正式Mega15/112、Libra0/26、联合15/138、外部0/3不变。
2+
3+
> **MTR101 覆盖方案采纳与实现候选(2026-10-25 00:20:32 UTC):** 本地Claude ER03/H0实际PASS,无P0/P1;仅两现有cfg(test)模块补齐候选,生产字节不变。新增storage第二页缺失/异tree拒绝及全匹配正对照,保留At并补Absent/首发无副作用、原checkpoint同一行的真实增量发布,原断言与空tree stale-binding覆盖保持。A4预期42例、一次900秒执行准入待,尚未编译/测试;自己的新ER05与C/D仍待。A3/R1 PASS和旧FAIL/STOP均保留;Libra PR635 CI缺件未闭合,正式计数不变。
4+
5+
> **MTR101 自身审查与覆盖补齐候选(2026-10-25 00:12:22 UTC):** MTR101当前源码自身Claude ER05/H0已PASS、A3实际41例通过;root决定在C前关闭P2-1/2覆盖缺口与P2-6正文滞后。仅两个现有cfg(test)模块拟补断言/一个case,生产源码不改;A4一次900秒方案待ER03/H0审查,尚未实施/claim。0.42.70不变,未提交/push/C-D。Libra PR635 clippy缺fontconfig失败,未合并/tag/Release;其余资格和H1前驱不变。 原A3 PASS、A1/A2 FAIL/STOP及预算全部保留;正式15/112、0/26、联合15/138、外部0/3不变。
6+
7+
> **MTR101 实际A3与自身代码审查前沿(2026-10-24 23:59:09 UTC):** 2026-10-24 23:59:09 UTC:MTR101 A3实际PASS,完整模块7/9/15/10共41例、0fail/0ignore;fmt/严格Clippy通过,32.954/900秒。root核输入/工具/DB/进程无漂移或残留,原A1/A2 FAIL/STOP不改;源码及A/B完成候选,自己的本地Claude代码ER05待,未bump/提交/push/C-D。Libra FIX-LTR01已signed2852497推功能分支PR635,远端clippy缺fontconfig.pc失败,未合并/tag/Release;资格02/03与H1仍待。 正式Mega15/112、Libra0/26、联合15/138、外部0/3不变;以下旧时点均为历史。
8+
9+
> **当前恢复与跨仓前沿(2026-10-24 23:51:00 UTC):** 2026-10-24 23:51:00 UTC:MTR101 A2实际FAIL/STOP;三组selector6/3/1已PASS,外部阶段名校验在首个完整模块Cargo启动前失败,四完整模块均未执行。A3恢复候选一次900秒、ER03/H0/执行准入待本地Claude;源码不变,8AC/4VER未勾。Libra FIX-LTR-01本地C受限接受、自己的Claude PASS,signed/DCO提交2852497已推功能分支并建PR635;远端clippy缺fontconfig.pc失败,未合并/tag/Release。 原A1/A2预算与FAIL/STOP全部保留;旧时点为历史。正式Mega15/112、Libra0/26、联合15/138、外部0/3不变。
10+
11+
> **MTR101 A2准入修订(2026-10-24 22:10:09 UTC):** R1实际EXECUTION FAIL/H0 PASS;执行器串行前置P1已修成R2候选,待本地Claude复审,尚未claim/测试。原A1 FAIL/STOP、源码恢复ER03/H0 PASS与一行夹具修复保留。Libra FIX-LTR-01已bump0.30.87并运行独立C,尚未提交/推送/发布;不与A2并跑测试。下方旧时点保留。
12+
13+
> **MTR101恢复方案实际通过(2026-10-24 22:01:36 UTC):** 本地Claude ER03/H0 PASS,P0/P1无;root采纳受审的一行cfg(test)键隔离修复,8AC/4VER未勾,in-progress/空。A1 FAIL/STOP保留;A2一次1800秒最终执行准入待,尚未运行。原功能链/计数与C/D边界不变;下方候选及旧状态为历史。
14+
15+
> **MTR101恢复候选与Libra并行前沿(2026-10-24 21:56:54 UTC):** 2026-10-24 21:56:54 UTC:MTR101 A1实际FAIL/STOP,chain6/6、publication0/3,resources及四完整模块未运行;原8AC/4VER未勾。仅测试fixture冪等键隔离的ER03/H0恢复候选待本地Claude,A2一次1800秒未准入/未执行,旧A1不重置。FIX-LTR-01源码/A/自身Claude ER05已PASS,C准入待、无提交/push/发布;外部0/3。FIX11已done/complete;Mega15/112、Libra0/26、联合15/138。 当前功能链仍101→99→11→40→13→39→92→12/H1→LTR10→11→12→LTR01;LTR10仍需H0/H1/WRITERS/LIVE及DEP-TR-QUAL-REPAIRS,原merge签名政策未关闭。以下旧时点事实保留。
16+
117
> **FIX10代码审查R1事实与文档订正(2026-10-24,最终输入R2待):** 本地Claude session `235da2d1-f225-4c03-a85c-e84971911a44`,exit0,ER05/H0/最终VERDICT均PASS,无P0/P1;输出SHA256 `a5380d528ff218fe57c31644581059fd5ad0c172611ad65ce5426610ba1ede2a`。root选择在发布前关闭P2-A~C:订正陈旧RED/GREEN待执行文字,恢复误插FIX10的历史快照原文并保留当前依赖边,对齐Granularity写集措辞;上述变更另行R2审查,源码及A1输入不变,不冒用R1覆盖改后文档。root具名接受P2-D:头长度解析允许前导+但最终原解析器拒绝,至多回原EOF路径;P2-E:缺权限由未改exec入口先拒绝,现有完整SSH进程目标在最终C实跑,早处理不绕过此入口。无新scope/waiver。C/版本/提交/推送/D均未执行。
218
319
> **FIX10本地A/B结果(2026-10-24,代码ER05待):** 独立clone单生产文件SSH修复候选完成;旧源handler RED1PASS/4FAIL、真实Docker Git RED0PASS/2FAIL(原90秒期限)已保存。相同新测试GREEN5/5、真实Git2/2、完整SSH模块34/34,0failed/0ignored;nightly fmt、strict all-targets/all-features clippy、release build均exit0。原19项HTTP/SSH/PUSH/LFS smoke 19PASS/0FAIL/0skip,HTTP OpenAPI200/3.1.0/96paths、SSH就绪实测;自有服务exit0、DB/Redis键/容器/目录均清理,无source/runner漂移。A1 terminal SHA256 `bdfd4f90cb34791337ab0dbb84d9eaeae9c70c19db6fa050b304f2ec97b6f330`,原件`/tmp/fix-mtr10-A1-20261024/`;smoke log SHA256 `addaaa247a9809959889bd54deb08267e79c48c195f0e0372afd5a166624a59b`,原件`/tmp/fix-mtr10-entry-20261024/`。原始A/B不替代最终C:本卡尚无代码ER05、版本bump、签名提交、推送、tag/Release或D。原FIX07候选仍冻结/blocked,未随本卡发布。两仓当前完成数仍11/0/11,Libra不push。
@@ -978,6 +994,10 @@ pkt-line。错误字段与完整应答表见 [错误文档](../errors.md#megaerr
978994

979995
**2026-10-24(MTR-98 自身Claude审查、v0.42.69完整C/D已核)**:内部发布事实由受控 PACK 与本 stream 已发布 raw 闭包推导,原始字节、取消、schema 归档及可见性边界见 [Traces 唯一协议源](./traces.md)。封闭事实桥尚未接入 HTTP/SSH;逐提交 checkpoint 历史资格仍待 MTR-101,不能据此放行 wire 发布。
980996

997+
**2026-10-25(MTR-101内部实现)**:逐提交历史校验及受控发布入口已完成真实A4 42例,P2覆盖与正文缺口已补齐;最终候选自身Claude ER05 R2及C/D待,尚未发布。原A3与ER05 R1按旧输入保留。显式基线、私有witness、错误分类与成本见[Traces唯一协议源](./traces.md#3-原始对象存储接收与恢复)。HTTP/SSH公开接线仍由后继任务交付。
998+
999+
> 原候选历史原文:**2026-10-25(MTR-101 未验收候选)**:逐提交历史校验与受控发布入口已在工作区接线,实际边界与待验收状态见 [Traces 唯一协议源](./traces.md)。当前尚无本卡 A、代码审查或 C/D 通过结论;HTTP/SSH 接线仍由后继任务交付。
1000+
9811001
<a id="ssh-dependency-security"></a>
9821002

9831003
### SSH 依赖安全基线(FIX-MTR-11)

‎docs/refactoring/traces.md‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,23 @@
1+
> **MTR101 A4验收与最终源码审查前沿(2026-10-25T00:34:41.026023+00:00):** MTR101 A4实际PASS:fmt/严格Clippy、selector6/4/1及四完整模块7/9/16/10全通过,42唯一用例、0failed/0ignored;212.117/900秒,root后检确认输入/工具/104个DB名称与owner不变、无新孤儿、未手工清理。新覆盖已兑现,最终候选自身Claude ER05 R2待;0.42.70不变,未bump/提交/push/C-D。Libra PR635已推但CI缺fontconfig未闭合,未合并/tag/Release;资格02/03与H1前驱不变。 原A1/A2 FAIL/STOP、A3/R1限定输入PASS保留;正式Mega15/112、Libra0/26、联合15/138、外部0/3不变。
2+
3+
> **MTR101 覆盖方案采纳与实现候选(2026-10-25 00:20:32 UTC):** 本地Claude ER03/H0实际PASS,无P0/P1;仅两现有cfg(test)模块补齐候选,生产字节不变。新增storage第二页缺失/异tree拒绝及全匹配正对照,保留At并补Absent/首发无副作用、原checkpoint同一行的真实增量发布,原断言与空tree stale-binding覆盖保持。A4预期42例、一次900秒执行准入待,尚未编译/测试;自己的新ER05与C/D仍待。A3/R1 PASS和旧FAIL/STOP均保留;Libra PR635 CI缺件未闭合,正式计数不变。
4+
5+
> **MTR101 自身审查与覆盖补齐候选(2026-10-25 00:12:22 UTC):** MTR101当前源码自身Claude ER05/H0已PASS、A3实际41例通过;root决定在C前关闭P2-1/2覆盖缺口与P2-6正文滞后。仅两个现有cfg(test)模块拟补断言/一个case,生产源码不改;A4一次900秒方案待ER03/H0审查,尚未实施/claim。0.42.70不变,未提交/push/C-D。Libra PR635 clippy缺fontconfig失败,未合并/tag/Release;其余资格和H1前驱不变。 原A3 PASS、A1/A2 FAIL/STOP及预算全部保留;正式15/112、0/26、联合15/138、外部0/3不变。
6+
7+
> **MTR101 实际A3与自身代码审查前沿(2026-10-24 23:59:09 UTC):** 2026-10-24 23:59:09 UTC:MTR101 A3实际PASS,完整模块7/9/15/10共41例、0fail/0ignore;fmt/严格Clippy通过,32.954/900秒。root核输入/工具/DB/进程无漂移或残留,原A1/A2 FAIL/STOP不改;源码及A/B完成候选,自己的本地Claude代码ER05待,未bump/提交/push/C-D。Libra FIX-LTR01已signed2852497推功能分支PR635,远端clippy缺fontconfig.pc失败,未合并/tag/Release;资格02/03与H1仍待。 正式Mega15/112、Libra0/26、联合15/138、外部0/3不变;以下旧时点均为历史。
8+
9+
> **当前恢复与跨仓前沿(2026-10-24 23:51:00 UTC):** 2026-10-24 23:51:00 UTC:MTR101 A2实际FAIL/STOP;三组selector6/3/1已PASS,外部阶段名校验在首个完整模块Cargo启动前失败,四完整模块均未执行。A3恢复候选一次900秒、ER03/H0/执行准入待本地Claude;源码不变,8AC/4VER未勾。Libra FIX-LTR-01本地C受限接受、自己的Claude PASS,signed/DCO提交2852497已推功能分支并建PR635;远端clippy缺fontconfig.pc失败,未合并/tag/Release。 原A1/A2预算与FAIL/STOP全部保留;旧时点为历史。正式Mega15/112、Libra0/26、联合15/138、外部0/3不变。
10+
11+
> **MTR101 A2准入修订(2026-10-24 22:10:09 UTC):** R1实际EXECUTION FAIL/H0 PASS;执行器串行前置P1已修成R2候选,待本地Claude复审,尚未claim/测试。原A1 FAIL/STOP、源码恢复ER03/H0 PASS与一行夹具修复保留。Libra FIX-LTR-01已bump0.30.87并运行独立C,尚未提交/推送/发布;不与A2并跑测试。下方旧时点保留。
12+
13+
> **MTR101恢复方案实际通过(2026-10-24 22:01:36 UTC):** 本地Claude ER03/H0 PASS,P0/P1无;root采纳受审的一行cfg(test)键隔离修复,8AC/4VER未勾,in-progress/空。A1 FAIL/STOP保留;A2一次1800秒最终执行准入待,尚未运行。原功能链/计数与C/D边界不变;下方候选及旧状态为历史。
14+
15+
> **MTR101恢复候选与Libra并行前沿(2026-10-24 21:56:54 UTC):** 2026-10-24 21:56:54 UTC:MTR101 A1实际FAIL/STOP,chain6/6、publication0/3,resources及四完整模块未运行;原8AC/4VER未勾。仅测试fixture冪等键隔离的ER03/H0恢复候选待本地Claude,A2一次1800秒未准入/未执行,旧A1不重置。FIX-LTR-01源码/A/自身Claude ER05已PASS,C准入待、无提交/push/发布;外部0/3。FIX11已done/complete;Mega15/112、Libra0/26、联合15/138。 当前功能链仍101→99→11→40→13→39→92→12/H1→LTR10→11→12→LTR01;LTR10仍需H0/H1/WRITERS/LIVE及DEP-TR-QUAL-REPAIRS,原merge签名政策未关闭。以下旧时点事实保留。
16+
17+
> **MTR101 实施候选与 Libra 并行验收(2026-10-24T20:47:02.168654+00:00):** FIX11两个告警已实际fixed且C/D闭合;MTR101按已PASS的R2五生产文件写集开始实施:raw事实绑定原请求old-tip与真实新增链,新增私有历史witness,service/storage只接收witness,storage原事务算法不变。已写真实raw链、完整关系快照、原请求稀疏重试、新键no-op、旧tip竞态、跨页取消/Drop测试候选;尚未编译、A/自身ER05/C/D均未执行,不能据此放行HTTP/SSH。仅编辑期nightly rustfmt已应用,不是fmt验收。Mega A保留一次1800秒且尚未claim,测试/发布与当前Libra A串行。Libra独立clone FIX-LTR-01本地Claude执行准入PASS,当前fmt/clippy exit0、精确1/1与完整target54/54通过,全量列举仍运行;其A总判定、自己的代码ER05/C/D未完成。原治理签名本地提交Mega71d15f84、Libra660d7d2e已核且未push;当前新增事实由既定后续卡覆盖。Mega15/112、Libra0/26、外部修复0/3不变,原失败/STOP及旧证据缺口保留。**
18+
19+
> **FIX-MTR-11实际收口(2026-10-24 20:22:25 UTC):Dependabot23/24已由GitHub实际标fixed,fixed_at分别2026-10-24T20:16:51Z/20:16:52Z,均非dismissed;main与v0.42.70解引用均932731d9b7f274638d2fb1bfa10d571207a54a39,人工Release已发布,main Harbor40112708799及tag Docker40112738161三job全部success。自己的Claude R3 ER05/H0 PASS、21 targets/3085 PASS/0 FAIL/3原ignored的五门C与signed/DCO均已核,现done/complete;RED1 FAIL/STOP与原P2不改。原件D-alerts-fixed-terminal-20261025 SHA256 2585fecfeacde5f37a6bae1eed701898e20f8254e11d704cc08e017129a0e7f9。Mega15/112(活动15/111)、Libra0/26(活动0/25)、联合15/138(活动15/136);外部恢复0/3。恢复方案R4及治理自身R5真实本地Claude均PASS。安全前置已解除;下一步优先在独立Libra clone核入场并实施FIX-LTR-01,MTR101亦仅解除本安全前置,不跳过各卡独立门。原Libra merge签名政策、H1/LTR10及LTR01仍未完成。**
20+
121
> **2026-10-24 20:15:32 UTC 治理采纳与自身审查实际收据:** 九份文档已按受审hash采纳;真实本地Claude R5 `DOCS_ER05_VERDICT / ER03_VERDICT / H0_SYNC_VERDICT / VERDICT: PASS`,P0/P1=0,session `e72fd9de-c479-457d-9eff-71ea07a7b49d`,审查输出SHA256 `cd632543ed9722003ebdda14f6e6f32512eb84f7b8e63e0940ce13a96291d4b7`,manifest SHA256 `096eae5326d3714271eaa2c4c3ba59dfa1f7c1156b6aa3d48d8bdf5c7f0fa78a`。本行是审查之后的事实收据,不声称审查器读过其自身后产出的输出。root接受非阻断P2:例行维护收据/预算约束以下方具名表为准,执行前并入对应条款并实审;历史横幅保留,本文首收据为当前时点;终态执行器仍须生成/冻结/实审。缓存复制实际exit0,31147文件(deps11178/build4563/fingerprint15406)、19035122524字节,root已核排除第一方/测试可执行文件及硬链接;这只完成源准备,不是验收。两仓精确signed本地提交待,尚未push;原治理由既定MTR01/LTR01承载。三张修复仍pending、0/3;原14/138不变;FIX11两告警实际fixed及逐卡入场条件未满足前不实施,不复用任何旧FAIL/STOP窗口。
222

323
> **2026-10-24 20:09:49 UTC 恢复计划实审收据:** 本地Claude R4 ER03/H0/VERDICT均PASS(session67756716-0e46-4d90-bf70-fd23dff6b918,输出SHA256 48f93079f925f4129fa9523b78a5cf2bae123e9aa4fab890be11b9b15dd793a2),P0/P1=0;R1~R3 FAIL保留。当前仅计划准入,P2时间/日志已校正,最终治理自身ER05待审;源码/验收/提交/发布未执行,FIX11两告警实际fixed前不放行新卡。原14/138与外部0/3不变。
@@ -134,6 +154,8 @@ MTR-94 的源码实现在 HTTP Router 外层增加禁用守卫:`[traces].enabl
134154

135155
## 3. 原始对象存储、接收与恢复
136156

157+
**MTR-101 当前内部实现边界(2026-10-25,A4 42例实际PASS;最终代码ER05 R2与C/D待):** raw prepare只从真实new-tip parent链取得顺序;请求必须显式使用Absent或At,At基线取自请求old-tip的raw tree,不能悄悄重读新tip。Unspecified仅供raw事实诊断,不能取得私有CheckpointValidatedPublication。历史验证逐commit保留已有和本批先前新增checkpoint的original_tree,不允许中间改删后恢复绕过;service现有stream和first-scope的正式发布入口均要求此witness,原DB权限/old-tip CAS/单事务保持。非法At或历史完整性拒绝当前返回ObjectIntegrity,wire公开错误映射由MTR11消费。算法复用原97的continuation/取消/时钟,仍有完整闭包扫描、每个不同tree的role读取及逐binding同步文件I/O成本,不承诺新的端到端时间/RSS上限。HTTP/SSH公开接线尚未完成;旧历史数据不重写。P2覆盖增补与正式发布状态见[MTR-101任务卡](../plan/plan-20261015.md#task-mtr-101-新增commit逐步checkpoint历史保护)。
158+
137159
原始 Git payload 是证据事实源。commit/tree/blob/tag 均保留原始 bytes,OID 根据 Git kind/length/payload 重新校验;不能用现有 commit/tree ORM 模型重序列化替代原始 bytes。SHA-1/SHA-256 的协商、长度与包头必须一致,禁止跨 hash domain fallback。
138160

139161
```text

0 commit comments

Comments
 (0)