code wiki / (root) / nx_vessel_geometry_test.nx

nx_vessel_geometry_test.nx

buildroot/runtime/nx_vessel_geometry_test.nx

2089 B48 linesdepth 8pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_geometry_test.nx -- smoke for nx_vessel_geometry (C0). Proves the geometry -> thermal-twin -> certification design loop: - a 4 L / r=80 mm cylinder gets a sane height + area (1-2) - heat capacity matches water physics (~16744 J/K) (3) - insulation conductance is sane and DROPS with thicker insulation (4-5) - bigger volume -> bigger heat capacity (6) - CLOSED LOOP: the geometry-derived device CERTIFIES for yogurt (7) Exit code = failed assertion number; 0 = all pass.

dependencies 10 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_kinetics.nx nx_ferment_recipes.nx nx_vessel_thermal.nx nx_vessel_io.nx nx_vessel_faults.nx nx_vessel_design.nx nx_vessel_twin.nx nx_vessel_geometry.nx nx_vessel_geometry_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_kinetics.nxnx_ferment_recipes.nxnx_vessel_thermal.nxnx_vessel_io.nxnx_vessel_faults.nxnx_vessel_design.nxnx_vessel_twin.nxnx_vessel_geometry.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_geom_design sys_mmap nx_vessel_geom_heat_capaci nx_vessel_geom_insulation_ nx_ferment_safety_envelope nx_ferment_safety_envelope sys_mmap ↻ nx_vessel_geom_to_twin nx_vessel_geom_heat_capaci ↻ nx_vessel_geom_insulation_ ↻ nx_vessel_thermal_new sys_mmap ↻ nx_vessel_twin_certify nx_ferment_recipe 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 ↻ nx_ferment_kinetics_set_ti nx_ferment_kinetics_temp_f nx_exp_q10 nx_exp_q10_neg _nx_exp_table_get

structs

none

consts

none

functions

22func main() -> i64