Repository navigation
NS-N receipt zero: bind the Step 0 canary baseline to an executed run on main - #10117
Merged
Merged
Conversation
… on main The Step-0 strip-entry canary landed in #10090 with its witness pinned to the commit, tree and compiler digest of the tree it was authored against. Those literals were never the record of a run: nothing had executed the contract's own command, so the baseline a later prerequisite claim would be scored against did not exist yet. This is that run. The frozen contract's command (gunbc.namespace_step0_canary namespace_step0_canary_contract command) was executed against a clean checkout of main 20caf4e, and the three baseline literals in test.claim.namespace_step0_canary_witness are rebound to what it observed: commit 20caf4e, tree a6a6e0a, and the sha256 of the target/release/gunbc built from that tree in the same dispatch. All nine witnesses in the entry pass against the rebound baseline. Nothing else moved. The contract, the classifier (admit_namespace_step0_canary_receipt), the subject-entry rule and the controls are untouched, which is exactly what the freeze note requires of a baseline correction: it lands alone. The receipt still reports Step0SubjectNotEntered blocked at ApplyTypedImportStrip -- no typed source-rewrite producer exists, so the canary has not moved and this change does not claim it has. It fixes the zero against which a real move would be measured. Two notes for whoever runs it next. BuildBuddy cannot execute this command: claim_batch refuses with HostBudgetUnreadable because no cgroup memory limit binds the remote runner (gunbc.host_budget_source), so the run is a local or CI one. And the digest is of an aarch64 build; a rebind from an amd64 CI runner will differ and is a new baseline, not a contradiction of this one. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HM6r4Ydp7GCJBuaFgLBRwL
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.
The Step-0 strip-entry canary landed in #10090 with its witness pinned to the commit, tree and compiler digest of the tree it was authored against. Those literals were never the record of a run — nothing had executed the contract's own command — so the baseline a later prerequisite claim would be scored against did not exist yet.
This is that run.
gunbc.namespace_step0_canarynamespace_step0_canary_contract.commandwas executed against a clean checkout of main20caf4eb04, and the three baseline literals intest.claim.namespace_step0_canary_witnessare rebound to what it observed: that commit, its treea6a6e0a531, and the sha256 of thetarget/release/gunbcbuilt from that tree in the same dispatch. All nine witnesses in the entry pass against the rebound baseline (PASS current_main_step0_canary_receipt_is_admittedplus the eight discriminating controls).Nothing else moved. The contract,
admit_namespace_step0_canary_receipt, the subject-entry rule and the controls are untouched — exactly what the freeze note requires of a baseline correction: it lands alone. The receipt still reportsStep0SubjectNotEnteredblocked atApplyTypedImportStrip; no typed source-rewrite producer exists, so the canary has not moved and this change does not claim it has. It fixes the zero against which a real move would be measured.Two notes for whoever runs it next:
claim_batchrefuses withHostBudgetUnreadablebecause no cgroup memory limit binds the remote runner (gunbc.host_budget_source). The run is a local or CI one.🤖 Generated with Claude Code
https://claude.ai/code/session_01HM6r4Ydp7GCJBuaFgLBRwL