nx_world_demo_test.nx
buildroot/runtime/nx_world_demo_test.nx
about
nx_world_demo_test.nx -- 10 visual demos of registered primitives.
Run end-to-end via v2 kernel + visualisations + honest audit.
dependencies 6 imports · 0 importers
imports: nx_corpus_full.nxnx_proof_emit.nxnx_prove_propositional.nxnx_proof_sqrt2_v3.nxnx_arith.nxnx_probability.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| 11 | const SYM_A: nx_int = 1001 |
| 12 | const SYM_B: nx_int = 1002 |
| 13 | const SYM_P: nx_int = 1100 |
functions
| 15 | func one_axiom(a: nx_int) -> *nx_int |
| 21 | func empty_axioms() -> *nx_int |
| 26 | func demo1_deriv_x3() -> nx_int |
| 40 | func demo2_matmul() -> nx_int |
| 72 | func demo3_dot() -> nx_int |
| 98 | func demo4_induction() -> nx_int |
| 123 | func demo5_sqrt2() -> nx_int |
| 134 | func demo6_k_combinator() -> nx_int |
| 150 | func demo7_chem() -> nx_int |
| 166 | func demo8_dim_analysis() -> nx_int |
| 184 | func demo9_prob() -> nx_int |
| 199 | func demo10_fibonacci() -> nx_int |
| 210 | func print_audit() -> nx_int |
| 243 | func print_registry_summary(r: *PrimRegistry) -> nx_int |
| 260 | func main() -> nx_exit |