HIVE-LRCObservatory
ReadAudit
VI

C-D12-DEFICIT-IDENTITY

Exact dual-deficit identity for the non-tight margin

Proved (internal)Evidence I2Scope: non-tight, degree-5 dualSince gate-d12

In plain language

The gap between a candidate and a proper configuration is written as an exact sum over pairs and triples, turning a hard estimate into bookkeeping.

Exact statement

Exact dual-deficit identity for the non-tight margin

← All claimsSee in map