REL — The roadmap is synthesised into 6 horizons
The roadmap is synthesised into 6 horizons: H1 community subsystem (closed in v4.0.0), H2 publication-pipeline robustness (v4.0.1), H3 hardened determinism, H4 supply-chain provenance/security (SBOM, license automation, multiplatform CI), H5 Verifier schema decision, H6 instance-level persistence + hypothesis re-runs.
Source: PUMA project documentation · Traceability: corpus unit
ANXHN-036· Confidence: verified-at-primary-source