KW-JASON proofs

December 19th, 2025