aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/overlay_ini.mli
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-25 19:15:04 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-25 19:15:04 +0200
commitc6faa32c85e350349181ab920b0b8b7defdd678c (patch)
treedd45d3243c8c48c93b54516193433327c2065658 /lib/kernel/overlay_ini.mli
parenta2be1f88ff9d2e4dd99689213692f2a03bbf999d (diff)
downloadcolitur-c6faa32c85e350349181ab920b0b8b7defdd678c.tar.gz
colitur-c6faa32c85e350349181ab920b0b8b7defdd678c.zip
feat(of): transcribe Tabula part II into precedence_of
Entries 5-9. Entries 5 and 7 differ only by subject -- 'Festa Domini' against 'Festa beatae Mariae Virginis et Sanctorum' -- so they key on Celebration.t.subject, the same field RG 91 entry 14 uses on the EF side, never on the slug. Entry 9's three clauses (late-Advent ferias from 17 December, the Nativity octave, Lenten ferias) are what separates a privileged feria from the ordinary one at entry 13. CORRECTION to the task brief, applied here rather than after: entries 3, 5 and 7 test 'not (is_proper layer)', not 'is_universal layer'. Every temporal-origin candidate Temporal_of.temporal constructs carries layer = "temporal" unconditionally, never universal_layer, so a positive universal-layer test silently excluded every temporal-cycle solemnity and Lord-subject feast from these entries -- Corpus Christi came out unclassified outright, and Trinity/Christ the King/Holy Family/the Baptism of the Lord landed one entry too low. is_universal is now dead and removed; entry 3's branch (written in Task 1) is amended along with the new entries 5 and 7. Only entries 4 and 8 still test is_proper directly, matching the Tabula's own proper-calendar rows. Also fixes a pre-existing typo in the brief's own 'entry 6: a Sunday per annum' test row: rank was Sollemnitas, which -- being tested at entry 3, earlier in the chain -- made the row fail regardless of the is_universal/is_proper question, since no real Sunday per annum is ever Sollemnitas. Changed to Festum, matching the adjacent 'Sunday of Christmas time' row and real Temporal_of output.
Diffstat (limited to 'lib/kernel/overlay_ini.mli')
0 files changed, 0 insertions, 0 deletions