From 6f5814ccdbc839b75c3e6de95a8ba9a755bc6ece Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Fri, 14 Aug 2026 17:05:51 +0200 Subject: data(ef): bootstrap the temporal lectionary from lectio 119 entries, Epistle + Gospel only. The generator refuses a section carrying exactly one of the two: an Epistle without a Gospel is malformed and wants investigating, not shipping. SHA-256 of the source INI is in the provenance header, as with sanctoral.sexp. --- data/ef/lectionary.sexp | 366 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 366 insertions(+) create mode 100644 data/ef/lectionary.sexp (limited to 'data/ef') diff --git a/data/ef/lectionary.sexp b/data/ef/lectionary.sexp new file mode 100644 index 0000000..24f3cf5 --- /dev/null +++ b/data/ef/lectionary.sexp @@ -0,0 +1,366 @@ +; data/ef/lectionary.sexp -- EF (1962) temporal lectionary (Epistle + +; Gospel citations, never scripture text), bootstrapped from lectio. +; Generator: tools/bootstrap_lectionary.ml -- do not hand-edit; re-run the +; generator against a newer lectio and commit the diff instead. +; +; Source: ../lectio/internal/caldata/tridentine-lectionary.ini +; SHA-256: fde533289fb620fea33386b0a3e733ada3c1d01f10a36d8a7f5a2b500c92740e +; 119 entries. Regenerate with: +; eval $(opam env) && dune exec tools/bootstrap_lectionary.exe -- ../lectio/internal/caldata/tridentine-lectionary.ini data/ef/lectionary.sexp +((ef-advent-2-monday + (((part First) (reference "Rom 15:4-13")) + ((part Gospel) (reference "Matt 11:2-10")))) + (ef-advent-2-saturday + (((part First) (reference "Rom 15:4-13")) + ((part Gospel) (reference "Matt 11:2-10")))) + (ef-advent-2-thursday + (((part First) (reference "Rom 15:4-13")) + ((part Gospel) (reference "Matt 11:2-10")))) + (ef-advent-2-tuesday + (((part First) (reference "Rom 15:4-13")) + ((part Gospel) (reference "Matt 11:2-10")))) + (ef-advent-ember-fri + (((part First) (reference "Isa 11:1-5")) + ((part Gospel) (reference "Luke 1:39-47")))) + (ef-advent-ember-sat + (((part First) (reference "Eph 2:19-22")) + ((part Gospel) (reference "John 20:24-29")))) + (ef-advent-ember-wed + (((part First) (reference "Isa 7:10-15")) + ((part Gospel) (reference "Luke 1:26-38")))) + (ef-advent-sunday-1 + (((part First) (reference "Rom 13:11-14")) + ((part Gospel) (reference "Luke 21:25-33")))) + (ef-advent-sunday-2 + (((part First) (reference "Rom 15:4-13")) + ((part Gospel) (reference "Matt 11:2-10")))) + (ef-advent-sunday-3 + (((part First) (reference "Phil 4:4-7")) + ((part Gospel) (reference "John 1:19-28")))) + (ef-advent-sunday-4 + (((part First) (reference "1 Cor. 4:1-5")) + ((part Gospel) (reference "Luke 3:1-6")))) + (ef-ascension + (((part First) (reference "Acts 1:1-11")) + ((part Gospel) (reference "Mark 16:14-20")))) + (ef-ascension-vigil + (((part First) (reference "Eph. 4:7-13.")) + ((part Gospel) (reference "John 17:1-11.")))) + (ef-ash-wednesday + (((part First) (reference "Joel 2:12-19")) + ((part Gospel) (reference "Matt 6:16-21")))) + (ef-christ-the-king + (((part First) (reference "Col 1:12-20.")) + ((part Gospel) (reference "John 18:33-37")))) + (ef-christmas-sunday-0 + (((part First) (reference "Gal 4:1-7")) + ((part Gospel) (reference "Luke 2:33-40")))) + (ef-circumcision + (((part First) (reference "Titus 2:11-15")) + ((part Gospel) (reference "Luke 2:21")))) + (ef-easter-1-friday + (((part First) (reference "1 Pet 3:18-22")) + ((part Gospel) (reference "Matt 28:16-20")))) + (ef-easter-1-monday + (((part First) (reference "Acts 10:37-43.")) + ((part Gospel) (reference "Luke 24:13-35")))) + (ef-easter-1-saturday + (((part First) (reference "1 Pet 2:1-10")) + ((part Gospel) (reference "John 20:1-9")))) + (ef-easter-1-thursday + (((part First) (reference "Acts 8:26-40")) + ((part Gospel) (reference "John 20:11-18")))) + (ef-easter-1-tuesday + (((part First) (reference "Acts 13:16; 13:26-33")) + ((part Gospel) (reference "Luke 24:36-47")))) + (ef-easter-1-wednesday + (((part First) (reference "Acts 3:13-15; 3:17-19")) + ((part Gospel) (reference "John 21:1-14")))) + (ef-easter-2-saturday + (((part First) (reference "Ecclus 24:14-16")) + ((part Gospel) (reference "John 19:25-27")))) + (ef-easter-3-saturday + (((part First) (reference "Ecclus 24:14-16")) + ((part Gospel) (reference "John 19:25-27")))) + (ef-easter-5-saturday + (((part First) (reference "Ecclus 24:14-16")) + ((part Gospel) (reference "John 19:25-27")))) + (ef-easter-6-saturday + (((part First) (reference "Ecclus 24:14-16")) + ((part Gospel) (reference "John 19:25-27")))) + (ef-easter-8-friday + (((part First) (reference "Joel 2:23-24; 26-27")) + ((part Gospel) (reference "Luke 5:17-26")))) + (ef-easter-8-monday + (((part First) (reference "Acts 10:34, 42-48")) + ((part Gospel) (reference "John 3:16-21")))) + (ef-easter-8-saturday + (((part First) (reference "Rom 5:1-5.")) + ((part Gospel) (reference "Luke 4:38-44.")))) + (ef-easter-8-thursday + (((part First) (reference "Acts 8:5-8")) + ((part Gospel) (reference "Luke 9:1-6")))) + (ef-easter-8-tuesday + (((part First) (reference "Acts 8:14-17.")) + ((part Gospel) (reference "John 10:1-10.")))) + (ef-easter-8-wednesday + (((part First) (reference "Acts 5:12-16")) + ((part Gospel) (reference "John 6:44-52.")))) + (ef-easter-sunday + (((part First) (reference "1 Cor 5:7-8")) + ((part Gospel) (reference "Mark 16:1-7")))) + (ef-easter-sunday-3 + (((part First) (reference "1 Pet 2:21-25")) + ((part Gospel) (reference "John 10:11-16")))) + (ef-easter-sunday-4 + (((part First) (reference "1 Pet 2:11-19")) + ((part Gospel) (reference "John 16:16-22")))) + (ef-easter-sunday-5 + (((part First) (reference "Jas 1:17-21")) + ((part Gospel) (reference "John 16:5-14")))) + (ef-easter-sunday-6 + (((part First) (reference "Jas 1:22-27")) + ((part Gospel) (reference "John 16:23-30")))) + (ef-easter-sunday-7 + (((part First) (reference "1 Pet 4:7-11.")) + ((part Gospel) (reference "John 15:26-27; 16:1-4.")))) + (ef-epiphany + (((part First) (reference "Isa 60:1-6")) + ((part Gospel) (reference "Matt 2:1-12")))) + (ef-lent-1-friday + (((part First) (reference "Ezech 18:20-28")) + ((part Gospel) (reference "John 5:1-15")))) + (ef-lent-1-monday + (((part First) (reference "Ezech 34:11-16")) + ((part Gospel) (reference "Matt 25:31-46")))) + (ef-lent-1-saturday + (((part First) (reference "1 Thess. 5:14-23")) + ((part Gospel) (reference "Matt 17:1-9")))) + (ef-lent-1-thursday + (((part First) (reference "Ezech 18:1-9")) + ((part Gospel) (reference "Matt 15:21-28")))) + (ef-lent-1-tuesday + (((part First) (reference "Isa 55:6-11")) + ((part Gospel) (reference "Matt 21:10-17")))) + (ef-lent-1-wednesday + (((part First) (reference "3 Kgs. 19:3-8")) + ((part Gospel) (reference "Matt 12:38-50")))) + (ef-lent-2-friday + (((part First) (reference "Gen 37:6-22")) + ((part Gospel) (reference "Matt 21:33-46")))) + (ef-lent-2-monday + (((part First) (reference "Dan 9:15-19")) + ((part Gospel) (reference "John 8:21-29")))) + (ef-lent-2-saturday + (((part First) (reference "Gen 27:6-40")) + ((part Gospel) (reference "Luke 15:11-32")))) + (ef-lent-2-thursday + (((part First) (reference "Jer 17:5-10")) + ((part Gospel) (reference "Luke 16:19-31")))) + (ef-lent-2-tuesday + (((part First) (reference "3 Kings 17:8-16")) + ((part Gospel) (reference "Matt 23:1-12")))) + (ef-lent-2-wednesday + (((part First) (reference "Esther 13:8-11; 15-17.")) + ((part Gospel) (reference "Matt 20:17-28")))) + (ef-lent-3-friday + (((part First) (reference "Num 20:1, 3; 6-13.")) + ((part Gospel) (reference "John 4:5-42")))) + (ef-lent-3-monday + (((part First) (reference "4 Kings 5:1-15")) + ((part Gospel) (reference "Luke 4:23-30")))) + (ef-lent-3-saturday + (((part First) (reference "Dan 13:1-9, 15-17, 19-30, 33-62.")) + ((part Gospel) (reference "John 8:1-11")))) + (ef-lent-3-thursday + (((part First) (reference "Jer 7:1-7")) + ((part Gospel) (reference "Luke 4:38-44.")))) + (ef-lent-3-tuesday + (((part First) (reference "4 Kings 4:1-7")) + ((part Gospel) (reference "Matt 18:15-22")))) + (ef-lent-3-wednesday + (((part First) (reference "Ex 20:12-24")) + ((part Gospel) (reference "Matt 15:1-20")))) + (ef-lent-4-friday + (((part First) (reference "3 Kings 17:17-24")) + ((part Gospel) (reference "John 11:1-45")))) + (ef-lent-4-monday + (((part First) (reference "3 Kings 3:16-28")) + ((part Gospel) (reference "John 2:13-25")))) + (ef-lent-4-saturday + (((part First) (reference "Isa 49:8-15")) + ((part Gospel) (reference "John 8:12-20")))) + (ef-lent-4-thursday + (((part First) (reference "4 Kings 4:25-38")) + ((part Gospel) (reference "Luke 7:11-16")))) + (ef-lent-4-tuesday + (((part First) (reference "Ex 32:7-14")) + ((part Gospel) (reference "John 7:14-31")))) + (ef-lent-4-wednesday + (((part First) (reference "Isa. 1:16-19")) + ((part Gospel) (reference "John 9:1-38")))) + (ef-lent-after-ashes-friday + (((part First) (reference "Isa 58:1-9")) + ((part Gospel) (reference "Matt 5:43-48; 6:1-4")))) + (ef-lent-after-ashes-saturday + (((part First) (reference "Isa 58:9-14")) + ((part Gospel) (reference "Mark 6:47-56")))) + (ef-lent-after-ashes-thursday + (((part First) (reference "Isa 38:1-6")) + ((part Gospel) (reference "Matt 8:5-13")))) + (ef-lent-sunday-1 + (((part First) (reference "2 Cor. 6:1-10")) + ((part Gospel) (reference "Matt 4:1-11")))) + (ef-lent-sunday-2 + (((part First) (reference "1 Thess. 4:1-7")) + ((part Gospel) (reference "Matt 17:1-9")))) + (ef-lent-sunday-3 + (((part First) (reference "Eph 5:1-9")) + ((part Gospel) (reference "Luke 11:14-28")))) + (ef-lent-sunday-4 + (((part First) (reference "Gal 4:22-31")) + ((part Gospel) (reference "John 6:1-15")))) + (ef-low-sunday + (((part First) (reference "1 John 5:4-10")) + ((part Gospel) (reference "John 20:19-31")))) + (ef-nativity + (((part First) (reference "Heb 1:1-12")) + ((part Gospel) (reference "John 1:1-14")))) + (ef-palm-sunday + (((part First) (reference "Phil 2:5-11")) + ((part Gospel) (reference "Matt. 26:36-75; 27:1-60.")))) + (ef-passion-sunday + (((part First) (reference "Heb 9:11-15.")) + ((part Gospel) (reference "John 8:46-59.")))) + (ef-passiontide-0-friday + (((part First) (reference "Jer 17:13-18")) + ((part Gospel) (reference "John 11:47-54")))) + (ef-passiontide-0-monday + (((part First) (reference "Jonas 3:1-10")) + ((part Gospel) (reference "John 7:32-39")))) + (ef-passiontide-0-saturday + (((part First) (reference "Jer 18:18-23")) + ((part Gospel) (reference "John 12:10-36")))) + (ef-passiontide-0-thursday + (((part First) (reference "Dan 3:25, 34-45.")) + ((part Gospel) (reference "Luke 7:36-50")))) + (ef-passiontide-0-tuesday + (((part First) (reference "Jer 11:18-20")) + ((part Gospel) (reference "Mark 14:32-72; 15, 1-46")))) + (ef-passiontide-0-wednesday + (((part First) (reference "Lev 19:1-2, 11-19, 25")) + ((part Gospel) (reference "John 10:22-38")))) + (ef-pentecost + (((part First) (reference "Acts 2:1-11.")) + ((part Gospel) (reference "John 14:23-31.")))) + (ef-pentecost-vigil + (((part First) (reference "Acts 19:1-8.")) + ((part Gospel) (reference "John 14:15-21.")))) + (ef-september-ember-fri + (((part First) (reference "Osee 14:2-10")) + ((part Gospel) (reference "Luke 7:36-50")))) + (ef-september-ember-sat + (((part First) (reference "Ezek 1:10-14")) + ((part Gospel) (reference "Matt 9:9-13")))) + (ef-september-ember-wed + (((part First) (reference "2 Esd. 8:1-10")) + ((part Gospel) (reference "Mark 9:16-28")))) + (ef-septuagesima-sunday-1 + (((part First) (reference "1 Cor. 9:24-27; 10:1-5")) + ((part Gospel) (reference "Matt 20:1-16")))) + (ef-septuagesima-sunday-2 + (((part First) (reference "2 Cor. 11:19-33; 12:1-9")) + ((part Gospel) (reference "Luke 8:4-15")))) + (ef-septuagesima-sunday-3 + (((part First) (reference "1 Cor. 13:1-13")) + ((part Gospel) (reference "Luke 18:31-43")))) + (ef-time-after-epiphany-sunday-1 + (((part First) (reference "Col 3:12-17")) + ((part Gospel) (reference "Luke 2:42-52")))) + (ef-time-after-epiphany-sunday-2 + (((part First) (reference "Rom 12:6-16")) + ((part Gospel) (reference "John 2:1-11")))) + (ef-time-after-epiphany-sunday-3 + (((part First) (reference "Rom 12:16-21")) + ((part Gospel) (reference "Matt 8:1-13")))) + (ef-time-after-epiphany-sunday-4 + (((part First) (reference "Rom 13:8-10")) + ((part Gospel) (reference "Matt 8:23-27")))) + (ef-time-after-epiphany-sunday-5 + (((part First) (reference "Col 3:12-17")) + ((part Gospel) (reference "Matt 13:24-30")))) + (ef-time-after-epiphany-sunday-6 + (((part First) (reference "1 Thess 1:2-10")) + ((part Gospel) (reference "Matt 13:31-35")))) + (ef-time-after-pentecost-sunday-10 + (((part First) (reference "1 Cor. 12:2-11")) + ((part Gospel) (reference "Luke 18:9-14")))) + (ef-time-after-pentecost-sunday-11 + (((part First) (reference "1 Cor. 15:1-10")) + ((part Gospel) (reference "Mark 7:31-37")))) + (ef-time-after-pentecost-sunday-12 + (((part First) (reference "2 Cor. 3:4-9")) + ((part Gospel) (reference "Luke 10:23-37")))) + (ef-time-after-pentecost-sunday-13 + (((part First) (reference "Gal 3:16-22")) + ((part Gospel) (reference "Luke 17:11-19")))) + (ef-time-after-pentecost-sunday-14 + (((part First) (reference "Gal 5:16-24")) + ((part Gospel) (reference "Matt 6:24-33")))) + (ef-time-after-pentecost-sunday-15 + (((part First) (reference "Gal 5:25-26; 6:1-10")) + ((part Gospel) (reference "Luke 7:11-16")))) + (ef-time-after-pentecost-sunday-16 + (((part First) (reference "Eph 3:13-21")) + ((part Gospel) (reference "Luke 14:1-11")))) + (ef-time-after-pentecost-sunday-17 + (((part First) (reference "Eph 4:1-6")) + ((part Gospel) (reference "Matt 22:34-46")))) + (ef-time-after-pentecost-sunday-18 + (((part First) (reference "1 Cor. 1:4-8")) + ((part Gospel) (reference "Matt 9:1-8")))) + (ef-time-after-pentecost-sunday-19 + (((part First) (reference "Eph 4:23-28")) + ((part Gospel) (reference "Matt 22:1-14")))) + (ef-time-after-pentecost-sunday-2 + (((part First) (reference "1 John 3:13-18.")) + ((part Gospel) (reference "Luke 14:16-24.")))) + (ef-time-after-pentecost-sunday-20 + (((part First) (reference "Eph 5:15-21")) + ((part Gospel) (reference "John 4:46-53")))) + (ef-time-after-pentecost-sunday-21 + (((part First) (reference "Eph 6:10-17")) + ((part Gospel) (reference "Matt 18:23-35")))) + (ef-time-after-pentecost-sunday-22 + (((part First) (reference "Phil 1:6-11")) + ((part Gospel) (reference "Matt 22:15-21")))) + (ef-time-after-pentecost-sunday-23 + (((part First) (reference "Phil 3:17-21; 4:1-3")) + ((part Gospel) (reference "Matt 9:18-26")))) + (ef-time-after-pentecost-sunday-24 + (((part First) (reference "Col 1:9-14")) + ((part Gospel) (reference "Matt 24:15-35")))) + (ef-time-after-pentecost-sunday-3 + (((part First) (reference "1 Pet. 5:6-11")) + ((part Gospel) (reference "Luke 15:1-10")))) + (ef-time-after-pentecost-sunday-4 + (((part First) (reference "Rom 8:18-23")) + ((part Gospel) (reference "Luke 5:1-11")))) + (ef-time-after-pentecost-sunday-5 + (((part First) (reference "1 Pet 3:8-15.")) + ((part Gospel) (reference "Matt 5:20-24.")))) + (ef-time-after-pentecost-sunday-6 + (((part First) (reference "Rom 6:3-11.")) + ((part Gospel) (reference "Mark 8:1-9")))) + (ef-time-after-pentecost-sunday-7 + (((part First) (reference "Rom 6:19-23")) + ((part Gospel) (reference "Matt 7:15-21")))) + (ef-time-after-pentecost-sunday-8 + (((part First) (reference "Rom 8:12-17")) + ((part Gospel) (reference "Luke 16:1-9")))) + (ef-time-after-pentecost-sunday-9 + (((part First) (reference "1 Cor. 10:6-13")) + ((part Gospel) (reference "Luke 19:41-47")))) + (ef-trinity + (((part First) (reference "Rom 11:33-36.")) + ((part Gospel) (reference "Matt 28:18-20"))))) -- cgit v1.3