code wiki / (root) / nx_gpe_marschner_gate.nx

nx_gpe_marschner_gate.nx

buildroot/runtime/nx_gpe_marschner_gate.nx

6376 B101 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_gpe_marschner_gate.nx -- referee for hr_marschner_lobe (graphics.matrix watch contract, 2026-08-30): the NPC hair fragment path must carry the Karis-2016 closed-form Marschner R/TT/TRT lobes with melanin-derived absorption, in BOTH the emitter SOURCE (buildroot/runtime/nx_game_page_emit.nx) and the SERVED beach page (sites/nishifamily/world/beach.html). Teeth are arithmetic + byte-binding: the pheomelanin discriminator (a red-genome lock absorbs less red per melanin unit than a dark-genome lock, so its TT forward-transmission lobe is strictly brighter backlit) is proven in integer milli-units over the SAME H8 palette rows the page ships, and binding teeth pin those constants to the subject bytes so the gate's arithmetic and the shader cannot drift apart silently. DECLARED IMPRECISION, so the next reader does not trust this as exact: the discriminator and angular teeth are FORMULA-level, never pixel-level -- a rendered-pixel A/B needs a browser rig this gate does not have; what IS provable here is the formula over the shipped constants plus the byte binding of every constant to both subjects. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_gpe_marschner_gate.nx

imports: nx_syscalls.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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close gv_subjects gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap ↻ gv_need gv_puts ↻ gv_check gv_puts ↻ gmg_has gmg_find

structs

none

consts

18const GMG_SRC: *u8 = "buildroot/runtime/nx_game_page_emit.nx"
19const GMG_PAGE: *u8 = "sites/nishifamily/world/beach.html"

functions

21func gmg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: gmg_find
23func gmg_find(b: *u8, n: i64, pat: *u8) -> i64
called by 2: gmg_hasgmg_absent calls 1: gmg_slen
37func gmg_has(b: *u8, n: i64, pat: *u8) -> i64 { if gmg_find(b, n, pat) >= 0 { return 1 } return 0 }
called by 1: main calls 1: gmg_find
38func gmg_absent(b: *u8, n: i64, pat: *u8) -> i64 { if gmg_find(b, n, pat) >= 0 { return 0 } return 1 }
called by 1: main calls 1: gmg_find
40func main() -> i64