docs(lane): finish the byte-identity withdrawal and drop the bisect claim

Two statements this ledger still carried after 3313d8a said withdrew
them.

  - The reduction entry still said the artifacts "are byte-different".
    Historical byte identity is UNKNOWN and is not claimed: target dirs
    have been overwritten, so a hash computed today is the current
    occupant's. What is established is differing Cargo suffixes, hence
    differing metadata hashes, hence different compilations --- enough
    to void the comparison, and all that is asserted.
  - The onset entry still called the window the sharpest lead and
    called for bisecting it. Cleanliness was captured at neither
    endpoint, so the first move is reproducing 7599661 and 724b785
    clean in isolated target dirs, and deciding from that.

Also corrects the onset counts here to match the manifest: per test copy
the 17 sweep-crdt logs are 13 both-copies-ok, 1 where neither copy
executed (the stage died compiling pmacs, error[E0308]), and 3
both-failed --- not "three earlier reds on unrelated rows".

And narrows the ancestry note. 72da24a being an ancestor of the passing
7599661 while failing today shows only that outcome is not determined by
commit alone. It does not discriminate an environmental change, a
source/environment interaction, or a fix before 7599661 with a
regression before 724b785; an ancestor outside the interval says nothing
about whether the interval regressed.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai
This commit is contained in:
Levi Neuwirth 2026-08-18 16:23:01 +02:00
parent 8b2bcb53df
commit 4751aa99e6
No known key found for this signature in database
1 changed files with 16 additions and 12 deletions

View File

@ -482,14 +482,16 @@ from #171 and #215.
and `:3131`). **This branch is not implicated**, and no branch can and `:3131`). **This branch is not implicated**, and no branch can
pass this gate stage on this machine until the underlying defect is pass this gate stage on this machine until the underlying defect is
fixed. fixed.
- **THE ONSET IS DATABLE.** `sweep-crdt` appears 17 times in this - **THE ONSET IS DATABLE.** `sweep-crdt` has 17 logs here. Counted
target dir's gate logs; the `ctrl_c` failure appears in exactly the per test copy: **13** both copies `... ok`, **1** where neither
**last three**, and the test passed — both copies — inside the executed (the stage died compiling `pmacs`, `error[E0308]`), **3**
stage before them. Last green `20260815T185708Z`, first red both `FAILED`. Last observed green `20260815T185708Z`, first
`20260816T063330Z`, no reboot between. The three earlier red observed red `20260816T063330Z`; boot began 08-14 09:30, so no
sweeps failed on unrelated rows. So "pre-existing on `main`" holds, reboot between. So "pre-existing on `main`" holds,
but **"always broken" is contradicted**, and bisecting that window but **"always broken" is contradicted**. The window is **not yet a
is the sharpest available lead. bisect target**: cleanliness was captured at neither endpoint, so
the lane's first move is to reproduce `7599661` and `724b785`
clean, in isolated target dirs, and decide from that.
- **The red full-sweep count is SEVEN**, not five; each run is - **The red full-sweep count is SEVEN**, not five; each run is
enumerated with its own log digest in the teardown lane's enumerated with its own log digest in the teardown lane's
`docs/probe-sigint-evidence.md`. `docs/probe-sigint-evidence.md`.
@ -544,12 +546,14 @@ from #171 and #215.
- *A specific preceding test*: **NOT refuted, and the earlier entry - *A specific preceding test*: **NOT refuted, and the earlier entry
here was wrong.** It claimed all 37 preceding targets plus the here was wrong.** It claimed all 37 preceding targets plus the
suite run green "same binaries, same order, same tests". The suite run green "same binaries, same order, same tests". The
binaries were **not** the same: that run executed **compilations** were not the same: that run executed
`gpu_initial_target_acceptance-91f51d0b` and `gpu_initial_target_acceptance-91f51d0b` and
`gpu_invocation_acceptance-6b4b8223`, while the failing sweeps `gpu_invocation_acceptance-6b4b8223`, while the failing sweeps
executed `-5d9105cb` and `-d4dae4f0`, which are byte-different. executed `-5d9105cb` and `-d4dae4f0`. Differing Cargo suffixes
Cargo's target selection changes the fingerprint, so command mean differing metadata hashes, so command shape changed the
shape changes the executable. The comparison was never made. compilation and the comparison was never made. **Historical byte
identity is UNKNOWN** and is not claimed — target dirs have been
overwritten since.
- Also withdrawn: that other packages "cannot be implicated" - Also withdrawn: that other packages "cannot be implicated"
because their targets run after the failure. Later-selected because their targets run after the failure. Later-selected
packages can affect Cargo's build graph and fingerprints packages can affect Cargo's build graph and fingerprints