code wiki / (root) / nx_treaty_test.nx

nx_treaty_test.nx

buildroot/runtime/nx_treaty_test.nx

4389 B105 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_treaty_test.nx -- smoke for nx_treaty.

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_budget.nx nx_attention_class.nx nx_evict_journal.nx nx_treaty.nx nx_treaty_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_budget.nxnx_attention_class.nxnx_evict_journal.nxnx_treaty.nx

imported by: nobody (leaf or entry point)

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

main nx_tr_state_is_valid nx_treaty_propose nx_ac_priority nx_ac_is_valid sys_mmap nx_treaty_accept nx_treaty_is_active nx_treaty_party_share_q10 nx_treaty_check_breach nx_treaty_renegotiate_shar nx_treaty_release

structs

none

consts

none

functions

10func main() -> i64
calls 8: nx_tr_state_is_validnx_treaty_proposenx_treaty_acceptnx_treaty_is_activenx_treaty_party_share_q10nx_treaty_check_breach+2