code wiki / (root) / nx_concept_test.nx

nx_concept_test.nx

buildroot/runtime/nx_concept_test.nx

2444 B55 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic concept
docsdependenciesstructsconstsfunctions

about

nx_concept_test.nx -- smoke for typed concept dictionary. Tests that each registered concept ID resolves to the correct sealed ontology, and unknown IDs are typed UNKNOWN (not silently approximated).

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_concept.nx nx_concept_test.nx

imports: nx_syscalls.nxnx_concept.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_concept_ref_init nx_concept_ontology nx_concept_ref_is_valid

structs

none

consts

none

functions

10func main() -> i64 {
calls 3: sys_mmapnx_concept_ref_initnx_concept_ref_is_valid