Repository navigation
EX-list single authority (22 scaffold subpaths baked, control-verified byte-identical) + Track A denomination receipt + Flags B/C/D/E signs on carrier - #6536
Merged
Conversation
…e-broken scaffold subpaths into whole_tree_strict_resolve_exclusion_substrings; Track A denomination receipt; Flags B/C/D/E signs recorded on carrier Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
gunbai-bot
Bot
changed the title
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.
Post-merge follow-ups: EX-list single authority + Track A denomination receipt + flag signs
Three small items that were blocked behind the #6534/#6535 merges, per operator rulings 2026-07-13.
1. EX-list → single authority (
dag/gunbc/ci_layer_roots.dag)The whole-tree probe's 22 strict-resolve-broken scaffold subpaths were re-derived per probe run as
--exclude-subpathargs (M0/M1a receipts) — a parallel representation. Operator ruled "just make it single authority": the 22 rows are baked intowhole_tree_strict_resolve_exclusion_substringswith a scaffold-class note row (provenance, consumer census, per-row dissolution trigger).measure_whole_tree_resolve,capture_func_env_semantic_oracle,wiring_liveness_whole_tree,measure_dependency_view_build,fn_arrow_decl_substratecensus — a>=check that only gets more honest) — no witness-discovery or CI-gate coverage narrows.1,102 resolved / 904 excluded,corpus_fingerprint=ef92c94a5f0bf16d,emit_graph_fingerprint=8ae181241349ddca— byte-identical. (First control attempt was invalidated — the checkpointer had already committed the bake, making args redundant over the same set; rerun with the genuinely reverted file.)2. Track A denomination receipt (throughline doc §1)
The #6535 resolve-split table (371.1s lump → 99.9% attributed; typecheck 52% / assembly residue 29% / normalize 8% / ownership 7% / resolve_modules 1.3%) recorded on the run-stability carrier with per-stage routing — including the lesson that the intuitive cut (
resolve_module_importsmemoization) was worth 1.3% and was disproven before any code targeted it.3. Flag signs recorded on the interface-summary carrier
Operator signs (2026-07-13, "lets take your recs") recorded inline at §6 of
docs/plans/interface-summary-declared-use-arity.md: B (per-declaration grain + rollup, retroactive — #6246 embodies it), C (span/seam landed shape, confirmatory), D (signature-only contract slot with typed-absent, retroactive), E (cardinality direction only; design pass still prerequisite). A deliberately deferred until import-projection work starts.🤖 Generated with Claude Code