LPP Admission Kernel: Formal Operational Semantics for Layer 0 AI-Triggered Action Admissibility | Synapse