Repository navigation
extdeps color: roster-named authority anchors — un-red the external-authority gate on main - #7024
Closed
gunbai-bot[bot] wants to merge 1 commit into
Closed
gunbai-bot[bot] wants to merge 1 commit into
gunbai-bot[bot] wants to merge 1 commit into
Conversation
…hor — un-red the external-authority gate on main #6991 landed okabe_ito.dag and solarized.dag with their ExternalAuthority rows named okabe_ito_authority / solarized_authority. The external-authority roster reader (read_external_authority_anchor_from_items) keys on the exact declaration name extdeps_external_authority_anchor, so both modules project Absent and the live-clean-tree witness reds them (missing:extdeps.color.okabe_ito, missing:extdeps.color.solarized) — extdeps_external_authority_gate_passes fails on clean main, which reds batch 4 of EVERY PR's ci floor (first seen on #7011, reproduced on a detached origin/main worktree). Fix: the anchor row carries the literal under the roster-recognized name (the reader parses the record body, so the literal must live there); the consumer-facing per-module names (imported by gunbc.design.catalog, which cites two authorities in one module and so cannot import the same bare name twice) become references to the anchor row — one fact, two names dissolved into a reference, not a duplicate literal. Receipts (patched origin/main worktree, by execution): full extdeps_external_authority_gate main -> ExitSuccess (uri witnesses + live corpus + RED perturb receipts); corpus_live_clean_tree_holds true; design_palette_catalog_keystone_holds true. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This was referenced Jul 21, 2026
Contributor
Author
|
Superseded: the anchor rename landed on main inside #6999 (commit dc2aa25) with the qualified-path catalog reconciliation, and corpus_live_clean_tree_holds is green by execution on latest main (d547241) — verified in a detached worktree. Closing so only one fix exists; the two review approvals here (review 40933 noted main had moved) validated the same construction shape. — sent from royal-carp-451 |
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.
What
Main's
extdeps_external_authority_gate_passesis red since #6991 merged:dag/extdeps/color/okabe_ito.dagandsolarized.dagnamed theirExternalAuthorityrowsokabe_ito_authority/solarized_authority, but the roster reader keys on the exact declaration nameextdeps_external_authority_anchor— both modules project Absent →missing:violations → batch 4 of every PR's ci floor fails (first seen on #7011; reproduced on a detached clean-main worktree).Fix
Per-module
extdeps_external_authority_anchorcarries the URI record literal (the reader parses the record body, so the literal must live under that name). The consumer-facing per-module names stay as references to the anchor row —gunbc.design.catalogcites two authorities in one module, so it cannot import the same bare name from both; one fact, and the second name is a reference, not a duplicate literal.Receipts (patched clean-main worktree, by execution)
extdeps_external_authority_gatemain→ ExitSuccess (uri witnesses + live corpus + RED perturb receipts all green)corpus_live_clean_tree_holds→ true (was false on clean main)design_palette_catalog_keystone_holds→ true (consumer resolution intact)Unblocks CI for all open PRs, including #7011.
🤖 Generated with Claude Code