deterministic-system

Star

Here are 4 public repositories matching this topic...

shadowthreads / shadow-threads

Star

Deterministic workflow state and execution replay for AI systems

agent cli state-management ai mcp infra reproducibility workflows llm ai-workflow deterministic-system

Updated Mar 15, 2026
TypeScript

CevenJKnowles / io-iii-runtime

Star

Deterministic LLM control-plane runtime. Governance-first architecture with bounded execution, hard audit limits, and an architectural invariant test suite.

control-plane llm prompt-engineering system-architecture-design ai-systems-design bounded-execution governance-first deterministic-system

Updated May 29, 2026
Python

al-alawi-deterministic-theorem / -Alalawi-Deterministic-Sovereign-Core-ADSC-HCSP-

Star

"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.