code wiki / (root) / nx_soda_design_test.nx

nx_soda_design_test.nx

buildroot/runtime/nx_soda_design_test.nx

2047 B44 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic soda
docsdependenciesstructsconstsfunctions

about

nx_soda_design_test.nx -- smoke for nx_soda_design (craft-soda capstone). Proves the AIR-TO-SODA chain + the SYSTEM-level exceed (every pillar is load-bearing -- none is a hand-set number): - the clean COLD chain scores high + is sugar-free by construction (1-4) - carbonation lands in the soda pH range (5) - WARM water breaks "no heavy equipment" (>5 bar) + drops the score (6-7) - HARD water muddies the canvas + drops the score (8-9) - the on-demand per-glass crystal dose is a sane craft quantity (10-11) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_soda_design.nx nx_soda_design_test.nx

imports: nx_syscalls.nxnx_soda_design.nx

imported by: nobody (leaf or entry point)

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

main soda_craft soda_design_smooth soda_hplus_um soda_isqrt soda_citric_hplus_um soda_isqrt ↻ soda_malic_hplus_um soda_isqrt ↻ soda_sour_from_hplus nx_taste_receptor sys_mmap nx_taste_response_milli sys_mmap ↻ sys_mmap ↻ soda_required_pressure_mba soda_kh soda_kh_anchor soda_nanobubble_feasible soda_ph_milli soda_hplus_um ↻ soda_log10_milli soda_log10_anchor soda_recipe_sour_milli soda_citric_hplus_um ↻ soda_malic_hplus_um ↻ soda_hplus_um ↻ soda_sour_from_hplus ↻ soda_recipe_smoothness_mil soda_smoothness_milli soda_aroma_round_bonus soda_recipe_clarity_milli soda_clarity_milli soda_recipe_intensity_mill soda_water_purity_milli soda_craft_score_milli soda_glass_crystal_mg

structs

none

consts

none

functions

15func main() -> i64
calls 2: soda_craftsoda_glass_crystal_mg