code wiki / (root) / nx_etg_tournament_test.nx

nx_etg_tournament_test.nx

buildroot/runtime/nx_etg_tournament_test.nx

5171 B123 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic etg
docsdependenciesstructsconstsfunctions

about

nx_etg_tournament_test.nx -- KAT for E2 tournament selector. Verifies: T1 All-correct variants: winner = argmin(perf_metric). T2 Mixed correct + failed: failed variants ignored even if they have lower perf; winner is correct + argmin. T3 All variants failed: returns NX_ETG_TVAL_NO_WINNER; never silently picks a failed variant. T4 Tie-break determinism: equal perf -> earlier variant wins. T5 N=0: returns NX_ETG_TVAL_NO_WINNER (no underflow). T6 N=1 correct: that variant wins regardless of its perf. T7 N=1 failed: returns NX_ETG_TVAL_NO_WINNER. T8 Attestation emits a valid E1 entry with outcome=RECLAIMED + claim_source=PRIOR_CALIBRATION + claim_value=variants_tested + measurement_value=winning_variant_id + reclamation_delta=1.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_etg.nx nx_etg_tournament.nx nx_etg_tournament_test.nx

imports: nx_syscalls.nxnx_etg.nxnx_etg_tournament.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap nx_etg_tournament_select nx_etg_tournament_attest nx_etg_entry_init nx_etg_probe_is_valid nx_etg_claim_is_valid nx_etg_outcome_is_valid nx_etg_outcome_implies_rec nx_etg_attestation_hash sys_mmap ↻ fnv1a nx_etg_attestation_determi nx_etg_attestation_hash ↻

structs

none

consts

none

functions

21func main() -> i64