Repository navigation
plan: resident-projection-fold-mask-v1 (D-RPF-0..8) - #1411
Merged
Merged
Conversation
Integration plan for mask x fold x CE64 register over projections of resident NodeRow bytes. Proposal only; no code authorized. - CE64 field predicates and recipe eligibility as ternary-pattern masks over strided projections of MaterializedEdges, no extracted lane. - Class census, then exact read-set dedup keyed by isa::contracts plus handle context (cohort for W, classid for Epi5 and palette indices). - Population revision as one (sum w, sum w*f) fold, blocked on four decisions and one T1 primitive gap (LUT-weighted strided sum). - Moore tenants 18..20 gated on a SlabReading decision. - Boundary: mask-risc never executes CE64 instructions. Board: INTEGRATION_PLANS and STATUS_BOARD prepended. 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
|
Note Currently processing new changes in this PR. This may take a few minutes, please wait... ⚙️ Run configuration
📒 Files selected for processing (3)
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 |
AdaWorldAPI
marked this pull request as ready for review
October 8, 2026 15:58
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: e6874eadd5
ℹ️ 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".
- D-RPF-0: two 16-byte windows cover the 32 B MaterializedEdges tenant exactly (edges 0,1 and 2,3), so no window reaches a neighbouring tenant. The care-0 overlap question and the 8-byte strided primitive are dropped. - D-RPF-1: EpistemicState5 has 24 meaningful codes, not 10 (the probe doc is stale since D-EPI-MIG-0); pattern bound 24 x 8 = 192. OBSERVE_FOLD admits all 24 codes across all Pearl projections. - D-RPF-1: patterns run under an admission plane. measure_declared refuses on class, rail, generation and provenance before reading bits 59..63, none of which is in the edge; classid comes from the key, rail and generation are per-population constants, provenance is a resident plane or a whole-population precondition, else the program refuses. - D-RPF-2: census bound 192 per declared class. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Integration plan for masking × folding × the CE64 register over projections of resident
NodeRowbytes. Proposal only, no code. Every phase is a probe or measurement first; a phase that needs a missing primitive stops and files the gap.What the plan says
One resident row has three readings, kept apart:
u64planePred/MaskOpover aLaneRef::StridedprojectionTerminalCausalEdge64causal-edgeisaMaterializedEdgesviaMatchFacet16Strided, no extracted lane. Two 16-byte windows cover the 32 B tenant exactly, so no window reaches a neighbouring tenant.measure_declaredrefuses on facts that are not in the edge bits.isa::contractsplus handle context: cohort for W, classid for Epi5 and palette indices.(Σw, Σw·f)fold. Blocked on four decisions (normative vs pairwise chain, the c = 255 defect, admission as mask, witness scope) and one T1 gap (LUT-weighted strided sum).SlabReadingdecision.Review
Codex's three findings were correct and are addressed in bd4c34c: tenant-internal windows (drops the earlier open RBAC question), 24 meaningful Epi5 codes rather than 10, and the admission plane in front of the eligibility patterns.
Board
INTEGRATION_PLANS.mdandSTATUS_BOARD.mdprepended and updated.SUPERSESSION-INDEX.mdregenerated after the board writes; unchanged.Not verified
ndarraywas not checked out; primitive names come from mask-risc's docs and the probes. No real population was measured; D-RPF-2 is the first measurement.🤖 Generated with Claude Code
https://claude.ai/code/session_01R2EuNHrariL6B3G3agyASK
Summary by CodeRabbit