Spey Systems Ltd
Systems infrastructure for regulated and audit-critical environments. Spey Systems Ltd is a private limited company registered in Scotland (SC889983).
Last reviewed
Company identity
- Registered name
- Spey Systems Ltd
- Company number
- SC889983
- Jurisdiction
- Scotland, United Kingdom
- UK Patents
- GB2521625.0 and GB2522369.4, Murray Deterministic Computing Platform
- Academic affiliation
- Visiting Scholar, Heriot-Watt University
Capability areas
Systems architecture and assurance infrastructure
Architecture design for systems requiring auditability, formal provenance, and deterministic behaviour across their operational lifetime. Includes specification authoring, contract definition, and assurance-framework design for complex regulated systems.
Verifiable AI execution
Framework design, layer specification, and governance contract authoring for AI systems subject to regulatory or procurement scrutiny. Based on the Axioma verifiable AI execution framework — a seven-layer architecture for deterministic, auditable AI behaviour. Engagements are bespoke consultancy: Spey Systems Ltd does not sell Axioma as a product; it provides architecture and specification services for organisations building AI systems that must operate under audit.
Safety-critical software assurance
Technical assurance support for software operating under DO-178C, IEC 62304, ISO 26262, or similar certification frameworks. Includes design review, specification analysis, and architectural guidance for systems where correctness carries regulatory consequence.
Deterministic ML pipeline design
Pipeline architecture and review for machine learning systems requiring bit-identical reproducibility across platforms and builds. Informed by the certifiable-* open-source ecosystem — nine repositories implementing deterministic ML pipelines with Merkle audit trails.
Evidence and open work
Spey Systems Ltd's work is publicly inspectable. The following are verifiable evidence signals, not marketing claims.
- Axioma specifications
- Formally versioned, publicly indexed at axilog.io
- certifiable-* ecosystem
- Nine open-source repositories implementing deterministic ML pipelines with Merkle audit trails — github.com/SpeyTech
- UK patents
- GB2521625.0 and GB2522369.4 assigned to Spey Systems Ltd
- AGPL-3.0 licensing
- Framework specifications published under open licence
- Epistemic Security position paper
- Published to Zenodo. DOI: 10.5281/zenodo.19489291
- Build provenance
- Specification lineage and cryptographic anchors documented at axilog.io/provenance/
Procurement and engagement
Spey Systems Ltd accepts enquiries relating to technical partnerships, systems architecture engagements, regulated-industry infrastructure projects, research collaboration, and procurement capability assessment.
Capability statements in alternative formats (PDF, structured data) are available on request. Expected response time for procurement enquiries is five working days.
- Procurement
- procurement@speysystems.com
- Commercial
- commercial@speysystems.com
- Axioma
- axioma@speysystems.com