diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/test_precedence_ef.ml | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/test/test_precedence_ef.ml b/test/test_precedence_ef.ml index 52de989..8465870 100644 --- a/test/test_precedence_ef.ml +++ b/test/test_precedence_ef.ml @@ -587,12 +587,22 @@ let disposition_cases = (* Conjunct 2/4, LOSER rank: RG 16(a) names "Dominica II classis", not any Sunday. A I-class Sunday (Advent/Lent/Passiontide, Low Sunday, {!band} entry 6) can never actually reach here as a loser against a - Class1-or-2 Lord winner in real banding (entry 6's own band value, 6, - beats every entry such a winner could occupy, 3/11-14), which is - exactly why the primary text restricts itself to II class -- but - [disposition] takes no [context] and cannot itself re-derive that - band fact, so the rank check is what actually enforces it here. - Sourced from [Temporal_ef.temporal]'s own real output (Advent I + Class1-or-2 Lord winner in real banding -- CORRECTED (fix round 1): + not because "entry 6's own band value (6) beats every entry such a + winner could occupy, 3/11-14" (WRONG: 6 is not lower than 3, and the + claim proves the opposite of what it was cited for anyway -- see + precedence_ef.ml's own corrected comment on this same conjunct for + the full argument). Against entries 11-14 the numeric claim genuinely + holds (6 < 11-14); against entry 3 (Epiphany/Ascension/Trinity/ + Corpus Christi/Sacred Heart/Christ the King) it is a STRUCTURAL fact + instead -- every band-3 celebration is temporal-origin, and + [Precedence.resolve] takes exactly one temporal candidate per day, so + a band-3 Lord feast IS that date's own single temporal candidate, + never a second one contesting a separately-produced Sunday. Either + way, this is exactly why the primary text restricts itself to II + class -- but [disposition] takes no [context] and cannot itself + re-derive that fact, so the rank check is what actually enforces it + here. Sourced from [Temporal_ef.temporal]'s own real output (Advent I Sunday 2026, Class1, "ef-advent-sunday-1"), the same row [disposition_cases]'s own RG95/RG109(a) entry above already uses. Dropping the [rank = Class2] conjunct on the loser would wrongly Omit |