Repository navigation
XL-5 cutover: switch required path, delete v1 and consumers (HELD until XL-4 PromotionDecision) - #9715
Closed
gunbai-bot[bot] wants to merge 14 commits into
Closed
XL-5 cutover: switch required path, delete v1 and consumers (HELD until XL-4 PromotionDecision)#9715gunbai-bot[bot] wants to merge 14 commits into
gunbai-bot[bot] wants to merge 14 commits into
Conversation
…ll, on the exact cut's own vocabulary Two carriers, both refusing today by construction, with fixtures that make every refusal executable now rather than at release: - gunbc.v1_consumer_census: consumer x consumed-authority relations in gunbc.replacement_cut BoundaryConsumer / ConsumerDisposition (no minted disposition vocabulary), each row carrying its medium, subject, and the producer + command + revision that found it. Population is honestly PopulationMeasuredLowerBound; the admission gate reads completeness, so the bankruptcy transaction refuses. Four hand-Rust shim consumers the exact vocabulary cannot cite are carried as the projection's own refusal shape, never as fabricated DeclarationRefs. - gunbc.v1_witness_census: one disposition per pre-cutover claim identity (Retired / ReplacedByStronger with an executed red / StillRequired), with floor standing as a SEPARATE axis (v2.workflow.required_floor RequiredFloorDisposition) per ruling, projecting onto EvidenceDisposition. Five-direction identity-join conservation wall; live roster declared Unmeasured until a floor run supplies it. 19 witnesses PASS by execution (claim_batch, remote build at f1f9dd8). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
…amespace row, derived citability, and the join on DeclarationRef - gunbc.rust_item_host_observation: the four hand-Rust source prefixes move here from the stage0 scaffold (importing them there would have closed the cycle scaffold -> seed_growth_admission -> this module), and the tooling tree gets its namespace row: `v1_compiled.`, the package the shim crates assemble into -- a crate-named root outside the .dag index like `v1_compiler`, deliberately NOT `tools.` because the citation gate treats a .dag-declared root as in-index. The projection now takes its table as a parameter (`_in` forms); the bare forms pass the live rows. - gunbc.v1_consumer_census: shim citability is DERIVED by running item_declaration_ref_in over the four items against a supplied table. Under the live table all four are BoundaryConsumer rows and the uncitable list is empty by construction; with the tooling row removed all four return to V1UncitableConsumer -- executed as the falsifier. Population stays LowerBound for its three other named holes. - gunbc.v1_witness_census: the roster joins on DeclarationRef via declaration_ref_eq, not on a rendered module::decl string (XL-1's hollow-alias finding). - fixtures: every planted DeclarationRef is now a self-citation of a real declaration -- the required floor's declarations phase refused the first push with CITED-MODULE-ABSENT on invented fixture modules; a plant may be absent from a roster, never from the tree. - list_snoc_item / list_append called with their declared labels. Executed (claim_batch on BuildBuddy): 11 + 10 census witnesses, 6 rust_item_host_observation witnesses including the new tooling projection, 46 stage0_rust_source_lifecycle_scaffold, 7 stage0_rust_product_reachability. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
…ion rows, blast radius 0 The witness floor was green on the previous push (planned=executed=2829, failed=0); the namespace-wave-admission phase refused 6 unadjudicated binding deltas -- every spelling of the four rust_source_prefix_* constants now binds to gunbc.rust_item_host_observation instead of the scaffold. The rows name each exact (module, enclosing declaration, leaf) and go stale by the trigger the roster already carries: the moment #9675 merges. cargo test -p v1-compiler --test namespace_wave_admission: 33 passed. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
…d false by execution - DiscoveryProducer.source_revision is std.types CommitSha and it gains source_tree: v2.workflow.floor_discovery FloorDiscoveryTreeId, built from the tree of the measured revision (f1f9dd8 -> d806b7d). A String revision is a spelling any later tree can wear; the tree is what the floor keys a discovery on, so after #9676 the population reads as an observation of an OLDER tree until it is rebound -- a visible typed edit rather than a stale string. - consumer_census_live_gate_refuses_even_with_every_successor_realized: v1_bankruptcy_transaction_admitted over the live population is FALSE, including with every claimed successor handed to the gate as realized. 22 witnesses PASS (claim_batch on BuildBuddy). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
# Conflicts: # src/v1/stage0/src/namespace_wave_admission.rs
# Conflicts: # src/v1/stage0/src/namespace_wave_admission.rs
…r projection eliminates the two new floor standings Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
…ority (24fc4a3); the seven producers agree with the prior measurement Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
…elf_host_ seed prefix, and the tooling-tree projection witness moves out of the main-owned module Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7GG6M9N2p7dmqHn4tFtii
gunbai-bot
Bot
changed the title
added 2 commits
August 30, 2026 04:20
# Conflicts: # src/v1/stage0/src/namespace_wave_admission.rs
This was referenced Aug 30, 2026
Contributor
Author
|
Closed by XL-N Manager to release the lane slot; XL-5 cutover is HELD until XL-4's PromotionDecision is on main and will be re-dispatched as a fresh lane (branch retained). |
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.
XL-5 successor lane (census → disposition → delete). The census half landed in #9675 (e190585). This PR is held empty by XL-N Manager ruling: the bankruptcy transaction does not start until XL-4's PromotionDecision is on main.
First commit when released: remove the six
rust-source-prefix-relocation-0Nrows fromNAMESPACE_TRANSITION_ADMISSIONS(their dissolve-on was #9675 merging), then the cutover proper.Draft; no auto-coverage requested yet.