GATE D7R

Ground-truth harness, predicate reproduced

passEvidence I2Verify: doublePublic claim: No2026-07-18

What changed

The pinned upstream find_cover was compiled as an oracle and reproduces the frozen truth exactly (p=19 = 1, p=53 = 4,651). A fully independent oracle matches it at the OBJECT level (byte-identical sets) on five primes. The 4,651 is now understood: size-K multiset covers with the anchor speed 1 allowed to repeat once (the duplicate-coordinate padding). The unit action is compatible at the terminal-object level. Predicate re-frozen, optimization can resume on aligned semantics.

Evidence

check 1Upstream oracle (commit 755b116b) reproduces F19=1, F53=4,651 exactly

check 2Independent oracle matches at OBJECT level on 5 primes (19/53/59/67/71)

check 34,651 = 3,147 distinct + 1,504 anchor-padded multisets, two checkers, 20/20 attacks

Verification: double · I2 · 12 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)

← All gates