Derives mandatory evaluation cases from an immutable Definition diff.
Morph-owned cases are not trusted merely because they appear in a ChangeSet. This module reconstructs the required cases from the published parent and candidate Skill mounts and requires byte-for-byte equivalent canonical cases during composition, activation, and recovery.