Repository navigation
fix: add extdeps_external_authority_anchor to cache_purity.dag (unblocks main red from #5429) - #5464
Merged
Merged
Conversation
gunbai-bot
Bot
changed the title
briansrls
added a commit
that referenced
this pull request
Jun 21, 2026
…ag (§3 cleanup) (#5466) #5464 added a Wikipedia-anchor to `extdeps.realization.cache_purity` as an incorrect fix for the fleet-red; #5465 then landed the correct fix (backfill entry). The anchor is stranded: §3 forbids an internal machinery module from claiming an external URI it does not ground on, and the backfill entry (#5465) already satisfies the gate. Remove the three import lines and the dead `data extdeps_external_authority_anchor` declaration; the module stays backfill-listed (its four realization siblings share that classification). Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
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
1 participant
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
#5429introduceddsl/extdeps/realization/cache_purity.dagwithout the requireddata extdeps_external_authority_anchordeclaration, causing the#5418extdeps_external_authoritygate to fail:extdeps_external_authority_live_clean_tree_holds()iterates everyextdeps.*module not in the backfill list and rejects modules missing anHttp/Httpsanchor. Sinceextdeps.realization.cache_puritywas new (not in the backfill list) and had no anchor, it tripped the gate on every CI run since the merge at 15:04.Fix: add the
ExternalAuthority+Uri/Httpsimports and thedata extdeps_external_authority_anchorrow pointing toen.wikipedia.org/wiki/Referential_transparency— the intersubjective framework the module's "output = f(declared key inputs)" purity contract grounds on (same pattern asextdeps.hardware,extdeps.vendor, etc.).Test plan
cargo test -p v1-compiler --lib extdeps_shape_transport_policy_project(no sccache): 18 passed, 0 failed — includingexternal_authority_live_clean_tree_holds_via_hostwhich is the exact host-backed predicate the CI gate calls.