EXCLUSIONS / SURVIVORS / VERIFICATION
Surviving is a start.
Verify what remains.
Compare arithmetic divisibility with Indexin's XOR/residue selection. Inspect every exclusion and every primality verdict.
Choose the bounds and run.
All integers ≤1,000,000. Exact primality verifier: trial division by every integer from 2 through floor(√n). This bounded study does not use the forge's Pocklington/Lucas certificates or support large-number hunts.
Green: verified prime (or both sides prime). Gold: survives the chosen divisor sieve but fails verification. Grey: struck by a divisor. A bottom line marks Indexin-selected addresses; in pair mode the address is k.
Candidate arithmetic
Run a study to inspect candidates.