neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs(lane): record both gate runs on c9cc8dd --- the red one included 

Full gate GREEN on the committed head c9cc8dd, all 8 stages, log
20260819T160220Z-2339958, started at load 3.90.

The preceding attempt on the SAME head is kept rather than dropped. It
failed 04-lib-crdt and 07-sweep on four wall-clock rows --- the
composition budget, the summary-flatten scaling row, dired's 200ms
budget and a lean4 progress notification --- none of which touches this
lane's change. Load average was 49.6 and an unrelated
./verify_task_state.sh run was compiling under a separate toolchain at
/usr/local/rustup, having started about three minutes in and
overlapping precisely the two failing stages.

That overlap is recorded as evidence of WHEN, not proof of WHY. This
lane already retracted one confident environmental attribution, so the
red run was treated as "not valid evidence" rather than explained away,
and the green run on the same commit is what settles it. Had any of the
four failed again on a quiet machine it would have been a real finding
on this branch.

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-19 18:07:28 +02:00
parent c9cc8dd969
commit 7cef9ca375
No known key found for this signature in database
1 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
docs/active-work.md
View File

@ -286,8 +286,27 @@ from #171 and #215.
once. State at `3206433`: pushed, signed `G`, worktree clean, once. State at `3206433`: pushed, signed `G`, worktree clean,
`git diff --check` clean, **full default gate green (8/8) in the `git diff --check` clean, **full default gate green (8/8) in the
foreground**, 31 gate-acceptance rows passing. After this commit: foreground**, 31 gate-acceptance rows passing. After this commit:
**33 gate-acceptance rows and 16 `gpu_invocation_acceptance` rows**, **33 gate-acceptance rows and 16 `gpu_invocation_acceptance` rows**.
with the full gate re-run **on the committed head**. (An earlier - **FULL GATE GREEN ON THE COMMITTED HEAD `c9cc8dd`** — all 8 stages,
log `20260819T160220Z-2339958`, started at load 3.90. This entry's
own commit adds only that record.
- **The preceding attempt on the same head was RED, and is kept.**
Log `20260819T152209Z-2073040`: `04-lib-crdt` and `07-sweep` failed
on four wall-clock rows —
`composition_overhead_under_ten_percent`,
`full_buffer_summary_flatten_scales_on_large_grammar_file`,
`dired_renders_10k_entries_within_200ms`,
`file_progress_notification_is_recorded_for_its_document` — none
touching this lane's change. Load average was **49.6**, and
`./verify_task_state.sh review/my-ruff-task golden` was running under
a separate toolchain at `/usr/local/rustup` with four `rustc`
processes, having started about three minutes into the run and
overlapping exactly the two stages that failed.
**That is evidence of WHEN, not proof of WHY**, and it was recorded
as "not valid evidence" rather than "environmental" — this lane has
already retracted one confident environmental attribution. The green
run on the same commit is what settles it; had any of the four failed
again on a quiet machine, it would have been a real finding here. (An earlier
draft said 35: that figure was the `git_status_stage1_acceptance` draft said 35: that figure was the `git_status_stage1_acceptance`
result line immediately below `gate_script_acceptance`'s in the sweep result line immediately below `gate_script_acceptance`'s in the sweep
log, misread as this suite's.) log, misread as this suite's.)