code wiki / (root) / nx_ferment_cultures_test.nx

nx_ferment_cultures_test.nx

buildroot/runtime/nx_ferment_cultures_test.nx

2832 B67 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_cultures_test.nx -- smoke for nx_ferment_cultures (R6b). Proves the cheese/yogurt maker reasons about its beneficial bacteria: - yogurt declares S. thermophilus + L. acidophilus as live cultures; - every named recipe's cultures are HUMAN-safe (never-HARM gate); - the ferment surfaces its cultures' cross-kingdom benefit + mechanisms; - honest gap: kombucha/tempeh declare 0 bacterial cultures; - LIAR-KILL: a ferment declaring a pathogen or AMR opportunist as a culture is REFUSED. Exit code = failed assertion number; 0 = all pass.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_ferment_recipes.nx nx_probiome.nx nx_ferment_cultures.nx nx_ferment_cultures_test.nx

imports: nx_syscalls.nxnx_ferment_recipes.nxnx_probiome.nxnx_ferment_cultures.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_cultures sys_mmap fc_culture_at fc_cultures_safe fc_culture_at ↻ nx_probiome_strain sys_mmap ↻ nx_probiome_admit fc_recipe_benefits_host fc_recipe_host_mask nx_ferment_cultures ↻ fc_culture_at ↻ nx_probiome_strain ↻ fc_recipe_delivers fc_recipe_mech_mask nx_ferment_cultures ↻ fc_culture_at ↻ nx_probiome_strain ↻ sys_mmap ↻

structs

none

consts

none

functions

16func main() -> i64
calls 6: nx_ferment_culturesfc_culture_atfc_cultures_safefc_recipe_benefits_hostfc_recipe_deliverssys_mmap