code wiki / (root) / nx_probiome_garden_test.nx

nx_probiome_garden_test.nx

buildroot/runtime/nx_probiome_garden_test.nx

2301 B49 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic probiome
docsdependenciesstructsconstsfunctions

about

nx_probiome_garden_test.nx -- smoke for nx_probiome_garden (R6c). Proves the plant-kingdom payoff: crop -> beneficial inoculant, every pick validated safe + plant-beneficial through the R6 never-HARM gate, grounded in real agronomy (legume/Rhizobium, cereal/Azospirillum, root/mycorrhiza, fruiting/Bacillus biocontrol). Safe by construction. Exit code = failed assertion number; 0 = all pass.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_probiome.nx nx_probiome_garden.nx nx_probiome_garden_test.nx

imports: nx_syscalls.nxnx_probiome.nxnx_probiome_garden.nx

imported by: nobody (leaf or entry point)

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

main pg_inoculant pg_inoculant_admit pg_inoculant ↻ nx_probiome_strain sys_mmap nx_probiome_admit pg_crop_mechanism pg_inoculant_delivers_need pg_inoculant ↻ pg_crop_mechanism ↻ nx_probiome_strain ↻ pb_has_mechanism pg_count_served pg_inoculant_admit ↻ pg_inoculant_benefit pg_inoculant ↻ nx_probiome_strain ↻ nx_probiome_recommend nx_probiome_strain ↻ nx_probiome_admit ↻ pb_has_mechanism ↻

structs

none

consts

none

functions

12func main() -> i64
calls 7: pg_inoculantpg_inoculant_admitpg_crop_mechanismpg_inoculant_delivers_needpg_count_servedpg_inoculant_benefit+1