External-review credit: Jeremy Jones ran the v1 + v2 adversarial review panels (eight-critic LLM-assisted) that surfaced the findings closed in this post. The single most consequential finding (the Dirichlet bug) and the single most consequential refutation (the Nx port) both came from his loop. Thank you.

TL;DR

Hours ago we published Bird Meadow — a multi-agent Active Inference workbench in pure Elixir — with a public ask: poke holes in it. An external review panel responded within 24 hours. Two follow-up reviews (v1 + v2 delta) gave us a punch list.

This post documents what closed:

v1.1-remediation — fixed a silent Dirichlet learning bug, sharpened framing, hardened multi-agent collision logic

v1.2-hardening — Mnesia consistency model, signal-race property tests, telemetry-context discipline, a 100/100 statistical regime test, CI workflow

v1.3-falsifiability — the GW1 three-arm experiment (EFE vs greedy vs random) and the G4 belief-evolution prediction

v2-equivalence-proof — proved primitive-level…