code wiki / (root) / nx_soda_flavor_test.nx

nx_soda_flavor_test.nx

buildroot/runtime/nx_soda_flavor_test.nx

2853 B63 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic soda
docsdependenciesstructsconstsfunctions

about

nx_soda_flavor_test.nx -- smoke for nx_soda_flavor (craft-soda F0). Proves the "smooth + strong + WITHOUT sugar hiding it" model + its exceeds: - malic is a softer acid than citric at equal molarity (1-3) - the citric:malic BLEND beats either acid alone for roundness (4-5) - a sweet-aroma whisper rounds WITHOUT sugar; clarity stays perfect (6-7) - LIAR-KILL: sugar-free honest, a sugary recipe rejected + muted (8-10) - CARBONATION is a flavor lever: adds sourness + lifts intensity (11-13) - GENERATIVE: design a smooth strong SUGAR-FREE soda at a target (14-18) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_soda_flavor.nx nx_soda_flavor_test.nx

imports: nx_syscalls.nxnx_soda_flavor.nx

imported by: nobody (leaf or entry point)

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

main soda_malic_hplus_um soda_isqrt soda_citric_hplus_um soda_isqrt ↻ soda_smoothness_milli soda_aroma_round_bonus soda_clarity_milli soda_is_honest_sugarfree sys_mmap soda_recipe_sour_milli soda_citric_hplus_um ↻ soda_malic_hplus_um ↻ soda_hplus_um soda_isqrt ↻ soda_sour_from_hplus nx_taste_receptor sys_mmap ↻ nx_taste_response_milli soda_recipe_intensity_mill soda_recipe_honest soda_is_honest_sugarfree ↻ soda_design_smooth soda_hplus_um ↻ soda_citric_hplus_um ↻ soda_malic_hplus_um ↻ soda_sour_from_hplus ↻ sys_mmap ↻ soda_recipe_smoothness_mil soda_smoothness_milli ↻

structs

none

consts

none

functions

15func main() -> i64