code wiki / (root) / nx_consumable_test.nx

nx_consumable_test.nx

buildroot/runtime/nx_consumable_test.nx

3107 B75 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_consumable_test.nx -- gate for the consumable-depletion kernel. Proves the replace verdicts from cumulative usage, and the MEASURED EXCEED (liar-kill): the SAME 2000-unit usage yields DUE under severe duty (x2.0) but OK under gentle duty (x0.5) -- the verdict tracks MEASURED severity, beating a fixed OEM interval and a vendor black box. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_consumable.nx nx_consumable_test.nx

imports: nx_syscalls_x86_64.nxnx_consumable.nx

imported by: nobody (leaf or entry point)

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

main nx_cons_verdict_is_valid nx_cons_analyze

structs

none

consts

none

functions

15func main() -> i64
calls 2: nx_cons_verdict_is_validnx_cons_analyze