Repository navigation
D-RPF-0: CE64 field predicate over resident NodeRow bytes (test-only probe) - #1413
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
Entry 2026-10-08-d-rpf-0-resident-ce64-predicate.md; plan checkbox and STATUS_BOARD row updated; entries index regenerated; supersession index regenerated after the board writes (unchanged). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 59 minutes. View limit detailsLimit details: You’ve used the included review currently available. Your 63 included PR review attempts over the past 7 days set your current allowance at 1 review per hour. Review configuration: ⚙️ Run configuration
📒 Files selected for processing (7)
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 |
member-tests hits its 30-minute limit on main too (runs 37766947128, 37806803926); #1412 is the fix. Identical change, so it no-ops once #1412 merges. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
|
Generated by Claude Code |
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. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: b12cd90d6e
ℹ️ 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".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| let base = fixture(0xD5F2); | ||
| let mut noise = fixture(0x7E57); | ||
| for k in 0..EDGES { |
There was a problem hiding this comment.
Because noise is initialized only once, each iteration permanently restores another field from base. For example, while testing Inference, the preceding Pearl iteration has already made the Pearl bits identical to base, so a predicate that accidentally also cares about Pearl would still pass; later edges inherit even more restored bits. Recreate the noise fixture inside each (k, field) iteration before preserving only the current field so this test actually validates that every outside bit is irrelevant.
Useful? React with 👍 / 👎.
Conflicts only in the board: STATUS_BOARD's D-RPF-0 row takes main's test-pinned status (#1413), and the generated entries index is regenerated with entries_index.py. The plan's D-RPF-0 status note and the fold-join entry now cite #1413's pinned threshold half instead of calling it unexercised. The ported #1412 workflow change merged as a no-op. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EFw2WdKr1oxvaKCJC2ua2R
2 participants
First phase of
resident-projection-fold-mask-v1(#1411). Test-only: no library code changes.Claim
A Pearl3, Inference (raw 4-bit nibble) or Epi5 predicate on any of the four
CausalEdge64words inValueTenant::MaterializedEdgesruns in place throughPred::MatchFacet16Strided, with no extracted lane. It uses two 16-byte windows (edges 0,1 and 2,3), so no window leaves the tenant.Result
crates/lance-graph-mask-risc/tests/resident_ce64_predicate.rs, 6 tests, over 3 tiles + 37 rows of randomNodeRowbytes:raw5 >= tas a union of at most 6 ternary patterns equals the accessor for all 32 thresholds on all four edges.isa::Field::span(). The oracle readscausal_mask/inference_mantissa/epistemic_raw5, which never consult that table. Offsets come fromValueTenant::value_offset().Falsifiers
>> 11LCG left bits 53..63 zero, so Epi5 was constant. The fixture now uses SplitMix64.Disable runs, each with its anchor asserted, each red:
kinstead ofk / 2Dependencies
causal-edgeandlance-graph-contractare added as dev-dependencies of mask-risc only. The library still names neither.Checks run
cargo test -p lance-graph-mask-risc: all suites green.cargo clippy -p lance-graph-mask-risc --tests -- -D warnings: clean.cargo fmt: clean.Board
New entry
2026-10-08-d-rpf-0-resident-ce64-predicate.md. Updated: plan checkbox, the D-RPF-0 row inSTATUS_BOARD, and the entries index.SUPERSESSION-INDEXwas regenerated and came out unchanged.🤖 Generated with Claude Code
https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
Generated by Claude Code