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, 49 insertions, 0 deletions

diff --git a/lib/naming/config.mli b/lib/naming/config.mli
new file mode 100644
index 0000000..a84f95b
--- /dev/null
+++ b/lib/naming/config.mli
@@ -0,0 +1,49 @@
+(** The config file: what the user wants by default, and where each value came
+    from.
+
+    Owns precedence and provenance and nothing else. Never reads the filesystem
+    -- callers hand it text -- so it is as testable as the language table.
+
+    A config file is OPTIONAL. With none, colitur behaves exactly as it does
+    without this feature, except that names resolve through the default
+    language. *)
+
+type t
+
+val empty : t
+val of_string : string -> (t, string) result
+
+(** [lang], [template] and [format] are each set from a single field. A
+    repeated key is LAST-WINS -- the opposite direction from
+    {!Colitur_kernel.Overlay_ini.get}'s first-wins over the same [section]
+    type -- because the natural reading of a config file a user edited by
+    hand and appended to is "the bottom line is the one that took effect".
+    This holds whether the repeat is within one [\[defaults\]] block or
+    across two of them: every section named [defaults] is merged, not only
+    the first, the same duplicate-section policy {!Lang.of_string} documents
+    for its own sections -- the two modules read the same underlying format
+    and must not disagree about what a repeated header means. *)
+val lang : t -> string option
+
+val overlays : t -> string list
+val template : t -> string option
+val format : t -> string option
+
+(** Keys present in the [\[defaults\]] section that this build does not
+    understand. Reported, never fatal: a config written for a newer colitur
+    must still work on an older one, but silently ignoring a line the user
+    wrote is how a typo becomes invisible. *)
+val unknown_keys : t -> string list
+
+(** Section names other than [\[defaults\]], reported separately from
+    {!unknown_keys} so the CLI can word the two warnings differently (a
+    misspelled section, e.g. [\[deafults\]], versus a misspelled key inside a
+    recognised one). Also never fatal, and never silent: a section this build
+    does not recognise is exactly the highest-value typo this feature exists
+    to catch, because it silently discards the whole section -- [lang] and
+    everything else in it -- with no other way for the user to notice. *)
+val unknown_sections : t -> string list
+
+(** [resolve ~flag ~config ~default] returns [(value, source)] with source one of
+    ["flag"], ["config"], ["default"]. Precedence is flag > config > default. *)
+val resolve : flag:string option -> config:string option -> default:string -> string * string