Clock-rate modulation also needs its actual phase spectrum. If , then up to a constant. The real quadrature observable encoded by has sharp sidebands with powers . Its nonzero instantaneous rate variance equals the second moment of the complete line comb, not the intrinsic width of an individual line. Sideband power depends on , not merely the fractional rate RMS. A finite observation adds window broadening, and a physical detector requires its own coupling map. Precision of a fitted mass value is not automatically an intrinsic-width bound. Deterministic modulation can still fail a specified coherence or sideband test; such a failure must be calculated rather than inferred from the rate RMS alone.
For an explicitly added Gaussian effective rate noise with covariance , direct integration gives
The fast-correlation regime has approximate Lorentzian FWHM . The slow regime has Gaussian ensemble broadening; a short individual record can instead show an almost constant frequency offset. Neither regime turns particle survival directly into a phase-coherence bound without an additional physical bridge. This conditional noise comparison is not a probability law for electron position.
The strong flat balanced target remains a sufficient route to constant local
participating energy and one coherent carrier. Deterministic nonflat controls
must be judged by their complete same-field energy, integrated phase and
observable sidebands. Independent mathematical audits are preserved in
thermal-band-dynamics-audit and clock-linewidth-audit under the current
run; they retain the useful numerical comparison while narrowing its
necessity and exclusion claims.
A Uniform Clock And Its Ambient Boundary
The strict constant-density local-clock branch has a simple global compatibility condition. Let be continuous and integrable on ordinary connected . If one nonzero frequency satisfies at every point where , then takes only the values zero and one positive constant. Continuity on connected space forces a constant function; integrability excludes the positive choice. Thus the only such full ambient density is zero. This statement concerns the simultaneous strict assumptions, not every possible local clock.
An exactly clocked core with a differently governed boundary is a distinct admissible branch. If its volume is , complete energy accounting gives
Here includes every exterior and support contribution not already in the core density. Setting and then adding positive boundary energy does not preserve . A common derived correction may instead enter the action budget explicitly. Intrinsic surface density, a smooth ambient thickness completion and background-subtracted energy are also different quantities requiring their own action and measure. A homogeneous surface is not the only possible local-clock repair: the canonical current branch derives with a uniform actual and variable local action density . It changes the constant- premise.
A nonuniform exterior does not automatically destroy the weighted signal within one cycle. For a normalized nonnegative classical signal weight , let an exactly clocked core carry fraction and define . Triangle inequality gives for all times. With relative core rate error at most , the mean squared quadrature mismatch obeys
This is a phase diagnostic with a declared weight, not a position probability law, linewidth or lifetime. A detector may weight the boundary quite differently from its share of total energy.
Thin transition regions need complete gradient accounting. For a radial amplitude falling from at radius to zero at , suppose the energy contains and other transition terms are nonnegative. Cauchy--Schwarz gives
The ratio grows as for a thin layer. For full ambient
localization use at every active depth. At and
, the exterior energy fraction is at least 0.50112 under
these assumptions. The bound does not apply to the amplitude-gradient
degeneracy of the selected current action or automatically to its
zero-energy support squares. Their complete laws need separate estimates.
The exact theorem, four repair branches and 268 bounded checks are preserved
in uniform-clock-boundary/report.md under the current research run.