index
:
colitur.git
main
deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999
lukas-labunix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
rites
/
rite_ef
/
precedence_ef.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
kernel(precedence-ef): fix precedence_ef.mli's stale RG33/RG26/RG111(b) contract
Lukasz Kasprzak
2026-08-12
1
-4
/
+12
*
kernel(precedence): fix round 1 -- RG23-26 govern ferial commemoration, not R...
Lukasz Kasprzak
2026-08-12
1
-75
/
+129
*
kernel(precedence): three RG-verified EF precedence bugs, found via oracle
Lukasz Kasprzak
2026-08-12
1
-35
/
+180
*
rite(ef): the Annunciation's RG96 exception is conditional, not unconditional
Lukasz Kasprzak
2026-08-12
1
-30
/
+58
*
rite(ef): clamp the RG96 search at the domain ceiling
Lukasz Kasprzak
2026-08-12
1
-6
/
+29
*
cli: colitur day <year> dumps resolved liturgical days
Lukasz Kasprzak
2026-08-12
1
-5
/
+107
*
rite(ef): an impeded I-class Sunday commemorates, not transfers
Lukasz Kasprzak
2026-08-11
1
-11
/
+25
*
rite(ef): commemoration privilege and admission (RG 108-111)
Lukasz Kasprzak
2026-08-11
1
-16
/
+208
*
rite(ef): fix false justification in impedes_vigil's comment
Lukasz Kasprzak
2026-08-11
1
-7
/
+11
*
rite(ef): occurrence dispositions (RG 92-95, 33, 94)
Lukasz Kasprzak
2026-08-11
1
-0
/
+95
*
rite(ef): fix entry 8's Sunday exception and entry 14's over-restriction
Lukasz Kasprzak
2026-08-11
1
-33
/
+76
*
rite(ef): RG 91 Table of Precedence
Lukasz Kasprzak
2026-08-11
1
-0
/
+173