mirror of
https://github.com/luxfi/xvm.git
synced 2026-10-30 15:12:22 +00:00
- 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%.