[Internal review] Proposal draft: anchored composability invariant (do not merge, do not notify upstream)#23

Closed

ColinDKelley wants to merge 10 commits into

mainfrom

invoca/proposal-anchored-linearity-invariant

Commits on Apr 19, 2026

Draft proposal: document and test anchored linearity invariant
ColinDKelley
committed
Clarify: range membership vs. anchor lookup are distinct
ColinDKelley
committed
Use r (range) notation to match Prometheus terminology
ColinDKelley
committed
Use PromQL-native notation: @ T instants + range durations
ColinDKelley
committed
Restore numeric subscripts; drop underscore placeholder names
ColinDKelley
committed
Define T₁ and T₂ independently; derive r₂ from the interval
ColinDKelley
committed
State the invariant in terms of three primary timestamps
ColinDKelley
committed
Explain that @ is always the right edge of an anchored range
ColinDKelley
committed

Commits on May 11, 2026