diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 18:25:39 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 18:25:39 +0200 |
| commit | 9700cd32bc05a96cef0d9a5be3e0e16959afc091 (patch) | |
| tree | 3391953d6474ab8973bd53b5be6890a644d1cc4f /test/test_golden.ml | |
| parent | 8240dbe8221792510aba2405652b59c22f865957 (diff) | |
| download | colitur-9700cd32bc05a96cef0d9a5be3e0e16959afc091.tar.gz colitur-9700cd32bc05a96cef0d9a5be3e0e16959afc091.zip | |
test(golden): fix round 1 (F1) -- correct why the other 8 reclassified slugs are silent
The comment on test_iii_class_feast_wins_class4_feria gave a single reason
for why 8 of the 15 rank-corrected slugs produce zero diff rows anywhere in
the domain: "always fall inside Lent/Passiontide proper, RG 91 entry 22,
which already outranks entry 24". Wrong for 3 of the 8: gabriel-the-
archangel (24 Mar), john-damascene (27 Mar) and john-of-capistrano (28 Mar)
land in Paschaltide 226/846/1108 times domain-wide, always at class-1
(inside the Easter Octave, RG91 entry 2/10), never entry 22.
The conclusion (zero diff rows) was and remains right; only the reason was
wrong -- exactly the "correct code, wrong explanation" defect this project
has repeatedly caught before. Corrected to the actual, checked shield:
every context these 8 dates ever land in domain-wide is either class-1/2
(trivially outranking any class-3 candidate and excluding it from
commemoration by RG111's own rank floors, regardless of status) or the
season's own class-3 feria at entry 22 (which outranks entry 24 for
observation but admits the losing saint's commemoration identically
whether Commemoration_only or Feast, RG111(c)/(d) having no ferial-class
gate on an ordinary sanctoral candidate).
Diffstat (limited to 'test/test_golden.ml')
| -rw-r--r-- | test/test_golden.ml | 36 |
1 files changed, 29 insertions, 7 deletions
diff --git a/test/test_golden.ml b/test/test_golden.ml index 9d26196..5292427 100644 --- a/test/test_golden.ml +++ b/test/test_golden.ml @@ -595,13 +595,35 @@ let test_purification_on_a_sunday_2025 () = number instead; corrected upstream in lectio's own generator and re-bootstrapped here (source SHA-256 1b303ef2...). Only 7 of the 15 ever land on a date that collides with a plain CLASS-4 feria somewhere in the - domain (the other 8 always fall inside Lent/Passiontide proper, RG 91 - entry 22, which already outranks entry 24 regardless of the saint's own - rank -- entry 22 < 24 -- so their status change is invisible to any - civil-day dump; a fact independently confirmed, not assumed, by a full - 1583-9999 blast-radius sweep finding zero diff rows for those 8 slugs - anywhere in the domain). These are the SIX dates the task brief that - started this re-bootstrap named as producing "a wrong observed office" + domain -- fact-checked by a full 1583-9999 blast-radius sweep finding + zero diff rows for the other 8 anywhere in the domain, not assumed. + + CORRECTED (ef-rebootstrap fix round 1, F1): this comment previously gave + a single reason for the other 8's silence -- "always fall inside Lent/ + Passiontide proper, RG 91 entry 22, which already outranks entry 24" -- + WRONG for 3 of the 8, measured directly against the domain-wide season + breakdown per slug: `gabriel-the-archangel` (24 Mar) lands in + PASCHALTIDE 226 times, `john-damascene` (27 Mar) 846 times, + `john-of-capistrano` (28 Mar) 1108 times -- always at `class-1` there + (inside the Easter Octave, RG 91 entry 2/10), never a class-4 feria. + Entry 22 itself is also narrower than "Lent/Passiontide" suggests (its + own text excludes the Ember days). The TRUE, general shield, checked + against every (season, rank) pair these 8 slugs' dates ever land in + domain-wide: whichever office already occupies the date is EITHER + class-1 or class-2 (an Easter-Octave/Holy-Week/I-class-Sunday day, + entries 2/6/7/10; a II-class Sunday or Ember feria, entries 15/18) -- + which trivially outranks ANY class-3 candidate regardless of status, and + also excludes it from commemoration by RG 111(a)/(b)'s own rank floors + the same way regardless of status -- OR the ordinary Lent/Passiontide + class-3 feria itself, entry 22, which outranks entry 24 for OBSERVATION + but (RG 111(c)/(d), no ferial-class gate on an "ordinary" sanctoral + candidate) admits the losing saint's commemoration identically whether + `Commemoration_only` or a genuine `Feast` -- so no context these 8 dates + ever reach anywhere in the domain distinguishes the two statuses in + either direction, observation or commemoration. Not "always Lent" -- + "always something at entry ≤22 already occupies the day". These are the + SIX dates the task brief that started this re-bootstrap named as + producing "a wrong observed office" under the OLD data (2008-04-02/04/05, 2038-03-06/08/09) -- [test_easter_extreme_2038_late_modern]'s own header above is the record of why they were deliberately left unpinned until now. *) |
