diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-18 16:05:28 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-18 16:05:28 +0200 |
| commit | 80096d1227ea7406a88a774bf258bc3ac603eb8f (patch) | |
| tree | 122c8cdcd6eca6c5606898b73b1685a51569180e /test/test_differential.ml | |
| parent | 36e233ae1ae636ed93a1f16df9185e1fc35db6a0 (diff) | |
| download | colitur-80096d1227ea7406a88a774bf258bc3ac603eb8f.tar.gz colitur-80096d1227ea7406a88a774bf258bc3ac603eb8f.zip | |
test(differential): refresh the fixture -- three more corrections adopted
lectio has taken three further corrections colitur argued from the Missal: the
twelve RG 124 colours (red is for Apostles, Evangelists and Martyrs, and
missalemeum had the rule inverted in both directions), Good Friday's black
under RG 128(b) with RG 132, and RG 72's Christmas Time boundary at 13 January
inclusive.
864 rows changed. Two classes closed outright and two moved:
C18 450 -> 0 the RG 124 colours -- the LARGEST single class in this file
C36 46 -> 0 Good Friday's colour
C1 159 -> 35 the season boundary stopped differing
C23 184 -> 230 Good Friday's rows fold back, the split no longer needed
C36 is closed rather than kept at zero because the split it represented has
dissolved: it existed only to hold Good Friday apart while its diff set had a
third member, and with the colour agreeing the rows are the exact pair C23 has
always gated on. Restoring 230 is not a regression, it is the number returning
to what it was before the split.
Cited classes 24 -> 19, divergent rows 2252 -> 1521, agreement 86.6% -> 90.9%.
The percentage is again the least interesting part. C18 alone was 450 days on
which the two engines agreed about nothing and now agree because both apply
RG 124 the same way round.
Diffstat (limited to 'test/test_differential.ml')
| -rw-r--r-- | test/test_differential.ml | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/test/test_differential.ml b/test/test_differential.ml index 8edde31..f1cf7cd 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 = "ab25fadc068f2833e6ce355474ca595ce54487e91fd9571d5ddf6bc7396b7eee" +let fixture_sha256 = "e33120bed2c067e47e1c3667ae3c70316fc645bd30c685d404c61ab54578eef7" (* Same technique tools/bootstrap_sanctoral.ml already uses for this exact purpose (that file's own comment: shelling out to the system's @@ -893,15 +893,6 @@ let holy_week_slugs = [ "ef-passiontide-2-monday"; "ef-passiontide-2-tuesday"; "ef-passiontide-2-wednesday"; "ef-passiontide-2-thursday"; "ef-passiontide-2-friday"; "ef-passiontide-2-saturday" ] -(* C36 (ef-oconnell-rubrics): Good Friday alone, split out of C23's own - six-slug population because its diff SET grew a third member. RG 128(b) - excepts "Actione liturgica feria VI in Passione et Morte Domini usque ad - Communionem exclusive" from Passiontide's violet and RG 132 assigns black - there -- recorded in register ยง3b as an acknowledged gap since Task 16 and - closed on this branch. lectio, which has no Holy Week propers at all (C23's - own note), keeps showing Passion week's violet, so colour now differs on - this ONE of C23's six days in addition to the two citation fields. *) -let good_friday_slug = "ef-passiontide-2-friday" (* C37 (ef-oconnell-rubrics): RG 128 gives violet to "II/III-class vigils outside Paschaltide". These two carried Red and White respectively -- @@ -1304,8 +1295,6 @@ let layer_c_reason (l : row) (c : row) diffs = and now RG 309(a)'s Mass for it, which answers before step 3's walkback is reached. They still differ from lectio, but for C17's cause, and are filed there. See data/ef/expected-divergences.sexp's own closure note. *) - else if String.equal c.slug good_friday_slug && diffs = [ First_f; Gospel_f; Colour_f ] then - Some "C36" else if List.mem c.slug promoted_feast_slugs && diffs = [ First_f; Gospel_f ] then Some "C38" else if List.mem c.slug holy_week_slugs && diffs = [ First_f; Gospel_f ] then Some "C23" else if String.equal c.slug passion_tuesday_slug && diffs = [ First_f; Gospel_f ] then Some "C26" |
