Skip to content

docs(runtime): republish the runtime coordinate for #537 C0-05 (4A) - #623

Merged
raylei50653 merged 1 commit into
fix/537-c0-05-4afrom
chore/537-c0-05-4a-runtime-identity
Oct 23, 2026
Merged

raylei50653 merged 1 commit into
fix/537-c0-05-4afrom
chore/537-c0-05-4a-runtime-identity

Conversation

@raylei50653

Copy link
Copy Markdown
Owner

#537 C0-05(4A):Runtime identity 重新發佈(stacked publication)

依 runbook §3.2:base 是 fix/537-c0-05-4a(#622)。本 PR 審完後合併進該分支,再由 #622 原子落地。

Diff(只有兩個檔案)

捕捉

  • 在實作 head 791d85d8 的乾淨 tree 上捕捉,用專用 worktree 和它自己的 venv(含 DALI 2.0.0)。之後只改了文件,沒有動到任何已出版軸的 blob。
  • 獨立 build build/runtime_identity,接著 build_runtime_identity.py --run-probe --build-dir build/runtime_identity --require-complete(resctl gpu0)。候選先寫到 scratch,審過才 promote。probe 是 fresh 重跑。

逐軸 delta(每軸都重算比對)

軸 結果
implementation 583ede47 → d04e0183,317 → 317 檔:只有 ~ resource_manager.py、~ dispatcher.py、~ run_8stream_perception.py
decision_surface 不變(9b7faeb0)
environment 不變(0afea37b)
identity_semantics 不變(7a5a4ee6)
runtime_inputs 不變(0b839df0)
  • probe:MOT17-09-SDP 重跑,behavior digest 2dabed0b 不變。probe 相等不構成 equivalence,equivalence.state = unproven。
  • 沒有原生程式碼改動。attested build/libsaccade_scan_torchop.so 沒動(aa84cccd)。

驗收

  • check_runtime_identity_staleness.py --mode attested:exit 0(rebase 到 1dc31c63 後又跑了一次,仍是 exit 0)。
  • pre_push @ c1ae1fc8(和最終 tree 只差 §20 一段文件):6006 passed、0 failed。
  • Codex r2 delta review @ 1dc31c63:READY-TO-MERGE,沒有 findings。r2 自行重算 attested、核對 archive 和 outgoing canonical 位元組相同、確認只有 implementation 軸、只有三個成員變動。

證據 sha256(~/.local/state/saccade/evidence/537-c0-05-4a/runtime_identity_20261023T164120/)

2c7704788c62f37a923502f485c6ee1471f7d93715ae930a515b8aed69a5c08d runtime_identity.candidate.json
45e296bf407b001a62331bc22eae53c8b6d9f12f800515dacb9dd745d7948891 capture.log
5da3a7fa96c3b33cc677ceddf14cc4e44888fdbb231655e3296339f5cb01ffee attested_check.log
f1de532c85c92f9e86e7b30809e743f36887ae212e38dd429c34d7bb87b10805 pre_push.txt
a52b24e8971953978f147c0c0706e003168a59ef1a907764ba7792a7021cf9b6 gpu_smoke.txt
b759f2535bc83e2e9f390e5e1cfe0b91282e923f0e7cc684358212684cb06790 axis_delta.txt
ee602280a42bbcc23ec7bcb7c8578d3abfaa29337607a0d20f8b40c22e13e305 codex_review_r1.md
148f5bccb3155b014c7dcdde017a6794af9e1a96e9592c0255199af4565b8787 codex_review_r2.md

Refs #537

🤖 Generated with Claude Code

The 4A fix (fix/537-c0-05-4a, head 791d85d) changed resource_manager.py,
dispatcher.py and run_8stream_perception.py, all decision_relevant, so the
staleness checker failed closed. This is the republication, captured on the
controlled host from a clean tree at 791d85d. The build used the independent
build/runtime_identity directory in a dedicated worktree, ran --run-probe
--require-complete under the gpu0 lease, and carried nothing over.

The delta against the outgoing canonical (#621, implementation
583ede47c5287a65) is fully accounted for:

* implementation 583ede47c5287a65 -> d04e0183a9cb36d1, 317 -> 317 files:
  ~ src/saccade/resource/resource_manager.py (named monitor error, sample
  validation), ~ src/saccade/perception/dispatcher.py (AsyncDispatcher
  preflight, monitor status, UNKNOWN level) and
  ~ scripts/ops/run_8stream_perception.py (report fields). Nothing added or
  removed.
* decision_surface, environment, identity_semantics and runtime_inputs
  unchanged; each was recomputed and compared, not assumed.

The identity probe re-ran on MOT17-09-SDP and returned the published
behavior digest 2dabed0bc05e3bc7 unchanged. Probe equality is not
equivalence and is not claimed as such; equivalence.state stays unproven.
No native source changed; the attested build/libsaccade_scan_torchop.so was
not touched (aa84cccd).

The outgoing canonical is archived as
runtime_identity.2026-10-23.583ede47c5287a65.json (append-only).
`check_runtime_identity_staleness.py --mode attested` exits 0.

Refs #537

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

Copy link
Copy Markdown
Owner Author

獨立審查(Codex,§0A 高風險)

輪次 head 範圍 verdict findings 處置
r1 791d85d87edd4c688449d137cd4d97e859b1211b 50aad5bd..791d85d8(特徵測試+4A 修復,含與 #621 D2-AD/D2-GPU-1 的互動) READY-WITH-CHANGES 1. MINOR failure_degradation_537.md:965:§20 仍把 10-20 的捕捉 8b89ca8f → e75f0067 寫成本 tree 的座標 已由 3d3df6f2 修正:舊捕捉標為作廢、未出版,改記新捕捉 583ede47 → d04e0183,並註明哪些證據在舊基線、哪些在新基線重跑
r2(delta) 1dc31c632c6106592a426646c1a848d8df6ec071 791d85d8..1dc31c63(文件修正+stacked 座標發佈) READY-TO-MERGE none —

r2 自行執行 check_runtime_identity_staleness.py --mode attested(exit 0),並核對 archive 和 outgoing canonical 位元組相同、只有 implementation 軸變動、只有三個成員改變。原始輸出:codex_review_r1.md(sha256 ee602280…)、codex_review_r2.md(148f5bcc…),在 ~/.local/state/saccade/evidence/537-c0-05-4a/runtime_identity_20261023T164120/。

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