aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/lang.ml
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 12:24:19 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-13 12:24:19 +0200
commite45ec1ccce68d9edb9655004c21861d6bfb33a9d (patch)
treee40f7f003008b33104723a6d8856168bbdea7633 /lib/kernel/lang.ml
parent853351fad8aebc71c5341e6ff90371ca0caf8cf9 (diff)
downloadcolitur-e45ec1ccce68d9edb9655004c21861d6bfb33a9d.tar.gz
colitur-e45ec1ccce68d9edb9655004c21861d6bfb33a9d.zip
test,docs: RG110(c)'s adjacency is unobservable by construction
The re-review asked for a third commemoration in the shape-(c) row, so that "spliced immediately after its trigger" could be told apart from "appended at the end" -- it had proved an append-at-end variant passed the whole suite green, the pair alone being too short to distinguish them. Attempting it establishes something better than the test requested. On this day-shape a third commemoration is rubrically impossible. Shape (c) requires the trigger to lose the day while still being admitted, and a Class2 trigger can only lose to a I-class day (RG 111(a): one privileged commemoration) or a II-class Sunday (RG 111(b): one, "scilicet de festo II classis"). Both caps are one. The third candidate is now offered and correctly refused, which is the assertion worth having. So RG 110(c)'s "ante omnes alias commemorationes" half has no reachable witness in the EF's rubrical space, and the re-review's own finding that shape (c) never co-occurs with a third commemoration across 8417 years is a consequence of the rubric rather than an accident of the data. The append-at-end variant stays indistinguishable from the splice on every input the engine can construct. Recorded rather than papered over with a synthetic row proving a shape no rubric permits. Also drops Record from the "nothing compares commemoration order" note -- Record.t has no commemorations field at all -- and names, at privilege_of's own (a) branch, that the Holy Name's Sunday privilege currently rests on a substring match rather than on RG 17's closing paragraph, which is its real warrant.
Diffstat (limited to 'lib/kernel/lang.ml')
0 files changed, 0 insertions, 0 deletions