nx_notebook_demo.nx
buildroot/runtime/nx_notebook_demo.nx
about
nx_notebook_demo.nx -- substrate-side notebook cell evaluator demo.
Per user 2026-05-14: the notebook at nishifamily.com/math should
let users test the algorithms with Unicode math symbols, no LaTeX.
This is the foundation -- a small program that demonstrates:
(1) A "cell" reading a small expression in NishiLang syntax (here
hardcoded; future: pulled from web request)
(2) Dispatching to a registered algorithm by name (here: by direct
function call; future: looked up in nx_theorem_registry)
(3) Rendering results with Unicode math symbols (no LaTeX)
(4) Including provenance + verdict (every result traces back to
triangulated correctness)
dependencies 6 imports · 0 importers
imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_unicode_math.nxnx_classical_unpatented.nxnx_classical_unpatented_2.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 27 | const K_MAGIC_1000000007: i64 = 1000000007 |
functions
| 29 | func nx_render_header(title: *u8) |
| 35 | func nx_render_cell_input(input: *u8) |
| 39 | func nx_render_cell_output_int(value: nx_int) |
| 43 | func nx_render_provenance(algo: *u8, l5: *u8) |
| 47 | func main() -> nx_exit |