IndisputableMonolith.Sport.RecordProgressionFit
The Sport.RecordProgressionFit module defines reference gap functions for modeling how athletic records approach an asymptote in RS-native units. Analysts applying Recognition Science to sports performance data would cite these to quantify progression via gapAt and consecutive_gap_ratio. The module contains only definitions, importing the base time quantum from Constants with no proof bodies present.
claimThe module introduces referenceGap as the baseline gap-to-asymptote for any event, fixed at 1 in RS-native units. It further defines gapAt(r) as the gap at position r on the progression ladder, along with gapAt_pos', gapAt_succ_ratio, and consecutive_gap_ratio to track strictly decreasing gaps.
background
This module sits in the Sport domain of Recognition Science and imports Constants to access the fundamental RS time quantum τ₀ = 1 tick. The supplied doc-comment states that referenceGap supplies the reference gap-to-asymptote for any event at RS-native value 1. Sibling definitions such as gapAt and gapAt_strictly_decreasing build a ladder of gap ratios that decrease toward the asymptote, consistent with the phi-ladder structure used elsewhere in the framework.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the reference gap baseline that later sport analytics can apply to record data under the J-uniqueness and phi fixed-point steps of the forcing chain. No downstream theorems are listed in the current graph, so the definitions remain available for external use in fitting athletic progressions to the RS-native asymptote of 1.
scope and limits
- Does not fit numerical records for any concrete sport event.
- Does not invoke mass formula, alpha band, or spatial dimension D=3.
- Does not connect gaps to Berry creation threshold or Z_cf.
- Does not prove convergence rates beyond the listed ratio definitions.