code wiki / (root) / nx_ferment_recipes_test.nx

nx_ferment_recipes_test.nx

buildroot/runtime/nx_ferment_recipes_test.nx

1823 B41 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_recipes_test.nx -- smoke for nx_ferment_recipes (R4). Proves a data-driven catalog where EVERY entry is R0-safety-verified: - catalog lookups return the right ferment kind (1-2) - all 7 named recipes pass the R0 never-poison law (100+id on failure) - LIAR-KILL: an unsafe raw-milk cheese under 60 days is REFUSED (3) - LIAR-KILL: an under-salted anaerobic brine is REFUSED (4) Exit code = failed assertion number; 0 = all pass.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_recipes.nx nx_ferment_recipes_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_recipes.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_safety_envelope nx_ferment_safety_envelope sys_mmap nx_ferment_recipe sys_mmap ↻ nx_ferment_recipe_safe nx_ferment_validate nx_fk_is_valid _fs_reading_at nx_ferment_validate ↻

structs

none

consts

none

functions

14func main() -> i64
calls 4: nx_ferment_safety_envelope_defaultnx_ferment_recipenx_ferment_recipe_safenx_ferment_validate