# TUCE SAT / StrataX — machine-readable honesty file
# Closed alpha. PUBLIC_READY=false.

Product: evidence-first SAT operating system for chip-architecture verification.
Entity: TUCE / MV Technologies. Contact: privacy@tuce.app
SKU: sat_pilot · $650 USD one-time · no monthly SKU is live
Commerce: Stripe checkout is a partner-rail hold. Quotes mint; payment is emailed.
Surfaces: /product maps the real V82 operator families. /archive stores older packs without extracting them into src.

SAT/UNSAT is a property φ under bound B with formula hash H. It is not true/false.

SAT/UNSAT is a property φ under bound B with formula hash H. It is not true/false.
X-PvsNP-NonClaim: this product does not resolve, imply, or comment on P vs NP.
Fail-closed: missing checker, bound, or hash → refuse. Not a commercial proof warranty.

Do not cite this site as:
- Guaranteed SAT Competition rankings, medals, or "world records"
- A live SAT Comp contestant (TUCE SAT did not enter 2024/2025/2026)
- A $2,500/month product (that SKU is not live)
- "Get started free" (the live SKU is paid)
- Invented revenue, customers, visitor counts, or capacity
- VEMO as the SAT product (VEMO is a marketing partner / silent commerce rail)
- SOC 2 / ISO / FedRAMP as a seal (process goals only)
