feat(of): post-2002 GRC amendment overlays, one file per decree

Adds data/of/amendments/*.sexp: 13 overlay files, one per decree,
carrying the General Roman Calendar's amendments since the 2002 typical
edition (docs/research/of/PROVENANCE-amendments.md's own 15-item
inventory, items 10-12 sharing one decree; items 2 and 3, though issued
the same day, carry different protocol numbers and are counted as two
decrees). 14 Add directives (Padre Pio, Juan Diego, Guadalupe, John
XXIII, John Paul II, Mary Mother of the Church, Paul VI, Loreto,
Faustina Kowalska, Gregory of Narek, John of Avila, Hildegard of Bingen,
Teresa of Calcutta, John Henry Newman) and 2 Edit directives (Mary
Magdalene's rank memoria->festum; Martha/Mary/Lazarus's name widened,
same slug, same date and rank -- a continuation of the existing
memorial per the decree's own text, not a suppression and replacement).

Mary, Mother of the Church is the one movable entry (Easter_offset 50,
the Monday after Pentecost) -- verified against the decree's own text
and against Colitur_kernel.Computus.gregorian_easter in three real
years, no kernel change needed.

data/of/calendar-2002.sexp is untouched, per spec sec4.1.

Adds test/test_amendments_of.ml: every file parses, each has a pinned
SHA-256, applying all 13 in decree order yields 222 entries (208 base +
14 Add) with an empty Overlay.merge diagnostics list, and Mary Mother of
the Church resolves to the Monday after Pentecost in three real years.

Two Precedence_of interactions are recorded, not fixed (out of scope for
a data-only task): a movable Memoria_obligatoria can land on an existing
fixed one (verified for 13 June 2011), a genuine band tie Normae n. 14
does not address and Precedence_of.ml does not implement; and adding
Hildegard of Bingen changes which of two ad-libitum memorials on 17
September Precedence.resolve reports as observed, by alphabetical
tie-break alone.

1 files changed, 50 insertions, 0 deletions

diff --git a/data/of/amendments/004-john-xxiii-john-paul-ii.sexp b/data/of/amendments/004-john-xxiii-john-paul-ii.sexp
new file mode 100644
index 0000000..2760313
--- /dev/null
+++ b/data/of/amendments/004-john-xxiii-john-paul-ii.sexp
@@ -0,0 +1,50 @@
+; data/of/amendments/004-john-xxiii-john-paul-ii.sexp -- ADDS St John XXIII
+; and St John Paul II to the General Roman Calendar (one decree, two
+; entries).
+;
+; Decree: 29 May 2014, Prot. N. 309/14. Signed Antonio Card. Canizares
+; Llovera (Praefectus) + Arthur Roche (Archiepiscopus a Secretis).
+; Following the joint canonization of 27 April 2014.
+;
+; Published: NOT FOUND IN AAS -- checked exhaustively (yearly indices
+; 2014-2024, and the four individual monthly AAS issues June-Sept 2014,
+; all read directly with no hit; docs/research/of/PROVENANCE-amendments.md
+; item 4 names this the weakest-sourced entry in the whole inventory).
+; Rests on the Vatican decree webpage alone:
+; http://www.vatican.va/roman_curia/congregations/ccdds/documents/rc_con_ccdds_doc_20140529_decreto-calendario-generale-gxxiii-gpii_en.html
+; -- re-fetched directly for this task (2026-08-26), which confirms the
+; operative sentence: "the Supreme Pontiff Francis... has decreed that
+; the celebrations of Pope Saint John XXIII and Pope Saint John Paul II
+; should be inserted into the General Roman Calendar, to be observed
+; annually with the rank of Optional Memorial, the first on 11 October,
+; the second on 22 October."
+;
+; What it does: two new memoria ad libitum entries, 11 October (John
+; XXIII) and 22 October (John Paul II).
+;
+; `en`/`la`/slug/rank/colour/subject all reused from lectio's own
+; roman-calendar.ini ([john-xxiii-pope] date 10-11, [john-paul-ii-pope]
+; date 10-22, both rank optional, class saint, colour white) -- an
+; engineering-key/cross-check reuse only, per calendar-2002.sexp's own
+; header discipline.
+((id of-amend-04-john-xxiii-john-paul-ii)
+  (directives
+    ((Add
+       ((date (Fixed (month 10) (day 11)))
+         (cel
+           ((slug john-xxiii-pope)
+             (names
+               ((en "Saint John XXIII, pope")
+                (la "S. Ioannis XXIII, papae")))
+             (rank Memoria_ad_libitum) (status Feast) (colour White)
+             (subject Saint) (citations ()) (layer of-universal)))))
+     (Add
+       ((date (Fixed (month 10) (day 22)))
+         (cel
+           ((slug john-paul-ii-pope)
+             (names
+               ((en "Saint John Paul II, pope")
+                (la "S. Ioannis Pauli II, papae")))
+             (rank Memoria_ad_libitum) (status Feast) (colour White)
+             (subject Saint) (citations ()) (layer of-universal)))))
+     )))