Repository navigation
council: metta-datalog-assimilation W1–W3 spec ratified (D-ASM-1..4) - #1576
Merged
Merged
Conversation
… plan amendments, board rows
/5plus3 on `metta-datalog-assimilation-v1` decisions A–H and the W1–W3 tranche.
Premise gate returned PREMISE-SPLIT (stamp sub-premise PREMISE-WRONG) before any
savant was cast; 5 savants → 49 findings; 3 reviewers on draft v2 → 0 BLOCK,
2 FIX-P1, 16 FIX-P2; all applied.
Lands (docs only, nothing authorized to build):
- `.claude/plans/metta-datalog-assimilation-v1-council-v3.md` — the executable
spec for D-ASM-1..4 with gates G1–G9 (existence half via quack
`Filter::Semijoin`/`EqU32Via`; bag = `GroupReduce{Count}` keyed count,
`CountKeyRunsU32` is the dedup falsifier; u16 label codebook minting at
`add` only; `LanceSpace` routes at `add` / refuses at `query`; one named
exit `materialize_bindings`; reserved evidence lane written NO_PROVENANCE).
- ⊘ council notes on plan decisions A–E, G and the §6 stamp OPEN (now a
DECISION: a lane beside the atom, never inside it); `metta-polyfill-v1.md`
§5 "never stored as text" → "never stored as rows".
- STATUS_BOARD: D-ASM-1..5, D-MTP-2 (= D-ASM-4), D-RA-3 reworded; all still
Queued (not authorized).
- TECH_DEBT: procedures-crate re-route, missing metta CI line,
`contract/nars.rs` InferenceType doc drift.
- Entry `entries/2026-10-16-metta-datalog-assimilation-council-v3.md`;
AGENT_LOG council record (main-thread writer); entries index and
supersession index regenerated last.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
|
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 |
# Conflicts: # .claude/board/entries/README.md
…y gate) The gate recovers the NEAREST backticked symbol as each citation's anchor; in dense table rows that was prose, not the symbol at the target. Every flagged citation now stands in its own backtick span followed by the `pub enum` / `pub struct` / `pub fn` line that is actually at the cited location. No line number was "corrected"; the anchor is what moved. Local run: 0 new decays, 134 pre-existing backlog unchanged. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
… records The board, the metta-polyfill plan, the D-MTP-0 entry and the council v3 spec all said the expression-width panic "has no fix yet / needs the operator's word". Read from the fork, not the board: `1ffdbd6` (fix-trie-key-value, id decoding above 1023) is upstream PR trueagi-io/hyperon-experimental#1107 (head == 1ffdbd6), and `5c9afd4` on ccr-9f3b8075-74u47l-trie-expr-width (2026-10-14, failing tests first in b5ae248) splits the TrieKey value bits so width is bounded by trie recursion depth, not TK_MAX_EXPRESSION_SIZE. Neither is on the fork's main, so the lance-graph pin at 3f76dc4 still panics; the open item is merging/upstreaming, not writing. STATUS_BOARD row reworded; ⊘ notes in both plans; addendum appended to the 2026-10-14 entry (not rewritten). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
…ured 39 pass / 2 red-before) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
AdaWorldAPI
marked this pull request as ready for review
October 16, 2026 04:13
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: 92a1f07bf7
ℹ️ 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".
The D-MTP-4 row said both trie fixes were on a fork branch awaiting merge. AdaWorldAPI/hyperon-experimental#1 merged at e55dc61, so fork main now carries both; lance-graph still pins 3f76dc4. The remaining step is the pin bump, recorded as OPEN and not done here. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
…channel, N4, D-ASM-5, D-MTP-2 gate)
Two P1s verified in code: Filter::Semijoin yields a survivor mask and
GroupReduce{Count} counts each head row once, so a foreign fan-out of k
contributes 1 where a bag join contributes k (R-3 limit, G2b split into a
head-fan-out arm claimed equal and a foreign-fan-out arm pinned two-sided,
N1c filed); Space::query returns only a BindingsSet and add returns (), so
the named refusals get a channel: try_query, a counted empty on the trait
path, and a grounded op whose ExecError becomes the Error atom; CodebookFull
is routing at add. Three P2s: N4 no longer contradicts R-9; plan §E and the
D-ASM-5 row describe the interned term table, not the struck per-row
tenant; the D-MTP-2 gate names the 26-script baseline, not 32/33 golden
files that do not exist. Text only; W1–W3 stay unauthorized.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
AdaWorldAPI
pushed a commit
that referenced
this pull request
Oct 16, 2026
#1576 Maps #1560-#1576 onto the 2026-10-15 ledger correction: nine closed ends (O22 verdict, R1 grid, 59..60 one field, one operand dictionary per epoch, mapping inventory, stamp as evidence lane, version clock, rejected hydrate guard, board catch-up), merged items (O25+K2, N1+decision 2 = D-HL-5 H4, ablation+N15+D-ASM, DOC-WIRE) and new ones (O29, O30, BAND-RETIRE, N16-N21). Adds the six missing PR arc entries and a LATEST_STATE catch-up. Claude-Session: https://claude.ai/code/session_01EFw2WdKr1oxvaKCJC2ua2R
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.
What
/5plus3council onmetta-datalog-assimilation-v1— decisions A–H and the W1–W3 tranche (D-ASM-1..4). Docs only; nothing is authorized to build, D-ASM-1..4 stay Queued.Sequence
premise-auditor→ PREMISE-SPLIT, stamp sub-premise PREMISE-WRONG; six code claims re-read and confirmed; spec re-asked as v1.1 before any savant was cast.What the council changed, by name
Filter::{Semijoin, EqU32Via}(as D-MTP-1 shipped); relalg untouched; Datalog values inmetta::dataloglowering to quackQueryKeep + CountKeyRunsU32Terminal::GroupReduce{Count}(Local/ same-tablePair);CountKeyRunsU32isCOUNT(DISTINCT), the dedup falsifier; cross-table projections refusedLabelCodebook, mints ataddonly, id 0 reserved,CodebookFullat 65,535add"SpaceMut::addreturns(): route atadd(innerGroundingSpace, counted by kind), refuse atquery(Erroratoms); two tagged answer categoriesb4_nondetermas the multiplicity gate=rule → b4 is the ROUTING fixture; a purpose-built bag fixture +e1_kb_writetest the foldhyperon-probe/goldenis absent; the 26-script baseline is measured first3=NO_PROVENANCEFiles
.claude/plans/metta-datalog-assimilation-v1-council-v3.md(new, the executable spec, gates G1–G9).claude/plans/metta-datalog-assimilation-v1.md(⊘ notes on A–E, G, §6),.claude/plans/metta-polyfill-v1.md§5.claude/board/STATUS_BOARD.md(D-ASM-1..5, D-MTP-2, D-RA-3),TECH_DEBT.md(3 rows),AGENT_LOG.md,entries/2026-10-16-…council-v3.md, regeneratedentries/README.mdandSUPERSESSION-INDEX.mdGates run
entries_index.py --checkcurrent ·supersession_index.pyregenerated last ·append_only_gate.pyOK (8 files) · prohibited-word scan clean on new text · no Rust touched.🤖 Generated with Claude Code
https://claude.ai/code/session_017SNHxJYC1MeW3HsyhGZo1E
Generated by Claude Code