Context
Once a=3 and every high-x state are removed, the complementary branch becomes a finite list of periodic lifting problems rather than an open-ended exponent search.
Proof or evidence
The exact quotient has 21 rows. A bounded control search through v,y at most 384 finds ten presentations representing four factorizations, all costing at least 2N+4.
Verification notes
The row list and four controls are stored in a machine-readable certificate; the page explicitly distinguishes residue zero from exponent zero.
Limitations
- The row table alone did not exclude positive lifts such as y=1536; that obligation is discharged by FPRD-IC-T21.
- The ten controls were initially bounded evidence and become a classification only after the full second-gate proof.
- No external review or novelty determination is recorded.