What "undo" actually means when the target is a real repo, not a fixture

说明与用途

演示 gx 工具能够在真实的 left‑pad 仓库上执行四阶段流程（break、prove、restore、verify），恢复到原始状态，并在 30 秒内完成。

问题

Validate that the gx tool can perform a four‑stage walk (break, prove, restore, verify) on a real public git repository within a 30‑second budget, ensuring the change and undo are correctly recorded and verified.

结果

All three runs succeeded: git four‑stage time 2.454–2.662s, fs four‑stage 2.321–2.441s, total incl. clone 5.706–6.057s, all under the 30‑second budget.

工作流

• Clone left‑pad at commit 2fca615
• Run gx four‑stage walk on git substrate: break (commit), prove, restore (undo), verify
• Run gx four‑stage walk on fs substrate: break (file rewrite), prove, restore (undo), verify
• Record timings and receipts for each stage
• Verify that all stages succeed and total time <30s

证据

T_git_four_stages=2.662 ... T_fs_four_stages=2.441 ... T_total_incl_clone=6.057 FAILURES=0 P4_RESULT=PASS

来源

Worst single observation across all three runs was 6.057 seconds against a 30-second budget

来源

We ran the checks that matter for the claim above and stopped there. Here's what's still open

来源