Version 1. 4 adds Amendment 04, which realizes the §6 valid-domain clause "chain-defined arc arguments in range" as an explicit admissible-domain exclusion extending the Amendment 02 certified real-box enumeration. The exclusion removes boxes provably containing no real, in-range plane figure, under the same outward-rounded interval arithmetic already bound by §B2 (iv). The amendment is conservative: the exclusion is a completeness-enabling mechanism, not a correctness requirement. It registers only validated machinery — sqrt-domain and positivity constraints, coordinate-range constraints for the implemented figure coordinates, and a division-free range rule for the one coordinate (x11a) where a blow-up seam was observed, diagnosed, fixed, and validated. Other potential denominator loci (including U20/U21) are deliberately not assigned dedicated rules; under §B3 any unresolved seam is downgraded to a Tier-1 negative rather than asserted as completeness — the correctness guarantee rests on the safety net, not the exclusion. Frozen parameters RMAX = 2 and MAXDEPTH = 200 are registered. Prospective only; predates the tooling freeze and any confirmatory run.
Salah-Eddin Gherbi (Mon,) studied this question.