code wiki / (root) / nx_arousal_gate.nx

nx_arousal_gate.nx

buildroot/runtime/nx_arousal_gate.nx

13396 B195 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic arousal

docs dependencies structs consts functions

about

nx_arousal_gate.nx -- liar-killed GATE for the arousal-state engine. Forks the REAL built elf and proves the physiology CONFORMS to the published human envelopes, and -- the part that matters -- proves the gate can FAIL: every tooth has a negative control that a naive/wrong model would trip. A gate that cannot refuse is not a measurement. CONFORMANCE ANCHORS (each traceable to a citation in nx_arousal.nx's header): T1/T2 Kukkonen 2007: genital temp at time-to-peak ~33.89C (model 33.846 / 33.842) T3/T4 Chivers 2010: subjective-genital agreement r=.66 M vs .26 W -> subj MUST diverge on identical input T5 Masters&Johnson: systolic peaks at PLATEAU ONSET, not orgasm -> bp(700) == bp(1000) T6/T7 Bohlen 1982: intercontraction interval +0.1s per contraction; amplitude rises then falls T8 Bohlen 1982: 2 of 11 women reported orgasm with NO regular contraction train T9/T10 Loken 2009: C-tactile tuned to LOG velocity, peak 3 cm/s -> ct(1) == ct(10) by symmetry usage: nx_arousal_gate [elf] Exit 0 on 16/16. 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

17	const G_OUTCAP: i64 = 16384
20	const G_MIN_TEETH: i64 = 18

functions

22	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 } called by 2: g_bool main calls 1: sys_write
23	func g_putn(v: i64) -> i64 called by 2: g_bool main calls 3: sys_write sys_mmap sys_munmap
34	func g_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 2: g_write g_has
35	func g_bool(name: u8, got: i64, want: i64, passp: i64) -> i64 called by 1: main calls 2: g_puts g_putn
41	func g_write(path: u8, s: u8) -> i64 { let fd: i64 = sys_openat_wr(path, 420); if fd < 0 { return 0 - 1 } sys_write(fd, s, g_slen(s)); sys_close(fd); return 0 } calls 4: sys_openat_wr sys_write g_slen sys_close
42	func g_has(hay: u8, hn: i64, needle: u8) -> i64 called by 1: main calls 1: g_slen
49	func g_run(elf: u8, a1: u8, a2: u8, a3: u8, a4: u8, a5: u8, a6: u8, a7: u8, out: *u8, cap: i64) -> i64 called by 1: main calls 9: sys_mmap sys_pipe2 sys_fork sys_dup3 sys_close sys_execve+3
83	func main(argc: i64, argv: *i64) -> i64 calls 7: sys_mmap sys_read_file g_bool g_has g_run g_puts+1