docs: a name that matched no scan, and a blocker that was not real

Two corrections from the fix-round review, both to the record.

"Sabbato Sancto" is attested zero times in either photographic scan. The
scans print SABBATO SANCTO as the heading (once) and "Sabbato sancto" as
the running header (28x and 30x); the shipped casing appears only in the
electronic transcription's table of contents -- the source this
project's own methodology rule deprecates -- while the comment beside it
called the value "both photographic scans, word for word". Recased to
the running-header form, which is the convention the other three Latin
names in the file already follow, with a source note recording the
count. Third source-fidelity slip this week, and the first where the
wrong value came from the deprecated source itself.

The Major Litanies deferral was recorded with two false blockers. It
claimed a kernel signature extension was needed to suppress the feast in
transfer years: admit already takes ~temporal and disposition already
takes ~winner, both carrying the Easter office on 25 April, so a
rite-local slug test does it with zero kernel surface. And it implied
Easter Monday is unmarkable: ef-easter-1-monday occurs exactly 8417
times in 8417 years, as reliable as ef-easter-sunday. So the guarded
build -- never scored -- is a strict improvement, 8223 years newly
correct against 194 unchanged, and "worse than the gap" was true only of
the unguarded one.

Deferring is still right, for a reason nobody had found: 25 April is St
Mark, II class, so under RG 111(c) a privileged Litanies commemoration
would displace the day's existing ordinary commemoration in ~97.7% of
years -- an unmeasured blast radius through layers 3 and 4. That
measurement is the prerequisite. The 194 figure is exact and reproduces.

Also corrects a subject-audit list that named five months for six
entries, omitting the Precious Blood on 1 July.

1 files changed, 30 insertions, 2 deletions

diff --git a/lib/rites/rite_ef/temporal_ef.ml b/lib/rites/rite_ef/temporal_ef.ml
index 4aa8aea..4b59ff4 100644
--- a/lib/rites/rite_ef/temporal_ef.ml
+++ b/lib/rites/rite_ef/temporal_ef.ml
@@ -199,7 +199,9 @@ let holy_name_names =
    [Lord]-subject entry in data/ef/sanctoral.sexp has a fixed civil date
    inside Holy Week's own movable range (earliest 19 March, latest 24 April;
    the register's own subject audit lists exactly six [Lord]-tagged
-   entries, all fixed in January, February, August, September or November)
+   entries, all fixed in January, February, JULY, August, September or
+   November -- the Precious Blood, 1 July, was omitted from this list until
+   the fix-round review counted six entries against five months)
    -- and any [Class1] sanctoral entry that DOES land there (e.g. a
    transferred Annunciation) reaches Precedence_ef.disposition's EARLIER,
    subject-blind "I class, not a Sunday -> Transfer" branch first
@@ -208,13 +210,39 @@ let holy_name_names =
    sweep (git archive, pre- vs post-change) shows zero
    [observed]/[commemorations]/[transferred_*] difference traceable to this
    tag anywhere in the domain -- see the task report. *)
+(* SOURCE NOTE on the three literals below (corrected, fix-round review):
+   each is the Missal's own RUNNING HEADER for that Office, which is the
+   convention every other Latin name in this file already follows
+   ([holy_family_sunday], [holy_name_sunday]). Counted across both
+   photographic scans:
+     "Feria V in Cena Domini"                heading FERIA QUINTA IN CENA
+                                             DOMINI; running header 1:1
+     "Feria VI in Passione et Morte Domini"  heading FERIA SEXTA / IN
+                                             PASSIONE ET MORTE DOMINI;
+                                             running header 1:1. NOT
+                                             "Feria VI Parasceve", which
+                                             occurs ZERO times as a title in
+                                             either scan -- every occurrence
+                                             of Parasceve is inside the
+                                             Johannine Passion text. RG
+                                             132(a) writes "feriae VI in
+                                             Passione et Morte Domini".
+     "Sabbato sancto"                        heading SABBATO SANCTO (1x);
+                                             running header "Sabbato sancto"
+                                             28x / 30x.
+   The last was previously shipped as "Sabbato Sancto", a third casing
+   attested in NEITHER scan -- it appears only in the electronic
+   transcription's own table of contents, i.e. the source this project's
+   methodology rule deprecates -- while the comment called it "both
+   photographic scans, word for word". Recased to the running-header form
+   the other names use. *)
 let triduum_names = function
   | -3 -> Some (Colitur_kernel.Names.of_list [ (Colitur_kernel.Lang.of_string_exn "la", "Feria V in Cena Domini") ])
   | -2 ->
       Some
         (Colitur_kernel.Names.of_list
            [ (Colitur_kernel.Lang.of_string_exn "la", "Feria VI in Passione et Morte Domini") ])
-  | -1 -> Some (Colitur_kernel.Names.of_list [ (Colitur_kernel.Lang.of_string_exn "la", "Sabbato Sancto") ])
+  | -1 -> Some (Colitur_kernel.Names.of_list [ (Colitur_kernel.Lang.of_string_exn "la", "Sabbato sancto") ])
   | _ -> None
 
 let same a b = Date.compare a b = 0