code wiki / (root) / nx_observatory_test.nx

nx_observatory_test.nx

buildroot/runtime/nx_observatory_test.nx

2654 B84 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_observatory_test.nx -- smoke for nx_observatory.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_attention_class.nx nx_dyad.nx nx_observatory.nx nx_observatory_test.nx

imports: nx_syscalls.nxnx_attention_class.nxnx_dyad.nxnx_observatory.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_dyad_new nx_ac_is_valid sys_mmap ↻ nx_observatory_new sys_mmap ↻ nx_observatory_sample nx_dyad_outputs_differ _obs_at nx_observatory_agreement_q nx_observatory_is_divergen nx_observatory_total_diff_ _obs_at ↻ nx_observatory_sample_coun

structs

none

consts

none

functions

8func main() -> i64