The framework, the maintainer, and how this is funded

Mission

Axioma is the verifiable AI execution layer for regulated industries — deterministic where possible, governed where not, cryptographically provable everywhere. The framework spans seven layered contracts (L1 through L7) plus an orthogonal Epistemic Containment Layer (L0), all governed by a foundation contract (DVEC-001). The substrate, the specifications, and the reference implementations are published openly so that the system's behaviour is reviewable by any auditor, integrator, or regulator who needs to verify rather than trust.

The framework targets safety-critical and regulated deployments under DO-178C, IEC 62304, ISO 26262, IEC 61508, MISRA-C:2012, and the EU AI Act. The published material on this site is the open specification; commercial integration, conformance support, and certified-build services run through Spey Systems Ltd separately.

Maintainer

Axioma is built and maintained by William Murray, a UNIX infrastructure engineer of thirty years' standing, founder and director of Spey Systems Ltd in Inverness, Scotland (trading as SpeyTech). The framework's origins are in the Murray Deterministic Computing Platform, covered by two UK patents ( GB2521625.0 and GB2522369.4) assigned to Spey Systems Ltd — a deterministic computing stack developed over the past decade for safety-critical aerospace, medical, and automotive domains.

William holds a Visiting Scholar affiliation with Heriot-Watt University (research correspondence on inter-plant signalling and structurally-deterministic analogues) and an active research relationship with a US space-systems organisation working on safety-critical kernel variants. The Axioma framework is bootstrapped entirely under Spey Systems Ltd; no external salary, institutional funding, or commercial investment supports its development at the time of writing.

Contact and outbound links live on the splash; the SpeyTech site at speytech.com is the maintainer's full portfolio surface.

Licensing

The Axioma specifications and reference implementations are published under AGPL-3.0-or-later. The choice is deliberate: AGPL-3.0 is the strongest reciprocity copyleft in the GNU family and is the right licence for an infrastructure framework that must remain commons-bound across both source distribution and network-mediated service deployment. Documentation and specification prose are released under CC-BY-SA-4.0. The full licensing position, including the AGPL §11 patent grant covering the two MDCP patents, lives at /licence/.

External contributions are accepted under a Contributor Licence Agreement (CLA) ensuring contributors retain copyright while granting Spey Systems Ltd the rights necessary to relicense the corpus if the framework's commons obligations ever require it. The CLA workflow infrastructure is documented in the repository.

Per-spec licensing is declared in each spec's body where it materially differs from this default; the audit-stable identity is always what the spec itself says.

Funding

Axioma is bootstrapped under Spey Systems Ltd. No commercial investment, institutional grant, or external salary supports the framework's development at the time of writing. All assets — the specifications, the reference implementations, the substrate library, the two MDCP patents, the speytech.com and axilog.io domains, the GitHub organisation — sit under Spey Systems Ltd.

An application to the NLnet NGI Zero Commons Fund is in preparation for the 2026 application window — see the roadmap entry nlnet-ngi-zero-commons-fund for context. Future awards, contracts, or institutional funding will be acknowledged here in the order they're received.

The site itself runs on a small VM under Spey Systems Ltd; no advertising, no tracking beyond self-hosted Umami analytics (cookieless, no PII forwarded). The framework's commons commitment extends to the publishing infrastructure. See /privacy/ for the full data-handling disclosure.

Acknowledgements

Axioma carries technical and editorial debt to:

• Academic correspondents at Heriot-Watt University whose inter-plant signalling research informed early thinking on structurally-deterministic analogues.
• Commercial collaborators in the safety-critical kernel deployment space who reviewed early framework drafts against production constraints.
• US space-systems engineers working through corporate release-review processes for space-hardened kernel variants.
• The maintainers of every upstream dependency the framework and its substrate rely on, named individually in the relevant project repositories.

Named individual acknowledgements are added only with explicit consent. If you've contributed and would like to be named or unnamed here, the contact route on the splash reaches the maintainer directly.

Contact

The splash page carries the primary contact route. For security-related disclosures, write to security@speytech.com or use the address listed in the repository's SECURITY.md.

Operator details and formal legal correspondence routes are at /legal/. Data-handling enquiries under UK GDPR are described at /privacy/.

The source repository is at github.com/SpeyTech/axioma-spec — specifications, change history, and issue tracking all live there. The GitHub organisation slug SpeyTech is retained as an audit-stable URL anchor; the legal operating entity is Spey Systems Ltd.