code wiki / (root) / nx_fec_xor_test.nx

nx_fec_xor_test.nx

buildroot/runtime/nx_fec_xor_test.nx

3668 B90 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic fec
docsdependenciesstructsconstsfunctions

about

nx_fec_xor_test.nx -- 1:1 KAT for sovereign XOR FEC (nx_fec_xor.nx). Encode a known LxD grid, then prove: row parity recovers random loss, 2-D peeling recovers a burst row-only can't, an over-budget loss is HONESTLY unrecoverable (reported, never corrupted), and redundancy is sized adaptively from the loss estimate. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_fec_xor.nx nx_fec_xor_test.nx

imports: nx_fec_xor.nx

imported by: nobody (leaf or entry point)

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

main fec_encode_rows fec_pkt fec_zero fec_xor_into fec_encode_cols fec_pkt ↻ fec_zero ↻ fec_xor_into ↻ fec_reset fec_drop fec_zero ↻ fec_pkt ↻ fec_decode_2d fec_pkt ↻ fec_zero ↻ fec_xor_into ↻ fec_cmp fec_scheme_for_loss fec_overhead_pct

structs

none

consts

12const KL: i64 = 4 // columns
13const KD: i64 = 3 // rows
14const KS: i64 = 4 // bytes/packet

functions

17func main() -> i64
calls 8: fec_encode_rowsfec_encode_colsfec_resetfec_dropfec_decode_2dfec_cmp+2
74func fec_reset(golden: *u8, src: *u8, present: *i64, K: i64, S: i64) -> i64
called by 1: main
81func fec_drop(src: *u8, present: *i64, idx: i64, S: i64) -> i64
called by 1: main calls 2: fec_zerofec_pkt
86func fec_cmp(a: *u8, b: *u8, n: i64) -> i64
called by 1: main