compositional-verification

Introduces SciTrace, a framework that integrates safety reasoning into every stage of scientific agent pipelines using a Safety-Intrinsic Reasoning Loop and a Compositional Tool-Chain Verifier, achieving state-of-the-art safety while preserving output quality.