code wiki / (root) / nx_ferment_flavor_test.nx

nx_ferment_flavor_test.nx

buildroot/runtime/nx_ferment_flavor_test.nx

1784 B41 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_flavor_test.nx -- smoke for nx_ferment_flavor (CAPSTONE). Proves the two-ladder convergence: predict a ferment's flavor trajectory from chemistry, and design a ferment for a target flavor. - sour rises with fermentation and is bounded (T0 saturation) (1-3) - umami rises with time + proteolysis (4) - aged ferment is more flavour-intense than young (R3+T0+T2 vector) (5) - DESIGN: find the hour that hits a target sourness, verify it (6-7) - DESIGN refuses a target the chemistry can never reach (8) Exit code = failed assertion number; 0 = all pass.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_ferment_kinetics.nx nx_taste_transduce.nx nx_flavor_integrate.nx nx_ferment_flavor.nx nx_ferment_flavor_test.nx

imports: nx_syscalls.nxnx_ferment_kinetics.nxnx_taste_transduce.nxnx_flavor_integrate.nxnx_ferment_flavor.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_sour_at nx_ferment_kinetics_ph_at nx_ferment_kinetics_temp_f nx_exp_q10 nx_exp_q10_neg _nx_exp_table_get nx_taste_receptor sys_mmap nx_taste_response_milli nx_ferment_umami_at nx_ferment_flavor_vector nx_ferment_sour_at ↻ nx_ferment_umami_at ↻ nx_ferment_kinetics_ph_at ↻ nx_flavor_vector_new sys_mmap ↻ nx_flavor_total_intensity nx_ferment_time_for_sour nx_ferment_sour_at ↻

structs

none

consts

none

functions

18func main() -> i64