| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | kernel(celebration): distinguish a feast from a commemoration-only entry | Lukasz Kasprzak | 2026-08-11 | 1 | -2/+10 |
| | | | | | | | | The 1960 reform reduced many feasts to a bare commemoration. They keep a rank, because RG 111 orders admitted commemorations by dignity, but they can never be the observed day. Modelled as a separate status rather than a fifth rank: RG 8 fixes the classes at four. | ||||
| * | kernel: Vocab, Celebration and Temporal parametric types | Lukasz Kasprzak | 2026-08-11 | 1 | -0/+16 |
| Rite specificity is carried by type parameters plus a vocab record of operations rather than by functors: the same guarantee that a rite cannot name another rite's season, without threading module plumbing through every kernel module. Celebration takes only the rank parameter, since it has no season field and OCaml rejects a type variable that appears in no field. | |||||
