code wiki / (root) / nx_ferment_thermal_test.nx

nx_ferment_thermal_test.nx

buildroot/runtime/nx_ferment_thermal_test.nx

3115 B75 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_thermal_test.nx -- smoke for nx_ferment_thermal (R1). Proves hardware temperature control that is SAFE BY CONSTRUCTION: - unsafe setpoints are clamped below culture-kill (1-2) - command is heat-only (4) and bounded (5-6) - a room-temp vessel is driven into the 43 C yogurt neighborhood (7-8) - temperature NEVER reaches culture-kill dynamically (9, 12) - a 70 C request is clamped to 54 C and the loop converges to the CLAMPED safe temp, never the unsafe target (10-12) Exit code = failed assertion number; 0 = all pass.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_pid.nx nx_ferment_safety.nx nx_ferment_thermal.nx nx_ferment_thermal_test.nx

imports: nx_syscalls.nxnx_pid.nxnx_ferment_safety.nxnx_ferment_thermal.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_thermal_safe_se nx_ferment_thermal_new sys_mmap ↻ nx_pid_init nx_ferment_thermal_safe_se ↻ nx_ferment_thermal_step nx_pid_update nx_pid_reset nx_ferment_plant_step

structs

none

consts

none

functions

17func main() -> i64