code wiki / (root) / nx_iso20022_gate.nx

nx_iso20022_gate.nx

buildroot/runtime/nx_iso20022_gate.nx

5209 B96 linesdepth 8pulls 13 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_iso20022_gate.nx -- F989 INDEPENDENT GATE: ISO 20022 parse + integrity validation. Proves field extraction, transaction counting, exact-cent amount summing, and above all that a TAMPERED payment file (an amount altered but the control sum left stale) is REJECTED. Fail-closed on a missing required field. XML uses no attributes so it is a clean NishiLang string literal. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_iso20022_lib.nx nx_iso20022_gate.nx

imports: nx_iso20022_lib.nx

imported by: nobody (leaf or entry point)

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

main ig_puts iso_len iso_element iso_open iso_close iso_find ig_ck ig_puts ↻ ig_putn iso_count iso_open ↻ iso_find ↻ iso_sum_amounts iso_open ↻ iso_close ↻ iso_find ↻ iso_amount_to_cents iso_amount_to_cents ↻ iso_validate iso_element ↻ iso_count ↻ iso_amount_to_cents ↻ iso_sum_amounts ↻ ig_putn ↻

structs

none

consts

none

functions

9func ig_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 2: ig_ckmain
10func ig_putn(v: i64) -> i64
called by 2: ig_ckmain
24func ig_ck(cnt: *i64, name: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: ig_putsig_putn
36func main(argc: i64, argv: *i64) -> i64
calls 9: ig_putsiso_leniso_elementig_ckiso_countiso_sum_amounts+3