IV.R288 — Circular dependencies excluded

The export map of Part II is strictly acyclic: no later Part feeds back into Part II. Importing Parts may elevate scope (conjectural -> tau-effective) but may not change formulas. If a formula disagrees with experiment, the disagreement is recorded in the ledger, not patched.