Repository navigation
Let lane packets carry each component's registered receipts - #142
Merged
seathatflowsinourveins merged 1 commit intoSep 23, 2026
Merged
Conversation
lane_packets.py --registered-receipts attaches to every candidate and
unmatched SOTA component the {id, kind, path} of each manifests/evidence.json
receipt whose component_ids names it. Packets otherwise carried only the
ledger's evidence_refs, so a lane could not see or cite a registered native
receipt (for example native-tavily-cli-20260920) that Linux acceptance
depends on. Off by default: the 2026-09-22 packets reproduce.
Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]>
seathatflowsinourveins
enabled auto-merge (squash)
September 23, 2026 18:58
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
seathatflowsinourveins
deleted the
claude/packets-registered-receipts-20260923
branch
September 23, 2026 19:02
This was referenced Sep 23, 2026
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.
Summary
A layer-verdict packet's
evidence_refscome from the ledger row, so a lane could not see a native receipt that the row never named.platform_statusgives Linuxacceptedonly to anative_provenormeasured_comparisonwinner that cites a registeredevidence/file. Registered receipts such asnative-tavily-cli-20260920,native-dagu-retry-tests-20260920andnative-headroom-mcp-20260920were therefore invisible to both lanes. agent-lab-e9 raised this while explaining the WSL2accepteddrop.Change:
lane_packets.py --registered-receiptsattachesregistered_receiptsto every candidate andsota_components_not_in_candidatesentry.{id, kind, path}of eachmanifests/evidence.jsonreceipt whosecomponent_idsnames the component, sorted by path. This is the registered list thatplatform_statusandcomponent_matrixread, so the join is exact, not a text search.registered_receipts_notesays that a receipt's kind and content, not its presence, decide the evidence class. That way the lanes don't upgrade a class on local-only evidence.On the current tree with
manifest-20260923,--withhold-labels, manifest-mode trading and the flag:This is a gate trust input (
lane_packets.py), so it lands before the 20260923 re-record PR, which uses the flag.Checks (local, this head)
tests.test_lane_packets(68, including 3 newRegisteredReceiptsTests),test_record_verdicts,test_layer_verdictsandtest_verdict_lane_vendoring: 203 tests OK.validate.py,evidence_manifest.py --check,landscape.py,build_verdicts.py --checkandvalidate_convergence.py --all-recorded: all pass.🤖 Generated with Claude Code