aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/computus.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 14:22:04 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-11 14:22:04 +0200
commit93efd2d5149e351687488935f04c37abc589729b (patch)
tree0d3c5f5875e5ed12a8cf7a18b9011f718c9e6e55 /lib/kernel/computus.ml
parent53e0639612a348ddc66e33952d913c5257fe2ba8 (diff)
downloadcolitur-93efd2d5149e351687488935f04c37abc589729b.tar.gz
colitur-93efd2d5149e351687488935f04c37abc589729b.zip
rite(ef): ferias, Ember days, Rogations and the temporal entry point
Ferial ranks per RG 91: I class in Holy Week and the privileged octaves (entries 7, 10), II class for Advent 17-23 and the Ember days (entry 18), III class for Advent to 16 December and Lent/Passiontide (entries 22, 25), IV class per annum (entry 28). Two further divergences from lectio, both from the table: Advent 17-23 are II class, and the Lenten Ember days are II class rather than ordinary Lenten ferias. Rogations (RG 80/87) exist at all, which lectio does not compute. Gaudete and Laetare are rose. Two corrections against the primary source beyond the task brief's draft. Entry 7 (verified against the Latin: "feria IV cinerum et II, III et IV Hebdomadae sanctae") covers only Ash Wednesday and Monday-Wednesday of Holy Week; Thursday-Saturday are the Sacred Triduum, entry 2, cited separately. Rogation Monday and Tuesday keep the ordinary ferial rank of their season (RG 88: "de Litaniis minoribus nihil fit in Officio") rather than a fixed class, since no RG 91 entry ranks them specially. A module-type constraint proves Temporal_ef satisfies the kernel RITE contract.
Diffstat (limited to 'lib/kernel/computus.ml')
0 files changed, 0 insertions, 0 deletions