# README.md · versecafe/strata

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

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

Visibility: public

Requested revision: f48124d435113278141aa6c9469000aac3cb4160

Requested commit: f48124d435113278141aa6c9469000aac3cb4160

Commit: f48124d435113278141aa6c9469000aac3cb4160

Blob: 7ee60cd3c64b96227eda04c9f21228de451b0c3f

Size: 1503 bytes

[Immutable source](https://git.cafe/versecafe/strata/blob/f48124d435113278141aa6c9469000aac3cb4160/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

- `crates/strata-syntax` — lexer, lossless trivia-anchored tree, and resilient-LL parser (D-052/D-053/D-062; full 16-syntax grammar)
- `crates/strata-fmt` — deterministic source formatter over `strata-syntax`, exposed for source files through `strata fmt`
- `crates/strata-hir` — deterministic, syntax-anchored HIR for declarations, callable bodies, and name-resolution inputs
- `crates/strata-width` — canonical closed width algebra and normalization (D-037)
- `crates/strata-check` — package-aware Tier-A header checks plus the supported body-checking slice; unsupported bodies are reported as explicit tri-state deferrals
- `crates/strata-cli` — `strata parse`, source-file `strata fmt`, and `strata check` drivers with structured diagnostics

Package-wide formatter discovery and `forge.toml` formatting remain deferred with later architecture IR/ledger phases.

## Invariants enforced from day one

- P-6: determinism everywhere; no wall clock, no env-dependence in any tool path
- D-053: parser losslessness and recovery invariants are CI-fuzzed (`text(tree) == input`, including malformed input)
- R-LS-1 lineage: one frontend — every tool is a driver over these crates

```