feat: naming, localisation and the rebuilt printed output

colitur computed the calendar correctly and could not say what it had
computed. A printed ordo read ef-septuagesima-sunday-2 where a reader
expects Dominica in Sexagesima, and the wall calendar showed slugs in
every cell.

  lib/naming    a language table and a config file, both pure and total,
                parsing the INI reader Overlay_ini already had
  lang/         la.ini and en.ini -- 725 names, every one transcribed
                from the 1962 Missal and citing the line it came from
  templates     the ordo rebuilt as an A5 booklet: one week per page, a
                table of contents, framed days, a colour swatch; the wall
                calendar now fills its sheet instead of a quarter of it
  tools         check_citations.py verifies all 400 citations resolve,
                with 33 self-tests of its own

Names resolve through lang -> declared fallback -> the slug, so a partial
translation is usable from its first line and the fully degraded case is
the old output rather than a blank page.

colitur day and colitur readings are BYTE-IDENTICAL to before, verified
against main rather than asserted; --lang, --raw and the lang/config
subcommands are still to come, and man/colitur-templates.5 still
documents the pre-naming view, so writing a custom template needs the
source until that lands.

1 files changed, 91 insertions, 1 deletions

diff --git a/test/test_view.ml b/test/test_view.ml
index e595357..b49b090 100644
--- a/test/test_view.ml
+++ b/test/test_view.ml
@@ -24,8 +24,29 @@ let days_of_year y =
   done;
   List.rev !out
 
+(* Shared across this file and test_emit.ml: the ENGLISH table, chained to
+   Latin (en.ini's own [meta] fallback = la), so a slug en.ini does not name
+   directly still resolves through the chain rather than degrading to its
+   slug. English (not Latin, and not Lang.raw) is deliberate: it keeps the
+   emitter tests' own literal expectations -- "St. Joseph, Spouse of the Bl.
+   Virgin Mary" (a comma, for CSV quoting), "Sts. Fabian & Sebastian" (an
+   ampersand, for XML escaping) -- byte-identical to lang/en.ini's own
+   [celebration] entries, verified by grep against the shipped file rather
+   than assumed. *)
+let read_lang path =
+  let ic = open_in_bin path in
+  let s = really_input_string ic (in_channel_length ic) in
+  close_in ic;
+  match Colitur_naming.Lang.of_string s with
+  | Ok t -> t
+  | Error e -> Alcotest.failf "%s: %s" path e
+
+let default_lang =
+  lazy (Colitur_naming.Lang.with_fallback (read_lang "../lang/en.ini") (read_lang "../lang/la.ini"))
+
 let view_of y =
-  V.of_days ~vocab:Rite_ef.Vocab_ef.vocab ~rite:"ef" ~year:y (days_of_year y)
+  V.of_days ~lang:(Lazy.force default_lang) ~vocab:Rite_ef.Vocab_ef.vocab ~rite:"ef" ~year:y
+    (days_of_year y)
 
 let get path v =
   let rec go v = function
@@ -110,10 +131,79 @@ let test_exactly_one_colour_flag () =
       if n <> 1 then Alcotest.failf "%s has %d colour flags set" (as_str (get [ "iso" ] d)) n)
     (as_list (get [ "days" ] v))
 
+(* Padding cells and real days must carry the SAME key set: a template that
+   walks a grid row must never hit a missing key on a padding cell. Compares
+   the sorted key lists of a real day and a padding cell (the first cell of
+   January 2027's first week -- 1 Jan 2027 is a Friday, so that cell IS a
+   padding cell, see test_padding_cells_are_flagged above). *)
+let keys_of = function
+  | T.Obj kvs -> List.sort compare (List.map fst kvs)
+  | _ -> Alcotest.fail "expected an object"
+
+let test_padding_and_real_share_key_set () =
+  let v = view_of 2027 in
+  let jan = List.hd (as_list (get [ "months" ] v)) in
+  let first_week = List.hd (as_list (get [ "weeks" ] jan)) in
+  let cells = as_list (get [ "days" ] first_week) in
+  let padding = List.find (fun c -> not (as_bool (get [ "in_month" ] c))) cells in
+  let real = List.find (fun c -> as_bool (get [ "in_month" ] c)) cells in
+  Alcotest.(check (list string)) "padding and real days have the same key set" (keys_of real)
+    (keys_of padding)
+
+let latin () =
+  let ic = open_in_bin "../lang/la.ini" in
+  let s = really_input_string ic (in_channel_length ic) in
+  close_in ic;
+  match Colitur_naming.Lang.of_string s with
+  | Ok t -> t | Error e -> Alcotest.failf "la.ini: %s" e
+
+let view_named y = V.of_days ~lang:(latin ()) ~vocab:Rite_ef.Vocab_ef.vocab ~rite:"ef" ~year:y (days_of_year y)
+
+(* The defect this whole branch exists to fix: no rendered day may show a slug
+   where a name exists. Asserted over a whole year, not a sample. *)
+let test_no_day_shows_a_slug () =
+  let v = view_named 2027 in
+  List.iter
+    (fun d ->
+      let name = as_str (get [ "name" ] d) and slug = as_str (get [ "slug" ] d) in
+      if name = slug then Alcotest.failf "%s renders its slug as its name" (as_str (get [ "iso" ] d));
+      if name = "" then Alcotest.failf "%s has an empty name" (as_str (get [ "iso" ] d)))
+    (as_list (get [ "days" ] v))
+
+let test_slug_is_unchanged_by_naming () =
+  let raw = V.of_days ~lang:Colitur_naming.Lang.raw ~vocab:Rite_ef.Vocab_ef.vocab ~rite:"ef" ~year:2027 (days_of_year 2027) in
+  let named = view_named 2027 in
+  List.iter2
+    (fun a b -> Alcotest.(check string) "slug identical" (as_str (get [ "slug" ] a)) (as_str (get [ "slug" ] b)))
+    (as_list (get [ "days" ] raw)) (as_list (get [ "days" ] named))
+
+(* Under --raw the name IS the slug: that is what makes raw output byte-stable. *)
+let test_raw_name_equals_slug () =
+  let raw = V.of_days ~lang:Colitur_naming.Lang.raw ~vocab:Rite_ef.Vocab_ef.vocab ~rite:"ef" ~year:2027 (days_of_year 2027) in
+  List.iter
+    (fun d -> Alcotest.(check string) "raw" (as_str (get [ "slug" ] d)) (as_str (get [ "name" ] d)))
+    (as_list (get [ "days" ] raw))
+
+(* Weekday, month, season, rank and colour must localise too -- a calendar in a
+   language needs more than feast names. *)
+let test_vocabularies_localise () =
+  let v = view_named 2027 in
+  let jan = List.hd (as_list (get [ "months" ] v)) in
+  Alcotest.(check string) "month name" "Ianuarius" (as_str (get [ "name" ] jan));
+  let d1 = List.hd (as_list (get [ "days" ] v)) in
+  Alcotest.(check string) "weekday" "Feria VI" (as_str (get [ "weekday" ] d1));
+  Alcotest.(check string) "rank" "I classis" (as_str (get [ "rank_name" ] d1));
+  Alcotest.(check string) "colour" "albus" (as_str (get [ "colour_name" ] d1))
+
 let suite =
   ( "View",
     [ Alcotest.test_case "year shape" `Quick test_year_shape;
       Alcotest.test_case "weeks flatten to days" `Quick test_weeks_flatten_to_days;
       Alcotest.test_case "padding cells flagged" `Quick test_padding_cells_are_flagged;
+      Alcotest.test_case "padding and real days share key set" `Quick test_padding_and_real_share_key_set;
+      Alcotest.test_case "no day shows a slug" `Quick test_no_day_shows_a_slug;
+      Alcotest.test_case "slug unchanged by naming" `Quick test_slug_is_unchanged_by_naming;
+      Alcotest.test_case "raw name equals slug" `Quick test_raw_name_equals_slug;
+      Alcotest.test_case "vocabularies localise" `Quick test_vocabularies_localise;
       Alcotest.test_case "day fields" `Quick test_day_fields;
       Alcotest.test_case "exactly one colour flag" `Quick test_exactly_one_colour_flag ] )