SATX is a declarative framework for modeling, analysis, and synthesis using exact SAT and model counting (#SAT) under a unified semantic discipline. SATX treats satisfiability and model counting as coordinated operators, enabling existence checking, constructive synthesis, and structural analysis of solution spaces and theories.

What Do Precision Tests of General Relativity Actually Measure? A methodological taxonomy showing why most precision tests constrain largely local, reciprocity-even observables within assumed frameworks. Proposes discriminating experiments. TEP Paper 10.