Files
zeekay a58bac669e xvm: lift coverage to 97.48% line / 92.46% branch (≥96% gate)
- Delete unused is_zero32 dead helper (4 lines).
- Add test_tx_arena_full_rejects exercising the kRejectArenaFull path
  in kernel_input_check_and_apply when state.utxos is saturated. This
  is real production semantics, not a vanity test — the rejection
  branch is the security boundary that prevents silent UTXO loss when
  the arena is pre-saturated by a malformed prior round.
- Update COVERAGE.md headline + uncovered residue summary.

Tests: 44/44 layout + 7 determinism + 6 Metal smoke = 57 passing.
LLVM source-based coverage on xvm_cpu_reference.cpp:
  Lines 97.48%, Branches 92.46%, Functions 100.00%.
2026-04-27 01:14:33 -07:00
..