Skip to content

board: three Codex corrections on #1242 (−32 classid offset, two const fns, four commits) #1243

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 2 commits into from
Sep 16, 2026
+18 −4
Merged

board: three Codex corrections on #1242 (−32 classid offset, two const fns, four commits) #1243

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b64bc64
board: three Codex corrections on #1242 — the −32 classid offset in t…
claude Sep 16, 2026
0701a61
board: arc entry #1241 — append the −32 classid-offset correction to …
claude Sep 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 9 additions & 4 deletions .claude/board/LATEST_STATE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,14 @@
## 2026-09-16 — PR #1241 merged (`d5d3f7ab`): the facet's per-axis LCP is one masked register readout — NO contract inventory delta

`FacetCascade::hi_distance` / `lo_distance` now read `tz((a ^ b) & AXIS_BYTES)
/ 16` off the `u128` instead of gathering a six-byte chain and walking it:
12.5 → 5.8 ns for both axes, bit-identical over 64K pairs, disable-verified.
No public type added or removed; two private consts + one private `const fn`.
`FacetCascade::hi_distance` / `lo_distance` now read
`(tz((a ^ b) & AXIS_BYTES) − 32) / 16` off the `u128` — the 32 classid bits
sit below the tiers, so the subtraction is load-bearing: without it a tier-0
divergence reads as prefix 2, not 0 (Codex on #1242 caught the formula as
first written here, which omitted it; the merged code always had it) —
instead of gathering a six-byte chain and walking it: 12.5 → 5.8 ns for both
axes, bit-identical over 64K pairs, disable-verified. No public type added or
removed; two private consts + two private `const fn`s (`tier_byte_mask`,
`shared_axis` — "one" as first written here was wrong, same review).
Arc entry in `PR_ARC_INVENTORY.md`; the fold-once epiphany
(`E-FORMAT-SLOT-FOLD-IS-THE-SAME-OP-AS-THE-VL-DESCENT-1`) landed with the PR.
Sibling measurements the same day: ndarray #311 (ternlogq tail descent 5–8×;
Expand Down
9 changes: 9 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,15 @@
identical case. Board: `E-FORMAT-SLOT-FOLD-IS-THE-SAME-OP-AS-THE-VL-DESCENT-1`.
2 files, 3 commits (the first cut re-folded the gathered chain into a
`u64` — 1.5×; the operator's *"fold the PowerShell logic once"* replaced it).
- *Correction 2026-09-16 (Codex on #1242):* **4 commits**, not 3 —

@chatgpt-codex-connector chatgpt-codex-connector Bot Sep 16, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Correct the remaining axis-prefix formula

This appended correction fixes only the commit count, while the same entry’s Locked statement at lines 15–17 still records tz((a ^ b) & AXIS_BYTES) / 16 without the required − 32. A consumer relying on this canonical arc entry would therefore still compute a tier-0 divergence as prefix 2, contradicting both shared_axis and the corrected LATEST_STATE.md; append a corresponding formula correction here as well.

Useful? React with 👍 / 👎.

@AdaWorldAPI AdaWorldAPI Sep 16, 2026

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Correct — the same omission sat in the arc entry's Locked line and I only fixed LATEST_STATE. Appended a second dated correction to the #1241 entry recording (tz((a ^ b) & AXIS_BYTES) − 32) / 16 and why the offset matters; the original line stays as written per the append-only rule.

Generated by Claude Code

`95e2863` (u64 fold), `ce6664e` (epiphany entry), `76bb237` (masked
single-register readout), `45c5199` (entry corrected to the readout).
- *Correction 2026-09-16 (Codex on #1243):* the **Locked** line below
reads `tz((a ^ b) & AXIS_BYTES) / 16` — it omits the `− 32` for the four
classid bytes below the tiers. The merged `shared_axis` is
`(tz((a ^ b) & AXIS_BYTES) − 32) / 16`; without the offset a tier-0
divergence would read as prefix 2, not 0. The line itself stays as
written (append-only); this note is the record.
- **Locked:** *the register is already the formatted form; never un-format it
to compute on it.* An axis prefix is `tz((a ^ b) & AXIS_BYTES) / 16` past
the classid — the same op as the whole-facet `prefix_distance`.
Expand Down
Loading