code wiki / (root) / nx_competitive_state_test.nx

nx_competitive_state_test.nx

buildroot/runtime/nx_competitive_state_test.nx

8308 B163 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic competitive
docsdependenciesstructsconstsfunctions

about

nx_competitive_state_test.nx -- KAT for competitive-state classifier.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_etg.nx nx_competitive_state.nx nx_competitive_state_test.nx

imports: nx_syscalls.nxnx_etg.nxnx_competitive_state.nx

imported by: nobody (leaf or entry point)

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

main nx_comp_is_valid nx_entropy_window_is_valid nx_entropy_window_days nx_comp_is_production_capa nx_comp_classify_ratio sys_mmap nx_comp_record_init nx_comp_record_measurement nx_comp_classify_ratio ↻ nx_comp_record_is_stale nx_entropy_window_days ↻ nx_comp_record_effective_s nx_comp_record_is_stale ↻ nx_comp_to_etg_outcome nx_comp_record_effective_s ↻ nx_comp_attest nx_comp_to_etg_outcome ↻ nx_comp_record_effective_s ↻ 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

structs

none

consts

none

functions

7func main() -> i64
calls 12: nx_comp_is_validnx_entropy_window_is_validnx_entropy_window_daysnx_comp_is_production_capablenx_comp_classify_ratiosys_mmap+6