Joint title: One Forced Object, Three Rigid Projections: A Machine-Checked Zero-Freedom Dictionary between Arithmetic, Meaning, and Physics, with a Companion Rigidity Theorem for Perfect Codes Joint abstract: Wigner asked why mathematics is unreasonably effective in describing physical reality. We compress this question into a single auditable premise plus a body of machine-checked theorems, using one architectural fact: an object admitting exactly one structure-preserving map to every object of its kind (a "forced" object) is rigid — its only structure-preserving self-map is the identity — and any two forced objects are identified by a unique structure-preserving isomorphism. This paper pair develops that fact and its instances. The companion paper, Forced Equals Perfect, proves the base case in full: fixing a meaning relation on a space of signals, an encoder is a forced object of the category of sound encoders if and only if it is a perfect code (sound, complete, minimal). Consequently any two perfect codes for the same meaning relation are isomorphic by a unique encoder-commuting equivalence, every encoder-commuting self-map of a perfect code is the identity, translation networks between perfect codes are automatically coherent, and forced encoders contain no junk. Incommensurable perfect languages cannot exist. The flagship paper, One Forced Object, Three Rigid Projections, extends this single lemma across three domains at once. Arithmetic, meaning, and physical structure are shown to arise as three projections of one forced recognition object: any realization of the laws of logic forces a Peano algebra, any meaning relation's perfect codes are its forced objects, and a single canonical recognizer yields both the unique convex reciprocal cost J(x) = ½(x + x⁻¹) − 1 and the physical forcing chain (golden-ratio self-similarity, eight-tick cycle, spatial dimension three) as two projections of the same structure. Because forced objects are rigid, the dictionaries between these columns are not merely observed to work — their uniqueness is a theorem, converting the fit between mathematics, meaning, and physics from coincidence into logical necessity, modulo one explicit, falsifiable empirical premise: that physical reality instantiates the recognition structure from which the projections are forced. We engage Newman's and Putnam's classical objections to structural realism directly, showing that both trade on the existence of nontrivial re-identifications, and that rigidity is precisely the theorem that none exist. All results are formalized in Lean 4 over Mathlib and axiom-audited (⊆ {propext, Classical.choice, Quot.sound}, zero sorry); we state throughout, and summarize in claim-grade ledgers in both papers, exactly which components are compiled today and which remain named work in progress.