The Hybrid Solver: A Composite Integer-Exact Solver Across the Input-Substrate Boundary: the Processor Period Theorem, an Integer-Reducibility Discriminator for Long-Time Solvability, and Six Reductions to Practice | Synapse