Skip to content

docs(runtime): republish the runtime coordinate for #537 O0 - #627

Merged
raylei50653 merged 1 commit into
fix/537-o0from
chore/537-o0-runtime-identity
Oct 23, 2026
Merged

raylei50653 merged 1 commit into
fix/537-o0from
chore/537-o0-runtime-identity

Conversation

@raylei50653

Copy link
Copy Markdown
Owner

#537 O0:runtime coordinate 重新發佈(stacked,base = fix/537-o0)

依 republication runbook §3.2 的 stacked 形式:審完後 merge 進 #626 的分支,再由 #626 原子落地。

座標變化

在 #626 實作 head 4f3f4b30 的乾淨 tree 上 fresh capture(--run-probe --require-complete,resctl gpu0):

軸 outgoing → candidate
implementation 46d37ec50b215f21 → ab1bc4ea82d70131(317 → 317 個檔案,只有 src/saccade/resource/resource_manager.py 改變)
decision_surface/environment/identity_semantics/runtime_inputs 重算後相同
probe 重跑,沒有沿用;digest 2dabed0b… 相同。probe 相同不代表等價,equivalence=unproven
  • diff 只有 canonical 與一個 append-only archive(runtime_identity.2026-10-23.46d37ec50b215f21.json,與 origin/main 的 canonical byte-identical)。
  • --mode attested exit 0。
  • 在第一版 9e17133e 做的 capture,因 review 改了 resource_manager.py 而作廢,沒有出版(保留在證據目錄 superseded_9e17133e/)。

驗證

  • pre_push @ 本 PR head 9aca96f7:6058 passed、0 failed,runtime identity ✓,All checks passed。
  • Codex r3 @ 9aca96f7:READY-TO-MERGE,沒有 findings(檢查 diff 範圍、archive byte-identical、只動 implementation 軸、witness、attested exit 0)。

本機證據(repo 外)

~/.local/state/saccade/evidence/537-o0/20261023T194743/

9598fabddbf95dd6e1e0c9ae364e2c59bc520503e35bcf3094c8f7b9956a9cca  runtime_identity.candidate.json
b68a002e59154b35057fd39147391d8f3d99975770dd18c723cc3aef9e9843b5  capture.log
71b00ea0a5e9dc099db5fdea68bf20bd5576c4eba4befabecb829b9f4db1b822  axis_delta.txt
eb23ef762e7cf278f977ea86c82d1ef780619f9bef84c487038db13e348a63d2  attested_check.log
fea9fbd5c0370b5a48f163145b5696a3229402e846e37ca33e9cfa8a5bb4cbad  nvml_smoke.txt
b64e35427d1679585626d98068988fb574d0308bf05ff75fa5f827e84453ab75  mutations_r2.txt
53e38445cf764cb80fbc3aa7281f128cb018a5d7c73cf2ed55d2f35e901873c0  codex_r1.log
ce434e8a5dafc13feb899c2646337693636ab5e512ea58bb0d2d56f30276ddf3  codex_r2.log
0b1a5a9fe523a8c9fcd032df35b17ab0b51132e02c999516e7d41d559e711269  codex_r3.log
6183cb44071f6096ea247caceb6499371778e0acd199f308713e595561dc4903  pre_push_impl_4f3f4b30.txt
cafb0bd6e6a16593f35e86c0a85ea5b8ce374606a5e6815d06854e66f83dd6fc  pre_push_head_9aca96f7.txt

Refs #537

🤖 Generated with Claude Code

Fresh capture (--run-probe --require-complete, gpu0 lease) at implementation
head 4f3f4b3, clean tree.

- implementation: 46d37ec50b215f21 -> ab1bc4ea82d70131. 317 -> 317 files;
  only src/saccade/resource/resource_manager.py (decide_degradation_level
  refuses usage that is not a real number in 0..100) changed.
- decision_surface, environment, identity_semantics, runtime_inputs:
  recomputed, unchanged.
- probe re-run, not reused: behavior digest 2dabed0b unchanged. Equal probe
  output is not an equivalence claim; equivalence stays unproven.

The outgoing canonical is archived append-only as
runtime_identity.2026-10-23.46d37ec50b215f21.json (byte-identical to
origin/main). --mode attested exits 0. A capture at the round-1 head
9e17133 was discarded unpublished after review changed resource_manager.py.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@raylei50653

Copy link
Copy Markdown
Owner Author

獨立審查與 self-check(stacked publication → fix/537-o0)

Codex r3 @ 9aca96f7b8469f90dac58b6ece2ac40f6704869e:READY-TO-MERGE,findings: none。檢查項目:diff 只有 canonical + 一個 archive;archive 與 origin/main canonical byte-identical;只有 implementation 軸改變,檔案清單差異只有 resource_manager.py;其餘四軸與 probe 相同;equivalence=unproven;publication_complete=true;witness.head 4f3f4b30 之後沒有已出版軸的 blob 改變;--mode attested exit 0。

Self-check(本 PR 只合進 #626 的分支;main 的合併條件在 #626 另貼):

合併指令(需 owner 執行):gh pr merge 627 --merge --match-head-commit 9aca96f7b8469f90dac58b6ece2ac40f6704869e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant