Asymmetric quotient ingredient for the cyclic tournament5 cell construction.
No 90-vertex graph is claimed. Both target solver trials ended UNKNOWN.

Independent verification, standard-library Python only:
python src/verify_cyctour5_quotient.py results/cyctour5_asymmetric_quotient90_20261027.json results/cyctour5_phase_control10_20261027.json

Regenerate quotient (requires numpy):
python src/cyctour5_switch_quotient.py --depth 4 --out quotient.json

Cold control10 (requires numpy and ortools):
python src/cyctour5_phase_completion.py --q 1 --seconds 20 --workers 5 --out control.json

The note records the two quotient switches, complete equations, provenance,
scope, modular relaxation, and target time limits. Target search scripts
are included as reproducible research tools; their UNKNOWN results are
not proofs of infeasibility. No complete quotient classification is claimed.
