Repository navigation
board: catch-up #1742–#1758; #1744 S0 adopts D-NFC; stale In-PR rows marked shipped - #1759
Conversation
…marked shipped - PR_ARC_INVENTORY: compact entries for #1742–#1758, recorded from each merge commit and its changed-file list. - LATEST_STATE: "main after #1758" section. - STATUS_BOARD: D-ONNX-NATIVE-0 (#1754), D-DRF-1 (#1756), D-NFR-6 (#1755), D-MPF-1 (#1752) and D-ONNX-0 (#1744) were still "In PR" / "this branch"; now point at their merge commits. - INTEGRATION_PLANS: index row for six plans merged without one (#1745–#1749, #1751). - d-onnx-relalg-cap-v1 (#1744's S0): owner supersession note adopting D-NFC §1/§2 by reference (D-NFC §6 step 1); OP-ONNX-1 marked answered by D-NFC §4 + lance-graph-onnx. Which S0 draft carries the adapter layer stays open for the three owners. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
|
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
Board and docs only. No code.
What changes
PR_ARC_INVENTORY.md: compact entries for lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records #1742–lance-graph-onnx: Tanh and Exp as ULP-bounded aliases (onnx::bounded) #1758. None of these PRs had one. Each entry is recorded from its merge commit and changed-file list, and claims nothing beyond what the PR's own board entry records.LATEST_STATE.md: new "main after lance-graph-onnx: Tanh and Exp as ULP-bounded aliases (onnx::bounded) #1758" section covering the new crates (lance-graph-onnx,math-polyfill-probe,soa-view-probe), theProofStorecertificate, and the doc-only ONNX/DR plans.STATUS_BOARD.md: five rows still read "In PR", "draft PR" or "this branch" after their PRs merged:Only the status column changed.
INTEGRATION_PLANS.md: one index row for six plans that merged without one (docs(onnx) S0: convergence amendment (HOLD, competing capstones #1744/#1750) #1745–docs(onnx) S4–S5: reuse BGZ/Helix/ndarray with identity-safe ONNX binding #1749, docs(onnx) O0–O4: Optimum offline compiler frontend → BGZ/Palette256 sidecar #1751)..claude/plans/d-onnx-relalg-cap-v1.md(the S0 plan from D-ONNX-RELALG-CAP S0: ONNX as an import membrane over the existing substrate; board closeout #1726–#1741 #1744): owner supersession note adopting D-NFC §1/§2 by reference, asd-native-first-dependency-correction-v1.md§6 step 1 asks of each S0 owner. OP-ONNX-1 is marked answered by D-NFC §4 pluslance-graph-onnx. The rest of the plan is unchanged.Still open, and not decided here
Gates
append_only_gate.py origin/main: OKcitation_decay.py --since origin/main: no new decayentries_index.py --check: currentfruits_index.py --check: currentSUPERSESSION-INDEX.md: regenerated with no diffGenerated by Claude Code