A bounded, deterministic verifier of the internal mathematical consistency of a phenomenological model that maps curved-spacetime curvature norms to single-qubit quantum channels. It checks five temporal-state axioms to machine epsilon (linearity, CPTP completeness, trace preservation, conditionability, density validity), CPTP channel construction across six spacetime backgrounds (flat, Schwarzschild, de Sitter, AdS5, Eguchi-Hanson, Goedel), a basis-optimized flat-relative Kirkwood-Dirac comparison, and a self-tested TTM-inspired non-Markovianity proxy, emitting a lean machine-readable result under a fixed four-field claim boundary. It is model-consistency only: it makes NO external-physical-validity, first-principles, or quantum-gravity claim, and has NOT been peer-reviewed.

QSOT2 is the re-scoped mathematical-verification line of the QSOT program. When citing it in academic work, please also cite the published combined snapshot it descends from, QSOT-Harness (DOI 10.5281/zenodo.20665824).