Skip to content

SpeyTech/axioma-spec

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

axioma-spec

Axioma Framework — Layer 1-7 — Framework Specification and Shared Headers

DVEC: v1.3 Determinism Class: D1 Layer: Layer 1-7 — Framework Specification and Shared Headers License: GPL-3.0 Part of: axilog.io · SpeyTech

"Turing completeness is a vulnerability. Totality is a feature."

Overview

axioma-spec: deterministic, verifiable, certifiable.

Governing Documents

SRS Documents

See docs/requirements/

Research

Paper Date Description
Epistemic Security: A Missing Assurance Dimension in Frontier AI Deployment April 9, 2026 Introduces epistemic security as a formal assurance property for epistemically active systems. First formalisation of regime-conditioned computation selection. Extends the Axioma SRS stack with SRS-008 preliminary SHALL requirements for an Epistemic Containment Layer (L0).

License

GPL-3.0 — see LICENSE


Copyright © 2026 The Murray Family Innovation Trust. All rights reserved.
Patent GB2521625.0

About

Axioma Framework Specification v0.4 — Verifiable AI Execution Layer

Resources

License

Code of conduct

Contributing

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors