SCAN
Multi-repository research scan
What changed
Four upstream sources cloned, audited and compiled, k=9 reproduced locally in 116 s, matching upstream result_10 digit for digit.
Evidence
check 1k=9 reproduction output identical to upstream result_10
check 2Product-over-primes threshold re-checked with exact integers
check 3git status clean on all three upstream repositories
Verification: double · I1 · 6 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)