nx_manga_page_gate.nx
buildroot/runtime/nx_manga_page_gate.nx
about
nx_manga_page_gate.nx -- REFEREE for R1 (nx_manga_page), the keystone rung, gated last and owed since
it shipped. END-TO-END: paints its own four distinguishable input panels, forks the PROMOTED elf twice
(once right-to-left, once left-to-right) and decodes both pages back through our own decoder.
It proves the DONE-RULE pre-declared on /compare/mangagen before the organ existed:
"page-spec rows (layouts as DATA) + compositor: geometry gate bite-proven (exact rects, uniform
gutters, RTL/LTR read order) + every input placed exactly once (partition printed)."
THE ANTI-VACUITY TEETH ARE T5 AND T6: a compositor that ignored read order entirely would still place
four images and still make the partition sum. Only sampling WHICH colour landed in WHICH panel, and
requiring the two orders to DISAGREE, can tell a real RTL implementation from a decorative flag.
license_tier: ORIGINAL expect_exit: 0
dependencies 6 imports · 0 importers
imports: nx_str.nxnx_syscalls.nxnx_tool_run.nxnx_img_to_rgb.nxnx_png_write.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 MPG_CAP: i64 = 65536 |
| 18 | const MPG_SW: i64 = 64 |
| 19 | const MPG_PAGEW: i64 = 1400 |
| 20 | const MPG_PAGEH: i64 = 2000 |
functions
| 21 | func mpg_solid(path: *u8, r: i64, g: i64, b: i64) -> i64 |
| 34 | func mpg_exists(p: *u8) -> i64 |
| 40 | func mpg_count(buf: *u8, n: i64, needle: *u8) -> i64 |
| 54 | func mpg_which(rgb: *u8, w: i64, h: i64, x: i64, y: i64) -> i64 called by 1: main |
| 69 | func main(argc: i64, argv: *i64) -> i64 |