PASS case_alphabet_matches_spec
PASS case_positional_encoding_is_base32
PASS case_decode_aliases_and_hyphens
PASS case_encode_rejects_bad_values
PASS case_decode_rejects_invalid_symbols
PASS case_roundtrip_exhaustive_small
PASS case_roundtrip_boundaries_and_random
PASS case_min_length_and_hyphenation
PASS case_check_symbol_values
PASS case_checked_roundtrip_and_rejection
PASS case_check_symbol_mismatch_detected
PASS case_all_single_symbol_substitutions_detected
PASS case_all_adjacent_transpositions_detected
PASS case_leading_zero_blind_spot_is_real
PASS case_deletion_and_insertion_detection_measured
PASS case_cli_end_to_end

MEASURED round-trip values checked: 105806 (exhaustive 0..100000 + 5805 boundary/random)
MEASURED single-symbol substitutions: 9808/9808 detected (9706/9706 with a valid payload symbol)
MEASURED adjacent transpositions of distinct symbols: 27/27 detected
MEASURED blind spot confirmed: leading-'0' deletion/insertion preserves value mod 37 and is undetected
MEASURED single-symbol deletions: 816/837 detected (97.5%)
MEASURED single-symbol insertions: 2568/2691 detected (95.4%)
MEASURED CLI exercised: encode/decode/encode-checked/verify(ok,bad)/roundtrip all behaved

TESTS 16/16 passed, 0 failed
ALL INVARIANTS HOLD
