Burden of proof
Element probability over time
Docket · action stream
Rules fired
Ledgers
Evidence & contradiction graph
admittedexcluded
pendingnot offered
contradictscorroborates
Element findings (exact arithmetic)
Audit digest —