Consolidate into #1622: D-RPR-1 sub-cases, plan links for #1601–#1617, and the handoff lab probe by AdaWorldAPI · Pull Request #1624 · AdaWorldAPI/lance-graph

AdaWorldAPI · 2026-10-20T07:33:28Z

Rebased onto main after #1622 and #1623 merged. #1622 is the canonical owner of D-RST and D-RPR. This PR carries only what it lacked.

1. Plan links for #1601–#1617

#1601–#1617 merged docs and data that named no plan, and no plan named them. #1618 gave them arc rows only.

19 artifacts gain a "Plan and board" line pointing at an existing owning plan.
11 plans gain a "Connected sources from docs(arxiv): extract HGR theorem patterns and HRR retrieval bottleneck #1601–design: separate zero-copy RelationshipMaps and thought-selected palettes (D-RMAP-1) #1617" section.
graph_hop.rs names .claude/board/ISSUES.md.
New board entry 2026-10-20-prs-1601-1617-plan-links.md, plus a status section and a plan-index entry.

2. D-RPR consolidation (`79133f7`, `af3cb0f`)

My earlier duplicate plan file, its same-named entry and status rows D-RPR-0..6 are dropped. What #1622's plan lacked is now its §11, under the existing ids:

§11.2: D-RPR-1 sub-cases 1a–1f.
§11.3: anti-vacuity rules.
§11.4–§11.5: independent oracles and the green → red → green protocol.
§11.6: refusals by axis.
§11.7: measured preparation and reuse costs.
§11.8: two-variable and multiplicity limits.

It also corrects:

the WORLD/ANGLE metaphors;
docs(plan): Git porcelain for epistemic algebra, causal Pickaxe and Lance 13 history #1605 thought identity;
the withdrawn D-RST claim;
D-MTP-1's gather-shaped Semijoin;
the ThoughtMask collision, which stays OPEN.

3. The handoff as a lab demonstration (`2aaf6e7`, `b702f0a`)

This is the gather-shaped transition, kept outside the fold. The 2026-10-16 no-gather ruling stands, and no admission is claimed.

The code is in crates/mork-pathmap-probe: src/chain.rs, tests/chain.rs and examples/chain_cost.rs. The only change to existing code makes TileExec::program pub. The full write-up is plan §11.10.

Fold. TileExec::reach runs a mask-risc program over tile planes in one (target, source) space. A test reads the program itself and finds no Gather and no scatter terminal. Its twin checks that a program with a Gather is detected.
Addresses out. The fold's escapes are values from the CSR escape list that preparation built.
Lookup. rebind makes one SortedRun::neighbours seek per changed slot and predicate, and every seek is counted.
Translation. Focus::slot_of maps global to local inside preparation.
Fixture fix. The first focus is the seed plus 255 identities from a far community, so every step must look something up.
Oracle. Every answer equals a full-scan oracle.
Measured (avx512f, 392 238 facts):
- 360 seeks after the initial prepare, against 3 840 for a full rebuild per admission.
- An incremental admission takes 90–290 µs. The tile rebuild is 2–4 µs of that; the rest is mostly rebind's CSR copy, not seeks.
- Folds take 2–6 µs.
- The direct no-frame arm costs 66 seeks and 23.6 µs per pass, against 1 509 µs for the first framed pass. Repeating the chain is repaid after about 85 re-asks. That is a bound on this small chain, not a win.
Disable runs:
- removing the co-addressing check: 1 red;
- stopping after the first fold: 4 red;
- reporting full seeks for the incremental rebuild: 1 red;
- ignoring keep in eviction: ask livelocks, so the test hangs instead of failing and only a timeout catches it.

Still open:

A1 / D-RMAP-1 §6;
D-RPR-1 authorization;
the rebind copy floor;
the KJV fixture.

Gates

cargo fmt --check, clippy -D warnings and cargo test in mork-pathmap-probe, each with and without --features leapfrog: green.
entries_index.py --check: current (381 rows).
append_only_gate.py: no protected file shrank.
supersession_index.py: regenerates unchanged.
The qualia verifiers pass.

🤖 Generated with Claude Code

https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

coderabbitai · 2026-10-20T07:33:36Z

Important

🔍 Trigger review

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

⚙️ Run configuration

Configuration used: Organization UI
Review profile: CHILL
Plan: Advanced
Run ID: 9fa67d7f-1e8c-4b60-94a1-d552d6d00b47

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.

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.}

#1622 is canonical for D-RST and D-RPR. #1624's duplicate plan file, same-named entry and status rows D-RPR-0..6 are withdrawn (dropped in the rebase); what #1622 lacked is now plan section 11 under the existing ids: - D-RPR-1 sub-cases 1a-1f (kill condition + disable run each) - anti-vacuity rules, incl. the measured first-focus failure - independent oracles; green -> red -> green protocol - refusals by axis: version, focus, scope, ordering, thought identity, narrow frame, capacity - measured preparation/reuse costs (break-even 76/11/1.8, CSR vs tile, escape reporting, bytes, zero-copy tension) - two-variable and multiplicity limits Corrections: WORLD/ANGLE/THOUGHT are metaphors (pointer notes in sections 1 and 3); thought identity is #1605's ThoughtCommitId and DurableRef; the "D-RST resolves to no plan" claim is withdrawn; D-MTP-1's Semijoin path is gather-shaped; the two ThoughtMask meanings are OPEN. The draft chain probe is banked as a patch in .claude/harvest/d-rpr-1-chain-probe-draft/: it applies to main 4dbd085, 5 of 6 tests pass there, and it is not merged because D-RPR-1 is not authorized. Board: the D-RPR-1 evidence column, entry 2026-10-20-d-rpr-consolidation-1624.md, regenerated index. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

them arc rows and one shared recovery entry, but most of their docs and data named no plan or board file, and no plan named them. - 19 artifacts (13 .arxiv notes, 2 language-LEGO docs, the 34-recipes doc, 2 qualia readmes, the act-r README) gain a "Plan and board" line under their title, pointing at an existing owning plan. - 11 existing plans gain a "Connected sources from #1601-#1617" section listing what they own (3 docs that already linked their plan are listed plan-side only). - graph_hop.rs names .claude/board/ISSUES.md instead of a bare ISSUES.md. - Board: entry 2026-10-20-chatgpt-prs-1601-1617-plan-links.md, a STATUS_BOARD section, an INTEGRATION_PLANS entry, regenerated index. No content, plan or D-id is invented. Qualia verifiers still pass (the pinned digest covers the JSON data, not the readmes). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

same-named entry and status rows D-RPR-0..6 are withdrawn (dropped in the rebase); what #1622 lacked is now plan section 11 under the existing ids: - D-RPR-1 sub-cases 1a-1f (kill condition + disable run each) - anti-vacuity rules, incl. the measured first-focus failure - independent oracles; green -> red -> green protocol - refusals by axis: version, focus, scope, ordering, thought identity, narrow frame, capacity - measured preparation/reuse costs (break-even 76/11/1.8, CSR vs tile, escape reporting, bytes, zero-copy tension) - two-variable and multiplicity limits Corrections: WORLD/ANGLE/THOUGHT are metaphors (pointer notes in sections 1 and 3); thought identity is #1605's ThoughtCommitId and DurableRef; the "D-RST resolves to no plan" claim is withdrawn; D-MTP-1's Semijoin path is gather-shaped; the two ThoughtMask meanings are OPEN. The draft chain probe is banked as a patch in .claude/harvest/d-rpr-1-chain-probe-draft/: it applies to main 4dbd085, 5 of 6 tests pass there, and it is not merged because D-RPR-1 is not authorized. Board: the D-RPR-1 evidence column, entry 2026-10-20-d-rpr-consolidation-1624.md, regenerated index. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

…fter #1623 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

One fold's escapes drive the next counted preparation lookup (rebind's neighbours seeks); the mask-risc fold stays co-addressed (no Gather, no scatter). Eight tests against a full-scan oracle; chain_cost example times each transition against direct and full-rebuild arms. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

Plan §11.10 names the operation chain (fold escapes -> rebind seeks -> slot_of translation), the disable runs and the measured costs; the banked patch is marked superseded; board row and a dated entry carry the result. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

chatgpt-codex-connector · 2026-10-20T09:02:52Z

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-20T09:06:36.985858Z	`b702f0a`	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-20T09:03:16Z

Add Carrot credits or activate Agent usage billing to use Autofix

The entry describes what the PRs lacked (plan and board links), not who wrote them. Renamed the entry file and updated every link to it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

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

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: b702f0acd4

ℹ️ 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".

chatgpt-codex-connector · 2026-10-20T09:06:34Z

+        let focus = self.focus.replace(&changes);
+        let w = at(current, &focus);
+        let full_seeks = focus.len() * self.preds.len();
+        let (csr, tile, seeks) = match how {
+            Rebuild::Incremental => {
+                let (csr, tile) = rebind(run, &self.focus, &focus, &self.csr, w);


Validate the old witness before restamping admission

When ask begins with seeds outside the focus, or a later fold produces escapes, this path rebuilds the old run/CSR while copying the caller's new facts, seal, and scope values into w without first checking the existing frame. A stale frame can therefore be “refreshed” after a facts, index, or authorization-scope change, and the subsequent reach witness check passes even though the prepared data still came from the old world; the current stale-world test misses this because its seed is already focused, so admit returns before restamping. Check the frame against the non-focus witness components before performing either rebuild.

Useful? React with 👍 / 👎.

AdaWorldAPI changed the title ~~D-RPR-0: distill the recursive-perspective-rebinding brief onto existing probes and plans~~ D-RPR-0 distillation; plan links for ChatGPT-authored #1601–#1617 Oct 20, 2026

AdaWorldAPI force-pushed the ccr-d3ce1263-ied9yh branch from 50641e6 to af2ea13 Compare October 20, 2026 08:31

AdaWorldAPI changed the title ~~D-RPR-0 distillation; plan links for ChatGPT-authored #1601–#1617~~ Consolidate into #1622: D-RPR-1 sub-cases and plan links for #1601–#1617 Oct 20, 2026

claude added 3 commits October 20, 2026 08:31

D-RPR: record that the banked chain probe re-runs unchanged on main a…

af3cb0f

…fter #1623 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f

AdaWorldAPI force-pushed the ccr-d3ce1263-ied9yh branch from af2ea13 to af3cb0f Compare October 20, 2026 08:33

claude added 2 commits October 20, 2026 08:42

AdaWorldAPI changed the title ~~Consolidate into #1622: D-RPR-1 sub-cases and plan links for #1601–#1617~~ Consolidate into #1622: D-RPR-1 sub-cases, plan links for #1601–#1617, and the handoff lab probe Oct 20, 2026

AdaWorldAPI marked this pull request as ready for review October 20, 2026 09:02

claude added 2 commits October 20, 2026 09:05

board: point the #1601-#1617 back-links at the renamed entry

f9ab46a

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

chatgpt-codex-connector Bot reviewed Oct 20, 2026

View reviewed changes

AdaWorldAPI merged commit 7d2722b into main Oct 20, 2026
20 checks passed

AdaWorldAPI mentioned this pull request Oct 20, 2026

board: catch up #1621–#1626, one row per duplicated blocker, D-RMAP-2 AMX re-run #1627

Merged

Navigation Menu

Repository navigation

Consolidate into #1622: D-RPR-1 sub-cases, plan links for #1601–#1617, and the handoff lab probe - #1624

Consolidate into #1622: D-RPR-1 sub-cases, plan links for #1601–#1617, and the handoff lab probe#1624
AdaWorldAPI merged 7 commits into
mainfrom
ccr-d3ce1263-ied9yh

AdaWorldAPI commented Oct 20, 2026 •

edited

Loading

Uh oh!

coderabbitai Bot commented Oct 20, 2026 •

edited

Loading

Uh oh!

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

edited

Loading

Uh oh!

coderabbitai Bot commented Oct 20, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Uh oh!

chatgpt-codex-connector Bot Oct 20, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

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

Uh oh!

1. Plan links for #1601–#1617

2. D-RPR consolidation (79133f7, af3cb0f)

3. The handoff as a lab demonstration (2aaf6e7, b702f0a)

Gates

Uh oh!

coderabbitai Bot commented Oct 20, 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 20, 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 20, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

chatgpt-codex-connector Bot Oct 20, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

AdaWorldAPI commented Oct 20, 2026 •

edited

Loading

2. D-RPR consolidation (`79133f7`, `af3cb0f`)

3. The handoff as a lab demonstration (`2aaf6e7`, `b702f0a`)

coderabbitai Bot commented Oct 20, 2026 •

edited

Loading

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

edited

Loading