Sharp entropy continuity and stability under trace and operator constraints

Unrefereed, AI-assisted mathematical candidate. Builds on established entropy inequalities to characterize equality, evaluate a two-cap modulus, and prove a global paired square-root stability estimate. The coefficient depends on positive trace distance and is not claimed optimal. Written proofs are supplemented by finite producer checks, not formal verification or external peer review. Bounded source comparison is not an absolute priority guarantee.