aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-08-17 22:38:01 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-08-17 22:38:01 +0200
commitc1776a07bfb41667d897c90914acea17f66f6510 (patch)
tree1da48b8fa15e3631a99710fa86b7702c910056a0 /dune-project
parent59e78716e5d7b13fd33f9c0245883c83712340e6 (diff)
downloadcolitur-c1776a07bfb41667d897c90914acea17f66f6510.tar.gz
colitur-c1776a07bfb41667d897c90914acea17f66f6510.zip
test(oracle): a third window, 2035, witnessing common-of-doctors
Step 4's blind spot is now closed as far as the method allows. 2038 witnessed two of the five Common-routed saints; isidore-of-seville is the third and the last that any year in 2005-2050 can reach, being observed only in 2008, 2035 and 2046. He is also the only saint routing through common-of-doctors, so that Common had never been compared against any external source in any window. Three independent agreements on it: the scan (Commune Doctorum, scan1:41878ff, 2 Tim. 4, 1-8 / Mt. 5, 13-19), colitur, and missalemeum's own 2035-04-04 row. Asserted by date in its own test rather than folded into an aggregate count, so a regression there cannot hide. The remaining two saints are unreachable by construction, not for want of a fixture: gregory-the-great and patrick both sit in March and are impeded by Lent's privileged ferias in every one of the 46 years the differential covers. The blind spot is closed to its limit, not closed absolutely, and the register says so. The comparator is generalised rather than copied -- compare_live takes a fixture and a year -- so a fourth window would cost a fixture and a count list. 2035 differs on 3 days, both families pre-existing and already cited. 2035-04-02/03 are the Joseph/Annunciation transfer pair landing in the opposite order from missalemeum's: neither stream loses a feast, the sequence differs, which is C14's own RG 96 collision finally getting an oracle window. 2035-12-30 is the Sunday within the Christmas Octave against colitur's numbered octave-day slug, C6's family. Both are recognised by slug rather than by date, so a year exhibiting only half the shape would surface as unexplained rather than be quietly absorbed. 393 tests green with the exhaustive sweep. Register: section 6.15.
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions