Exchange: zone first, the measured all-day order, no zone switch that drops exceptions by Timtam · Pull Request #122 · Timtam/aperio

Exchange: write the zone first, the slot after it where the clock moves, the rule last

Timtam

and

claude

committed

76aa3ac

First check of #122: the subset invariant's third exception, and what a zone change rewrites

Timtam

and

claude

committed

1b832b2

Second check of #122: the zone read from a kept slot, and what a zone change risks

Timtam

and

claude

committed

9f8b7f4

Exchange: an all-day series given a time in the measured order, and no zone switch that drops exceptions

Timtam

and

claude

committed

1ec656e

Fourth check of #122: what the refusal meets today, Paris as another clock, and the live results

Timtam

and

claude

committed

227b806

Fifth check of #122: every rule rewrite the refusal meets, daily only for L2, and round 5

Timtam

and

claude

committed

02dad28

Sixth check of #122: a copy stale only in its exceptions changes no rule

Timtam

and

claude

committed

8d5c1a5

Navigation Menu

Repository navigation

Exchange: zone first, the measured all-day order, no zone switch that drops exceptions - #122

Exchange: zone first, the measured all-day order, no zone switch that drops exceptions#122
Timtam merged 7 commits into
mainfrom
fix/ews-zone-before-slot

Commits on Oct 10, 2026

Exchange: write the zone first, the slot after it where the clock moves, the rule last

First check of #122: the subset invariant's third exception, and what a zone change rewrites

Second check of #122: the zone read from a kept slot, and what a zone change risks

Exchange: an all-day series given a time in the measured order, and no zone switch that drops exceptions

Fourth check of #122: what the refusal meets today, Paris as another clock, and the live results

Fifth check of #122: every rule rewrite the refusal meets, daily only for L2, and round 5

Sixth check of #122: a copy stale only in its exceptions changes no rule