code wiki / (root) / nx_haccp_test.nx

nx_haccp_test.nx

buildroot/runtime/nx_haccp_test.nx

2288 B51 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_haccp_test.nx -- smoke for nx_haccp. Proves hazard analysis, CCP determination, grounded critical limits, monitoring, the never-poison HALT on a breached CCP, and composition with nx_preservation's 12-D cook. Exit code = failed assertion number; 0 = all pass.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_preservation.nx nx_haccp.nx nx_haccp_test.nx

imports: nx_syscalls.nxnx_preservation.nxnx_haccp.nx

imported by: nobody (leaf or entry point)

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

main haccp_is_ccp haccp_primary_hazard haccp_cook_limit haccp_cook_admit haccp_cook_limit ↻ haccp_cool_admit haccp_hot_hold_admit haccp_cold_hold_admit haccp_can_admit pv_is_12d pv_reductions_milli haccp_acidify_admit

structs

none

consts

none

functions

10func main() -> i64
calls 9: haccp_is_ccphaccp_primary_hazardhaccp_cook_limithaccp_cook_admithaccp_cool_admithaccp_hot_hold_admit+3