Recursive Admissibility and System Correctness: A Structural Proof Linking Tier 3 PAT to Tier 5 Recursion in the Paton System | Synapse