nx_arousal_mesh_gate.nx
buildroot/runtime/nx_arousal_mesh_gate.nx
about
nx_arousal_mesh_gate.nx -- liar-killed GATE for arousal on a polygon mesh.
TWO INDEPENDENT LAYERS, deliberately:
vr/vg = mean VERTEX colour -> proves the physiology was COMPUTED
fr/fg = mean RENDERED pixel -> proves it was actually DRAWN
These are different claims. The rasterizer discards per-vertex colour entirely at smooth<2 and
shades from the flat per-triangle colour instead -- silently, with no error. Under that bug the
vertex means stay perfectly correct while every frame renders identical. Only the framebuffer
teeth convict it, which is the same shape as an event marker not proving the event.
Tooth total is DERIVED; G_MIN_TEETH is a floor so a deleted tooth trips RED.
usage: nx_arousal_mesh_gate [elf] exit 0 on all-pass.
license_tier: ORIGINAL expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_syscalls.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
| 16 | const G_OUTCAP: i64 = 16384 |
| 17 | const G_MIN_TEETH: i64 = 16 |
functions
| 19 | func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 20 | func g_putn(v: i64) -> i64 |
| 31 | func g_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: g_has |
| 32 | func g_bool(name: *u8, got: i64, want: i64, passp: *i64) -> i64 |
| 38 | func g_has(hay: *u8, hn: i64, needle: *u8) -> i64 |
| 45 | func g_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, out: *u8, cap: i64) -> i64 |
| 82 | func g_exists(pth: *u8) -> i64 |
| 88 | func g_pick(promoted: *u8, devpath: *u8) -> *u8 |
| 92 | func main(argc: i64, argv: *i64) -> i64 |