Skip to content

docs(D-QSP/D-RFT/D-LFA): Quack SQL parity, relalg/thought-git, flow plans - #1667

Merged
AdaWorldAPI merged 14 commits into
mainfrom
research/quack-classview-relalg-thoughtgit-flow-20261021
Oct 21, 2026
Merged

AdaWorldAPI merged 14 commits into
mainfrom
research/quack-classview-relalg-thoughtgit-flow-20261021

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Oct 21, 2026 •

Copy link
Copy Markdown
Owner

Docs-only: ClassView × Quack semantic substrate

Operator goal: PostgreSQL semantic parity over class-declared operations on the existing Quack Binding Store, with DuckDB as a separately measured analytical performance comparator. No PostgreSQL fork/FDW, ORM conversion or second evaluator. Keep SQL/SAP/IAM/cognitive domains native while physical shapes (KEEP_DIRECT, sparse, DR32×128, DR64, DR256) are chosen by bind-time admitted witnesses.

Canonical D-* plan IDs and priorities

  1. D-RFT (priority): relalg semantic depth: K3 NULL soundness, Bag/Distinct/Join, method-law-licensed rewrites, datafrog recursion oracle, optional offline egglog law checking.
  2. D-RFT (priority): thought-git: versioned substitution/frontier, deterministic replay, independent evidential roots, multi-support deletion, compare from-scratch oracle; no implicit state writes.
  3. D-QSP: PostgreSQL parity / DuckDB fair benchmark: staged SQL correctness, admitted physical shapes, total cold/warm binding and materialization.
  4. D-LFA: parallel docs-first: rs-graph-llm 'graph-flow' Task/NextAction/pause/resume, z8run-lance generation-bound handles -> proposed 'lance-graph-flow' as thin driver for ClassView think/counterfactual/do proposals, Heckhausen Rubicon and Kanban. No second store/executor/scheduler.

Board entry records independent gates and provenance.

Strict boundaries

  • ClassView: per-method fixed law + existing action metadata; Quack Binding: typed, version-attested coordinates and focus; optional DR: physical mapping only; relalg/R2IL into the one mask-RISC evaluator.
  • PostgreSQL is the correctness oracle; DuckDB is the speed comparator, not an achieved result. Tests explicitly separate nullable K3, Bag/Distinct, aggregate empty/NULL and multi-relation joins.
  • Do not claim dir-rmap-probe: IAM nested groups as a DR256 register, versioned populations and method folds (arm Q) #1666's lab IAM lazy pages/population folds cover SQL parity or universal DR. Existing millisecond CSR preparation counted; no foreign value gather at PREPARE (ADMISSION B).
  • No persistent 32-byte Node ABI, 32×128 tile admission, Odoo work, production write path, SQL parser, implementation, test or performance claim in this PR.

Coordination

EXO-50 (append-only handoff), EXO-86 relalg, EXO-83 SQL polyfill, EXO-98 thought-git driver, EXO-101 datafrog, EXO-102 set algebra, EXO-121 ClassView, #1666 IAM lab. New implementation claims and code PRs require explicit ownership; this draft does not authorize takeover or merge.

Naming rule: D-QSP-{0..5} PostgreSQL SQL parity gates, D-RFT-{0..5} relalg/frontier method checks, D-LFA-{0..3} flow assimilation gates. Existing D-RA / D-TGB / D-CMR / D-SQLP owners and work IDs remain intact.\n\nStatus: plan-only, open for technical review.

@coderabbitai

coderabbitai Bot commented Oct 21, 2026 •

Copy link
Copy Markdown

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: cf291d18-480e-40b0-80b6-833089e1dcba
  • 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.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 21, 2026 18:14
@chatgpt-codex-connector

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

Copy link
Copy Markdown

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-21T18:27:33.658367Z 1e19ce2 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.

@AdaWorldAPI AdaWorldAPI changed the title docs: Quack class-method SQL parity, relalg/thought-git priority, flow assimilation plan docs(D-QSP/D-RFT/D-LFA): Quack SQL parity, relalg/thought-git, flow plans Oct 21, 2026
@AdaWorldAPI
AdaWorldAPI marked this pull request as draft October 21, 2026 18:18
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 21, 2026 18:26
entries_index.py --check failed: the new entry had no index row.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
@AdaWorldAPI
AdaWorldAPI merged commit 1e81a7a into main Oct 21, 2026
4 of 5 checks passed
AdaWorldAPI pushed a commit that referenced this pull request Oct 21, 2026
#1668's co-research entry led with 'D-QSP / D-RFT / D-LFA', so the index
derived the same id as #1667's plan entry, and the index on main was
regenerated before the merge brought in a 420th entry. Retitle the
entry and regenerate.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants