III.R29 — Binding Conditions

A downstream book is τ-compliant iff it satisfies all preconditions from Book III, proves all postconditions within its scope, and respects the scope boundary (no τ-effective claims beyond its enrichment level).