nx_dr_refute_gate.nx
buildroot/runtime/nx_dr_refute_gate.nx
about
nx_dr_refute_gate.nx -- KAT + neg-control for the adversarial refutation aggregator (DR-2).
Proves vote tally, the S1 decorrelation function m_eff=m/(1+(m-1)rho), and the kill rule --
including the CENTRAL neg-control: the SAME 4 refutes KILL a claim when the verifiers are
INDEPENDENT but CANNOT when they are correlated (correlated retries buy almost nothing), and
an UNREFUTED claim is never killed. DRY nx_gate_verdict lib (D001 migrate-on-touch).
dependencies 2 imports · 0 importers
imports: nx_dr_refute.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 9 | func main() -> i64 |