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 — and last, the derived stack itself, on the same rows; its closing chapter is the completed table.

Every audit in this part ends by filling in one column of the same table; the last chapter assembles the table whole. Rows: R1 R2 R3 · S1 S2 S3 S4. Each chapter scores its technologies against the seven properties; the scores carry the argument. A score here is rejected only by striking a row: R1–R3 through Theorem 5.4, S1–S4 through Proposition 4.4. So disagreement concerns the requirements, not the individual technologies.

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