← WSFC: Worm Sequence Freedom Closure / WSFC R27 · The conjecture ledger and authority audit

WSFC: Worm Sequence Freedom Closure WSFC R27 · The conjecture ledger and authority audit Neo.K / Aletheia

2007 Conjecture Ledger / Authority Audit: Classical Closure, WSFC Conditional Proofs and Formal Debt

An authority audit of the seven 2007 conjectures: (2) convexity and (3) drape are classical consequences of Adhikari–Pitman 1989; (1), (4), (5), (6), (7) are WSFC 'research-proof-level provisional' closures ((6) with a computer-assisted component); no closure by a proof assistant, independent review or peer review exists.

The correct authority level of the seven conjectures is not 'WSFC solves everything' but: 2 classical source closures plus 5 WSFC provisional research closures. This is the best-calibrated paper of the series and carries a list of anti-overclaim rules. It is the page of the series most worth reading first.

Connections · Connections

PreviousWSFC R25–R26 · Endpoint-distance strictness and the elasticity kernel · Endpoint-Distance Strictness Reframed and Elasticity Kernel Closure: Dual Comparative Statics, the Unit-Length Elasticity Gap, and a Computer-Assisted K > 0
NextWSFC R28 · The reviewer pack (no review yet) · Independent Verification Pack: From Internal Closure to a Reviewer Protocol That Can Be Overturned from Outside

This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.

Loading…