A Typed Naturality Constraint and Audit-Gated Degradation for Verifiable, Non-Extractable AI Claims | Synapse