MechanicalAtomicSeriesRegistration

Abstract

The atomic series is observed as three functions of its real parameters.

Definition 1.1 (Atomic series readout).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesReadout

Formalization. D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesReadout (✓ std3).

Source. Repository-derived.

Commentary.

The readout returns the floor expansion, its total coefficient mass, and the threshold-atom expansion as functions of the ratio, slope, and phase.

Definition 1.2 (Series law).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesArena

Formalization. D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesArena (✓ std3).

Source. Repository-derived.

Commentary.

One CUT slot retains those full functions. The law compares both expansions with the geometric mechanical readout and fixes the coefficient mass at one.

Definition 1.3 (Selected series).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesRealization

Formalization. D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesRealization (✓ std3).

Source. Repository-derived.

Commentary.

The selected realization reads the actual atomic series functions.

References

• Truth anchor: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesArena
• Truth anchor: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesReadout
• Truth anchor: D5/S3/ConceptDynamics/InformationEscape/MechanicalAtomicSeriesRegistration.seriesRealization
• Dependency: D5/S1/Words/Mechanical/MechanicalReadoutAtomicSeries
• Dependency: D5/S3/ConceptDynamics/InformationEscape/MechanicalDyadicRegistration
• Dependency: D5/S3/ConceptDynamics/InformationEscape/MechanicalReadoutSources