tla-plus
CSL-Core: Deterministic Safety Layer for Probabilistic AI Systems
Plain-file persistence with explicit guarantees: atomic writes, cooperative locks, checksums, runtime environment inspection.
Markdown to LaTeX
