nx_sched_qbv_test.nx

nx_sched_qbv_test.nx -- 1:1 KAT for the TSN-Qbv bounded scheduler (nx_sched_qbv.nx). Proves: gate timing, the guard band (best-effort refused if it would cross the critical slice), and the two load-bearing guarantees -- (1) the swept worst-case critical wait EQUALS the analytic bound (cycle - slice), and (2) any best-effort frame allowed to start NEVER overlaps the critical slice (the slice is protected). expect_exit: 0 license_tier: ORIGINAL