T81 Specification Index
This is the canonical index for top-level specs in spec/.
Document Status Model
normative: stable, authoritative specification governing implementations.supplemental: useful and referenced, but not yet fully integrated into the core layer set.historical-companion: background/context only, non-normative.
Core Layer Specs
| Document |
Role |
Status |
t81-overview.md |
Architectural overview and stack framing |
normative |
t81-data-types.md |
Canonical type semantics |
normative |
tisc-spec.md |
ISA semantics and opcode contracts |
normative |
t81vm-spec.md |
Runtime, memory model, execution contracts |
normative |
t81lang-spec.md |
Language semantics and lowering model |
normative |
axion-kernel.md |
Supervisory/policy enforcement model |
normative |
cognitive-tiers.md |
Tier model and constraints |
normative |
determinism-profile.md |
Strict Determinism Profile (Tier A) |
normative |
Supplemental Specs (spec/supplemental/)
| Document |
Role |
Status |
supplemental/canonfs-spec.md |
CanonFS storage model |
supplemental |
supplemental/hanoi-kernel-spec.md |
Hanoi kernel reference spec |
supplemental |
supplemental/axion-policy-grammar.md |
APL grammar and verification targets |
supplemental |
supplemental/cpp-mapping.md |
Legacy-to-current API mapping notes |
supplemental |
supplemental/constitution.md |
Governance principles |
supplemental |
Historical Companion (spec/companion/)
| Document |
Role |
Status |
companion/t81-spec.md |
Long-form narrative/spec companion |
historical-companion |
RFCs
- RFC catalog and statuses:
spec/rfcs/index.md
- RFC process/template:
spec/rfcs/README.md, spec/rfcs/template.md
When conflicts exist between docs:
- Top-level normative-draft specs in
spec/*.md take precedence.
- Accepted/integrated RFC text informs upcoming edits.
- Historical companion text is non-normative unless explicitly promoted.