This is the first public release of Hupyy Temporal -- a proof-producing temporal reasoning engine built with SMT-LIB and verified constraint solving.
✅ Outputs: TRUE / FALSE / UNKNOWN
✅ Generates machine-checkable UNSAT/SAT proofs
✅ Reproducible artifacts with SHA-256
✅ Complete 60-second benchmark audit via Streamlit demo
Refactored into a standalone Python package hupyy_temporal.
Includes canonical proofs, test suite, and evaluation baselines.