Repository navigation
ci_budget_tree_witness: three live-tree reds were stale premises, re-derived from the producers - #12907
Closed
gunbai-bot[bot] wants to merge 8 commits into
Closed
ci_budget_tree_witness: three live-tree reds were stale premises, re-derived from the producers#12907gunbai-bot[bot] wants to merge 8 commits into
gunbai-bot[bot] wants to merge 8 commits into
Conversation
… LiveTreeDisposition (1)(2) live_deploy.emit sudoers claims: the needle is now the install's own node (gunbc.ci_deploy_sudoers deploy_sudoers_elevated over the fleet visudo row) rendered by the same serializer. Stale since #12602 (/usr/bin/sudo) and #12525 (bash builder quotes every word). The two probe negatives are deleted: unmatchable under quoting, and since #12168 those probes are emitted on purpose after the install. (3) twin claim: count equality replaced by an identity join on artifact kind, host singletons (fabric storage + #12747's approval broker front door) subtracted by the functions that decide them. (4) CPUQuota grant: sudoers side read through sudoers_argument_word (escape since #12563). (5) tasks verdict: bare `Absent ==` never named the ConvergeVerdict arm; typed match + a Drifted discriminating conjunct. (6) runner_lifecycle: fabric rows from srv3/srv4_fabric_first_slot, each controlled by the slot below it on its own host (srv4-06 is fabric since 2026-09-18). Admission: build_cache_endpoint_observe, ci_budget_tree_witness, host_allocation_conservation import v2.std.live_tree (the #12540 class #12819 fixed once); variant rows retired ImportsFixed. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…derived from the producers witness_live_is_fail_closed asserted the Unestablished arm while srv1 now resolves ReservationBytes; it asserts each arm's relation over session_reservation_bytes(srv1). witness_srv2_symmetric_to_srv1 assumed equal RAM (srv1 is 512 GiB since 2026-08-22; usable RAM per host since #11625); it asserts the pools differ by exactly the RAM gap. witness_srv3_outbudgets_srv1_by_exactly_the_overhead_gap missed the 1,392,640-byte usable-RAM difference; gap = overhead gap + RAM gap, both read from the producers. Removed from floor_expected_red_chunk_live_tree_admission (they now pass). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
The floor's changed cost-debt edit judgment lexes the whole 125 KB emit_test.dag at base and at head per identity in the interpreter; with these two identities changed, site projection ran past the 90-minute cap (run 36856989404). Their fix moves to its own PR, held on that floor defect. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…-budget # Conflicts: # dag/test/claim/ci/ci_budget_tree_witness_test.dag
…w 73848) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Contributor
Author
|
Consolidated into integration PR #12951 at the operator's request; this branch is merged there unchanged in its own merge commit. Closing here; the branch is kept. — sent from deep-ferret-305 |
github-merge-queue
Bot
removed this pull request from the merge queue due to a manual request
Oct 1, 2026
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.
Stacked on #12905, which admits this module at entry. Follow-up (2) from deep-ferret-305.
I read each claim's observed value with a temporary probe on 2026-10-01. In all three cases the claim was wrong and the subject was right.
witness_live_is_fail_closedReservationBytes(52 GiB), so a positive pool is the correct derivation.session_reservation_bytes(srv1), so the fail-closed half still applies if srv1 falls back to Unestablished.witness_srv2_symmetric_to_srv1p1 - p2 == ram1 - ram2. The overhead and the slice are the same on both hosts, so nothing else may differ.witness_srv3_outbudgets_srv1_by_exactly_the_overhead_gapp3 - p1 == overhead gap + RAM gap, both read from the producers.All three are removed from
floor_expected_red_chunk_live_tree_admission, because they now pass.Evidence: local
claim_batch --hermeticover the whole module: 13 PASS, 0 FAIL.🤖 Generated with Claude Code