test(dr512): canonical epistemic P×M Codec9 + LUT9/CI tripwires; defer CE64 sidecar by AdaWorldAPI · Pull Request #383 · AdaWorldAPI/ndarray

AdaWorldAPI · 2026-10-28T00:09:28Z

Operator ruling: ONE DR512 epistemic P×M convention

No adapter, alternate sign bit, or spare NULL plane.

P	Magnitude	Meaning
0	0	-0 / NaN / epistemically NEVER TOUCHED
0	1..255	negative -1..-255
1	0	valid +0
1	1..255	positive +1..+255

LUT9 changed to canonical presence polarity. Existing untouched -0 stays -0. A touched negative nonzero result that rounds to 0 becomes valid +0; no (-0.5,0) sentinel filter.
Codec9 introduced as lab-only u8 magnitude + one u64 P plane per 64 rows with existing Codec8 compile-time Calibration and nearest Rounding types (TiesEven, TiesAway). Asym, Floor, alternate NULL/sign options cannot redefine P×M. Codec8 itself remains unchanged.
Exhaustive 512 codewords + 511² valid pairs and the WHERE(P==0 AND M==0) 65,536-row gate without another 8-KiB mask.
Realigned historical palette512_probe, sm9_presence_probe, lut9_bench and the independent SIMD matrix parity reference so no old-sign oracle remains valid unnoticed. Existing SIMD matrix should run the updated P×M oracle on backend realizations.
Required CI: new dr512-epistemic-tripwire job in existing ci.yaml, added to mandatory conclusion.needs (independent truth table; Codec9; LUT9; legacy probes).
Negative ceiling: touched -0.49999 and -0.4 must be +0; TiesEven -0.5 becomes +0, TiesAway -0.5 becomes -1; always valid numeric results, never NaN.
[-a,+b] distance law documented and independently checked in tests/dr512_epistemic_contract.rs: same sign |m1-m2|, opposite sign m1+m2 (up to 510, requires u16), and hypothetical [-3,+7] side-calibrated oracle. No LUT performance claim is made without a pinned benchmark.
CausalEdge64 SPO 3-bit sidecar is explicitly DEFERRED. No bit theft from the existing 64-bit law, no physical DR³ change.

Validation status / reviewer gates

Branch is incremental normal commits only, NO FORCE PUSH. Static source/owner review completed; exhaustive test commands are wired in CI, but execution results must be read from Actions after PR creation. No claim that CI has already passed.

Review particularly the semantics of touched across source and numeric operations, source/version authority, all backend parity, and the distinction between numeric P×M vs arbitrary Odoo/OGIT codebook identities. This PR is a contained ndarray experimental numerical + test gate, not a BGZ/Quack/Odoo wire migration.

Source context: ndarray #380–#382, lance-graph #1819/#1823, EXO-50 (append-only cross-session board). Rejected LG #1812 is strictly quarantined, not technical evidence.

Run

cargo test --test dr512_epistemic_contract
cargo test --lib hpc::codec9::tests
cargo test --lib simd_stride::tests::lut9
cargo test --example palette512_probe
cargo test --example sm9_presence_probe

…ewords

…e trap

…ove P×M

… DR512 P×M

…iling

…e oracles

…main conclusion

…decar

coderabbitai · 2026-10-28T00:09:37Z

Important

🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

Source mode: Auto
Repository: Unavailable
Branch: Unavailable
File: No configuration file from this repository applied
Commit: Unavailable
Layers: Organization UI
Review profile: CHILL
Plan: Advanced
Run ID: e4440892-8d99-4c67-82dd-be9cabb55088

Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

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

chatgpt-codex-connector · 2026-10-28T00:13:54Z

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-28T00:15:07.229427Z	`f0d7ca8`	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.

coderabbitai · 2026-10-28T00:13:59Z

Add Carrot credits or activate Agent usage billing to use Autofix

`main` in sm9_presence_probe now counts NULL rows with `never_touched`, so `decode` is used only by the example's tests and `-D warnings` rejected it as dead code in three jobs. Gate it with #[cfg(test)]. `cargo fmt` reflows four lines in the files this PR touches. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPWTwovjYJEUMuGPb4

…otes facet-stride-guard --all crashed on the 34 crates/burn/src/*.rs paths, which are symlinks into an absent ../upstream checkout. The --diff and --hook modes already skipped non-files; --all now does too. The count is unchanged (166). wasm-simd-consumer-guide said wasm mul_add rounds twice; since #374/#378 it rounds once on every realization and is checked bit for bit, so a mul_add parity test may assert equality. The NaN mindmap plan records #383: on integer lanes one presence/polarity bit replaces #381's two planes, and float presence of a DR512 lane is P | ne_u8_to_mask(M, 0). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY

-#383 Point-by-point revision of lance-graph's 2026-10-16 synergy map (A-F, X1-X19, D1-D8, S1-S8, L/H/V), each row re-read against current main. Closes X11, D1, S4, S8; marks X2-X4 UNKNOWN; merges X16 with the facet-stride lance-graph hits. Adds N1-N9 for the codec9/lut9 consumers, the NSL runtime-scale request, the AVX2 popcount question and the remaining NaN erasers, plus the Haiku harvest ledger. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY

Synergy map after #378–#383; guard symlink fix; stale mul_add doc

AdaWorldAPI added 11 commits October 28, 2026 00:56

fix(dr512): unify lut9 epistemic P×M polarity and round-to-+0 law

b2132e6

test(dr512): update exhaustive Palette512 oracle to canonical P×M cod…

f1839ab

…ewords

test(dr512): reverse old lut9 parity oracle polarity and add four-cod…

18dba4c

…e trap

bench(dr512): synchronize lut9 scalar parity with canonical presence P×M

5b6d8f8

test(dr512): remove independent sign/NULL plane from SM9 probe and pr…

a0d2c73

…ove P×M

feat(lab): Codec9 reuses compile-time rounding/calibration with fixed…

f042d44

… DR512 P×M

feat(lab): register canonical Codec9 without changing existing Codec8

d83dc30

docs(dr512): freeze universal epistemic P×M truth and touched-zero ce…

9a64a4f

…iling

test(dr512): 512-codeword, 64K WHERE, rounding and asymmetric distanc…

605f0a7

…e oracles

ci(dr512): require canonical P×M and ceiling/511-distance oracles in …

9d0cf0d

…main conclusion

docs(dr512): pin [-a,+b] distance law and defer CausalEdge64 3-bit si…

aa087d6

…decar

AdaWorldAPI added 2 commits October 28, 2026 01:12

fix(ci): preserve no_std test gate and use real WHERE in example

a739971

fix(ci): preserve no_std test gate and use real WHERE in example

f0d7ca8

AdaWorldAPI marked this pull request as ready for review October 28, 2026 00:13

AdaWorldAPI merged commit 2cbe131 into master Oct 28, 2026
31 checks passed

AdaWorldAPI mentioned this pull request Oct 29, 2026

Synergy map after #378–#383; guard symlink fix; stale mul_add doc #384

Merged

AdaWorldAPI added a commit that referenced this pull request Oct 29, 2026

Merge pull request #384 from AdaWorldAPI/ccr-45a41fb4-0j3i0l

a422063

Synergy map after #378–#383; guard symlink fix; stale mul_add doc

Navigation Menu

Repository navigation

test(dr512): canonical epistemic P×M Codec9 + LUT9/CI tripwires; defer CE64 sidecar - #383

test(dr512): canonical epistemic P×M Codec9 + LUT9/CI tripwires; defer CE64 sidecar#383
AdaWorldAPI merged 14 commits into
masterfrom
fix/dr512-universal-epistemic-presence-tripwire-20261028

AdaWorldAPI commented Oct 28, 2026

Uh oh!

coderabbitai Bot commented Oct 28, 2026 •

edited

Loading

Uh oh!

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

edited

Loading

Uh oh!

coderabbitai Bot commented Oct 28, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

AdaWorldAPI commented Oct 28, 2026

Operator ruling: ONE DR512 epistemic P×M convention

Validation status / reviewer gates

Run

Uh oh!

coderabbitai Bot commented Oct 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

chatgpt-codex-connector Bot commented Oct 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codex Review Summary

Uh oh!

coderabbitai Bot commented Oct 28, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

coderabbitai Bot commented Oct 28, 2026 •

edited

Loading

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

edited

Loading