diff options
Diffstat (limited to 'test/test_differential.ml')
| -rw-r--r-- | test/test_differential.ml | 32 |
1 files changed, 1 insertions, 31 deletions
diff --git a/test/test_differential.ml b/test/test_differential.ml index e8bf9ae..8423888 100644 --- a/test/test_differential.ml +++ b/test/test_differential.ml @@ -164,7 +164,7 @@ let allow_list_path = "../data/ef/expected-divergences.sexp" deliberately, after re-running the exact command the provenance note names -- never by copying the actual value back in to make a mismatch pass, which would defeat the point of pinning it at all. *) -let fixture_sha256 = "bac0aacfaa67db0f6f9ae45f1295f831f62bb35a6e2a8e8c72503b2b26e1a8a8" +let fixture_sha256 = "2e9c5761e7e5ccee4b5be096e8727d07a2e67dd9523a897f9aa73407ddf1e350" (* Same technique tools/bootstrap_sanctoral.ml already uses for this exact purpose (that file's own comment: shelling out to the system's @@ -1127,36 +1127,6 @@ let layer_c_reason (l : row) (c : row) diffs = (String.equal c.slug "ef-rogation-monday" || String.equal c.slug "ef-rogation-tuesday") && subset diffs [ Season; Slug_f; Colour_f ] then Some "C8" - else if - List.mem l.date joseph_annunciation_collision_dates_2005_2050 - (* Task 8: [First_f; Gospel_f] joined the accepted set -- Joseph's own - transferred office (Ecclus 45:1-6/Matt 1:18-21, his own proper) now - genuinely differs from the plain feria lectio shows for the same - civil date, exactly BECAUSE the identity already differs (this - predicate's own pre-existing [Slug_f; Rank] pair); not a second, - independent citation-only divergence. *) - && subset diffs [ Slug_f; Rank; First_f; Gospel_f ] - (* Colitur-slug guard, added by the fixture-refresh review. Fix round 1's - own finding 1 established that a Layer C predicate must pin WHICH - celebration the citation is about, not merely the date -- C1, C6 and C8 - all carry that guard; C14 was written after that ruling and omitted it. - Demonstrated live: with [Calendar.compare_deferred] switched to RG 98 - origin order, the observed celebration on all three dates flips to the - Annunciation, and C14 still matched exactly 3 rows with its count pin - green. The suite only reddened because the SIBLING dates fell outside - every predicate -- geometry, not this pin. *) - && String.equal c.slug "joseph-spouse-of-the-bl-virgin-mary" - then Some "C14" - else if - List.mem l.date holy_family_baptism_collision_dates_2005_2050 - (* Task 8: [First_f; Gospel_f] joined the accepted set for the same - reason as C14 above -- Holy Family's own citations (Col 3:12-17/Luke - 2:42-52, its own proper) differ from the fixed Baptism's (which - lectio still shows there) exactly BECAUSE the office identity - already differs; the same single cause, not two. *) - && subset diffs [ Season; Slug_f; First_f; Gospel_f ] - && String.equal c.slug "ef-time-after-epiphany-sunday-1" - then Some "C15" (* [Colour_f] is admitted only on the Saturday of this week, and only alongside the citation difference: that day is ALSO an unoccupied IV-class Saturday, so RG 78's votive Office of the BVM makes colitur |