Skip to content

board: arc entry for #1093 — full revert of #1087..#1092, operator-ruled - #1096

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/arc-1093
Aug 30, 2026
Merged

board: arc entry for #1093 — full revert of #1087..#1092, operator-ruled#1096
AdaWorldAPI merged 1 commit into
mainfrom
claude/arc-1093

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Aug 30, 2026

Copy link
Copy Markdown
Owner

Adds the missing PR_ARC_INVENTORY.md entry for revert PR #1093. Without it, a future session finding the #1087..#1092 merge commits in history could rebuild on them.

The entry records:

Post-check per the never-truncate law: PR_ARC_INVENTORY 5985 → 6028 lines (longer — falsifier passes).

⊘ Body edited twice after merge: the original reproduced the operator's own wording; a first edit still echoed several of the operator's phrases. Operator words and phrasings do not appear in public-facing or committed artifacts — the ruling is stated in the session's own words above. In-repo corrections: #1097 and its follow-up.

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
AdaWorldAPI merged commit 7f3800b into main Aug 30, 2026
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants