code wiki / (root) / nx_edgar_gate.nx

nx_edgar_gate.nx

buildroot/runtime/nx_edgar_gate.nx

5222 B118 linesdepth 8pulls 13 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_edgar_gate.nx -- F986 INDEPENDENT GATE: SEC EDGAR extraction on a REAL banked filing. Reads a banked slice of Apple's actual SEC companyconcept JSON (fetched live over the sovereign TLS) and proves the latest fact + its provenance parse correctly, and that a value-less response fails closed with EDGAR_NOVAL (the same sentinel the F-score reads as INCOMPLETE) -- never a fabricated fact. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_edgar_lib.nx nx_edgar_gate.nx

imports: nx_edgar_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main eg_puts edgar_read sys_read eg_ck eg_puts ↻ eg_putn edgar_latest_value edgar_num_last edgar_mkkey edgar_find_last edgar_entity edgar_str_first edgar_mkkey ↻ edgar_str_at edgar_find_first eg_ckstr eg_puts ↻ edgar_latest_form edgar_str_last edgar_mkkey ↻ edgar_str_at ↻ edgar_find_last ↻ edgar_latest_filed edgar_str_last ↻ edgar_str_first ↻ edgar_num_last ↻ edgar_mkkey ↻ eg_putn ↻

structs

none

consts

none

functions

9func eg_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 3: eg_ckeg_ckstrmain
10func eg_putn(v: i64) -> i64
called by 2: eg_ckmain
24func eg_ck(cnt: *i64, name: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: eg_putseg_putn
35func eg_ckstr(cnt: *i64, name: *u8, got: *u8, want: *u8) -> i64
called by 1: main calls 1: eg_puts
46func main(argc: i64, argv: *i64) -> i64
calls 12: eg_putsedgar_readeg_ckedgar_latest_valueedgar_entityeg_ckstr+6