[AdaWorldAPI]

Lab probe and source-backed crosswalk. No production change, no parser, no admission. Do not merge without an owner decision.

Report: .claude/probes/2026-11-03-d-cognitive-polyfill/REPORT.md · probe: crates/cognitive-polyfill-probe (own workspace, added to the root exclude).

Question

How much of MORK, MeTTa, Narsese and Atomese lowers through the existing DR / Quack / xlog / NAL / mask-risc stack, and where does each language first need something new?

Result

• Common subset. The only subset all four share is ground, bounded and conjunctive. A scoped two-hop EXISTS/COUNT over it runs as one mask-risc program, out[a] ∧ inn[c] ∧ W, over borrowed rows of a DR W64 tile.
  • 12/12 tests pass; 125 cases agree with an independent oracle.
  • 0 bytes are allocated on the hot path.
  • 6 source disables turn tests red (join operand, routing, repeated-variable refusal, Bag multiplicity, WHERE operand, frame check). Each anchor was asserted present before patching.
• Selection routing. A selection must be routed by global id. Joining on raw local positions gives a wrong answer (c04).
• Set vs Bag. They give different answers on the same fixture (2 vs 3). The existing native route for Bag is lance_graph_xlog::bag_count (EXO-108 / MISSING-3).
• NAL truth is not a Boolean edge. On the same beliefs, an existence projection and a truth projection disagree (c09). The projection policy is an owner decision.
• Existing coverage. lance-graph-xlog::support / bag_count already answer the chain shape, so the probe does not claim that ground as new. Its contribution is the cross-frontend refusal set and the selection-routing check.

First break per language

• MeTTa: D-MTP-1 handles functional relations only; it refuses this fixture with SecondFact. Hyperon's BindingsSet is a multiset.
• MORK: its space has Set semantics. D-MPS-8 builds its own JoinDomain beside DR.
• Narsese: a binary relation needs the product compound term, which the NAL crate refuses (ledger R10).
• Atomese: no Classic AtomSpace source is reachable in this session.

Owner gates

• W-1: add one cold symbol → DR id step for MeTTa/MORK.
• W-2: Guards::check needs a FrameStore, but MapTable keeps its store private.
• Also open: EXO-46, EXO-108, R10, and the NAL → edge projection policy.

Test commands

cargo test --manifest-path crates/cognitive-polyfill-probe/Cargo.toml

Existing suites re-run on base ebbdb27:

• lance-graph-nal: 19 passed
• lance-graph-metta: 13 passed
• mork-pathmap-probe: 47 passed

Refs: #1910, #1911, #1913, #1936–#1943; EXO-46, EXO-73, EXO-82, EXO-108, EXO-140.

---

Generated by Claude Code

[coderabbitai]

Important

• Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: 38c1ca20-cac4-4d39-88d5-50d840e5c7df

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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

CodeRabbit Verify

• Run CodeRabbit Verify to test the changes in this pull request.

[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-11-03T18:25:51.347110Z	06f9c4b	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.