finite-certificates

A class-wide exact-two obstruction for modulus 9 in finite odd covering systems, established through a computer-assisted mathematical proof with exact certificates and reproducible verification.

Exact classification of reversible monochromatic triangle dynamics on complete graphs for all n >= 6, with a complete degree parity and mod 3 invariant, constructive stabilization, exact orbit growth, and reproducible verification - Shunyaya Orbit Stabilization Theory.

Constructive classification of incidence full coupled graph dynamics with a complete parity invariant, exact local complementation, polynomial canonicalization, and reproducible verification — Shunyaya Structural Discovery Demonstration.