AIKernel: Formal Foundations for Trajectory Governance and the AIKernel.NET Runtime | Synapse