data(ef): fix round 1 (F7) -- track the 5 new entries' primary citations

Removing M4/M6/M7/M9/M14 (an earlier commit) deleted the only TRACKED
primary-source citations for these five entries: docs/research/ (where the
full quotes originally lived) is gitignored, and data/ef/sanctoral.sexp is
generated data with no citations field of its own, so the public repo held
no record of why agnes-secundo, boniface-martyr, eusebius-confessor,
evaristus and theodore exist. Added a provenance note quoting each one's
calendarium line verbatim from the photographic scan.

Also fixes a name omitted from the "FIVE MORE REMOVED" note's own list
(boniface-martyr was missing; no other consequence, since neither the
removal itself nor the row-count pin ever depended on that prose list).

1 files changed, 29 insertions, 2 deletions

diff --git a/data/ef/expected-divergences-missalemeum.sexp b/data/ef/expected-divergences-missalemeum.sexp
index 47db6fb..9cff236 100644
--- a/data/ef/expected-divergences-missalemeum.sexp
+++ b/data/ef/expected-divergences-missalemeum.sexp
@@ -48,8 +48,11 @@
 ; sanctoral data re-bootstrapped from the corrected source (SHA-256
 ; 1b303ef2..., tools/bootstrap_sanctoral.ml's own regenerated header). All
 ; five commemorations these entries named are now present in
-; data/ef/sanctoral.sexp (agnes-secundo, eusebius-confessor, evaristus,
-; theodore) and admitted through the ordinary pipeline with no code
+; data/ef/sanctoral.sexp (agnes-secundo, boniface-martyr, eusebius-confessor,
+; evaristus, theodore -- CORRECTED, fix round 1: this list previously
+; dropped boniface-martyr, an omission with no other consequence, since the
+; removal itself and the row-count check below were never driven by this
+; prose list) and admitted through the ordinary pipeline with no code
 ; change -- re-run against the 2026-2027 fixture, each of the five now
 ; contributes ZERO rows to the comparator's own diff stream (verified: the
 ; day-by-day classification no longer reaches [layer_m_reason] for any of
@@ -58,6 +61,30 @@
 ; the M17 precedent immediately below: the count pin now enforces that
 ; none of these five divergences can silently reappear.
 ;
+; PROVENANCE, added ef-rebootstrap fix round 1 (F7): removing M4/M6/M7/M9/
+; M14 deleted the only TRACKED primary-source citations for these five
+; entries -- docs/research/ (where the full quotes and page cross-checks
+; originally lived) is gitignored, and data/ef/sanctoral.sexp is generated
+; data with no citations field of its own, so without this note the public
+; repository would carry no record of why these five exist at all. Each
+; quote below is verbatim from `missale-romanum-1962.pdf`'s own calendarium
+; (the photographic scan, primary-source-verified 2026-08-12, per the same
+; standard as every other citation in this file):
+;   - agnes-secundo (28 Jan): "S. Petri Nolasci Conf., III classis. /
+;     Com. S. Agnetis Virg. et Mart., secundo."
+;   - boniface-martyr (14 May): "Com. S. Bonifatii Mart."
+;   - eusebius-confessor (14 Aug): "Vigilia, II classis, Commemoratio
+;     S. Eusebii Conf.", with its own proper immediately following,
+;     "Eodem die 14 augusti / S. Eusebii Conf. / Commemoratio / Missa
+;     Iustus, ut in festo S. Pauli primi Eremitae, die 15 ianuarii..."
+;     -- the proper is also this entry's own colour citation: "Conf.", not
+;     "Mart.", borrowing a CONFESSOR's Mass -- see adjustments.sexp's own
+;     `Edit eusebius-confessor` entry (fix round 1, F3), which corrects the
+;     colour this bootstrap inherited (Red) against this same evidence.
+;   - evaristus (26 Oct): "Com. S. Evaristi Papæ et Mart."
+;   - theodore (9 Nov): "IN DEDICATIONE ARCHIBASILICÆ SANCTISSIMI
+;     SALVATORIS, II classis. / Com. S. Theodori Mart."
+;
 ; [expected_rows] is the exact row count this entry accounts for over the
 ; fixture's 2026-2027 span: a REGRESSION PIN, not documentation --
 ; test_oracle.ml asserts actual counts equal these exactly, so an unnoticed