Manuscript IX-D@3 · IX-D-v3.tex · requirement · 3ad4586e
Requirement: C-I1–C-I9
Release conventions and inherited inputs › Copied preservation contract · lines 440–458
IX-D@3#req:free
The inherited free sector is subject to:
Admission of every output and required directional descendant.
Classical multiplication at order zero.
Exact agreement with fixed old products on declared overlaps.
Retention of the locked first-stage coefficients.
The one common calibrated scalar parent , with its declared observation compatibility.
No subtraction changing a fixed old product.
No requirement that unchanged approximants converge sharply in .
Respect for all finite actual-presentation relations.
Named continuity domains and proofs, without promoting test-family continuity to actual-stage continuity or hypocontinuity.