Part IV — The Audit

Part II derived seven properties; Part III showed that one stack satisfies all of them. This part scores everything else the industry runs against the same seven properties, and finally the derived stack itself.

Every audit in this part fills one column of the same table; the final chapter assembles the complete table. The rows are R1 R2 R3 · S1 S2 S3 S4. Each technology is evaluated against those seven properties, and the scores carry the argument. The rows themselves are backed by proofs: R1–R3 by Theorem 5.4, S1–S4 by Proposition 4.4. So rejecting a score means rejecting a requirement, not defending a technology.

A ledger grid of checks, crosses, and tildes; one column is checks all the way down