plan: metta-polyfill-v1 — Hyperon/MeTTa as a front end over the masking-algebra polyfill (D-MTP-0, D-MTP-6) by AdaWorldAPI · Pull Request #1555 · AdaWorldAPI/lance-graph

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

claude

committed

d4703f5

plan: metta-polyfill-v1 — separate the expression-width panic from the id-decoding fix 1ffdbd6

claude

committed

68d40b2

plan: metta-polyfill-v1 — datafrog Rust Datalog oracle, measured (D-MTP-6)

claude

committed

da76da3

plan: metta-polyfill-v1 — datafrog consumed from the AdaWorldAPI fork

claude

committed

fb43a4e

plan: metta-polyfill-v1 — pre-register D-MTP-1 (join via Quack Semijoin, datafrog oracle)

claude

committed

eecfe20

lance-graph-metta: D-MTP-1 join probe — MeTTa two-hop join via Quack Semijoin, datafrog oracle

claude

committed

78f13ce

lance-graph-metta: pin the F2 counts Hyperon and PeTTa returned

claude

committed

2682f62

D-MTP-1 results: two-hop join through Quack Semijoin, 7-15x below datafrog per pair at 1e6

claude

committed

a6c3d7f

D-MTP-1: normalize ingest per emitted pair; integration status reflects D-MTP-1 and D-MTP-6

claude

committed

b2e6b65

plan: metta-polyfill-v1 — pre-register D-MTP-1b (the hop as a range)

claude

committed

b054007

Merge origin/main into ccr-9f3b8075-74u47l-metta

claude

committed

d442058

D-MTP-1b: range-shaped hop probe (preimage of valid's runs under a monotone dst)

claude

committed

69c5713

D-MTP-1b probe: name the fixture in the range-arm assertion

claude

committed

d090bf9

D-MTP-1b results: the hop as a range, 3-4 orders of magnitude below the gather count at 1e6

claude

committed

457a8c4

Navigation Menu

Repository navigation

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

plan: metta-polyfill-v1 — Hyperon/MeTTa as a front end over the masking-algebra polyfill (D-MTP-0, D-MTP-6)#1555
AdaWorldAPI merged 14 commits into
mainfrom
ccr-9f3b8075-74u47l-metta

Commits on Oct 14, 2026

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

plan: metta-polyfill-v1 — separate the expression-width panic from the id-decoding fix 1ffdbd6

plan: metta-polyfill-v1 — datafrog Rust Datalog oracle, measured (D-MTP-6)

plan: metta-polyfill-v1 — datafrog consumed from the AdaWorldAPI fork

plan: metta-polyfill-v1 — pre-register D-MTP-1 (join via Quack Semijoin, datafrog oracle)

lance-graph-metta: D-MTP-1 join probe — MeTTa two-hop join via Quack Semijoin, datafrog oracle

lance-graph-metta: pin the F2 counts Hyperon and PeTTa returned

D-MTP-1 results: two-hop join through Quack Semijoin, 7-15x below datafrog per pair at 1e6

D-MTP-1: normalize ingest per emitted pair; integration status reflects D-MTP-1 and D-MTP-6

plan: metta-polyfill-v1 — pre-register D-MTP-1b (the hop as a range)

Merge origin/main into ccr-9f3b8075-74u47l-metta

D-MTP-1b: range-shaped hop probe (preimage of valid's runs under a monotone dst)

D-MTP-1b probe: name the fixture in the range-arm assertion

D-MTP-1b results: the hop as a range, 3-4 orders of magnitude below the gather count at 1e6