code wiki / (root) / nx_fec_stripe_test.nx

nx_fec_stripe_test.nx

buildroot/runtime/nx_fec_stripe_test.nx

4035 B95 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic fec
docsdependenciesstructsconstsfunctions

about

nx_fec_stripe_test.nx -- 1:1 KAT for FEC-complementary striping (nx_fec_stripe.nx). Proves the exceed over plain striping: a source packet lost on its path with NO duplicate is reconstructed by repair parity on the complementary path -- i.e. CORRELATED loss recovered. EXHAUSTIVE: sweeps EVERY single-source-loss position (row FEC must recover any 1-per-row loss). Plus a both-paths-lossy case, the honest over-budget case, and the bandwidth-vs-duplication point. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_fec_stripe.nx nx_fec_stripe_test.nx

imports: nx_fec_stripe.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_zero ↻ fec_pkt ↻ fec_stripe_path_of fec_stripe_recover fec_decode_2d fec_pkt ↻ fec_zero ↻ fec_xor_into ↻ fec_stripe_overhead_pct fec_overhead_pct

structs

none

consts

14const SL: i64 = 4 // columns
15const SD: i64 = 3 // rows
16const SS: i64 = 4 // bytes/pkt (K = 12 source)

functions

18func main() -> i64
calls 7: fec_encode_rowsfec_encode_colsfec_zerofec_pktfec_stripe_path_offec_stripe_recover+1