INDEXIN / LAW SHOWCASEIX-25

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.