test(fiuv-ordo): add the FIUV universal Ordo as a second, independent witness

Wires in the FIUV (Foederatio Internationalis Una Voce) Ordo for
2025-2026 as validation layer seven -- the first UNIVERSAL (not
diocesan) source in this project, and the first compiled by someone
other than the LMS editions' own Peter Day-Milne (Joseph Shaw, FIUV
President).

tools/extract_fiuv_ordo.ml hand-parses pdftotext's -layout dump of the
Latin-language ordo (no Str/regex, frozen deps). Three real parsing
traps were found and fixed by tracing actual false results against the
raw source, not assumed in advance:

- "Gloria" is also the first word of "Gloria Patri" (the psalm
  doxology), which can appear INSIDE the very Mass clause being scanned
  (Good Friday: "...omittuntur ps. Iudica me et Gloria Patri), Gloria,
  sine Credo..."). Guarded by rejecting any "Gloria" hit whose next
  token is "Patri".
- Christmas Day's own rubric uses the PLURAL "Missae"/"Missae" ("tres
  Missae celebrantur..."), never the singular "Missa" every other real
  day anchors on -- silently produced gloria=None/credo=None on the one
  most doctrinally unambiguous day in the calendar until traced and
  fixed, guarded in turn against "Missae defunctorum" (an unrelated
  Requiem-prohibition notice appearing at the end of many day-blocks).
- The Vespers boundary (bounding the primary Mass option before a
  second "Vel Missa" alternative or before Vespers information) missed
  the ligature spelling "VESPERÆ", the dominant form in this source,
  letting a whole day's trailing prose leak into the captured [praef]
  field on the task brief's own worked example day (19 September).

A distinct second stop-marker bug: the malformed trailing entry this
source shares structurally with the LMS PDFs (a stray, mislabelled
duplicate of 1 January) was initially over-matched by a generic
"first token is 4 digits" heuristic, which false-positived on an
indulgence-decree date citation wrapped mid-sentence in October
("...20 augusti / 1885, 26 augusti 1886..."), truncating the extraction
to 308 of 400 real days. Fixed by anchoring on the tail entry's own
distinctive "1st Jan" opening instead.

Five opposite-prediction Creed probes are re-verified by the tool
itself against its own extracted rows (a failed probe is a hard exit,
not a printed claim) before the fixture is written.

test/test_fiuv_ordo.ml compares the Creed against colitur across all
399 comparable days (Holy Saturday excluded, no Mass that day) --
CLEAN, zero unexplained divergences, a genuine second confirmation of
{!Rite_ef.Rubrics_ef.creed} independent of the LMS lineage. [praef],
[te_deum] and [class_] (including the FIUV ordo's own "III cl." vs
"III cl. (Priv.)" Cum Sanctissima convention, stated on its title
page) are captured into the fixture but deliberately not compared --
colitur has no Gloria/preface predicate yet, and its default
configuration models no Cum Sanctissima overlay to compare the class
convention against.

All 634 tests green (dune test), 635 with the exhaustive sweep and
make check. No lib/ file touched.

Claude-Session: https://claude.ai/code/session_017ZBxCCRM2ojnBupp3SBxV9

1 files changed, 26 insertions, 0 deletions

diff --git a/data/ef/expected-divergences-fiuv.sexp b/data/ef/expected-divergences-fiuv.sexp
new file mode 100644
index 0000000..5506e46
--- /dev/null
+++ b/data/ef/expected-divergences-fiuv.sexp
@@ -0,0 +1,26 @@
+; data/ef/expected-divergences-fiuv.sexp -- Witnesses task
+; (2026-08-22-colitur-celebrant-rubrics-phase1)'s cited allow-list for the
+; FIUV Ordo comparison (test/test_fiuv_ordo.ml), fixture window
+; 2025-11-27..2026-12-31.
+;
+; A SEPARATE file from data/ef/expected-divergences-lms.sexp (the LMS
+; allow-list, also third-party but England & Wales diocesan and single-
+; compiler across its three editions), data/ef/expected-divergences.sexp
+; (the lectio allow-list) and data/ef/expected-divergences-missalemeum.sexp
+; (the missalemeum/Divinum-Officium-lineage allow-list): the FIUV Ordo is
+; a FOURTH, independent lineage -- universal, not diocesan, compiled by a
+; different person (Joseph Shaw) than the LMS editions (Peter Day-Milne).
+;
+; [verdict] names which side this task's own primary-source research
+; backs, the SAME convention every other allow-list file in this project
+; uses: not always "colitur".
+;
+; Empty as of this task: the Creed comparison found no unexplained
+; divergence anywhere in the 400-day window (399 comparable days, Holy
+; Saturday excluded per test_creed_coverage -- see that test's own
+; citation). Kept as a file, not deleted, on the same footing as
+; expected-divergences-lms.sexp's own empty-but-live state after L1's
+; closure: the machinery that would explain a FUTURE divergence needs
+; somewhere to live, and an empty allow-list with a live "every entry
+; must be used" check is a real invariant worth keeping, not a
+; formality.