Policy Playground

Build a trace, write (or load) a policy formula, and watch it evaluate — step by step. The same LTLf semantics the CLI uses, run live in your browser. Covers the temporal & scoped fragment; structural policies (quantifiers over residuals / lineage) say so and point you at ponens trace check.