بناء تسلسلات زمنية تحفظ عدم اليقين

from datetime import datetime, timezone
rows = [{"id":"e2","time":"2026-10-28T08:00:00+00:00"}, {"id":"e1","time":"2026-10-28T10:00:00+02:00"}, {"id":"e3","time":"2026-10-28T08:00:01+00:00"}]
key = lambda r: (datetime.fromisoformat(r["time"]).astimezone(timezone.utc), r["id"])
ordered = sorted(rows, key=key)
assert [r["id"] for r in ordered] == ["e1", "e2", "e3"]
assert key(rows[0])[0] == key(rows[1])[0]
print("display order deterministic; first two times tied")

display order deterministic; first two times tied

يرتب البرنامج الكامل ثلاثة سجلات محلية ويفحص التساوي صراحة. لا يقيس ساعة أو يثبت سببا أو ترتيبا واقعيا بين e1 و e2 ، ولا يستعلم مصدرا خارجيا.

def definitely_before(a, b):
    assert a[0] <= a[1] and b[0] <= b[1]
    return a[1] < b[0]

assert definitely_before((10, 12), (13, 15)) is True
assert definitely_before((10, 14), (13, 15)) is False
assert definitely_before((10, 13), (13, 15)) is False
print("separated intervals order; overlap and touching do not")

separated intervals order; overlap and touching do not

يفحص البرنامج الكامل ثلاث علاقات فترات محدودة. الوحدات وقت تدريب لا ثوان مقاسة من جهاز. لا يثبت التماس سبقا صارما وفق السياسة، ولا تجري معايرة ساعة.