PriorProof live demo
Pick a payer policy and run it against a synthetic chart. Each criterion turns green only when a verbatim chart span proves it. Everything else stays a named gap.
The default case loads a chart with a built-in gap.
Pick a policy and run it. Each criterion fills in as the engine proves it against the chart or returns it as a named gap.