8 items across three horizons. 3 active · 2 planned · 1 researching · 1 completed. Each entry carries an explicit status, a scope (which part of the framework it touches), and a rationale. No dates — direction and status are the contract; delivery cadence is a separate, calendar-driven discipline.
Near horizon
Work in flight or committed for the current planning window. These items have momentum: dependencies are clear, the next step is identifiable, and shipping is the constraint, not deciding.
Active Funding
NLnet NGI Zero Commons Fund — Application & Submission
Independent grant funding for the Axioma stack and axilog.io substrate, targeting the June or August 2026 application windows. NGI Zero Commons Fund explicitly funds infrastructure-of-commons projects under the EU Next Generation Internet programme; ~€30-40K, no match funding requirement, UK sole trader eligible. Unlocks paid time for the verification work (Calibration axis research, traceability matrices) that currently runs at evenings-and-weekends pace.
Blocked on
Completion of remaining Axioma L0/L7 elements (Phase 1 reference implementation)
axilog.io public surface at grant-review quality (M5 close cleared the document-artefact gate; M6 closes the strategic-document gate)
AGPL-3.0 License Migration Across the Axioma Stack
Migrate every layer of the Axioma stack (L1-L7 plus L0) and the supporting libraries to AGPL-3.0 with CLA infrastructure for inbound contributions. Replaces the current mixed licence state with a single audit-stable governance contract aligned to NLnet funding requirements and to the project's commons commitment. Currently active across the stack; seven open PRs from Brian Shirai held pending licence and CLA finalisation.
Active Foundation
Calibration Axis — Formal Specification (Draft)
Introduce a Calibration axis to the framework, orthogonal to L1-L7 in the same architectural register as the L0 Epistemic Containment Layer. Where L0 bounds regime-classification leakage, the Calibration axis bounds the confidence-mismatch dimension: when a deterministic system declares a probability or a tolerance, the formal contract under which that declared figure tracks measured reality. SRS-CAL-001 ships at v1.0-DRAFT in M8; the contract shape was clear enough to formalise independently of L0 Phase 1, with the Draft status as the audit-stable midpoint between research and final. Upgrade to Final scheduled for M9 after evaluation against L0 Phase 1 in practice.
Blocked on
M9: evaluation of SRS-CAL-001 v1.0-DRAFT against L0 Phase 1 reference implementation, with iteration on the contract shape if lived experience surfaces gaps
Full C99 reference implementation of L0-SPEC-001 v1.3-LOCKED, conforming to all 11 SRS-EC-SHALL requirements. Phase 0 (specification freeze + golden vectors) cleared at M5 close with 11/11 golden vectors generated. Phase 1 produces the bit-identical executable that bounds regime-classification leakage in epistemically active systems — the orthogonal axis to L1-L7 determinism.
Blocked on
Independent of SRS-CAL-001 (shipped at Draft in M8). The two specs now iterate together: L0 Phase 1 implementation surfaces lived experience that may refine SRS-CAL-001 toward Final.
Committed work whose start depends on near-horizon items closing, or whose shape is settled enough to commit but whose execution is deliberately queued behind hotter work.
Planned Compliance
Unified Compliance Traceability Matrices (DO-178C, IEC 62304, ISO 26262)
Produce auditor-grade traceability matrices mapping every SHALL across the Vault to its target standards: DO-178C objectives (aerospace), IEC 62304 software lifecycle clauses (medical), and ISO 26262 ASIL clauses (automotive). Builds on the M4 canonical compliance taxonomy and per-spec frontmatter declarations. The matrices are the gating artefact for any downstream audit and the strongest evidence a grant reviewer can ask for that the framework's compliance claims are not aspirational.
Blocked on
All in-scope specs need finalised `compliance` frontmatter (currently 7 of 15 declared)
Archival & Cryptographic PDF Hardening (PDF/A, Digital Signatures)
Upgrade the per-spec PDF pipeline from production-grade documentation artefact (M5 ship state) to audit-grade archival artefact: PDF/A-2b or PDF/A-3 conformance for long-term preservation, plus cryptographic signing so each PDF carries a verifiable provenance claim. PDF/A requires colour-mode and font-embedding restrictions plus ghostscript or veraPDF post-processing; signing requires key infrastructure that does not yet exist. Both target the same downstream auditor and share the build pipeline.
Blocked on
PDF signing key infrastructure (HSM or equivalent — currently no key custody plan)
Made the Vault navigable as a corpus rather than as N individual documents. Shipped at M7 (May 2026): Pagefind WASM-indexed full-text search at /search/, per-spec changelog routes at /specs/<slug>/changelog/ surfacing frontmatter revision history as first-class audit-trail pages, and /provenance/ documenting the full source → artefact lineage for every published surface. Search threshold (20+ indexable documents) cleared by the per-spec changelog routes themselves; the discovery surface and the substance it indexes shipped in the same milestone.
Long horizon
Strategic destinations. Some are research questions whose answers will reshape later work; some are rational deferrals recorded so they resurface on schedule rather than by accident.
Deferred Tooling
mycoeco pbas7 Kernel — Open-Source Release
Public release of the mycoeco pbas7 kernel — the soil-ecology inference substrate that motivated the Murray Deterministic Computing Platform's original observations on mycorrhizal-network signalling. Rationally deferred: Axioma is the priority project until the L0/L7 elements complete and the grant submission lands. The pbas7 kernel's polish budget is queued behind that work, not abandoned, and the deferral is recorded here so the project resurfaces on schedule rather than by accident.
Blocked on
Axioma stack completion (L0 Phase 1, L7 final close)