nx_mathml_gate.nx
buildroot/runtime/nx_mathml_gate.nx
about
nx_mathml_gate.nx -- IS THE SOVEREIGN LATEX->MATHML TYPESETTER CORRECT, AND CAN IT REFUSE?
The teeth are structural facts about the emitted markup, not stored golden strings: a golden string
records that its author agreed with the code on the day they wrote it, whereas "a superscript produces
an msup element" is true of any correct implementation and false of any wrong one.
THE REFUSALS ARE THE LOAD-BEARING HALF. A typesetter that silently drops what it cannot read produces a
formula that is wrong in a way the reader cannot see -- worse than no formula at all -- so an unknown
command, an unbalanced brace and a short buffer each have their own negative control, and each asserts
WHICH rule fired rather than merely that something was refused.
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: syscalls.nxnx_mathml_lib.nxnx_gate_verdict.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
| 17 | const MG_CAP: i64 = 65536 |
functions
| 19 | func mg_slen(s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { i = i + 1 } return i } |
| 21 | func mg_has(buf: *u8, n: i64, pat: *u8) -> i64 |
| 36 | func mg_conv(latex: *u8, out: *u8, cap: i64, bo: *i64, bl: *i64) -> i64 |
| 40 | func main() -> i64 |