code wiki / (root) / nx_probiome_test.nx

nx_probiome_test.nx

buildroot/runtime/nx_probiome_test.nx

7111 B130 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic probiome
docsdependenciesstructsconstsfunctions

about

nx_probiome_test.nx -- smoke for nx_probiome (R6, cross-kingdom beneficial-microbe engine, v2 widened to organisms in general). Proves: - a data-driven catalog spanning FOUR host kingdoms AND four microbe domains (bacteria / yeasts / molds / mycorrhizal fungi); - the "One Health" keystone (B. subtilis benefits 3 kingdoms); - a GENERATIVE recommender that is SAFE-BY-CONSTRUCTION; - TWO genus-level liar-kill pairs: Bacillus subtilis vs B. cereus (toxin) and Aspergillus oryzae (koji) vs A. flavus (aflatoxin); - LIAR-KILLS: pathogen, toxigenic bacterium, toxigenic mold, AMR opportunist, host mismatch, unknown (fail-closed) all REFUSED; - the recommender never returns an AMR additive or an aflatoxin mold even when it nominally fits the target. Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_probiome.nx nx_probiome_test.nx

imports: nx_syscalls.nxnx_probiome.nx

imported by: nobody (leaf or entry point)

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

main nx_probiome_strain sys_mmap nx_probiome_admit pb_host_count pb_is_keystone pb_is_safe pb_host_count ↻ pb_benefits_host pb_has_mechanism nx_probiome_recommend nx_probiome_strain ↻ nx_probiome_admit ↻ pb_has_mechanism ↻ nx_probiome_recommend_bene nx_probiome_recommend ↻ nx_probiome_strain ↻ nx_probiome_count_safe_for nx_probiome_strain ↻ nx_probiome_admit ↻ nx_probiome_count_domain nx_probiome_strain ↻ pb_is_safe ↻ nx_probiome_strain_count

structs

none

consts

none

functions

18func main() -> i64