C-D20-BLOCKED

D20-BLOCKED (measured, not assumed): complete local-cover enumeration does not terminate within the resource caps for the inventory primes, so every campaign block is OPEN and the certified-closed product is zero. Honest cost-driven negative capability, like the D6 non-tight campaign; NOT a compatibility claim, NOT a counterexample

In plain language

The direct route is blocked by computation cost, not by mathematics: nothing was proved or disproved about LRC(13).

Exact statement

D20-BLOCKED (measured, not assumed): complete local-cover enumeration does not terminate within the resource caps for the inventory primes, so every campaign block is OPEN and the certified-closed product is zero. Honest cost-driven negative capability, like the D6 non-tight campaign; NOT a compatibility claim, NOT a counterexample