Preserved Distinction

Kind: invariant

Record: reasoning:invariant-epi-preserved-distinction

Canonical: Reasoning

A lowering keeps every distinction a later check needs

Listed in Reasoning records, after Checked Verdict and before Fresh Read.

Grounded by

• preserves_clause
• CONVERT
• PRESERVES

Linked from

• Failure shapes
• action
• node
• planning