feat(citation): the Sigla facade, total by construction

format never raises and returns an unparseable citation unchanged, so a
gap degrades to today's behaviour rather than to a crash. The coverage
test asserts separately that no shipped citation takes that path.

verbatim is what --raw uses: an identity name table would still reformat
punctuation and renumber, which would break byte-exact diffing against
lectio.

The existing citation-coverage walk (1970-2070) now also drives a
round-trip check in the same pass: parse -> render -> parse must reach
the same structure, using Book.default_spelling for names (Book.to_string
returns the internal id, which is not a registered token and cannot be
read back). Proved with a mutation: changing the default style's
part_sep to a separator the parser does not accept reddened the
round-trip case on 31 multi-part citations and nothing else; reverted.

1 files changed, 30 insertions, 0 deletions

diff --git a/lib/citation/sigla.mli b/lib/citation/sigla.mli
new file mode 100644
index 0000000..d21877a
--- /dev/null
+++ b/lib/citation/sigla.mli
@@ -0,0 +1,30 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+
+(** The whole citation pipeline as one TOTAL function, so a call site needs
+    one value and one call rather than a parse/map/render dance.
+
+    {!format} never raises and never drops text: a citation that does not
+    parse is returned UNCHANGED. That combination is deliberate -- graceful
+    in production, while [test_citation_coverage.ml] asserts strictly that
+    no shipped citation actually takes that path. *)
+
+type t
+
+val make :
+  style:Render.style ->
+  tradition:Book.tradition ->
+  names:(Book.id -> [ `Full | `Abbr ] -> string) ->
+  t
+
+(** Returns every citation exactly as given. This is what [--raw] uses, the
+    same shape as {!Colitur_naming.Lang.raw}: raw output is one value passed
+    around, not a special case threaded through every call site.
+
+    [--raw] must NOT merely use an identity name table -- that would still
+    reformat punctuation and apply a tradition. Byte-exact output is what
+    makes [--raw] usable for diffing against lectio, and it also keeps the
+    raw view independent of the parser, so a parser bug cannot corrupt the
+    output used to diagnose it. *)
+val verbatim : t
+
+val format : t -> string -> string