Toilal / rebulk / 28368935437

98%

master: 97%

push

github

feat(key): opt-in debug check that match values match declared Key.value_type

A declared Key.value_type states the output type, but the actual conversion is
the per-pattern formatter (which declare_keys lets a pattern override), and
nothing verified the two agree — a mismatch silently turned the declared type
into a lie.

Add an opt-in contract check (off by default, zero cost in production): when
debug.CHECK_DECLARED_KEYS is enabled (env REBULK_CHECK_DECLARED_KEYS=1),
Rebulk.matches asserts every named match value is an instance of the same-named
declared key's value_type, raising TypeError on a mismatch via the new
Matches.check_declared_keys(). Escape hatches keep it false-positive free: None
values, value=-mapped literals (never converted), and per-match (children)
validation.

The whole suite is runnable with the check on; a dedicated CI job runs it
across both regex backends so each declared value_type becomes an enforced
contract. Documented in README and CLAUDE.md.

Closes #68

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01J4Ryxr6Fc7sCERn6WChpqv

15 of 15 new or added lines in 3 files covered. (100.0%)

1876 of 1912 relevant lines covered (98.12%)

13.72 hits per line