code wiki / _hdl_build / nx_consent_gate.nx

nx_consent_gate.nx

buildroot/runtime/_hdl_build/nx_consent_gate.nx

3957 B54 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic consent
docsdependenciesstructsconstsfunctions

about

nx_consent_gate.nx -- CONSENT enforced by construction, incl. the EXPLICIT/VR-SEXUAL "all legal" gate. Proves the tier/scope matrix AND that interactive explicit play needs (1) a VERIFIED ADULT (absolute -- synthetic or real) and (2) an EXPLICIT license with the VR-interactive scope. Minor / artistic-only / no-interactive-scope / expired are all REFUSED, fail-closed. expect_exit:0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_consent.nx nx_consent_gate.nx

imports: nx_syscalls.nxnx_consent.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main hw sys_write sys_mmap consent_init chk hw ↻ yn hw ↻ consent_allows consent_reason interaction_explicit_allow consent_allows ↻ sys_exit

structs

none

consts

none

functions

8func hw(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 3: ynchkmain calls 1: sys_write
9func yn(v: i64) -> i64 { if v==1 { hw("ALLOW" as *u8) } else { hw("REFUSE" as *u8) } return 0 }
called by 1: chk calls 1: hw
10func chk(label: *u8, got: i64, want: i64, fp: *i64) -> i64
called by 1: main calls 2: hwyn
16func main() -> i64
calls 7: hwsys_mmapconsent_initchkconsent_allowsinteraction_explicit_allowed+1