An offline verifier that decides whether concurrent operation histories admit a legal sequential explanation and emits a compact witness or minimal violation.
local-first formal-methods-verification history-schema-and-validator object-specification-dsl partial-order-search-engine symmetry-and-state-cache witness-visualizer
-
Updated
Sep 18, 2026 - Python