Merge branch 'ef-rg16a': RG 16(a), RG 111(b), RG 113, and commemoration identity

Closes the largest known-wrong-output item on record (RG 16(a): a Feast
of the Lord occurring on a II-class Sunday leaves the Sunday
uncommemorated -- 5996 wrong days over 1583-9999) together with RG
111(b)'s rank floor on the day it holds, and gives the oracle layer the
ability to compare commemoration identity rather than only presence and
count.

Also corrects a methodological defect that had produced wrong rulings in
both this project and its sibling: docs/research/ holds an electronic
transcription alongside two photographic scans, and the transcription
silently drops commemoration lines -- seven across the year. Reasoning
from its silence had convicted the oracle wrongly on 14 August and
ruled a genuine 9 August commemoration spurious. The scans are the
primary source; the rule is now recorded at the top of the register.

RG 113 replaces an alphabetical same-rank tie-break that had no
rubrical warrant. A bare Commemoratio has no row in RG 91's table at
all, so band no longer hands one the entry of a III-class universal
feast: 4451 days, all four reordered pairs verified against a
photographic scan, zero observed-day changes.

1 files changed, 10 insertions, 0 deletions

diff --git a/test/test_differential.ml b/test/test_differential.ml
index a9bdb91..e12cd9a 100644
--- a/test/test_differential.ml
+++ b/test/test_differential.ml
@@ -450,6 +450,16 @@ let layer_c_reason (l : row) (c : row) diffs =
     && subset diffs [ Slug_f; Rank; Colour_f ]
   then Some "C10"
   else if String.equal c.slug "ef-passiontide-2-thursday" && diffs = [ Colour_f ] then Some "C11"
+  (* RG16(a) task, fix round 1 (CRITICAL finding): a C12 entry briefly lived
+     here, allow-listing 2 February on a Sunday against lectio, when
+     `data/ef/adjustments.sexp` retagged the Purification `Bvm`. REVERTED --
+     the user has ruled: follow the oracle (register §6.0 has the full
+     account). The Purification is `Lord` again, colitur observes it
+     outright on those six 2-February Sundays, matching lectio's own
+     `class = lord` exactly -- no divergence to allow-list. Left
+     unimplemented here deliberately, not merely absent by oversight: this
+     comment is the record that C12 existed and was removed, should a
+     future reader wonder why the numbering skips it. *)
   else None
 
 (* ---------------------------------------------------------------------- *)