aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel
Commit message (Expand)AuthorAgeFilesLines
* fix(rite-ef,kernel): follow the oracle on the Purification; admit reads the d...Lukasz Kasprzak2026-08-123-2/+34
* docs: close the final review's four documentation residuesLukasz Kasprzak2026-08-123-7/+9
* kernel+rite-ef: correct stale plan-relative deferrals (item 7, part 2)Lukasz Kasprzak2026-08-123-8/+50
* docs+test: small factual corrections (item 7, part 1)Lukasz Kasprzak2026-08-121-1/+17
* kernel(validate): fold in Plan 2's carried guardsLukasz Kasprzak2026-08-122-12/+44
* kernel(validate): resolution invariantsLukasz Kasprzak2026-08-122-4/+174
* cli: colitur day <year> dumps resolved liturgical daysLukasz Kasprzak2026-08-121-1/+21
* kernel(calendar): fix multi-departure loss, band-order gap, off-array targetsLukasz Kasprzak2026-08-114-52/+154
* kernel(calendar): place transferred celebrations (RG 96-98)Lukasz Kasprzak2026-08-114-34/+277
* kernel: carry omitted celebrations on Liturgical_day.t, reason and allLukasz Kasprzak2026-08-114-11/+29
* kernel(calendar): the year is the primitive, the day is derivedLukasz Kasprzak2026-08-112-0/+138
* kernel(rite): bundle what a rite supplies; make season runs rite-suppliedLukasz Kasprzak2026-08-114-21/+56
* kernel: the LiturgicalDay result schemaLukasz Kasprzak2026-08-112-0/+36
* kernel(precedence): rite-parameterised resolverLukasz Kasprzak2026-08-112-0/+129
* kernel(celebration): distinguish a feast from a commemoration-only entryLukasz Kasprzak2026-08-112-5/+20
* kernel(validate): never raise at 9999; add anchor, determinism, vocab checksLukasz Kasprzak2026-08-112-6/+84
* rite(ef): fix duplicate slugs and omitted weeks in the temporal cycleLukasz Kasprzak2026-08-112-2/+11
* kernel: loaders never escape as an exception, date-spec validates on loadLukasz Kasprzak2026-08-112-3/+23
* kernel(validate): synthetic negative-path fixture; drop vacuous slug checkLukasz Kasprzak2026-08-111-8/+12
* kernel(validate): invariant harness over liturgical yearsLukasz Kasprzak2026-08-112-0/+108
* fix(record): derive headers and to_row from a single columns listLukasz Kasprzak2026-08-111-4/+17
* kernel(record): flat all-string canonical output viewLukasz Kasprzak2026-08-112-0/+63
* kernel(overlay): ordered layer-merge algebra with diagnosticsLukasz Kasprzak2026-08-112-0/+138
* kernel(layer): sanctoral layer with canonical order and date indexLukasz Kasprzak2026-08-112-0/+81
* kernel: correct false compiler-constraint claim in Celebration commentLukasz Kasprzak2026-08-111-2/+6
* kernel: Vocab, Celebration and Temporal parametric typesLukasz Kasprzak2026-08-116-0/+124
* kernel: fix sexp deriving, add missing tests, canonicalize removeLukasz Kasprzak2026-08-116-74/+13
* kernel: Names, Citation and Date_specLukasz Kasprzak2026-08-116-0/+161
* kernel: Slug and Lang validated private stringsLukasz Kasprzak2026-08-114-0/+79
* kernel: Colour and Subject shared vocabularyLukasz Kasprzak2026-08-114-0/+39
* kernel(date): ISO-8601 rendering, validating parse, sexp convertersLukasz Kasprzak2026-08-113-3/+42
* kernel(computus): Easter-relative movable-feast anchorsLukasz Kasprzak2026-07-312-0/+17
* kernel(computus): Gregorian + Julian EasterLukasz Kasprzak2026-07-312-0/+40
* kernel(date): proleptic Gregorian date, validated make + arithmeticLukasz Kasprzak2026-07-312-0/+81
* chore: scaffold dune project (kernel lib + cli + tests)Lukasz Kasprzak2026-07-311-0/+2