runtime-assurance
A runtime assurance kernel for LLM-based systems: graded verdicts, hashed commitments, bit-identical replay.
Deterministic postcondition verification for AI agents and autonomous systems using independent observed state.
