Toilal / rebulk / 28369428463

98%

master: 97%

push

github

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

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


Claude-Session: https://claude.ai/code/session_01J4Ryxr6Fc7sCERn6WChpqv

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

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

1881 of 1915 relevant lines covered (98.22%)

13.73 hits per line