diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-20 15:44:29 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-20 15:44:29 +0200 |
| commit | 987175105ead0ea78b960c0e638a81c6fd2384cf (patch) | |
| tree | 15411786075824f2f7c4154fc23493d225963080 /test/test_view.ml | |
| parent | ec70286daa72fd2a2a78a1cbab0fe2c268e5c743 (diff) | |
| download | colitur-987175105ead0ea78b960c0e638a81c6fd2384cf.tar.gz colitur-987175105ead0ea78b960c0e638a81c6fd2384cf.zip | |
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.
Diffstat (limited to 'test/test_view.ml')
0 files changed, 0 insertions, 0 deletions
