diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 17:37:40 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 17:37:40 +0200 |
| commit | c63e37b8cbef1480b6f5677420425d22fe7061d9 (patch) | |
| tree | 9e6108a58da67fcd94ce057a196f70c47ec49677 /lib/kernel/lang.ml | |
| parent | f389e57e965e7bc7ea46ad1f37203d00f22e25a7 (diff) | |
| download | colitur-c63e37b8cbef1480b6f5677420425d22fe7061d9.tar.gz colitur-c63e37b8cbef1480b6f5677420425d22fe7061d9.zip | |
docs: an invented Caput, a list that was not closed, and a blind spot
Three corrections from the fix-round re-review, none changing behaviour.
RG 431(e) was attributed to "Caput XX, De hymno Gloria in excelsis".
There is no Caput XX -- the Rubricae Generales' Caput series ends at
XIX. The paragraph number, letter and subsection title were all right;
only the containing division was invented. It sits under "VIII -- De
diversis Missae partibus", subsection "C) De hymno Gloria in excelsis".
Shipping a new invented structural citation in the very round that
corrected a source-fidelity overclaim is what the gate exists to catch.
marian_slugs claimed TWO entries found and deliberately excluded after
individual consideration, "not merely omitted". There was a third:
vigil-of-the-assumption, 14 August, which is de B. Maria Virg. and whose
collect implores her protection. It was merely omitted. Added to the
list -- behaviourally inert, verified: it wins 7196 times domain-wide,
always with the non-Marian eusebius-confessor as its only commemoration,
and never loses -- but a closed list's whole value is its enumeration
claim, and that claim was false as written.
And the new rule has no comparison-layer witness at all. Reverting it
reddens three tests, none of them a comparison layer: the differential's
row type carries no commemorations, and the oracle's window has no
16-July Saturday. Worse, lectio's fixture DOES carry commemorations and
prints +our-lady-of-mt-carmel on all 8 in-window dates where colitur now
prints nothing -- a real divergence, neither fixed nor cited, swallowed
by a blind spot, which binding decision 1 forbids. Recorded, with the
note that colitur's reading here has no reference confirmation anywhere
and only extending the oracle fixture to 2033 or later would settle it.
Also records the RG 112(d) branch's ordering constraint: it precedes RG
95's Transfer branch, which it does not need to, and must move below it
if a Class1 Marian entry is ever added.
Diffstat (limited to 'lib/kernel/lang.ml')
0 files changed, 0 insertions, 0 deletions
