Expand description
Compiler pipeline for TruthLinked Axiom cell source files.
The compiler turns .cell source into deterministic Axiom bytecode plus a
manifest describing declared reads, writes, and commutative storage keys.
Downstream tooling relies on this crate to produce stable artifacts for cell
deployment, local simulation, and conflict-aware scheduling.
Modules§
- ast
- AST for the .cell language.
- lexer
- Lexer for the .cell language.
- lower
- Lower .cell AST → Axiom IR.
- manifest
- Generate the cell manifest from the AST. Statically derives declared_reads, declared_writes, commutative_keys, and storage_key_specs (calldata byte ranges for dynamic key extraction).
- parser
- Recursive-descent parser for .cell source.
- typeck
- Type checker for .cell AST.