The only AI safety API where every guarantee is mathematically proved — not benchmarked, not tested, proved.