Aleten Documentation
Aleten is a provability runtime for deterministic systems. This documentation describes installation, runtime behavior, evidence generation, and verification semantics.
Getting started
- • Installation overview
- • Runtime architecture
- • Event capture model
Core concepts
- • Events and sealing
- • Chain integrity
- • Evidence packs
Verification
- • Export format
- • Third-party inspection
- • Legal admissibility model
Aleten documentation is authoritative.
Marketing material is non-binding.