# README.md · versecafe/strata

[View on GitCafe](https://git.cafe/versecafe/strata/blob/5376d66498d11ef0df7c1e0bafa0757574320b47/README.md)

Repository: [versecafe/strata](https://git.cafe/versecafe/strata)

Visibility: public

Requested revision: 5376d66498d11ef0df7c1e0bafa0757574320b47

Requested commit: 5376d66498d11ef0df7c1e0bafa0757574320b47

Commit: 5376d66498d11ef0df7c1e0bafa0757574320b47

Blob: 892904946797ed12d924407534397c9bc8306db3

Size: 1014 bytes

[Immutable source](https://git.cafe/versecafe/strata/blob/5376d66498d11ef0df7c1e0bafa0757574320b47/README.md?format=markdown)

```
# 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

```