Active Inference Multi-Track Exemplar

We study a minimal Active Inference stack on toy models: a Bernoulli–Ising analytical oracle, a pymdp T-maze rollout, and a sheaf-indexed compose contract that binds 34 fragment tracks into 12 flat IMRAD sections. The methodological contribution is a discipline rather than a domain finding: every reported number is hydrated from a generated artifact and every cross-track claim is machine-checked before rendering, so no figure or statistic can drift from the artifact that produced it — 6 sheaf axioms are verified before composition and 25 negative controls keep each failure path live. Claims are limited to those models and their generated artifacts.

reports a 17-row coverage matrix (5 IMRAD group headers) regenerated from the live manifest at compose time. documents the T-maze harness aligned with pymdp sophisticated_inference examples (https://github.com/infer-actively/pymdp/tree/main/examples/experimental/sophisticated_inference).

records 12 / 12 invariant checks passed. SI planning horizon: 2 steps. Sweep RMSE 0 nats bounds analytical–empirical agreement on the coupling grid.

---
Associated artifacts
GitHub release: v0.3.2 (https://github.com/docxology/template_active_inference/releases/tag/v0.3.2)
DOI: https://doi.org/10.5281/zenodo.20417021
Zenodo: https://zenodo.org/records/20417021
PDF SHA-256: f191b48f94394cab17069fd04502c59fc1c287e7893eb078e05ba4be04d4a04c

Overview source: Curated paper metadata.