IV.R189 — One-way flow of export contracts

The one-way flow of export contracts prevents retroactive fitting: if Book V discovers c_1 = 3/pi is exact, it upgrades the scope label from conjectural to tau-effective without changing the formula. If c_1 differs, the discrepancy is recorded as an open problem, not patched by adjusting Book IV's formula.