III.R31 — Results Inventory

Complete list of τ-effective theorems proved in Book III Parts 0-VII, numbered and cross-referenced. The critical dependency path and scope discipline are displayed.