AICOS: Mathematical Foundations of Decision Safety Infrastructure for Reliable Artificial Intelligence Systems | Synapse