This release adds the first PET-guided diagnostic classic verification path.
Highlights:
- Add recursive branch verdicts.
- Add composite-edge peel and subedge recursion diagnostics.
- Add twin-subedge convergence detection.
- Add convergence-refined anchor verdicts.
- Add single-subedge anchor candidates.
- Add diagnostic Fermat center probe for flat two-leaf centers.
- Add tools/tune_peelator.sh for PET-side tuning sweeps.
Validated example:
- N = 6345405191
- PET center = 79658
- diagnostic Fermat radius = 1000
- verified factors = 70139 * 90469
Claim:
PET still does not blindly factor opaque numbers; classic verification is only entered through explicit PET diagnostic anchor candidates.