Ring-0: Const Literal → Zig Output
Ghuloum step: #1 (integers) + #2 (immediates)
One capability: t27c parse and t27c gen work on specs/base/types.t27
Acceptance Test
cd bootstrap && cargo build --release
./target/release/t27c parse ../tests/ring0_trivial.t27 # MUST succeed
./target/release/t27c parse ../specs/base/types.t27 # MUST succeed
./target/release/t27c gen ../tests/ring0_trivial.t27 # MUST output valid Zig
What is included
- Fix lexer: // comments, hex/binary literals, string literals, negative numbers
- Fix parser: module stmt, use stmt, const/enum/struct/fn declarations
- Fix critical bug: lexer.tokenize() consumes tokens before Parser
- Brace-skip for fn/test/invariant/bench bodies (Ghuloum approach)
- stage0/FROZEN_HASH with SHA256 of frozen compiler.rs
- tests/ring0_trivial.t27 minimal test file
- docs/SEED-RINGS.md canonical document
What is NOT included
- Full expression parsing inside fn bodies
- Semantic analysis
- Multi-file compilation
- Any changes to .t27 spec files
phi^2 + 1/phi^2 = 3 | TRINITY
Ring-0: Const Literal → Zig Output
Ghuloum step: #1 (integers) + #2 (immediates)
One capability:
t27c parseandt27c genwork onspecs/base/types.t27Acceptance Test
What is included
What is NOT included
phi^2 + 1/phi^2 = 3 | TRINITY