Skip to content

TEST 053

sergio velderrain edited this page Nov 9, 2026 · 1 revision

TEST-053

Stimulus

Correct rule, exact legacy fingerprints, mismatched legacy name/shape, and unmanaged broad rule

Required observation

Only recognized legacy rules are narrowed; ambiguity or unprovable restriction fails without unrelated mutation.

Clone this wiki locally