code wiki / _hdl_build / nx_xlsx_formula_gate.nx

nx_xlsx_formula_gate.nx

buildroot/runtime/_hdl_build/nx_xlsx_formula_gate.nx

9097 B167 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic xlsx
docsdependenciesstructsconstsfunctions

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 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_xlsx_formula_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

11func fg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8) { n=n+1 } return n }
12func fg_p(s: *u8) -> i64 { sys_write(1, s, fg_slen(s)); return 0 }
13func 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 }
14func fg_catn(dst: *u8, off: i64, v: i64) -> i64
20func fg_write(path: *u8, content: *u8) -> i64
24func fg_readall(path: *u8, szout: *i64) -> *u8
30func fg_runv(elf: *u8, args: *i64, outpath: *u8) -> i64
45func fg_has(path: *u8, needle: *u8) -> i64
52func fg_fileeq(p1: *u8, p2: *u8) -> i64
63func fg_args4(a1: *u8, a2: *u8, a3: *u8, a4: *u8) -> *i64
66func fg_row(name: *u8, pass: i64) -> i64
70func main(argc: i64, argv: *i64) -> i64