code wiki / (root) / nx_aimode_read_gate.nx

nx_aimode_read_gate.nx

buildroot/runtime/nx_aimode_read_gate.nx

7716 B115 linesdepth 22pulls 152 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_aimode_read_gate.nx -- proves BR50's parser (nx_aimode_lib) on PLANTED fixtures, and the live read of the operator's AI Mode share behind gv_need (network precondition -> SKIP offline, never RED). Parser teeth run on literals assembled here (no network): the /async/folwr continuation extractor with its & / & / \/ un-escaping, the citation-beacon counter, and the shell/consent/sign-in classifiers. NEG-CONTROL: a planted enable-JS shell must classify as a shell with ZERO citations, i.e. br_share_read would refuse it REFUSED-NO-ANSWER -- it must NOT read as an answer. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_x509_trust_store.nx nx_trust_store_load_from_certdata. nx_aimode_lib.nx nx_atomic_rewrite.nx nx_aimode_read_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_aimode_lib.nxnx_atomic_rewrite.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 ↻ g_slen sys_mmap ↻ am_extract_folwr ms_find am_cat am_slen gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap am_is_shell am_has_ci am_slen ↻ am_is_consent am_has_ci ↻ am_is_signin

structs

none

consts

15const G_CERTCAP: i64 = 4194304
16const G_OUTCAP: i64 = 8388608
17const G_CITECAP: i64 = 262144
18const G_URLCAP: i64 = 16384

functions

20func g_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
22func g_streq(a: *u8, b: *u8) -> i64
29func main() -> i64