The variadic_tuples workload currently validates only acceptance. Add rejection controls on the existing concat result, conditional Head/Tail, captured spread, consumed result, readonly element writes, and out-of-bounds access. Mutate only a temporary copy and require exact diagnostics plus a normal compiler error exit before any warmup/timing.
Initial audit: seven valid/invalid pairs, all three pinned compilers (TS 6.0.3, native TS 7.0.2, Home), 42 checks all pass. This shows the proposed controls are supported and exercise the actual workload values, not surrogate shapes. They should become permanent admission checks under the benchmark tracker #416/#487.
Version the admission schema so fresh results certify these controls and legacy tuple observations remain explicitly provisional. Do not alter frozen timed sources or infer new performance numbers from an untimed audit.