code wiki / _hdl_build / nx_xlsx_formula_gate.nx

nx_xlsx_formula_gate.nx

buildroot/runtime/_hdl_build/nx_xlsx_formula_gate.nx

8545 B159 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic xlsx

docs dependencies structs consts functions

about

nx_xlsx_formula_gate.nx -- gate for SPREADSHEET FORMULAS (office census OF-S3, "THE core spreadsheet feature"). fromtsv turns '='-cells into real SpreadsheetML <f> cells with a computed cached <v> (Q4 fixed-point): SUM/AVERAGE/MIN/MAX/COUNT, + - * / ( ) unary-, refs, ranges, formula->formula chains. Rows: 1 write+raw <f>/<v> pins 2 read shows computed values 3 dispatcher html shows totals 4 NEG cycle LOUD 5 NEG div-0 LOUD 6 NEG bad-ref LOUD 7 determinism Q4 pins: SUM=1030.25 · *0.1=103.025 · chain=1133.275 · AVERAGE floors to 343.4166 · COUNT=3 · (MAX-MIN)/2=140.125. 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

10	func fg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8) { n=n+1 } return n } called by 3: fg_p fg_write fg_has
11	func fg_p(s: *u8) -> i64 { sys_write(1, s, fg_slen(s)); return 0 } called by 2: fg_row main calls 2: sys_write fg_slen
12	func fg_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
13	func fg_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
19	func fg_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write fg_slen sys_close
23	func fg_readall(path: u8, szout: i64) -> *u8 called by 2: fg_has fg_fileeq calls 4: sys_openat_rd sys_mmap sys_read sys_close
29	func fg_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
44	func fg_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap fg_readall fg_slen
51	func fg_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap fg_readall
62	func fg_args4(a1: u8, a2: u8, a3: u8, a4: u8) -> *i64 called by 1: main calls 1: sys_mmap
65	func fg_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: fg_p
69	func main(argc: i64, argv: *i64) -> i64 calls 15: fg_p sys_openat_rd sys_close fg_runv fg_args4 fg_write+9