diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-25 19:24:29 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-25 19:24:29 +0200 |
| commit | 4f3af5d6fdc3f5aafe955f88ee9a7788e420b62e (patch) | |
| tree | a8f7b4266a5f5b831141f003540451fce693a518 /test/test_rubrics_ef.ml | |
| parent | 8885c9af2f69b81b9aefcf3ab6c4da641338b71d (diff) | |
| download | colitur-4f3af5d6fdc3f5aafe955f88ee9a7788e420b62e.tar.gz colitur-4f3af5d6fdc3f5aafe955f88ee9a7788e420b62e.zip | |
feat(of): transcribe Tabula part III, completing the table
Entries 10-13. Entry 12 is one undivided row -- the Tabula draws no
universal/proper split for optional memorials, unlike entries 3/4, 7/8 and
10/11 -- so it deliberately does not read the layer.
Entry 13's four clauses need no date arithmetic of their own: every
privileged feria is entries 2 and 9, tested earlier in the chain, so what
reaches the final branch is exactly the residue those clauses name.
Entry 10 uses [not (is_proper layer)], not the brief's original
[is_universal layer]: is_universal was deleted as dead code in Task 2,
because every temporal-origin candidate carries layer = "temporal", never
universal_layer, so a positive is_universal test can never match one --
the same correction entries 3, 5 and 7 already apply.
Diffstat (limited to 'test/test_rubrics_ef.ml')
0 files changed, 0 insertions, 0 deletions
