The Physical Clock as a Quotient

Overview This manuscript is Paper II in the AASC Time Non-Primitivity series. The paper treats the physical clock not as a primitive temporal parameter, preferred variable, gauge slice, subsystem label, external time, or record token, but as a quotient object: the use-relative equivalence class of certified same-scope clock-use behavior for a declared constrained domain and physical use. The first paper in the series, The Arrow of Time as Standing Monotonicity, establishes the directionality side of the program: primitive temporal flow and primitive-arrow sources are exhausted, and standing monotonicity is the invariant survivor. The present paper addresses the complementary clock-carrier problem: once temporal direction and physical time are not primitive, what constitutes a physical clock? Central Result For a fixed constrained clock-use package ((D,U)), the manuscript proves that the physical clock is the canonical final quotient [ Q_{\mathrm{Clk}}(D,U)=\mathrm{Cert}^{U}{D}/\sim^{U}{D}, ] where certified candidates are equivalent exactly when every admitted same-scope clock-use probe agrees in both definedness and value. The capstone result is the Physical-Clock Quotient Finality and Choice-Closure Theorem. It establishes that, relative to the declared package: every admissible same-scope clock-use functional factors through the canonical clock quotient; every clock-candidate pair is classified as theorem-object divergent, eligibility divergent/fail-closed, anchor divergent, quotient-profile divergent, or physically equivalent; every attempted singular clock selection is classified by an ordered governance normal form; no residual same-scope clock identity, relation, selector, representative, parameter, success criterion, or preferred class survives outside the quotient and declared anchor structure. Method AASC is used here as an exhaustion-and-impossibility constraint formalism. The paper does not introduce a new clock dynamics or choose a preferred clock. Instead, it fixes the clock-use target and exhausts the available same-scope routes. Once a constrained clock-use package is declared and remains kernel-faithful, any standing-relevant clock-use difference must enter evaluated classification or coherent retained continuation. There is no third same-scope clock-use locus. The quotient is therefore not a convention imposed after the fact; it is the survivor form after clock-use alternatives, selection routes, representatives, and hidden authority claims have been exhausted. Applications and Classifications The manuscript applies the quotient-and-governance architecture to standard clock constructions and problem-of-time settings, including: relational and complete observables; deparametrized and reduced quantization; material reference systems and dust/scalar clocks; Page–Wootters and temporal-reference-frame constructions; WKB/semiclassical time; modular or thermal time; histories and records approaches; ADM lapse/shift and boundary/asymptotic time; minisuperspace scalar-field clocks; clock-dependent physical claims in quantum cosmology. These applications are not treated as rival primitive-time proposals. They are role-typed as certified clock classes, anchor divergences, quotient-profile divergences, theorem-object changes, fail-closed candidates, or selection-governance cases. Scope and Nonclaims The manuscript does not claim that every constrained domain realizes a clock, that a plural clock quotient contains a preferred class, that scalar time is globally preferred, that Page–Wootters conditioning always succeeds, that WKB time is exact, or that the problem of time is solved by selecting one representative variable. The result is a closure theorem, not a preferred-clock construction. Empty, singleton, and plural clock quotients are all possible closed outputs. In plural regimes, the absence of a preferred clock is not a gap; it is the theorem’s result unless a declared role, prior singleton boundary trace, or scope-enriching theorem object supplies lawful selection authority. Series Role Together with The Arrow of Time as Standing Monotonicity, this paper gives a two-sided AASC treatment of time non-primitivity: Paper I: temporal direction is not primitive; primitive-arrow routes are exhausted and standing monotonicity is the invariant survivor. Paper II: clock choice is not primitive; primitive-clock and selector routes are exhausted and the physical clock quotient is the invariant survivor. The result is not that time disappears. It is that primitive temporal authority is eliminated. Direction and clocking survive as distinct standing-governed structures inside admitted scopes. This paper is downstream of: Non-Degenerate Construction and the Kernel of Admissibility  The Structure of Admissibility Keywords AASC; physical clock; clock quotient; internal time; problem of time; constrained quantum gravity; relational time; Page–Wootters mechanism; semiclassical time; modular time; thermal time; clock choice; multiple-choice problem; quotient finality; selection governance; AMetric boundary; admissibility; standing; exhaustion theorem; constraint formalism; quantum cosmology; records; histories.