The Shape of Logic: Mathematics and Physics from a Single Act of Distinction

This treatise develops a single thesis. From one act, the act of distinction, with no axiom of choice, no law of excluded middle, and no axiom of infinity, one constructs the natural numbers, the integers, and a rational field, each with its arithmetic laws proved and its proof strength audited. The structure that carries the construction is the free object on one generator, and freeness is what makes it forced rather than chosen: it is the initial structure, into which every other realization of one iterated act maps uniquely. The rational field does not, by itself, single out the canonical reciprocal cost; the admissible costs are classified and the obstruction is exhibited exactly. The continuous completion of the rational field is a separate commitment, provably not forced by distinction, by a counting argument. On that completion the recognition laws force exactly the one-parameter gauge family of the canonical cost, and the unit within that family is a gauge: it is fixed by a single calibration datum and provably not determined by the laws themselves. Mathematics is what distinction permits. Physics is what the completion of distinction costs. The two meet at one named boundary, and this treatise marks it precisely. Every claim carries an explicit strength tag, and the one remaining open frontier is named rather than hidden.