Fortune Research Notes

• Prime-offset formulation Stronger than the current Route 2 interval statement, and formally shown in this project to imply the reduction bound and hence FortuneConjecture.
• Sieve target Makes the analytic gap explicit as a sifted-candidate existence statement plus a parity/primality upgrade, and isolates the specialized full-sieve target that already implies FortuneConjecture.