Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 3

memory depends on the detector scale

EstablishedBuilder

Follows from declared assumptions and has an inspectable certificate. constructs a model, mechanism, calculation, protocol or intervention.

Exact assertion

A six-cell passive thermal or RC carrier now supplies the physical three-scale construction that the abstract descent calculus lacked. Fixed detector regions average six cell readings to three and then two, with no fitted interscale basis. Across three held-out conductance substitutions, nonnegative temperatures and the uniform mode survive, and direct compression agrees with staged compression. This closes AZ-099's finite OT-019 construction, not a universal coarse-graining theorem.

What this commits us to

The stated conclusion follows inside the declared model. Reusing it elsewhere requires carrying the same object definitions, assumptions and typing.

Logical anatomy

Scope

Chapter “The admissibility frontier”, section “memory depends on the detector scale”. This is assertion 1 of 3 in that section.

Evidence posture

Audit the declared carrier, assumptions and certificate. The result is exact only within that written scope.

Research move

constructs a model, mechanism, calculation, protocol or intervention.

Verification route

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Locate a mismatched definition, an omitted assumption, a failed certificate step or a counterexample on the declared carrier.

Source map

Controlling documents