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, 3 deletions

diff --git a/lib/kernel/celebration.mli b/lib/kernel/celebration.mli
index a3c2960..85f7af4 100644
--- a/lib/kernel/celebration.mli
+++ b/lib/kernel/celebration.mli
@@ -1,7 +1,14 @@
 (** Whether this celebration can be the observed day at all. The 1960 reform
-    reduced many feasts to a bare commemoration; they retain a rank (RG 111
-    orders admitted commemorations by dignity) but can never be observed. NOT
-    a fifth rank: RG 8 fixes the classes at four. *)
+    reduced many feasts to a bare commemoration; they retain a rank but can
+    never be observed. NOT a fifth rank: RG 8 fixes the classes at four.
+
+    What the retained rank is FOR (corrected 2026-08-12): this line formerly
+    read "RG 111 orders admitted commemorations by dignity". Ordering is no
+    longer done by rank at all -- it moved to the rite's own table of
+    precedence (RG 113) in commit ea22ad2, and a bare commemoration has no
+    row in that table. The rank remains load-bearing for ADMISSION: RG 111(b)
+    reserves a II-class Sunday's single slot "de festo II classis", a floor
+    read off this rank directly. *)
 type status = Feast | Commemoration_only [@@deriving sexp]
 
 (** A celebration. Parameterised by the rite's rank type only. *)