diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/test_golden.ml | 10 | ||||
| -rw-r--r-- | test/test_rite_ef.ml | 33 |
2 files changed, 28 insertions, 15 deletions
diff --git a/test/test_golden.ml b/test/test_golden.ml index 61224d3..a873738 100644 --- a/test/test_golden.ml +++ b/test/test_golden.ml @@ -506,10 +506,14 @@ let test_ember_ferias_commemorated_when_impeded () = Red))`; this pin now asserts the corrected value, catching a regression back to the old one either way. *) check ~msg:"1902-02-22: Lent Ember Saturday, impeded, MUST be commemorated (RG24) and is privileged (RG109e) -- \ - AND RG110's Paul companion rides alongside it, uncapped -- AND Chair of St Peter is red (RG124b), \ - not lectio's bootstrapped white (ef-sanctoral-audit)" + AND RG110's Paul companion rides alongside it, uncapped -- AND Chair of St Peter is WHITE, \ + named by date in RG120(f)'s own enumeration of white ('Cathedrae S. Petri (22 februarii)'). \ + THIS PIN WAS RIGHT AND WAS EDITED TO ACCOMMODATE A WRONG CHANGE: the ef-sanctoral-audit task \ + set it to red on RG124(b), whose 'in eorum die natalicio' qualifier does not reach the Chair, \ + and rewrote this assertion rather than treating its failure as evidence. Restored by the \ + fix-round review. A pin that resists a change is evidence, not an obstacle" 1902 2 22 - "1902-02-22 saturday season=lent week=1 slug=chair-of-st-peter rank=class-2 colour=red subject=saint \ + "1902-02-22 saturday season=lent week=1 slug=chair-of-st-peter rank=class-2 colour=white subject=saint \ name_la=- comms=[ef-lent-ember-sat:privileged,paul:ordinary] in=- out=[]" let test_iv_class_ferias_never_commemorated () = diff --git a/test/test_rite_ef.ml b/test/test_rite_ef.ml index 9b0cb4f..67b42ce 100644 --- a/test/test_rite_ef.ml +++ b/test/test_rite_ef.ml @@ -175,8 +175,8 @@ let test_eusebius_confessor_colour_corrected () = audit-report.md have the full findings. Same discipline as [test_eusebius_confessor_colour_corrected] above (its own predecessor, same root cause): a typo'd slug or a reverted directive fails THIS test, - not only silently changes unread data. One table, all fourteen [Feast] - colour corrections plus the eight [Commemoration_only] ones (inert to + not only silently changes unread data. One table, all eleven [Feast] + colour corrections plus the seven [Commemoration_only] ones (inert to [Precedence_ef.band]/[admit] today -- colour is read nowhere in either, confirmed by grep -- but real for `colitur day`'s own printed output the moment either entry is ever observed/commemorated). *) @@ -188,24 +188,33 @@ let test_audit_colours_corrected () = | Some e -> Alcotest.(check bool) (Printf.sprintf "%s: %s" slug reason) true (e.Layer.cel.Cel.colour = expected) in - (* RG 124(e): a Martyr's own martyrdom is red -- these seven were White. *) + (* RG 124(e): a Martyr's own martyrdom is red -- these SIX were White. + Three more were set Red by the audit and REVERTED by the fix-round + review: conversion-of-st-paul and chair-of-st-peter are NAMED, by name + and by date, in RG 120(f)'s own enumeration of WHITE, fifteen lines + above the RG 124(b) the audit cited; and `peter` (25 Jan) rested on + "match the host day's Red", whose host is white by that same clause. + They are asserted White below, where the reverted values belong. *) List.iter (fun (slug, reason) -> check_colour slug Colour.Red reason) - [ ("prisca", "Virg. et Mart., 18 Jan -- RG124(e)"); - ("conversion-of-st-paul", "an Apostle's own feast day, 25 Jan -- RG124(b)"); - ("peter", "Apostle commemoration, 25 Jan -- by consistency, see adjustments.sexp"); - ("chair-of-st-peter", "an Apostle's own feast day, 22 Feb -- RG124(b)"); + [ ("prisca", "Virg. et Mart., 18 Jan -- RG124(e); lectio's own NAME dropped 'et Mart.', so its name is the defective field, not its colour"); ("vitus", "Ss. ... Mm., 15 Jun -- RG124(e)"); ("margaret", "Virg. et Mart., 20 Jul (comm) -- RG124(e)"); ("apollinaris", "Ep. et Mart., 23 Jul -- RG124(e)"); ("agapitus", "Mart., 18 Aug -- RG124(e)"); ("josaphat", "Ep. et Mart., 14 Nov -- RG124(e)") ]; - (* RG 117's five-colour residual: a plain Confessor/Bishop/Virgin (no - "Mart."/"Mm." in the calendarium's own line, not an Apostle) is white - -- these were Red. *) + (* RG 120(e), "Sanctorum non Martyrum" -- a POSITIVE rule, four lines + above the one the audit misapplied. These were cited to "RG 117's + five-colour residual", a negative inference from the red list's + exhaustiveness; the outcome was right and the citation was weaker than + the Missal's own. The first three are the fix-round reverts, white by + RG 120(f)'s own naming rather than by (e). *) List.iter (fun (slug, reason) -> check_colour slug Colour.White reason) - [ ("john-of-san-fecundo", "Conf. only, 12 Jun"); + [ ("conversion-of-st-paul", "25 Jan -- NAMED white by RG120(f), 'Conversionis S. Pauli (25 ianuarii)'"); + ("chair-of-st-peter", "22 Feb -- NAMED white by RG120(f), 'Cathedrae S. Petri (22 februarii)'"); + ("peter", "25 Jan commemoration -- its host is white by RG120(f), so the audit's own precedent yields White"); + ("john-of-san-fecundo", "Conf. only, 12 Jun"); ("ephrem-of-syria", "Conf. et Eccl. Doct. only, 18 Jun"); ("julia-of-falconieri", "Virg. only, 19 Jun"); ("john-gualbert", "Abb. (Conf.) only, 12 Jul"); @@ -504,7 +513,7 @@ let suite = `Quick test_rg16a_subject_retag_in_effect; Alcotest.test_case "ef-rebootstrap fix round 1 (F3): eusebius-confessor is White, not lectio's Red" `Quick test_eusebius_confessor_colour_corrected; - Alcotest.test_case "ef-sanctoral-audit: 21 audit colour corrections are in effect (RG124)" `Quick + Alcotest.test_case "ef-sanctoral-audit: 18 colour corrections in effect (RG120(e)/124(e)); 3 reverted per RG120(f)" `Quick test_audit_colours_corrected; Alcotest.test_case "ef-sanctoral-audit: barbara (4 Dec) added, a genuine data gap" `Quick test_barbara_added; |