; 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.