PCF-197 Test Lab
Research target d = 618. Acceptance criterion: endpoints 0 and 618 remain collision-free while every interior offset 1 … 617 is covered using endpoint-safe residue classes drawn from primes ≤ 197. All modes below are experimental computational searches — they produce records, never theorems.
PCF operational decision = location survival under all active prior waves. Mathematical interpretation: incremental wheel-sieve construction. This is sieve-type mathematics — no novel primality proof is claimed from mod-30 location alone.
Survivor-driven
Greedy maximum-coverage over endpoint-safe residue classes, one class per prime ≤ 197.
EXPERIMENTAL
Root fixed-point propagation
Measures forced assignments and legal-absorber counts at the root of the search tree.
EXPERIMENTAL
Multi-survivor propagation
Placeholder — kernel not implemented; always terminates INCOMPLETE.
EXPERIMENTAL
Historical experimental records
Seeded from prior work. These are computational records of specific runs — not proofs, and not new theorems.
- INCOMPLETEPCF v1.0 original run (d = 618)Terminated incomplete after 9,020,752 trace events without producing a full endpoint-safe cover.
- FAILSurvivor-driven follow-up (d = 618)Best state reached left exactly two interior offsets uncovered: 246 and 494.
- INCOMPLETERoot fixed-point propagation (d = 618)Zero forced assignments at the root; minimum 40 legal absorbers for the most constrained offsets — the root of the search tree is unconstrained.
- INCOMPLETEMulti-survivor propagationPlaceholder: kernel not implemented in this build.