GATE D28

Certified bulge bridge: BLOCKED-BEFORE-BUILD

blockedEvidence I2Verify: singlePublic claim: No2026-07-20

What changed

D28 tests whether the state-count region that blocked D27 can be crossed without enumerating its orbit children, examining a bidirectional symbolic meet and a coefficient-to-root switch at the design level before any production code. The bidirectional route is designed with product-form frontiers that defer pairing and sign, and the backward frontier is shown to be generable without knowing the target tuple, which removes a circularity risk. Its meet still leaves the local-cover choice product intact, because no frozen constraint couples cover choices across primes below the reconstruction zone. The switch route is sound only when the coefficient information already pins the root multiset, at which point it reduces to the earlier coefficient architecture and its known seeding cost. A label-free coefficient carrier pinning at 979 bits is recorded as a candidate finding. Both routes therefore have load-bearing obligations that measured upstream walls contradict, so no bridge implementable under the caps arises without a new coupling theorem. LRC(13) remains open.

Evidence

check 1Route A bidirectional meet: product-form frontiers defer pairing and sign; the backward frontier is generable without the target tuple. But the meet does not prune the local-cover product, so it is invalid under the frozen caps as specified

check 2Route B coefficient-to-root switch: sound only at the pinning threshold, where it re-derives the earlier blocked architecture; a certified pre-pinning switch remains an open theorem. A 979-bit label-free coefficient carrier is a candidate

check 3D28-BLOCKED-BEFORE-BUILD. Four missing theorems recorded as the reopening conditions. No production code written by decision. No BASE-SURVIVOR, no GLOBAL-WITNESS. LRC(13) OPEN

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

← All gates