strata

The Strata toolchain — typed comptime HDL + integrated verification platform. Design authority: ../proposal/ (decisions register D-001–D-080). Language surface: ../proposal/16-syntax.md. Probe seeds being promoted (rewrite-with-tests-carried, never copied): ../probes/.

Workspace layout (grows per roadmap phase 0/1)

• crates/strata-syntax — lexer, lossless trivia-anchored tree, resilient-LL parser (D-052/D-053/D-062; full 16-syntax grammar)
• crates/strata-cli — the strata binary shell (fmt/check/build subcommand scaffolding)
• next: strata-fmt (D-049–D-053 settle gate), strata-width (D-037), strata-check (Tier-A, λ-strata⁰ lineage), strata-arch-ir + ledger (D-019)

Invariants enforced from day one

• P-6: determinism everywhere; no wall clock, no env-dependence in any tool path
• D-053: fmt/parse invariants CI-fuzzed (idempotence, round-trip, lossless text(tree) == input)
• R-LS-1 lineage: one frontend — every tool is a driver over these crates