nx_vessel_twin_test.nx
buildroot/runtime/nx_vessel_twin_test.nx
about
nx_vessel_twin_test.nx -- smoke for nx_vessel_twin (HIL capstone).
Proves end-to-end (device + recipe) certification in software:
- a good device + the yogurt recipe is CERTIFIED for build (1)
- an undersized device is rejected at the hardware stage (2)
- a mis-placed cutoff is rejected at the hardware stage (3)
- the twin consults R3: yogurt acidifies within the safety window (4-5)
Exit code = failed assertion number; 0 = all pass.
dependencies 9 imports · 0 importers
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.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 20 | func main() -> i64 |