Version 1.2 adds Amendment-02, which supersedes Amendment-01 in full. Amendment-01's coefficient-parameter family homotopy for plane-form Tier-2 completeness is recorded as computationally intractable (an exploratory negative result). Amendment-02 installs in its place certified real-box enumeration via rigorous affine-arithmetic interval-Newton (AA-Krawczyk) over the registered box, with a queue-exhaustion completeness criterion under outward-rounded arithmetic, new recorded invariants, Gate-1 and Gate-M provisions, and a tooling freeze. The method was validated on an eight-subset exploratory pilot (recorded; not confirmatory). Filed before any confirmatory subset run and before the tooling freeze. The engine under test is unchanged at v0.1.0.
Salah-Eddin Gherbi (Sat,) studied this question.