code wiki / (root) / nx_preservation_test.nx

nx_preservation_test.nx

buildroot/runtime/nx_preservation_test.nx

2842 B54 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_preservation_test.nx -- smoke for nx_preservation (food-preservation science). Proves thermal death kinetics (12-D botulinum cook, z-value scaling), water activity classes, Leistner hurdle stability + its exceed over single-factor checking, and the never-poison canning gate. Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_preservation.nx nx_preservation_test.nx

imports: nx_syscalls.nxnx_preservation.nx

imported by: nobody (leaf or entry point)

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

main pv_reductions_milli pv_is_12d pv_reductions_milli ↻ pv_min_process_mmin pv_pow10 pv_d_at_z_steps pv_pow10 ↻ pv_water_activity_class pv_shelf_stable pv_hurdle_beats_single pv_shelf_stable ↻ pv_single_factor_stable pv_single_factor_stable ↻ pv_canning_method pv_canning_admit

structs

none

consts

none

functions

10func main() -> i64
calls 11: pv_reductions_millipv_is_12dpv_min_process_mminpv_pow10pv_d_at_z_stepspv_water_activity_class+5