tpt-norma

Pure-Rust, formally verified engine that mathematically bounds AI agent actions against resource, temporal, and safety policies. Conservative denial with zero false allows (QF_LRA ideal layer + sound f64 realization). Dual-licensed MIT OR Apache-2.0.