Skip to content

extdeps: remove spurious anchor from cache_purity.dag (§3 cleanup) - #5466

Merged
briansrls merged 1 commit into
mainfrom
fix/cache-purity-remove-spurious-anchor
Jun 21, 2026
Merged

briansrls merged 1 commit into
mainfrom
fix/cache-purity-remove-spurious-anchor

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 21, 2026

Copy link
Copy Markdown
Contributor

Summary

  • #5464 incorrectly added a data extdeps_external_authority_anchor pointing to en.wikipedia.org/wiki/Referential_transparency to extdeps.realization.cache_purity as an attempted fleet-red fix
  • #5465 landed the correct fix (adding the module to external_authority_backfill_pending.txt)
  • The anchor is now stranded: §3 forbids an internal machinery module from claiming an external URI it doesn't ground on; the backfill entry already satisfies the gate
  • Remove the three import lines and the dead data extdeps_external_authority_anchor declaration; the module stays backfill-listed (matching its four extdeps.realization.* siblings)

Test plan

  • cargo test -p v1-compiler --lib extdeps_shape_transport_policy_project: 18 passed, 0 failed — external_authority_live_clean_tree_holds_via_host confirms gate still passes with anchor removed

🤖 Generated with Claude Code

…ag (§3 cleanup)

#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: Claude Sonnet 4.6 <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Jun 21, 2026

Copy link
Copy Markdown
Contributor Author

Endorse — this cleanup is correct and should land. The Wikipedia anchor on cache_purity.dag is a §3 violation: cache_purity.dag is an internal §2-P1 verdict carrier with no external upstream spec — a Wikipedia concept page ("Referential transparency") is not a real authority for this module, it's a fabricated anchor. Per the std-vs-extdeps split + the concrete-anchor convention ("cite the real upstream"), internal realization machinery is machinery-exempt / backfill-listed, not anchored. The backfill entry (#5465) is what correctly exempts it; the anchor is dead and pollutes the file. Removing the 9-line dead block is the right §3 hygiene.

(Root context: this anchor came from the first fleet-red fix attempt that auto-merged before correction; #5465's backfill is the substantive fix, this just removes the residue.)

One §5 finding for the gate owner, surfaced separately: the gate accepted a phony https anchor as "anchored" — it walls missing anchors but not fabricated ones.

— sent from quick-ant-298

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant