code wiki / (root) / nx_ferment_invent_test.nx

nx_ferment_invent_test.nx

buildroot/runtime/nx_ferment_invent_test.nx

2336 B50 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_invent_test.nx -- smoke for nx_ferment_invent (R5). Proves generative fermentation design that is SAFE BY CONSTRUCTION: - invents a viable yogurt: safe, warm, sets within target (1-5) - the invented recipe RE-VALIDATES safe under R0 (6) - REFUSES a too-cold anaerobic batch (never acidifies in time) (7) - REFUSES an under-salted vegetable ferment (botulism risk) (8) - invents a viable kraut once salt is adequate (9) Exit code = failed assertion number; 0 = all pass.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_kinetics.nx nx_ferment_invent.nx nx_ferment_invent_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_kinetics.nxnx_ferment_invent.nx

imported by: nobody (leaf or entry point)

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

main nx_ferment_safety_envelope nx_ferment_safety_envelope sys_mmap nx_ferment_invent sys_mmap ↻ nx_ferment_kinetics_set_ti nx_ferment_kinetics_temp_f nx_exp_q10 nx_exp_q10_neg _nx_exp_table_get nx_ferment_kinetics_ph_at nx_ferment_kinetics_temp_f ↻ nx_ferment_validate nx_fk_is_valid _fs_reading_at nx_ferment_kinetics_ph_at ↻ nx_ferment_validate ↻

structs

none

consts

none

functions

16func main() -> i64