diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 15:07:44 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 15:07:44 +0200 |
| commit | 35c11c7ccf95acfb35a7ec34edfa86d92da60e4a (patch) | |
| tree | 63e2e0c8f9c6317f68a52961c7770f72c3ba79c0 /test/test_precedence.ml | |
| parent | 0eae32f67145065b0e4960650ae06c293fd9f272 (diff) | |
| parent | f3ac69d0a679200a48716be065a0fa2e70a2c6da (diff) | |
| download | colitur-35c11c7ccf95acfb35a7ec34edfa86d92da60e4a.tar.gz colitur-35c11c7ccf95acfb35a7ec34edfa86d92da60e4a.zip | |
merge: RG 33's third omission trigger
The last unbuilt clause in the EF module. A II/III-class vigil is omitted
entirely when the feast it precedes fails to keep its own day -- 1 744 days
across 1583-9999, three verified shapes, zero unexplained.
Rule and vigil inventory independently confirmed by O'Connell 1964, outside
the Divinum Officium -> missalemeum -> lectio lineage. The 10 affected days
in 2005-2050 are allow-listed as C39; no external day-level witness exists,
which the note states rather than glosses.
Diffstat (limited to 'test/test_precedence.ml')
| -rw-r--r-- | test/test_precedence.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_precedence.ml b/test/test_precedence.ml index ce75ab6..acc89fc 100644 --- a/test/test_precedence.ml +++ b/test/test_precedence.ml @@ -17,7 +17,7 @@ let ctx = (* Band: Hi beats Lo. Temporal breaks a tie in its own favour. *) let rules = - { P.band = (fun _ c -> (match c.P.cel.Cel.rank with Hi -> 10 | Lo -> 20) + { P.vigil_feast = (fun _ -> None); band = (fun _ c -> (match c.P.cel.Cel.rank with Hi -> 10 | Lo -> 20) - (match c.P.origin with P.Temporal -> 1 | P.Sanctoral -> 0)); disposition = (fun ~winner:_ ~loser -> |