V.R08 — Contract discipline

The export contract is symmetric: Book IV guarantees items E1-E9 at their stated scope levels with E10 as a forward reference, and Book V guarantees it will use only these ten items with no silent dependencies or smuggled assumptions.