Merge branch 'ef-sanctoral-audit': the sanctoral against the Missal

The first full check of all 327 sanctoral entries against the primary
calendarium, read from page images of both photographic scans rather
than either PDF's OCR text layer -- the second scan's layer interleaves
its two print columns row by row and is unusable.

Findings that stand: St Barbara (4 December), a Commemoratio both scans
carry with her own Mass propers, absent from colitur and from lectio's
source alike -- 7196 clean additions, never displacing anything. And 18
colour corrections, all traced to the same bootstrap defect as the
earlier eusebius-confessor fix, now shown systemic rather than isolated;
several of lectio's own Polish name fields contradict its own colour
tag.

The Commemoration_only ranks are reframed rather than resolved: the
calendarium carries 57 Commemoratio lines and not one gives a class
numeral, for anyone. That is a source ceiling, not 105 open questions,
and nothing a primary-source read can close.

Three corrections did not survive review and are reverted here. RG
120(f) names Cathedrae S. Petri (22 februarii) and Conversionis S. Pauli
(25 ianuarii) in its own enumeration of white, fifteen lines above the
RG 124(b) they were cited to; RG 124(b)'s own 'in eorum die natalicio'
excludes them independently; RG 475(e) confirms it a third time. Both
oracles said white because both were right.

The cause is worth more than the entries: the page-image method was
applied to the calendarium and not to the rubric, and in the text layer
the two-column interleave hyphen-splits Cathedrae so it does not grep. A
text-layer read of that chapter finds 124 and cannot find 120(f).

Two safeguards had been reporting this correctly and were overridden --
a golden pin asserting white, edited to red and rewritten to guard
against restoring it, and two allow-lists told to ignore divergences
where both oracles were correct. Both restored.

Anastasia (25 December) was found and deliberately not added: she is
scoped to the second of Christmas's three Masses and the data model has
no Mass scope. Now recorded in the tracked tree, beside barbara, where
the next auditor will be standing.

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
 
 (* ---------------------------------------------------------------------- *)