code wiki / (root) / nx_swarm_sim_test.nx

nx_swarm_sim_test.nx

buildroot/runtime/nx_swarm_sim_test.nx

4080 B88 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic swarm
docsdependenciesstructsconstsfunctions

about

nx_swarm_sim_test.nx -- KAT for the deterministic swarm simulator / download engine. Native sovereign lane; exit 0 = pass, N = assertion N failed. Every expected value is hand-computed in the comments (evidence-driven, no oracle drift).

dependencies 2 imports · 0 importers

nx_str.nx nx_swarm_sim.nx nx_swarm_sim_test.nx

imports: nx_str.nxnx_swarm_sim.nx

imported by: nobody (leaf or entry point)

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

main nx_ss_availability nx_ss_holder nx_ss_any_honest_holder _zero nx_ss_run nx_ss_availability ↻ nx_ss_outstanding nx_sp_sequential nx_sp_stream_pick nx_pm_rarest nx_pm_rarest ↻ nx_sp_in_endgame nx_ss_any_honest_holder ↻ nx_ss_holder ↻ nx_ss_rounds_to_playable nx_ss_availability ↻ nx_sp_can_play nx_sp_contiguous_have nx_ss_outstanding ↻ nx_sp_sequential ↻ nx_sp_stream_pick ↻ nx_pm_rarest ↻ nx_ss_holder ↻

structs

none

consts

none

functions

8func _zero(a: *i64, n: i64) -> i64 { var i: i64 = 0; while i < n { a[i] = 0; i = i + 1 } return 0 }
called by 1: main
10func main() -> i64
calls 6: nx_ss_availabilitynx_ss_holdernx_ss_any_honest_holder_zeronx_ss_runnx_ss_rounds_to_playable