How the Protocol Can Fail

This page presents the falsification criteria of the protocol, the failure matrix, the counterexample types, the known limitations, and the open questions. All values are loaded from data/falsification_status.json. No empirical data are reported, because none exist.

Loading falsification criteria ...