diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 14:46:34 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-21 14:46:34 +0200 |
| commit | 8072287da9d8e8a9e2de8b7845923f5d576dea55 (patch) | |
| tree | 31f704452bcf58ce50071763df3bb821f187c36c /data/ef | |
| parent | 651eb993240164123067001c053c9e0b8d970459 (diff) | |
| download | colitur-8072287da9d8e8a9e2de8b7845923f5d576dea55.tar.gz colitur-8072287da9d8e8a9e2de8b7845923f5d576dea55.zip | |
docs(C39): correct the shape split, 7/3 -> 6/4
The note apportioned the entry's ten rows as seven commemoration-reduced
and three transferred, counting 2038-06-23 in both halves to make the
arithmetic work. It is six and four; the row count itself was always
right, and is pinned by the comparator.
Diffstat (limited to 'data/ef')
| -rw-r--r-- | data/ef/expected-divergences.sexp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/ef/expected-divergences.sexp b/data/ef/expected-divergences.sexp index f99add0..bba21c1 100644 --- a/data/ef/expected-divergences.sexp +++ b/data/ef/expected-divergences.sexp @@ -92,7 +92,7 @@ Gated on the literal date window (month=12, day in {29,30,31}) AND colitur's own (verdict colitur) (note "colitur implements all three of RG 33's omission triggers; lectio implements the first two only. On these 10 days the vigil's own weekday is unremarkable -- it is the FEAST that fails to keep its day, either transferred away under RG 96 or reduced to a commemoration under RG 94 -- so lectio still emits the vigil and colitur omits it entirely. -Two shapes, both in the rubric's own words. SEVEN rows are 'ad commemorationem reduci': 10 August falls on a Sunday, the II-class Sunday outranks St Lawrence's II-class feast (RG 15), the feast is commemorated rather than celebrated, and the vigil of 9 August goes (2008, 2014, 2025, 2031, 2036, 2042 -- and the same shape reaches the 2038 row through the other half). THREE are 'in alium diem transferri': the Sacred Heart takes 24 June, the Nativity of St John the Baptist transfers under RG 96, and its vigil of 23 June goes (2022, 2033, 2038, 2044). +Two shapes, both in the rubric's own words. SIX rows are 'ad commemorationem reduci': 10 August falls on a Sunday, the II-class Sunday outranks St Lawrence's II-class feast (RG 15), the feast is commemorated rather than celebrated, and the vigil of 9 August goes (2008, 2014, 2025, 2031, 2036, 2042). FOUR are 'in alium diem transferri': the Sacred Heart takes 24 June, the Nativity of St John the Baptist transfers under RG 96, and its vigil of 23 June goes (2022, 2033, 2038, 2044). 6 + 4 = 10, each date checked against the comparator's own output rather than apportioned by hand. Domain-wide this clause fires on 1 744 of the 3 074 246 days in 1583-9999 -- 1 199 St Lawrence, 347 St John the Baptist, 198 Sts Peter and Paul -- measured by diffing a pre-change binary against HEAD over the whole domain and classifying every changed day: three shapes, zero unexplained, and every one independently re-checked to confirm the feast really is absent from its own day. |
