Markdown for LLMs

Time: corpus forms

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# 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 |

## 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):

```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:

```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):

```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):

```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`).