code wiki / (root) / nx_vessel_thermal_test.nx

nx_vessel_thermal_test.nx

buildroot/runtime/nx_vessel_thermal_test.nx

2124 B46 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_thermal_test.nx -- smoke for nx_vessel_thermal (H0). Proves a real-units physics twin that SIZES HARDWARE IN SOFTWARE: - a 50 W heater on a well-insulated 4 L vessel heats up and reaches the 43 C setpoint (1-2) - equilibrium temperature is correct (3) - DESIGN CHECK: an undersized 5 W heater can NEVER reach 43 C -- caught before buying the part (4-5) - hold duty is sane (< full) and BETTER INSULATION needs less duty (6-8) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_vessel_thermal.nx nx_vessel_thermal_test.nx

imports: nx_syscalls.nxnx_vessel_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_vessel_thermal_new sys_mmap nx_vessel_thermal_step nx_vessel_equilibrium_mc nx_vessel_can_reach nx_vessel_equilibrium_mc ↻ nx_vessel_hold_duty_milli

structs

none

consts

none

functions

15func main() -> i64