Zero-knowledge SAT validation engine(frontend-seven-delta-66.vercel.app)

0
classifications

0
Set A (probe)

0
Set B (solver)

—
solver calls avoided

Theoretical Result

A 6.36σ universal separability signal exists across the SAT phase transition —
a previously undescribed structural property of random k-SAT, validated n=15 to n=500 on random 3-SAT · SATLIB benchmarks n=50–100.
This signal partitions instances without solver invocation, enabling
57% solver call reduction on hard phase-transition instances.

Parks SAT Framework (PTSF) · Alika M. Parks · Kalaheo, Hawaii · 2026

— instances classified globally

Performance Metrics

57%
solver call reduction · Tier 1 classifier

47x
vs MiniSAT · Tier 1 · benchmark hardware · n=50

3.9x
vs Kissat · Tier 2 VIG-CDCL solver · mean n=20–100

9.7x
vs Kissat · Tier 2 peak · n=75

6.36σ
universal separability signal · n=15 to n=500

0.999
Tier 1 accuracy · SATLIB validated

100%
Tier 2 solver correctness · n=20–100 validated

Tier 1 (classifier): ~57% · no solver ·