Add a condition or rule

Status: Draft stub.

Evaluate an extension constraint and emit a finding with a precise scope and explanation.

To complete: verify condition and rule registration, evaluation phases, severity behavior, and tests for passing, failing, and not-checked cases.