code wiki / (root) / nx_vessel_io_test.nx

nx_vessel_io_test.nx

buildroot/runtime/nx_vessel_io_test.nx

2542 B59 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_io_test.nx -- smoke for nx_vessel_io (H1, hardware-in-the-loop). Proves the real control software regulates against IMPERFECT hardware: - sensor quantizes to the ADC resolution (1) - PWM actuator is on below the duty, off above (2-3) - sensor LAG: a laggy probe reads below true during a ramp (4-5) - HIL: the R1 controller, reading a NOISY+LAGGY sensor, drives the H0 physics twin into the setpoint neighborhood (6-7) and NEVER reaches culture-kill (8) -- the control design validated pre-build Exit code = failed assertion number; 0 = all pass.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_thermal.nx nx_vessel_thermal.nx nx_vessel_io.nx nx_vessel_io_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_thermal.nxnx_vessel_thermal.nxnx_vessel_io.nx

imported by: nobody (leaf or entry point)

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

main nx_sensor_new sys_mmap nx_sensor_update nx_heater_pwm nx_ferment_safety_envelope nx_ferment_safety_envelope sys_mmap ↻ nx_ferment_thermal_new sys_mmap ↻ nx_pid_init nx_ferment_thermal_safe_se nx_vessel_thermal_new sys_mmap ↻ nx_ferment_thermal_step nx_pid_update nx_vessel_thermal_step

structs

none

consts

none

functions

18func main() -> i64