Archived interactive proof

The older interactive proof page is archived.

The current public demo starts with a sample receipt: what counted as authorized effect, what rule was used, and what the sample does not prove.