Deterministic workflow state and execution replay for AI systems
Deterministic LLM control-plane runtime. Governance-first architecture with bounded execution, hard audit limits, and an architectural invariant test suite.
ChatPDM: deterministic language governance system (no drift, no generation, constraint-based resolution)
"A mathematically-verified deterministic core acting as a security filter. Fully proved (19/19 obligations) via Frama-C (Alt-Ergo/Why3), Coq, TAL+, and LTL.
Add a description, image, and links to the deterministic-system topic page so that developers can more easily learn about it.
To associate your repository with the deterministic-system topic, visit your repo's landing page and select "manage topics."