board: arc entry for #1093 — full revert of #1087..#1092, operator-ruled - #1096
Merged
Conversation
Records the wholesale revert with the operator's verbatim verdict, the per-PR backout table, the do-not-rebuild warning (the six merge commits stay visible in history but are not citable sources; the reverted stornos are void), the deliberate append-only exception, and the post-revert integrity audit (index current, no dangling consumers, neighbors intact). Post-check: PR_ARC_INVENTORY 5985 -> 6029 lines (longer; wc -l falsifier per never-truncate-a-file-you-still-need-to-read.md). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KCGhDYoQBXs3poaR7sFuqp
AdaWorldAPI
pushed a commit
that referenced
this pull request
Sep 3, 2026
…ten rows; restore D-ARW tracking Two independent items, both source-verified against cc0046f. 1. §F third correction. #1112 migrated alpha / alpha_tunnel / rung_schedule into lance-graph-contract and added planner::rung_horizon, so the mechanism §F has now been wrong about twice exists in-tree and names its own type. §F.1's "ten rungs = ten rows, sparsely occupied, at one address" has the wrong noun: AlphaTunnel holds lanes: Vec<AlphaOverlay> built by mapping (0..LEVELS) over ONE borrowed AlphaAllocation (alpha_tunnel.rs:73-89, LEVELS=10 at rung_schedule.rs:59). One lane costs one empty Vec; the module states outright that ten lanes must not mean ten address sets. And "split tunnel" names a read/write path split (reads share the baked spine lock-free, writes go to the overlay at the same addresses, alpha_tunnel.rs:12-18) which neither earlier reading contained. Two things checked rather than assumed, both cutting against the convenient conclusion: the Arrow/Lance storage glue deliberately stayed with the storage crate (alpha.rs:1-5), so lance-graph can express a rung stamp but still not persist one, leaving §F.2's persistence table accurate; and D-ACR-3's blocker survives, because mailbox_owner() still has zero callers outside its module (the only other occurrence is a doc mention at alpha_tunnel.rs:33) while the tunnel enforces one-writer structurally via per-lane &mut. Adds F-RLR-12: a correction must cite the type's definition, not substitute a different English noun for its shape. 2. D-ARW STATUS_BOARD rows restored. Verified gap: the board's deliverable dashboard had zero D-ARW/F-ARW rows while EPIPHANIES, LATEST_STATE and PR_ARC_INVENTORY all carried references, and #1094/#1095 had merged real artifacts. Rows derived ONLY from the merge commits and the files they added (e61d25a, e4db066) — never from #1090's enumeration, which #1093 reverted and #1096 rules non-citable. Scope is deliberately the two deliverables with merged artifacts, not a re-enumeration of D-ARW-0..8, which stays absent pending the operator gate #1096 requires. Board writes post-checked per the never-truncate law (STATUS_BOARD 1662->1682, EPIPHANIES 23989->24054); supersession index regenerated after the board writes and verified current. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016b33swuXE23hKtqxsHu9p1
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.
Adds the missing
PR_ARC_INVENTORY.mdentry for revert PR #1093. Without it, a future session finding the #1087..#1092 merge commits in history could rebuild on them.The entry records:
class_view.rsmask algebra, the D-ARW-0..8 board enumeration, three ⊘ stornos, the CI trigger widening) and that none of it survives.is_subset_of/differenceinrevision.rs+ the planner's localir/mod.rs:146are older originals with zero dependency on the reverted code; no orphaned arc entries; board: restore PR_ARC_INVENTORY.md (5876 lines destroyed by #1081's destructive prepend) #1082..board: record #1085 (LATEST_STATE + arc entry) #1086 intact.Post-check per the never-truncate law: PR_ARC_INVENTORY 5985 → 6028 lines (longer — falsifier passes).