Time: corpus forms

Analysis of real fragments: package identifier, act name, the key fragment, form rating (exemplary / debatable / wrong-form choice) and why.

Corpus-wide counts (508 packages):

Form	Occurrences	Packages	What it usually is
@YYYY-MM-DD	8,221	443	edition lifecycles, window bounds, dated facts
edition … { in_force … }	1,016 / 554	482 / 272	act dating: [@…, infinity) is the usual form
effective on a rule	1,402	56	articles of one edition with different commencement dates
days_between(a, b) in a guard	—	188	“no earlier than N days”, “for each day of delay”
N months, N years	769	56	a Quantity with a unit, not a duration
during / before / after	74	12	parameter names and text; executed by no predicate
governs	1	1	a single use

OverviewBoundariesCorpus formsPitfalls

Law

1. RK Social Code — finite benefit window (exemplary, inspected)

Package kz.corpus.socialcode — Kazakh Social Code (Kazakhstan), disability-benefit article (the same clause in three rules):

Arxo Law

effective [@2023-07-01, @2027-01-01);

Exemplary. A window with an end, not just a start: the rule holds for four years and switches off by date, not by package edit. The canonical form of articles of one edition with different commencement dates.

2. Turkish Constitution — a pair of thresholds on one measure (exemplary, inspected)

Package tr.constitution — Turkish Constitution (Türkiye), finance title:

Arxo Law

when days_between(submitted, year_start) >= 75;
...
when days_between(submitted, year_start) < 75;

Exemplary. “No earlier than 75 days” and the mirrored condition on the same days_between measure: duration is measured as a number, the threshold is a guard on it, not a unit-bearing magnitude (the LDC-E2108 trap).

3. US census — attestation within fifteen days (exemplary, inspected)

Package us.code.apportionment — US apportionment statutes (United States):

Arxo Law

when statement_received_by_clerk_on(c, receipt)
 and certificate_sent_to_state_on(c, s, sent)
 and days_between(receipt, sent) <= 15;
then certificate_sent_in_time(c, s);

Exemplary. “Within fifteen calendar days of receipt” — a measured-duration comparison; the package comment explicitly pins this choice against recomputation in hours.

4. 1978 Vienna Convention — period by calendar step (exemplary, inspected)

Package intl.vienna.succession_treaties — 1978 Vienna Succession Convention (international):

Arxo Law

during [appointed, add_calendar_period(appointed, 60 calendar_day)];

Exemplary, with a condition. Months and years are not measured but built by the period step — here 60 calendar days via add_calendar_period. Condition: a term bound requires a period policy, otherwise MISSING_POLICY. Short during form instead of window — surface sugar.

Standard and protocol

5. Turkish Constitution on detention — days, not hours (exemplary)

Package tr.constitution — Turkish Constitution (Türkiye), personal-rights title (days_between(started, until) > 4; comment: “four days”, measure — days_between, not recomputation in hours).

Exemplary. The measure unit follows the source vocabulary (“days” — in days): the same principle as in item 3.

Teaching packages

6. Directory example pair — window and threshold (exemplary, inspected)

Packages research.constructs.time_effective (effective [@2026-01-01, infinity);) and research.constructs.time_overdue (days_between(due, paid) >= 30).

Exemplary as a demonstration: the first shows rule on/off switching by legal time (TRUE_ONLY / NEITHER), the second — duration measurement by threshold (41 days — TRUE_ONLY, 22 — NEITHER).