docs(skills): the invariant tool freezes a violating row, it does not brick it — and name the "required when X" trap

docs(skills): the invariant tool freezes a violating row, it does not brick it — and name the "required when X" trap #4621