[raylei50653]

#537 health CLI：runtime coordinate 重新發佈（stacked，base = fix/537-health-cli）

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

座標變化

在 #629 實作 head 2d0b2834 的乾淨 tree 上 fresh capture（--run-probe --require-complete，resctl gpu0）：

軸	outgoing → candidate
implementation	ab1bc4ea82d70131 → 4ad5ae2c7f2a7d2c（317 → 317 個檔案，只有 src/saccade/pipeline/health.py 改變）
decision_surface／environment／identity_semantics／runtime_inputs	重算後相同
probe	重跑，沒有沿用；digest 2dabed0b… 相同。probe 相同不代表等價，equivalence=unproven

• diff 只有 canonical 與一個 append-only archive（runtime_identity.2026-10-23.ab1bc4ea82d70131.json，與 origin/main 的 canonical byte-identical，sha256 9598fabd…）。
• --mode attested exit 0。

驗證

• pre_push @ 本 PR head 30dbef82：6045 passed、0 failed，All checks passed。
• fix(health): report what could not be observed as unknown (#537) #629 單獨跑 CI 時 pytest 有 4 個 identity 測試 fail（test_runtime_identity_staleness.py ×2、test_research_lock.py ×2），內容都是「implementation moved and was not republished: published ab1bc4ea…, recomputed 4ad5ae2c…」。這是實作與座標尚未原子落地的預期結果，本 PR 就是修正它；不是 health.py 的回歸。
• Codex 審查（publication）：第一次（codex_pub.log）在檢查途中中斷，沒有輸出 verdict，不採用。重跑 @ 30dbef82：READY-TO-MERGE，沒有 findings（檢查 diff 範圍、archive byte-identical 與命名、只動 implementation 軸、317 檔、witness、probe 重跑、equivalence=unproven、attested exit 0、coordinate-bound contract tests 60 passed）。

本機證據（repo 外）

~/.local/state/saccade/evidence/537-health-cli/20261023T231059/

a522eb76e3511b41c0297752d42e9c9815530321b136c934981f1772f711344b  runtime_identity.candidate.json
50be3e34e7aa1e2a9359d47920c38b37ebe64a6884b15d6fe20480d7384a393f  capture.log
29fbe5ed7c60e2732b2a879b221a950ddb46bc61b1fa6fe9fb312cfb0211a44b  axis_delta.txt
122942186718cbf3760ebc25ea265ecccbe557f8f8d9de4594d55d5e658058c8  attested_check.log
5ccbbf8aea7afd8e84481f980ddcea2ec3141ff4892211e6bbd92f48495f2378  smoke_2d0b2834.txt
d0e07ff9ed22e5dae48c72cbe7aba4b414a01f724c807f0fa092304ec8ed0d62  mutations_r7.txt
936882dd41503d295005d1a200212ba492e0482a0337a27fc45c5c1536264ab8  codex_r1.log
4932414127aafbf556dbe9e328fb78b4ce48b62c4575b797b00a4e60c2700048  codex_r2.log
437a0ab89487b9095dd0b3a87f0e4dc329bcc7e2e5388b810cd8736e0f590119  codex_r3.log
1f6a1c940243de85bad4e9625429a5432179d1a9678c121728fb9d1b28ddeeb4  codex_r4.log
a90e0a1de07baa7decb6cdca69bf590c545a3f92b704dc2189c5fc9f74881083  codex_r5.log
1e68f68a5b9c1305d526e5d5654fa24b82bca93924a7caa3557614e093152f6c  codex_r6.log
8861facbd557f0d665d824de95a07f2be152ba9e303e012500d8fe2f8f03b1dd  codex_r7.log
1887187d80e400132ff5a6c9716a8983666c98b7b9e663e5e4db1943d6d1a694  codex_pub.log
1ba2927e4e99d15ae07bd095904dc274139d06b41bb7f97b12e0f851407253f7  codex_pub_r2.log
bcca2ffd1f1927e78fb5063ba61b4edef51f41875d575864640f9139589a8afb  pre_push_head_30dbef82.txt

Refs #537

🤖 Generated with Claude Code

[raylei50653]

獨立審查與 self-check（stacked publication → fix/537-health-cli）

Codex（publication 重跑） @ 30dbef82b3adcf51de9f248d4528735395e4d72c：READY-TO-MERGE，findings: none（session 01a170ca-b12c-73a1-a826-46c6b6aaddf7，log codex_pub_r2.log）。檢查項目：

• diff 只有 canonical 加一個 archive；archive 與 origin/main 的 canonical byte-identical，命名符合 runbook。
• 只有 implementation 軸改變（ab1bc4ea82d70131 → 4ad5ae2c7f2a7d2c），317 → 317 檔，差異只有 src/saccade/pipeline/health.py；其餘四軸相同。
• probe 是重跑的，digest 相同；equivalence=unproven；publication_complete=true；witness.head 為 2d0b2834。
• --mode attested exit 0；coordinate-bound contract tests 60 passed。

第一次 publication 審查（codex_pub.log）在檢查途中中斷，沒有輸出 verdict，不採用。

Self-check（本 PR 只合進 #629 的分支；main 的合併條件在 #629 另貼）：

• 範圍：只有出版兩檔，和 runbook §3.2／§3.3 一致。
• 檢查：pre_push @ 30dbef82 6045 passed／0 failed，All checks passed。這個 base 不是 main，沒有 GitHub CI；合進 fix/537-health-cli 後，由 fix(health): report what could not be observed as unknown (#537) #629 的 CI 在合併後的 head 上驗證。
• identity：implementation 與座標由 fix(health): report what could not be observed as unknown (#537) #629 原子落地，main 不會出現 stale 的中間態。fix(health): report what could not be observed as unknown (#537) #629 單獨跑時那 4 個 identity 測試失敗，就是這個 PR 要修的 stale 狀態。
• 真實環境：在 controlled host（resctl gpu0）fresh capture，重跑了 probe；health CLI smoke（smoke_2d0b2834.txt）見 fix(health): report what could not be observed as unknown (#537) #629。
• 回退：revert fix(health): report what could not be observed as unknown (#537) #629 的 merge 後，依 runbook 重新 capture 與出版，不直接恢復舊 canonical 冒充 current。

合併指令（需 owner 執行）：gh pr merge 630 --merge --match-head-commit 30dbef82b3adcf51de9f248d4528735395e4d72c