nx_trust_plurality_gate.nx

nx_trust_plurality_gate.nx -- proves the sev-9 fix to the SPORE trust bootstrap (debt 1786068026). DEFECT: tc_admit_root counted agreement WITH SOURCE 0. Two colluding sources presenting identical poison at indices 0-1 reached K=2 and were admitted while an honest majority was never consulted. The soundness gate used the same measure, so it could never fire on it. The existing nx_trust_corroborate_test covers 4-honest, 1-source and 1-poison. It never covers a poisoned MINORITY holding index 0 against an honest MAJORITY -- the one arrangement that breaks it. A TEST THAT ONLY EXERCISES THE ARRANGEMENTS THE AUTHOR IMAGINED IS A RESTATEMENT OF THE AUTHOR'S ASSUMPTIONS, NOT A CHECK ON THEM. license_tier: ORIGINAL expect_exit: 0