Skip to content

board: correct five #1527 arc entries from the full PR bodies - #1528

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-board-arc-fix
Oct 13, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-board-arc-fix

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

Why

I wrote the arc entries in #1527 from PR bodies that I had cut to 22 lines and 230 characters each, and treated that truncated text as evidence. I then re-read all 12 bodies in full with the Read tool. Five entries were wrong or incomplete. PR_ARC_INVENTORY.md is append-only, so each correction is a dated line under its entry; nothing is rewritten.

Corrections

PR what was wrong or missing
#1505 The body says every workflow pins x86-64-v3. That was false: dir-sim-persist.yml and identity.yml set no RUSTFLAGS, and that is where the SIGILL appeared. The wheel pin and the arm64-safe Docker pins are not in the body; they came in the second commit, 12cdfde, as Codex fixes. Not recorded before: the thinking-engine images used to build at generic x86-64 (SSE2) and now build at v3.
#1518 The R2IL ordered comparison procs::and_cmp_i32 and its test also survive on main, not only MIN/MAX. Verified on main.
#1509 H1 was measured slower, not faster: the fused program took 603–617 µs against a 348–379 µs scalar reference. The PR claims no speed-up.
#1523 Its own stale-claims note ("second hop refused is wrong after #1518, #1520, #1522") is itself stale. #1524 withdrew those method layers and #1522 closed unmerged.
#1524 Adds the companion ndarray#359 and the rebuild target named in the body.

Checks

🤖 Generated with Claude Code

https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh


Generated by Claude Code

The #1527 entries were written from PR bodies cut to 22 lines and 230
characters. Re-read in full, five need correction lines (append-only,
under each entry):

- #1505: its body said every workflow pins v3; dir-sim-persist and
  identity did not, which is where the SIGILL appeared. The wheel pin and
  the arm64-safe Docker pins came in commit 12cdfde, not the body. The
  thinking-engine images moved from SSE2 to v3.
- #1518: R2IL and_cmp_i32 survives on main too, not only MIN/MAX.
- #1509: H1 was measured slower (603-617 us vs 348-379 us); no speed-up.
- #1523: its stale-claims note is itself stale after #1524.
- #1524: companion ndarray#359 and the rebuild target.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
@coderabbitai

coderabbitai Bot commented Oct 13, 2026

Copy link
Copy Markdown

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

  • Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.

Comment @coderabbitai help to get the list of available commands.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 13, 2026 05:42
@AdaWorldAPI
AdaWorldAPI merged commit 380d2fe into main Oct 13, 2026
3 checks passed
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 13, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-13T05:43:32.375770Z c5aab86 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

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