diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-20 16:05:34 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-20 16:05:34 +0200 |
| commit | 263d0d889073d214229aef9655d3db29540c0d12 (patch) | |
| tree | 895753cf5ec4e2aaacff5da50a8abfdf32eacb74 /lib/render/dune | |
| parent | 9dfa264f2941f1ca38eff08b6157a94d332cffbd (diff) | |
| download | colitur-263d0d889073d214229aef9655d3db29540c0d12.tar.gz colitur-263d0d889073d214229aef9655d3db29540c0d12.zip | |
fix(citation): complete the modern tradition, and test the shipped file
Apocalypse -> Revelation was missing from [modern] while `revelation` was
already a declared tradition target, so the target existed with nothing
mapping onto it. Same Vulgate-to-modern shape as Ecclesiasticus -> Sirach.
The injectivity test used to hand-copy the mapping table, which asserted
things about the copy and nothing about the artifact: a mapping added to
traditions.ini and forgotten in the test would have passed. It now reads
lang/traditions.ini and additionally asserts that [vulgate] is empty --
an entry there would silently renumber the DEFAULT, the one thing this
design promises never happens -- and that no declared target is left
unreachable.
Mutation-proved three ways: declaring an unused target, deleting a
mapping, and adding an entry to [vulgate] each redden it, the first two
naming the offending book.
Diffstat (limited to 'lib/render/dune')
0 files changed, 0 insertions, 0 deletions
