memory depends on the detector scale

Exact assertion

The exact two-stage defect identity and five-step telescoping bound say how much history a memoryless reduced model omits. The practical look-here target is a six-node network: prepare two fine voltage or temperature patterns with the same reported averages, substitute declared edges and measure whether later coarse records split at the predicted scale. Success improves reduced-model engineering; a preregistered residual beyond component and readout covariance would indicate missing dynamics. Neither outcome by itself establishes Spin(2,3) or new physics.

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

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

• admissibility 99 three scale passive diffusion pushforwardOpen controlling document →
• admissibility 56 certificate preserving descent and commuting square atlasOpen controlling document →
• recursive schur jordan descent and functorial sewingOpen controlling document →