code wiki / (root) / nx_vessel_design_test.nx

nx_vessel_design_test.nx

buildroot/runtime/nx_vessel_design_test.nx

1726 B41 linesdepth 7pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_design_test.nx -- smoke for nx_vessel_design (H3). Proves hardware design CERTIFICATION in software, against the R4 recipe: - a good 50 W / insulated / fused design PASSES for yogurt (1) - an undersized 5 W heater is REJECTED (2) - a cutoff set below the setpoint is REJECTED (3) - a heat-up budget that is too tight is REJECTED (4) Exit code = failed assertion number; 0 = all pass.

dependencies 8 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_thermal.nx nx_vessel_thermal.nx nx_vessel_io.nx nx_vessel_faults.nx nx_ferment_recipes.nx nx_vessel_design.nx nx_vessel_design_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_thermal.nxnx_vessel_thermal.nxnx_vessel_io.nxnx_vessel_faults.nxnx_ferment_recipes.nxnx_vessel_design.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_recipe sys_mmap ↻ nx_vessel_thermal_new sys_mmap ↻ nx_vessel_design_verify nx_vessel_can_reach nx_vessel_equilibrium_mc nx_vessel_thermal_step sys_mmap ↻ nx_vessel_fault_run nx_ferment_thermal_new sys_mmap ↻ nx_pid_init nx_ferment_thermal_safe_se nx_sensor_new sys_mmap ↻ nx_sensor_update nx_fault_sensor_read nx_ferment_thermal_step nx_pid_update nx_fault_heater_duty nx_thermal_cutoff nx_vessel_thermal_step ↻

structs

none

consts

none

functions

19func main() -> i64
calls 4: nx_ferment_safety_envelope_defaultnx_ferment_recipenx_vessel_thermal_newnx_vessel_design_verify