code wiki / (root) / nx_shelf_life_test.nx

nx_shelf_life_test.nx

buildroot/runtime/nx_shelf_life_test.nx

1862 B41 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_shelf_life_test.nx -- smoke for nx_shelf_life. Proves the Q10 shelf- life model (decade-exact), the honest non-decade gap, and the cold-chain breach accumulator. Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_shelf_life.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

8	func main() -> i64 calls 5: sl_q10_pow sl_at_temp sl_life_consumed_milli sl_is_expired sl_remaining_milli