From 124d7e2261c721c4a49f7203efc276088c7cb217 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Sat, 15 Aug 2026 00:16:35 +0200 Subject: kernel+ef: resolve readings, chain steps 1 and 2 Liturgical_day.citations has read "always empty until Plan 4" since Plan 3; it is now filled. Rite.t gains a readings function, rite-supplied for the same reason transfer_target is: what a day with no proper falls back to is a rubric, not a universal. Calendar calls it and passes its own temporal function as the callback the rite needs to reach another date. Steps 1 and 2 only: the observed celebration's own proper, else the day's own temporal slug. Nothing encodes "Lent has daily propers" -- the presence of an entry is the discriminator. --- lib/rites/rite_ef/lectionary_ef.ml | 40 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 lib/rites/rite_ef/lectionary_ef.ml (limited to 'lib/rites/rite_ef/lectionary_ef.ml') diff --git a/lib/rites/rite_ef/lectionary_ef.ml b/lib/rites/rite_ef/lectionary_ef.ml new file mode 100644 index 0000000..f9ce9ab --- /dev/null +++ b/lib/rites/rite_ef/lectionary_ef.ml @@ -0,0 +1,40 @@ +open Colitur_kernel + +(* [data/ef/lectionary.sexp] is located relative to the BUILD TREE, not the + process's own cwd -- the same reasoning bin/main.ml's own [data_dir] + documents at length: cwd varies with how the binary that eventually links + this library is invoked (a user's shell for `dune exec colitur --`, a + dune cram test's own sandboxed temp directory, `_build/default/test/` for + `dune test`), and nothing in this project's build pins it to the + repository root. [Sys.executable_name] resolves through /proc/self/exe on + Linux, so it reports the executable's own canonical absolute path even + when launched through a symlink (dune's cram sandbox places exactly one; + confirmed working there already by bin/main.ml). Every executable that + links this library -- bin/main.exe, test/test_colitur.exe, + tools/*.exe -- sits exactly one directory below _build/default/, so + climbing up twice and back down into data/ef always finds the file, + regardless of the caller's own cwd. *) +let data_path () = + Filename.dirname (Filename.dirname Sys.executable_name) ^ "/data/ef/lectionary.sexp" + +(* Loaded once, at module initialisation: the data is year-independent and + build_day is called 3 074 246 times over the full domain. *) +let lectionary = + match Lectionary.load (data_path ()) with + | Ok l -> l + | Error e -> failwith ("lectionary_ef: " ^ e) + +(* Step 1: the observed celebration's own proper. + Step 2: the day's own temporal slug. + + Nothing here encodes "Lent has daily propers": the presence of an entry is + the discriminator. Verified against lectio -- Lent 1 Monday returns its own + Ezech 34:11-16, while Advent, Christmas and post-Pentecost Mondays return + their Sunday's Mass. *) +let readings ~observed ~temporal ~date:_ ~temporal_at:_ = + match observed.Celebration.citations with + | _ :: _ as cs -> cs + | [] -> ( + match Lectionary.find lectionary temporal.Temporal.office.Celebration.slug with + | Some cs -> cs + | None -> []) -- cgit v1.3