{"id":"metrics-sorted-invariant-survives-downsampling","text":"Metrics maintains its sorted timestamp invariant through both ingestion (bisect insertion for O(log n) per-point insert) and two-tier downsampling (re-sort after age-based aggregation), ensuring temporal queries are correct across all retention tiers.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["metrics-series-sorted-invariant","metrics-downsample-two-tier"],"outlist":[],"label":"Sorted order is re-established after downsampling, not merely assumed to survive aggregation"}],"dependents":["metrics-instantiates-write-read-cost-pattern","metrics-write-read-separation-is-structurally-complete"],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"metrics-sorted-invariant-survives-downsampling","truth_value":"IN","reason":"SL justification valid","antecedents":["metrics-series-sorted-invariant","metrics-downsample-two-tier"],"label":"Sorted order is re-established after downsampling, not merely assumed to survive aggregation"},{"node":"metrics-series-sorted-invariant","truth_value":"IN","reason":"premise"},{"node":"metrics-downsample-two-tier","truth_value":"IN","reason":"premise"}]}}