code wiki / _hdl_build / nx_pptx_gate.nx

nx_pptx_gate.nx

buildroot/runtime/_hdl_build/nx_pptx_gate.nx

8331 B159 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_pptx_gate.nx -- gate for PRESENTATIONS (office census OF-P1 author + OF-P2 render; the census's biggest ABSENT category: "a suite without slides is not a full office suite"). Proves: spec -> valid OPC .pptx with real PresentationML slide parts; per-slide read round-trip in ORDER; 0-JS deck preview via the organ AND the nx_doc_view registry; XML-escape round-trip; loud-fail negatives. Rows: 1 write+OPC-structure 2 read-roundtrip-ordered 3 escape-roundtrip 4 html-deck 5 registry-dispatch 6 outputs-0js 7 loud-fail-missing[neg]. license_tier: ORIGINAL

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

none

functions

9	func pg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8) { n=n+1 } return n } called by 3: pg_p pg_write pg_find
10	func pg_p(s: *u8) -> i64 { sys_write(1, s, pg_slen(s)); return 0 } called by 2: pg_row main calls 2: sys_write pg_slen
11	func pg_cat(dst: u8, off: i64, s: u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8) { dst[off+i]=s[i]; i=i+1 } return off+i } called by 1: main
12	func pg_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
18	func pg_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write pg_slen sys_close
22	func pg_readall(path: u8, szout: i64) -> *u8 called by 2: pg_has main calls 4: sys_openat_rd sys_mmap sys_read sys_close
28	func pg_runv(elf: u8, args: i64, outpath: *u8) -> i64 called by 1: main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
43	func pg_find(b: u8, sz: i64, needle: u8) -> i64 called by 2: pg_has main calls 1: pg_slen
49	func pg_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap pg_readall pg_find
55	func pg_args4(a1: u8, a2: u8, a3: u8, a4: u8) -> *i64 called by 1: main calls 1: sys_mmap
58	func pg_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: pg_p
62	func main(argc: i64, argv: *i64) -> i64 calls 16: pg_p sys_openat_rd sys_close pg_runv pg_args4 pg_write+10