docs: refresh HANDOFF.md through batch 25 and the podman-build arc - #711
Merged
Conversation
State: `d9f7202`, ledger 232 behaviors / 1 open nonconformance (#706), with #710 and #706 open and unassigned. The upstream mining files are now EXHAUSTED — batch 25 closed `cli.test`, which is the reference's Feature-authoring surface and permanently out of scope, so it produced a guard (`ledger_covers_every_subcommand`) rather than cases. The queue is reordered accordingly, with #710 as item 1 and an explicit "do not design before measuring" on it, because two `localhost/` fixes were already guessed there and both were wrong. Five rules added, all paid for this stretch: - a green LANE can report coverage it does not have; verify which BINARY did the work, with a shim, on a fresh config hash (a cache hit exits 0 having invoked nothing) - the same prefix can be right and wrong on the same day — what decides it is who PARSES it (compose client vs `podman tag` vs a `podman build` build-arg) - if a fix only changes the ERROR STRING, it is at the wrong layer - a test that verifies by shelling out must use the runtime under test - unmasking a false green makes the number WORSE before it means anything (34/34 false → 24/10 → 26/6 → 26/26) Two traps added: - a squash merge concatenates COMMIT messages, so a stale `Closes #NNN` survives a rewritten PR body. This closed #706 while it was unfixed; reopened. Check issue state after any merge whose scope changed mid-flight. - podman delegates `compose` to an EXTERNAL provider (docker's own docker-compose plugin on the runner), so a compose `image:` is parsed by docker-compose and the built image is in no podman store. Also links #706's ledger row to #710 as the general case. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016SFzA2sTh2EpX8MZU3TWNS
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
State:
d9f7202, ledger 232 behaviors / 1 open nonconformance (#706), with #710 and #706 open and unassigned.The mining arc is out of upstream files
Batch 25 closed
cli.test— the reference's Feature-authoring surface, permanently out of scope for deacon — so it produced a guard rather than cases:ledger_covers_every_subcommand. The queue is reordered around that, with #710 as item 1 and an explicit do not design before measuring on it, because twolocalhost/fixes were already guessed there and both were wrong.Five rules, all paid for this stretch
--docker-path /nonexistent/…test passes throughout.localhost/applied three times, wrong twice — compose client vspodman tagvs apodman buildbuild-arg are three different consumers.X: image not known→docker.io/library/X: image not knownwas the tell, and it took two CI cycles to read it as a signal rather than as progress.integration_up_exec_identityalready had the helper and the comment; grep before writing.Two traps
Closes #NNNsurvives a rewritten PR body. This closed fix(up): the compose path never applies podman's localhost/ image qualification, so a Feature-extended image cannot be found #706 while it was unfixed — fix(docker): read podman's image-not-found wording #707 opened expecting to fix it, the measurement said otherwise, the body was rewritten, and the first commit's keyword closed it anyway on merge. Reopened with an explanation. Check issue state after any merge whose scope changed mid-flight.composeto an EXTERNAL provider — docker's owndocker-composeplugin on the runner. So a composeimage:is parsed by docker-compose, and the built image is in no podman store.Also links #706's ledger row to #710 as the general case — the tidy-up deferred during #709 rather than churn a CI cycle.
Docs only; ledger and census guards green.
🤖 Generated with Claude Code
https://claude.ai/code/session_016SFzA2sTh2EpX8MZU3TWNS