diff options
Diffstat (limited to 'test/test_differential.ml')
| -rw-r--r-- | test/test_differential.ml | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/test_differential.ml b/test/test_differential.ml index 5093484..a4e550d 100644 --- a/test/test_differential.ml +++ b/test/test_differential.ml @@ -465,6 +465,27 @@ let jan_6_13_slug slug = let nativity_octave_day_slugs = [ "ef-nativity-octave-day-5"; "ef-nativity-octave-day-6"; "ef-nativity-octave-day-7" ] +(* C18 (ef-sanctoral-audit, 2026-08-14): the closed set of colitur + [status = Feast] sanctoral slugs whose bootstrapped [colour] was + corrected against RG 124 (data/ef/adjustments.sexp's own audit-block + comment has the full citation and per-slug reasoning); every one of + these still carries lectio's OLD, uncorrected colour, so a row where + this is the ONLY colitur candidate observed for its own date diffs on + [Colour_f] alone whenever it wins the day (most years -- these are all + ordinary universal feasts, rarely impeded). Deliberately a literal list, + not a shape predicate, the same discipline C6/C14/C15/C16 already use: + a colour diff on any OTHER slug must still surface as unexplained. Eight + further audit corrections (prisca/peter/vitus/margaret/agapitus/liborii/ + mark-i, all Commemoration_only, plus the new `barbara` Add) are NOT + listed here and need no predicate: [colitur_rows_2005_2050] emits only + the OBSERVED day's own record, and a [Commemoration_only] candidate can + never be observed (Precedence.resolve's own design), so their corrected + colours have no row in this comparison to explain. *) +let audit_colour_corrected_slugs = + [ "conversion-of-st-paul"; "chair-of-st-peter"; "john-of-san-fecundo"; "ephrem-of-syria"; + "julia-of-falconieri"; "john-gualbert"; "camillus-de-lellis"; "jerome-emiliani"; "apollinaris"; + "martha"; "alphonsus-liguori"; "augustine"; "rose-of-lima"; "josaphat" ] + (* C14 (ef-rebootstrap fixture refresh, 2026-08-12; replaces the closed C9, see data/ef/expected-divergences.sexp's own C14 note for the full RG citation): the exact 3 civil days, across the whole 2005-2050 window, @@ -620,6 +641,7 @@ let layer_c_reason (l : row) (c : row) diffs = && String.equal c.slug "ef-holy-name" then Some "C16" else if is_bvm_saturday_row c diffs then Some "C17" + else if diffs = [ Colour_f ] && List.mem c.slug audit_colour_corrected_slugs then Some "C18" else None (* ---------------------------------------------------------------------- *) |