Repository navigation
research: PG-Ring idea catalogue (clean room) for D-ASM-11 - #1600
Conversation
22 rows from arXiv 2608.03840 (read in full) and a structure-only harvest: 11 HAVE, 7 ADOPT, 1 REFUSED (LF tracking is a gather), 3 OPEN. No code from PG-Ring (GPL-3.0); ideas only, stated in our terms. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
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. Comment |
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Closes O1. Element table, entry and handover use the decided word; the stale 'seven Haiku maps' line now points at the catalogue in #1600. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
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: 70e455cee2
ℹ️ 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".
| 1. Arm A already has its leap: `seek_from`. What PG-Ring adds is the | ||
| interface around it (P1), the adaptive order (P15–P17) and the evidence | ||
| that filters belong inside the intersection (P2). |
There was a problem hiding this comment.
Despite the header acknowledging the gather banner, this conclusion says D-ASM-11 arm A already has its primitive and should be extended with PG-Ring ideas. The current repository decision explicitly marks the entire D-ASM-11 leapfrog probe—including arm A—as “DO NOT BUILD”; the recovery ledger says it needs re-specification and that seek_from remains an orphan pending a keep/gate/remove decision, while the designated replacement is the co-located triangle layout in .claude/board/entries/2026-10-16-synergy-map-since-1579.md. A later implementer following this catalogue would therefore resume a prohibited design; route these recommendations to the replacement layout or leave them as unassigned research inputs instead.
Useful? React with 👍 / 👎.
| | P18 | Identifier comparisons (`x < y`) as a leaptor: `leap(c) = c` if allowed else +∞ (App. A.2), used to drop symmetric duplicates | A range bound on the variable's coordinate given the bound one | HAVE in shape (range bound); no work | | ||
| | P19 | Order-preserving integer encoding per value type, plus a front-coded string dictionary; strings only at the edges of a query (App. B) | Label codebook; "strings are never an address, only a label" | HAVE (same rule) | | ||
| | P20 | Bag semantics, homomorphic matching (App. B) | D-ASM-11 Q-A is checked as a bag against datafrog | HAVE (oracle already bag-shaped) | | ||
| | P21 | Read-only index; updates via dynamic or adaptive dynamic bitvectors at a query-time penalty (§7) | Sparse delta per thought table, merged on read (D-HL) | HAVE (different mechanism, same goal) | |
There was a problem hiding this comment.
Classifying sparse deltas merged on read as HAVE contradicts the cited D-HL state: STATUS_BOARD.md lists D-HL-2 as Queued, D-HL-5 as only an in-memory probe with “oracles and persistence next,” and D-HL-7's persisted SparseDelta path as Queued. Because HAVE is defined here as “we already do it,” this can cause catalogue consumers to skip the still-missing persistent update mechanism. Mark this row partial/open (and adjust the 11/7/1/3 roll-up in the board entry) until the persistence path ships.
Useful? React with 👍 / 👎.
…RTIAL Codex review on #1600: - D-ASM-11 (both arms) is DO NOT BUILD, so the catalogue no longer feeds it. Section 3 lists the ideas as unassigned research input and points the cyclic case to H4 (the triangle as an intersection of planes). - P21 (sparse per-thought deltas merged on read) is PARTIAL: the in-memory probe exists, the persisted path (D-HL-7) is queued. Roll-up is now 10 HAVE, 1 PARTIAL, 7 ADOPT, 1 REFUSED, 3 OPEN. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
|
Add Carrot credits or activate Agent usage billing to use Autofix |
2 participants
Adds
.claude/research/2026-10-17-pgring-idea-catalogue.mdand its board entry. Research only: no code, no decision.PG-Ring (Gómez-Brandón, Hogan, Navarro, ISWC 2026, arXiv 2608.03840) runs leapfrog triejoin over a succinct index and pushes filters into the join. The catalogue reads the full paper (appendices included) and a structure-only harvest of the source, and states each idea in our terms. PG-Ring is GPL-3.0, so no code is taken from it.
22 rows:
seek_fromas the leap,fold_rangesmerging ranges on one variable, position as identity.D-ASM-11 keeps its VIOLATION banner; the catalogue is prior art to learn from and authorizes nothing.
Generated by Claude Code