diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 12:24:19 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 12:24:19 +0200 |
| commit | e45ec1ccce68d9edb9655004c21861d6bfb33a9d (patch) | |
| tree | e40f7f003008b33104723a6d8856168bbdea7633 /test/test_oracle.ml | |
| parent | 853351fad8aebc71c5341e6ff90371ca0caf8cf9 (diff) | |
| download | colitur-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 'test/test_oracle.ml')
0 files changed, 0 insertions, 0 deletions
