plan: metta-polyfill-v1 — Hyperon/MeTTa as a front end over the masking-algebra polyfill (D-MTP-0, D-MTP-6)

[AdaWorldAPI]

Adds .claude/plans/metta-polyfill-v1.md and its board entries. Plan only, no code.

What it decides

• MeTTa works as a declaration IR, not an execution IR. Its Datalog subset lowers through lance-graph-relalg → R2IL FoldDialect → mask-risc. Term construction, bags, grounded ops, types and state stay in Hyperon's unchanged interpreter.
• The seam is a named LanceSpace implementing hyperon_space::Space.
  • match passes the whole (, …) pattern to it (stdlib/core.rs:163).
  • ModuleSpace splits conjunctions and panics on non-ModuleSpace dependencies (space/module.rs:33-48). So the adapter is not &self, and recursive rules are declared into the named space.
• Crate name: lance-graph-metta, not -cog.

Measured (v4 host)

program	PeTTa (SWI-Prolog)	Hyperon (both trie fixes)	datafrog (fork)
join, 10⁴ rows	1.47 s	> 600 s	0.5 ms
join, 10⁶ rows	—	—	65 ns/pair
ancestors from n0, 800	0.42 s	417 s	0.15 ms

• PeTTa and Hyperon are single whole-run timings, so they rank engines rather than measure primitives.
• datafrog figures are best of 5, with the tier printed by the program.
• datafrog is consumed from AdaWorldAPI/datafrog as an oracle only.

Also recorded

A second Hyperon trie panic: an expression with ≥ 1,024 children aborts in TrieKey::start_expr. It is separate from the id-decoding fix (upstream #1107). The fix is on the fork branch ccr-9f3b8075-74u47l-trie-expr-width.

Board

• STATUS rows D-MTP-0..6.
• Entry 2026-10-14-metta-polyfill-map.md.
• INTEGRATION_PLANS and AGENT_LOG: six substrate-mapper runs, one miss logged.
• entries_index.py --check and the supersession index were regenerated.

🤖 Generated with Claude Code

https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh

---

Generated by Claude Code

[coderabbitai]

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: c36f73b4-c93a-4bf5-bc8a-f1ff95f0df98

• 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

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

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-14T21:52:47.534413Z	a6c3d7f	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.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: a6c3d7fc83

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