[raylei50653]

#537 C0-09：Runtime identity 重新發佈（stacked publication）

依 runbook §3.2：base 是 fix/537-c0-09。本 PR 審完後合併進該分支，再由 #624 原子落地。

Diff（只有兩個檔案）

• docs/reference/runtime_identity.generated.json：換成審過的候選。
• docs/reference/runtime_identity/archive/runtime_identity.2026-10-23.d04e0183a9cb36d1.json：outgoing canonical（fix(537): reject unavailable NVML monitoring before dispatch (C0-05, 4A) #622 出版），append-only，和 origin/main 位元組相同。

捕捉

• 在實作 head 5194852f 的乾淨 tree 上捕捉（專用 worktree 與自己的 venv）。
• 獨立 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	d04e0183 → 46d37ec5，317 → 317 檔：只有 ~ dispatcher.py、~ run_8stream_perception.py
decision_surface	不變（9b7faeb0）
environment	不變（0afea37b）
identity_semantics	不變（7a5a4ee6）
runtime_inputs	不變（0b839df0）

• probe：重跑，behavior digest 2dabed0b 不變。probe 相等不構成 equivalence，equivalence.state = unproven。
• 沒有原生程式碼改動。

驗收

• check_runtime_identity_staleness.py --mode attested：exit 0。
• pre_push @ ee4db34c（本 PR head）：6009 passed、0 failed。
• Codex r3 @ ee4db34c：READY-TO-MERGE，沒有 findings（自行重算 attested、核對 archive 位元組、只有 implementation 軸、只有兩個成員變動）。

證據 sha256（~/.local/state/saccade/evidence/537-c0-09/20261023T174827/）

54911a2cf19c6b7e8fb2309d5f12871d34ca7d634c610c07be4a51beef7187eb  runtime_identity.candidate.json
ac05a19b68e72141016ad597f59d782e4473fd58883a25180a0985d70cf3cc02  capture.log
122942186718cbf3760ebc25ea265ecccbe557f8f8d9de4594d55d5e658058c8  attested_check.log
aac95792562a5336fdf2dc3ac6bce5b81424023899bfff3af547f725fb81f0c5  axis_delta.txt
bef7b323500615ad4146cf881c1882417ae43b7a56c72667fdd86e9f2832b8ab  pre_push.txt
405ea61eb1157fc32053022a334b7a065546d353f078cd3b575b35ddc65e1dc8  pre_push_impl_5194852f.txt
8bdfa2fb731b0f662ede08307fb1c2c1c27fbbb52e860f875b632bbce6006236  gpu.txt
5232d645d6fc18466fcb38fb8a9327aafc19198a82270676c8c41bb057ed4809  host_related.txt
f0abdfa7aca348b19dc90610a7e913f75b19263a2fb7aa8b0e56441425a56983  mutations_r2.txt
a48f5be502c570ecb2b64d6604c7ac250ccad7e0658c37820a8475d228cbb544  codex_review_r1.md
49c3f22149579c2b10761d6d2a63472b169ec4ebf24f4d22aae7c86a2f22195a  codex_review_r2.md
9f38620cf4caa3aa8baa79115fc81f01ff22adaee4f524a31985c35c602bc3fa  codex_review_r3.md

Refs #537

🤖 Generated with Claude Code

[raylei50653]

獨立審查紀錄（#550 §0A 固定格式）

Codex r1

verdict: READY-WITH-CHANGES
head: d34b0a6a22db9dd841fb69cba338e3c6d30beed4
findings:
1. MINOR — tests/unit/test_workbench_pool_monitor_contract_537.py:30: The “every pool state” test omits STOPPING. An in-memory mutation returning `NORMAL` only during STOPPING passes both host tests, leaving shutdown-time health misreporting unprotected. Add a deterministic STOPPING case using `MODE["shutdown"] = False`, assert all three monitor fields and the actual state, then retry cleanup. Also assert the failure wait succeeds before sampling FAILED.

Codex r2

verdict: READY-TO-MERGE
head: 5194852fb9458deb5366bd990d0518b463bf7d26
findings: none```

### Codex r3

verdict: READY-TO-MERGE
head: ee4db34
findings: none

### 處置

- r1 MINOR（`tests/unit/test_workbench_pool_monitor_contract_537.py`：缺 STOPPING，只在 STOPPING 回 NORMAL 的實作會漏網）→ `cd5ba0dd` 新增 STOPPING（batcher 未釋放）案例與 FAILED 等待斷言；第 5 個 mutation（只在 STOPPING 回 NORMAL）被攔住（1 failed）。§21 文字由 `5194852f` 同步。
- r2（delta `d34b0a6a..5194852f`）：沒有 findings。
- r3（stacked publication `5194852f..ee4db34c`）：沒有 findings。

沒有未解決的 finding。合併 head 會是 #625 併入後的 merge commit；其 tree 應等於 `ee4db34c`，合併前在 self-check 核對。