rfc: a window's extent is the producer's to decide; `window.start` and `window.end` are the earliest and latest event time of the lines it contains - #14

Merged

coderoast-dev merged 2 commits into

mainfrom

spec/window-extent

Sep 30, 2026

Commits on Sep 29, 2026

spec(0.10.0): window.start and window.end are the event-time envelope of the window's lines, and how a producer decides a window's extent is its own

coderoast-dev
and
claude
committed
0e65dec
conformance: the validator decides §2.2's empty-window relation — a window with no line has `start` equal to `end`, judged on the instants

coderoast-dev
and
claude
committed
e113f11