Skip to content

docs(runtime): republish the runtime coordinate for #537 F01 (stacked on #632) - #633

Merged
raylei50653 merged 1 commit into
fix/537-f01-child-failurefrom
chore/537-f01-runtime-identity
Oct 25, 2026
Merged

raylei50653 merged 1 commit into
fix/537-f01-child-failurefrom
chore/537-f01-runtime-identity

Conversation

@raylei50653

@raylei50653 raylei50653 commented Oct 25, 2026 •

Copy link
Copy Markdown
Owner

#537 F01:runtime coordinate 重新發佈(stacked,base = fix/537-f01-child-failure)

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

座標變化

在 F01 最終 head 1ae9f1f6 的乾淨 tree 上 fresh capture(capture worktree 537-runtime-monitor 的 build/runtime_identity,--run-probe --require-complete,resctl gpu0):

軸 outgoing → candidate
implementation 4ad5ae2c7f2a7d2c → 11204b8a3246374f(317 → 318 個檔案:新增 src/saccade/perception/eval/sequence_launcher.py,改 scripts/eval/mot17.py)
decision_surface/environment/identity_semantics/runtime_inputs 重算後相同
probe 重跑,沒有沿用;digest 2dabed0b… 相同,build witness 相同。probe 相同不代表等價,equivalence=unproven
  • diff 只有 canonical 與一個 append-only archive(runtime_identity.2026-10-25.4ad5ae2c7f2a7d2c.json,與 origin/main 的 canonical byte-identical,sha256 a522eb76…)。
  • check_runtime_identity_staleness.py --mode attested exit 0。
  • 本分支先前在 18271b5f 上的出版(3ec11a2c)已被取代:F01 之後因審查又改了 sequence_launcher.py,所以重新 capture,並以 --force-with-lease 改寫本分支。

驗證

  • pre_push @ 本 PR head c9e33a41:6111 passed、0 failed,All checks passed。

本機證據(repo 外)

~/.local/state/saccade/evidence/537-f01/20261025T145150/

32a20a72b0c84bd17e7eba6647c8575e3e3caf3dcf64c2ec1250d974b72cab6f  runtime_identity.candidate.json
58da94d0556a9f989fc00e45ba3893ead188198e29365e1452b8e9f741a682c3  capture.log
3b2f182b9f1c1d16e3850d8b39ec402973e7beb3a2f951eee2a5035bc00a60e9  axis_delta.txt
122942186718cbf3760ebc25ea265ecccbe557f8f8d9de4594d55d5e658058c8  attested_check.log
0677bada4ebe993a20e44f2b995f89d48ca0d2e19a64fbc17d77c3460cf2edb4  pre_push_pub_c9e33a41.log

🤖 Generated with Claude Code

https://claude.ai/code/session_019RVti7Gf7paqtEzERmZaCx

Fresh capture on the implementation head 1ae9f1f (clean tree, own
build/runtime_identity in the capture worktree, --run-probe
--require-complete under the gpu0 lease):

- implementation: 4ad5ae2c7f2a7d2c -> 11204b8a3246374f; 317 -> 318 files:
  src/saccade/perception/eval/sequence_launcher.py added (the fail-fast
  --processes launcher), scripts/eval/mot17.py changed (calls it).
- decision_surface, environment, identity_semantics, runtime_inputs:
  recomputed, unchanged.
- probe: rerun, not reused; digest 2dabed0b... unchanged, build witness
  unchanged. Probe equality is not an equivalence claim; equivalence
  stays unproven.

The outgoing canonical is archived as
runtime_identity.2026-10-25.4ad5ae2c7f2a7d2c.json (byte-identical to
origin/main's, sha256 a522eb76...). check_runtime_identity_staleness.py
--mode attested exits 0.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019RVti7Gf7paqtEzERmZaCx
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