diff options
Diffstat (limited to 'test/test_rite_ef.ml')
| -rw-r--r-- | test/test_rite_ef.ml | 45 |
1 files changed, 27 insertions, 18 deletions
diff --git a/test/test_rite_ef.ml b/test/test_rite_ef.ml index ad9057b..6fcb25d 100644 --- a/test/test_rite_ef.ml +++ b/test/test_rite_ef.ml @@ -88,22 +88,30 @@ let test_vigil_of_christmas_suppressed () = appears_anywhere (* RG16(a) task (register §6.0 + the sanctoral subject audit, this task's - own report): data/ef/sanctoral.sexp is left untouched (still a faithful - mirror of lectio, subject `Lord` for both entries below -- see - test_sanctoral_ef.ml's own "explicit class = lord" spot-check, which - loads that file WITHOUT applying this overlay and still passes); the - correction lives entirely in data/ef/adjustments.sexp's two [Edit] - directives, the same mechanism [test_vigil_of_christmas_suppressed] - above already proves for a sibling bootstrap defect. This is the ONE - test in the suite that observes the two retags actually take effect - through the real pipeline -- without it, a typo in either directive's - slug (silently a no-op diagnostic, not a hard failure -- Overlay.apply's - own contract) or a reverted adjustments.sexp would leave every other - test green (2 February isn't a Sunday in any golden-pinned year, and - [test_sanctoral_ef.ml] deliberately never applies the overlay). Also - re-verifies the four entries the audit confirmed correct and left - untouched, so a future accidental retag of one of THEM would be caught - here too, not just the two that changed. *) + own report). data/ef/sanctoral.sexp is left untouched (still a faithful + mirror of lectio, subject `Lord` for every entry below except + `most-holy-name-of-mary` -- see test_sanctoral_ef.ml's own "explicit + class = lord" spot-check, which loads that file WITHOUT applying this + overlay and still passes); the one real correction lives entirely in + data/ef/adjustments.sexp's single remaining [Edit] directive, the same + mechanism [test_vigil_of_christmas_suppressed] above already proves for + a sibling bootstrap defect. + + CORRECTED, fix round 1 (CRITICAL finding, item 1): this test used to + also assert `purification-of-the-blessed-virgin-mary` was retagged + `Bvm`. REVERTED -- the user has ruled: follow the oracle (register §6.0 + has the full account, both the calendarium argument for `Bvm` and the + oracle evidence against it). The Purification is `Lord` again, one of + FIVE untouched entries this test now re-verifies, not four. + + This is the ONE test in the suite that observes the one live retag + actually takes effect through the real pipeline -- without it, a typo in + the directive's slug (silently a no-op diagnostic, not a hard failure -- + Overlay.apply's own contract) or a reverted adjustments.sexp would leave + every other test green ([test_sanctoral_ef.ml] deliberately never + applies the overlay). Also re-verifies the five entries the audit + confirmed correct and left untouched, so a future accidental retag of + one of THEM would be caught here too, not just the one that changed. *) let test_rg16a_subject_retag_in_effect () = let layer = real_layer () in let subject_of slug = @@ -111,10 +119,11 @@ let test_rg16a_subject_retag_in_effect () = | Some e -> e.Layer.cel.Cel.subject | None -> Alcotest.failf "slug %s not found in the overlaid layer" slug in - Alcotest.(check bool) "Purification retagged Bvm (calendarium: \"B. MARIAE VIRG.\")" true - (subject_of "purification-of-the-blessed-virgin-mary" = Subject.Bvm); Alcotest.(check bool) "Most Holy Name of Mary retagged Bvm (calendarium: \"Nominis Mariae\")" true (subject_of "most-holy-name-of-mary" = Subject.Bvm); + Alcotest.(check bool) + "Purification stays Lord (reverted, fix round 1 -- the user's ruling: follow the oracle)" true + (subject_of "purification-of-the-blessed-virgin-mary" = Subject.Lord); Alcotest.(check bool) "Precious Blood stays Lord (calendarium: \"D. N. I. C.\") -- audit, not touched" true (subject_of "precious-blood-of-our-lord-jesus-christ" = Subject.Lord); Alcotest.(check bool) "Transfiguration stays Lord (calendarium: \"D. N. I. C.\") -- audit, not touched" true |