A trace-analysis engine that infers phase-aware syscall contracts and validates new executions against the smallest stable policy.
local-first operating-systems-runtime-systems normalized-syscall-tracer predicate-learner state-machine-inference policy-minimizer violation-explainer
-
Updated
Sep 18, 2026 - Python