AdaWorldAPI · Oct 20, 2026 · Oct 20, 2026 · Oct 20, 2026 · Oct 20, 2026 · Oct 20, 2026
diff --git a/.arxiv/2210.07278_meta_uncertainty_bayesian_model_comparison_vs_ce64_mul.md b/.arxiv/2210.07278_meta_uncertainty_bayesian_model_comparison_vs_ce64_mul.md
@@ -1,5 +1,7 @@
 # Meta-uncertainty in Bayesian model comparison: distinct from CE64 MUL
 
+> **Plan and board (2026-10-20):** owned by [`jc-sbi-counterfactual-integration-v1`](../.claude/plans/jc-sbi-counterfactual-integration-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Source:** Marvin Schmitt, Stefan T. Radev, Paul-Christian Bürkner, *Meta-Uncertainty in Bayesian Model Comparison*, AISTATS 2023 / PMLR 206.  
 **Paper:** https://arxiv.org/abs/2210.07278 · [PDF](https://arxiv.org/pdf/2210.07278) (arXiv v3, 2023-02-21).  
 **Read status:** Focused read of abstract, §§2–3.5, Proposition 2, minimum example and the overview of limitations; NOT an exhaustive reproducibility review.  

diff --git a/.arxiv/2310.18318v1_opencog_hyperon_100_page_reading_bookmark.md b/.arxiv/2310.18318v1_opencog_hyperon_100_page_reading_bookmark.md
@@ -1,5 +1,7 @@
 # READ LATER: OpenCog Hyperon (100-page background and introduction)
 
+> **Plan and board (2026-10-20):** owned by [`metta-datalog-assimilation-v1`](../.claude/plans/metta-datalog-assimilation-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Title:** *OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond – High-Level Background & Introduction*  
 **Primary author:** Ben Goertzel; with Vitaly Bogdanov, Michael Duncan, Deborah Duong, Zarathustra Goertzel, Jan Horlings, Matthew Ikle', Lucius Greg Meredith, Alexey Potapov, Andre Luiz de Senna, Hedra Seid, Andres Suarez, Adam Vandervorst and Robert Werko.  
 **Source:** [arXiv:2310.18318v1](https://arxiv.org/abs/2310.18318) · [specific v1 PDF](https://arxiv.org/pdf/2310.18318v1).  

diff --git a/.arxiv/2408.10592_hologram_is_a_graph_theorem_matches_must_preserve_witnesses.md b/.arxiv/2408.10592_hologram_is_a_graph_theorem_matches_must_preserve_witnesses.md
@@ -1,5 +1,7 @@
 # arXiv:2408.10592 — Hologram is a graph: theorems need matched witnesses
 
+> **Plan and board (2026-10-20):** owned by [`d-holo-address-indexed-algebra-v1`](../.claude/plans/d-holo-address-indexed-algebra-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1601.
+
 **Paper:** Litian Huang, Xinguo Yu, Feng Xiong, Bin He, Shengbing Tang, Jiawen Fu (2024), *Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams*  
 **Primary source:** https://arxiv.org/abs/2408.10592  
 **PDF:** https://arxiv.org/pdf/2408.10592  

diff --git a/.arxiv/2409.20212_graph_attributes_structure_matching_gasm_bookmark.md b/.arxiv/2409.20212_graph_attributes_structure_matching_gasm_bookmark.md
@@ -1,5 +1,7 @@
 # READ LATER: Graph Attributes and Structure Matching (GASM)
 
+> **Plan and board (2026-10-20):** owned by [`ce64-grammar-wiring-v1`](../.claude/plans/ce64-grammar-wiring-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Author:** Raphaël Candelier.  
 **Paper:** *Graph matching based on similarities in structure and attributes*.  
 **Primary source:** [arXiv:2409.20212v1](https://arxiv.org/abs/2409.20212v1) | [PDF](https://arxiv.org/pdf/2409.20212v1), submitted 2024-09-30.  

diff --git a/.arxiv/2412.01423_semantic_maps_top_down_crosslinguistic_graph_bookmark.md b/.arxiv/2412.01423_semantic_maps_top_down_crosslinguistic_graph_bookmark.md
@@ -1,5 +1,7 @@
 # READ LATER: Top-down crosslinguistic semantic map graphs
 
+> **Plan and board (2026-10-20):** owned by [`ce64-grammar-wiring-v1`](../.claude/plans/ce64-grammar-wiring-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Authors:** Zhu Liu, Cunliang Kong, Ying Liu, Maosong Sun.  
 **Paper:** *A Top-down Graph-based Tool for Modeling Classical Semantic Maps: A Crosslinguistic Case Study of Supplementary Adverbs*.  
 **Primary source:** [arXiv:2412.01423v3](https://arxiv.org/abs/2412.01423v3) | [PDF](https://arxiv.org/pdf/2412.01423v3); v3 2025-03-29, NAACL 2025.  

diff --git a/.arxiv/2502.20233_selective_yannakakis_smash_mask_first_thought_coordinates.md b/.arxiv/2502.20233_selective_yannakakis_smash_mask_first_thought_coordinates.md
@@ -1,5 +1,7 @@
 # Selective Yannakakis / SMASH: choose when to reduce before joining
 
+> **Plan and board (2026-10-20):** owned by [`d-holo-h14d-logic-mask-read-v1`](../.claude/plans/d-holo-h14d-logic-mask-read-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Paper:** Daniela Böhm, Georg Gottlob, Matthias Lanzinger, Davide Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer, *Selective Use of Yannakakis' Algorithm to Improve Query Performance: Machine Learning to the Rescue*.  
 **Source:** [arXiv:2502.20233v2](https://arxiv.org/abs/2502.20233v2) | [PDF](https://arxiv.org/pdf/2502.20233v2) | [HTML](https://arxiv.org/html/2502.20233v2) (revised 2025-06-20).  
 **Read status:** Source-grounded selective review of §§I–II, IV–VI, not independently replicated. **Date:** 2026-10-19.  

diff --git a/.arxiv/2510.24941_true_thinking_score_decorative_cot_ablation_bookmark.md b/.arxiv/2510.24941_true_thinking_score_decorative_cot_ablation_bookmark.md
@@ -1,5 +1,7 @@
 # READ LATER: Can Aha Moments Be Fake? True Thinking Score and decorative CoT
 
+> **Plan and board (2026-10-20):** owned by [`octopus-causal-cot-audit-v1`](../.claude/plans/octopus-causal-cot-audit-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Authors:** Jiachen Zhao, Yiyou Sun, Weiyan Shi, Dawn Song.  
 **Paper:** *Can Aha Moments Be Fake? Towards Quantifying Decorative and True Thinking in Chain-of-Thought*.  
 **Primary source:** [arXiv:2510.24941v4](https://arxiv.org/abs/2510.24941v4) | [PDF](https://arxiv.org/pdf/2510.24941v4); revised 2026-05-26.  

diff --git a/.../2512.17373_dialectics_algorithmic_determinations_excess_information_grounds.md b/.../2512.17373_dialectics_algorithmic_determinations_excess_information_grounds.md
@@ -1,5 +1,7 @@
 # Dialectics for Artificial Intelligence: reversible concepts, excess and grounds
 
+> **Plan and board (2026-10-20):** owned by [`dialectic-engine-v1`](../.claude/plans/dialectic-engine-v1.md), [`thought-git-api-v1`](../.claude/plans/thought-git-api-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Paper:** Zhengmian Hu, *Dialectics for Artificial Intelligence*.  
 **Source:** [arXiv:2512.17373v2](https://arxiv.org/abs/2512.17373v2) | [PDF](https://arxiv.org/pdf/2512.17373v2) | [extended HTML](https://arxiv.org/html/2512.17373v2); revised 2025-12-23.  
 **Related edition:** *Entropy*, DOI [10.3390/e28060611](https://doi.org/10.3390/e28060611). Different-length editions; use the cited version for equations/theorem numbers.  

diff --git a/.arxiv/2606.24948_superposition_capacity_breaks_two_hop_retrieval.md b/.arxiv/2606.24948_superposition_capacity_breaks_two_hop_retrieval.md
@@ -1,5 +1,7 @@
 # arXiv:2606.24948 — Global superposition breaks two-hop retrieval before composition
 
+> **Plan and board (2026-10-20):** owned by [`d-holo-address-indexed-algebra-v1`](../.claude/plans/d-holo-address-indexed-algebra-v1.md), [`d-holo-h14d-logic-mask-read-v1`](../.claude/plans/d-holo-h14d-logic-mask-read-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1601.
+
 **Paper:** Randhir Kumar (2026), *Holographic Memory for Zero-Shot Compositional Reasoning in Knowledge Graphs: A Mechanistic Study of Where and Why It Fails*  
 **Source:** https://arxiv.org/abs/2606.24948  
 **PDF:** https://arxiv.org/pdf/2606.24948  

diff --git a/.arxiv/2610.12692_distributed_datalog_wcoj_hypercube_bookmark.md b/.arxiv/2610.12692_distributed_datalog_wcoj_hypercube_bookmark.md
@@ -1,5 +1,7 @@
 # READ LATER: Distributed Datalog at Scale with Worst-Case Optimal Joins
 
+> **Plan and board (2026-10-20):** owned by [`d-holo-h14c-thought-first-v1`](../.claude/plans/d-holo-h14c-thought-first-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1611.
+
 **Authors:** Kunting Qi, Yihao Sun, Kristopher Micinski, Thomas Gilray, Sidharth Kumar.  
 **Paper:** *Distributed Datalog at Scale with Worst-Case Optimal Joins*.  
 **Primary source:** [arXiv:2610.12692v1](https://arxiv.org/abs/2610.12692v1) | [PDF](https://arxiv.org/pdf/2610.12692v1), submitted 2026-10-08.  

diff --git a/.arxiv/hung_vo_2025_the_dialectic_of_ai_hegel_geist_machine_freedom.md b/.arxiv/hung_vo_2025_the_dialectic_of_ai_hegel_geist_machine_freedom.md
@@ -1,5 +1,7 @@
 # The Dialectic of AI: Hegel, Geist, and the Path to Machine Freedom
 
+> **Plan and board (2026-10-20):** owned by [`dialectic-engine-v1`](../.claude/plans/dialectic-engine-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1610.
+
 **Author:** Hung Vo  
 **Published:** March 2025   https://hungvtm.medium.com/the-dialectic-of-ai-hegel-geist-and-the-path-to-machine-freedom-2432a0b75566  
 

diff --git a/.arxiv/plevrakis_2024_can_ai_be_a_subject_like_us_hegelian_approach.md b/.arxiv/plevrakis_2024_can_ai_be_a_subject_like_us_hegelian_approach.md
@@ -1,5 +1,7 @@
 # Can AI be a subject like us? A Hegelian speculative-philosophical approach
 
+> **Plan and board (2026-10-20):** owned by [`dialectic-engine-v1`](../.claude/plans/dialectic-engine-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1610.
+
 **Author:** Ermylos Plevrakis  
 **Journal:** Discover Computing 27, Article 46 (2024)  
 **DOI:** https://doi.org/10.1007/s10791-024-09472-3  

diff --git a/.arxiv/van_tuinen_2020_philosophy_in_the_light_of_ai_hegel_or_leibniz.md b/.arxiv/van_tuinen_2020_philosophy_in_the_light_of_ai_hegel_or_leibniz.md
@@ -1,5 +1,7 @@
 # Philosophy in the Light of AI: Hegel or Leibniz
 
+> **Plan and board (2026-10-20):** owned by [`dialectic-engine-v1`](../.claude/plans/dialectic-engine-v1.md). Board: [2026-10-20-prs-1601-1617-plan-links.md](../.claude/board/entries/2026-10-20-prs-1601-1617-plan-links.md). Merged in #1610.
+
 **Author:** Sjoerd van Tuinen  
 **Journal:** *Angelaki: Journal of the Theoretical Humanities*, 25(4), 97–109 (2020)  
 **DOI:** https://doi.org/10.1080/0969725X.2020.1790838  

diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -26,6 +26,10 @@
 - Finding: multi-hop over a large domain is blocked by scatter (push) as well as gather (pull); the tile is the only admitted shape (within a focus). Admissions A1 (global→local binding), A2 (large-domain multi-hop), A3 (scalar petgraph iteration) are open.
 - The existing petgraph `lance-fold-hop` experiment consumes the quarantined `OutgoingHop`; the plan does not build on it.
 
+## 2026-10-20 — plan links for #1601–#1617 (no new plan)
+
+**Status:** LINKS ONLY (entry `2026-10-20-prs-1601-1617-plan-links.md`). Eleven existing plans gained a `Connected sources from #1601–#1617` section: `d-holo-address-indexed-algebra-v1`, `d-holo-h14c-thought-first-v1`, `d-holo-h14d-logic-mask-read-v1`, `ce64-grammar-wiring-v1`, `ce64-hypothesis-layers-v1`, `thought-git-api-v1`, `alpha-channel-rung-overlay-v1`, `dialectic-engine-v1`, `metta-datalog-assimilation-v1`, `octopus-causal-cot-audit-v1`, `jc-sbi-counterfactual-integration-v1`.
+
 ## 2026-10-19 — mork-pathmap-schnellverschluss-v1 — MORK / PathMap behind one replaceable boundary → `.claude/plans/mork-pathmap-schnellverschluss-v1.md`
 
 **Status:** D-MPS-0/1 MEASURED (probe, results only); D-MPS-2..5 upstream PROPOSALS; D-MPS-6 BLOCKED; D-MPS-7 OPEN.

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -13,6 +13,18 @@ Plan `mork-pathmap-schnellverschluss-v1.md`; entry `entries/2026-10-19-mork-path
 | D-MPS-6 | Lance-owned PathMap-trait cursor over a sealed `RelationOrder` | BLOCKED (`RelationOrder` not built) | no copy, or the copy stated |
 | D-MPS-7 | licence: no MORK source vendored until a licence is declared (#148 unmerged) | OPEN | probe vendors nothing |
 
+## Plan links for #1601–#1617 (2026-10-20)
+
+Entry `entries/2026-10-20-prs-1601-1617-plan-links.md`. Each docs or data artifact now names its owning plan, and each owning plan lists it.
+
+| Item | Scope | Status | Evidence |
+|---|---|---|---|
+| — | arXiv HGR / superposition notes (#1601) → D-HOLO plans; Cartesian self-model and Moore notes (#1602) → H14c, ce64-hypothesis-layers | LINKED | back-link under each title; `Connected sources` section in each plan |
+| — | language LEGO (#1603), qualia anchors (#1607, #1608), GASM and semantic-map bookmarks (#1611) → `ce64-grammar-wiring-v1` | LINKED | as above |
+| — | 34 recipes (#1609) → `alpha-channel-rung-overlay-v1`, `thought-git-api-v1`; Hegel / Leibniz / dialectics notes (#1610, #1611) → `dialectic-engine-v1` | LINKED | as above |
+| — | Hyperon (#1611) → `metta-datalog-assimilation-v1`; SMASH → H14d; distributed WCOJ → H14c; decorative CoT → `octopus-causal-cot-audit-v1`; meta-uncertainty → `jc-sbi-counterfactual-integration-v1` | LINKED | as above |
+| — | ACT-R crate (#1615) → D-JCSBI-3; `graph_hop.rs` (#1616) doc names `.claude/board/ISSUES.md` | LINKED | no plan owns the crate itself (open) |
+
 ## Post-merge recovery for #1601–#1617 (2026-10-19)
 
 These PRs merged with no board rows. Every row below is a PROPOSAL (documents and fixtures) unless it says otherwise. Entry: `entries/2026-10-19-post-merge-recovery-1601-1617.md` (review-thread reconciliation).
@@ -36,7 +48,7 @@ These PRs merged with no board rows. Every row below is a PROPOSAL (documents an
 | D-RST-8 | multi-hop over a large domain | BLOCKED on admission A2 | — |
 | D-RST-9 | native borrowed relation views without petgraph: n-ary sorted permutations as ranges, pattern CSR/CSC as the binary case, stable fact ids, version pin, not `Copy`; starts from the planner's `AdjacencyStore`/`AdjacencyBatch` | LAB ONLY, not admitted to production; Queued (critical path, first) | F1: oracle equality, zero copies, compaction-stable ids, stale and out-of-domain refusals |
 | D-RPR-0 | recursive perspective rebinding: architectural distillation (`recursive-perspective-rebinding-v1.md`) | LAB ONLY, not admitted to production; PROPOSED; documentation only | claims graded IMPLEMENTED / MEASURED / PROBE / PROPOSED / OPEN against origin/main |
-| D-RPR-1 | recursive question-chain probe over one corpus: escapes seed the next angle (H1), `rebind` vs full prepare vs no frame vs MORK oracle | LAB ONLY; not authorized (waits on admission A1 and an operator go) | exact parity; named refusal per failure case; marginal cost per angle with its crossover |
+| D-RPR-1 | recursive question-chain probe over one corpus: escapes seed the next angle (H1), `rebind` vs full prepare vs no frame vs MORK oracle | LAB ONLY; not authorized (waits on admission A1 and an operator go) | exact parity; named refusal per failure case; marginal cost per angle with its crossover; sub-cases 1a–1f, anti-vacuity, oracles, disable protocol and refusal axes in plan §11 (folded from #1624); draft chain probe banked in `.claude/harvest/d-rpr-1-chain-probe-draft/` (5/6 green; superseded); handoff restored in-crate as a lab demonstration, 8/8 green, per-transition costs in plan §11.10 (escape-driven lookups 360 seeks vs 3 840 full; direct arm cheaper per pass, repaid after ~85 re-asks) — not D-RPR-1 as written, no admission claimed |
 | D-RPR-2 | premise revision with selective retraction | BLOCKED on D-TGA-3 (per-derived-cell provenance) | stale-premise refusal only, until then |
 | D-RPR-3 | MeTTa-facing parity of a chain's answers | BLOCKED on D-ASM-4 (not authorized) | — |
 | D-MPS-8 | native join over a versioned relationship table: R and S laid out by `y` slot, leapfrog intersection as one mask-risc `And`, per-side generations and reseal, per-thought filter planes (`mork-pathmap-schnellverschluss-v1.md` §7b; `crates/mork-pathmap-probe/src/join.rs`) | MEASURED, probe only; not admitted (D-RMAP-1 BIND membrane review) | 8 join tests + native arms in the differential suite vs the oracle; 7 guards disable-verified; cyclic bodies open |

diff --git a/.claude/board/entries/2026-10-20-d-rpr-1-handoff-lab-demo.md b/.claude/board/entries/2026-10-20-d-rpr-1-handoff-lab-demo.md
@@ -0,0 +1,15 @@
+# D-RPR-1 handoff: escape-driven lookup in preparation, legal fold (2026-10-20)
+
+**Status:** MEASURED, lab only. **Basis:** `crates/mork-pathmap-probe` at `2aaf6e7`: `tests/chain.rs` 8/8, `examples/chain_cost.rs`. Details are in `recursive-perspective-rebinding-v1.md` §11.10.
+
+- **Operation chain:**
+  - the escapes of the `TileExec::reach` fold (values from the CSR escape list) are the next addresses;
+  - `rebind` consumes them as `SortedRun::neighbours` seeks, one per changed slot and predicate;
+  - `Focus::slot_of` translates them inside preparation.
+- **The fold:** it contains no Gather, no scatter and no foreign key. Its co-addressing is checked on the program itself.
+- **Oracle:** every answer equals the full-scan oracle. Incremental and full preparation give equal frames.
+- **Costs:** 360 incremental seeks against 3 840 for a full rebuild per admission, so 3 480 avoided. An incremental admission takes about 90–290 µs; the tile part of that is 2–4 µs, and the rest is mostly `rebind`'s CSR copy, not seeks. Folds take 2–6 µs.
+- **Direct arm:** 66 seeks and 23.6 µs per pass, against 1 509 µs for the first framed pass; framing is repaid after about 85 re-asks. On this small chain it is BOUNDED, not a win.
+- **Disable runs:** 3 of 4 red. Disabling `keep` makes `ask` livelock, so it hangs instead of failing.
+
+OPEN: A1 / D-RMAP-1 §6 (is a counted preparation lookup admitted?); D-RPR-1 authorization; the `rebind` copy floor; the KJV fixture.
diff --git a/.claude/board/entries/2026-10-20-d-rpr-consolidation-1624.md b/.claude/board/entries/2026-10-20-d-rpr-consolidation-1624.md
@@ -0,0 +1,29 @@
+# D-RPR consolidation: #1624 folded into the merged #1622 plan (2026-10-20)
+
+**Status:** DONE. **Basis:** VERIFIED-IN-CODE (plan diff) and MEASURED (the banked draft re-run on `main` at `4dbd085`).
+
+Two sessions distilled the same research brief. #1622 merged first and is canonical for D-RST and D-RPR. #1624 had defined a second `recursive-perspective-rebinding-v1.md`, an entry of the same name, and status rows D-RPR-0..6 whose numbers meant different things. Those are withdrawn. Their content that #1622 lacked is now `recursive-perspective-rebinding-v1.md` §11, under the existing D-RPR ids.
+
+## Folded in
+
+- D-RPR-1 sub-cases 1a–1f, each with a kill condition and a disable run (§11.2). They were D-RPR-1..6 in #1624.
+- Anti-vacuity rules for the chain (§11.3), including one measured failure: a `discover`-seeded first focus already held the first answer.
+- Independent oracles (§11.4); the green → red → green disable protocol (§11.5); refusals by axis: version, focus, scope, ordering, thought identity, narrow frame, capacity (§11.6).
+- Preparation and reuse costs already measured: break-even 76 / 11 / 1.8; CSR against tile; escape reporting cost; bytes; the zero-copy tension (§11.7).
+- Two-variable and multiplicity limits (§11.8).
+
+## Corrected
+
+- WORLD, ANGLE and THOUGHT are metaphors, not types or registers. There are pointer notes in §1 and §3.
+- Thought identity is #1605's `ThoughtCommitId` / `DurableRef`.
+- #1624's claim that D-RST resolved to no plan predates #1622 and is withdrawn.
+- D-MTP-1's `Semijoin` path is gather-shaped.
+- The two meanings of `ThoughtMask` are recorded as OPEN.
+
+## Preserved unchanged from #1624
+
+The 19 artifact back-links, 11 plan forward-links and entry `2026-10-20-prs-1601-1617-plan-links.md`, rebased onto `main`.
+
+## Draft probe
+
+`.claude/harvest/d-rpr-1-chain-probe-draft/` (patch + README). 5 of 6 tests pass on `main`. The failure is the first-focus anti-vacuity case. It is not merged because D-RPR-1 is not authorized.