code wiki / _hdl_build / nx_docx_rich_gate.nx

nx_docx_rich_gate.nx

buildroot/runtime/_hdl_build/nx_docx_rich_gate.nx

8781 B236 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic docx

docs dependencies structs consts functions

about

nx_docx_rich_gate.nx -- gate for RICH .docx (formatting runs + tables), the office-census gap-closer for OF-W3 (formatting) + OF-W4 (tables). The OPC writer uses STORED (uncompressed) ZIP, so the raw .docx bytes contain word/document.xml VERBATIM -- the gate greps them to prove the markup is really EMITTED (not just that a symbol name appears in source), and reads the text back through the real docx reader (which unzips + parses -> proves the OPC package is structurally valid). spec fixture: H heading / B bold / I italic / P plain / a 3x3 bordered TABLE / trailing plain. Rows: 1 rich-write 2 text-roundtrip(heading+plain+table-cell+trailing) 3 formatting-emitted(w:rPr+w:b+w:sz) 4 table-emitted(w:tbl+w:tblPr+w:tr+w:tc) 5 italic-emitted 6 determinism 7 loud-fail-missing-spec[neg] Evidence: DOCX-RICH-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 7/7. 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

14	func rg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: rg_p rg_write rg_has
15	func rg_p(s: *u8) -> i64 { sys_write(1, s, rg_slen(s)); return 0 } called by 2: rg_row main calls 2: sys_write rg_slen
17	func rg_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
23	func rg_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
36	func rg_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write rg_slen sys_close
44	func rg_readall(path: u8, szout: i64) -> *u8 called by 2: rg_has rg_fileeq calls 5: sys_openat_rd sys_lseek sys_mmap sys_read sys_close
61	func rg_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
91	func rg_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap rg_readall rg_slen
110	func rg_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap rg_readall
125	func rg_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: rg_p
132	func rg_args(a1: u8, a2: u8, a3: u8, a4: u8) -> *i64 called by 1: main calls 1: sys_mmap
142	func main(argc: i64, argv: *i64) -> i64 calls 15: rg_p sys_openat_rd sys_close rg_runv rg_args rg_write+9