code wiki / (root) / nx_ferment_process_test.nx

nx_ferment_process_test.nx

buildroot/runtime/nx_ferment_process_test.nx

2796 B71 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_process_test.nx -- smoke for nx_ferment_process (R2). Proves the ferment state machine: - the yogurt sequence runs to COMPLETE through all 5 phases (2-3) - a STALLED ferment (pH never declines) HALTS the whole process via the R0 never-poison law, recording the refusal verdict (4-5) Exit code = failed assertion number; 0 = all pass.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_process.nx nx_ferment_process_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_process.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_phases_new sys_mmap ↻ nx_ferment_build_yogurt nx_ferment_phase_set _fp_phase_at nx_ferment_process_new sys_mmap ↻ nx_ferment_process_target _fp_phase_at ↻ nx_ferment_reading_log_new sys_mmap ↻ nx_ferment_process_current _fp_phase_at ↻ nx_ferment_process_step _fp_phase_at ↻ nx_ferment_validate nx_fk_is_valid _fs_reading_at

structs

none

consts

none

functions

13func main() -> i64
calls 8: nx_ferment_safety_envelope_defaultnx_ferment_phases_newnx_ferment_build_yogurtnx_ferment_process_newnx_ferment_process_targetnx_ferment_reading_log_new+2