diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 11:38:35 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 11:38:35 +0200 |
| commit | e19adb9c7ea369cafe76e7eff50e9248a4a954d0 (patch) | |
| tree | 57824e121606286ebdf8fff68439986dd3300eae /test/fixtures/lectio-ef-2005-2050.provenance | |
| parent | 0506388da160a15ceddb0cea1a697d737103d5c4 (diff) | |
| parent | 36df2bd0af9a555a09334e14b0d89118be1dbbc0 (diff) | |
| download | colitur-e19adb9c7ea369cafe76e7eff50e9248a4a954d0.tar.gz colitur-e19adb9c7ea369cafe76e7eff50e9248a4a954d0.zip | |
Merge branch 'ef-plan3': Plan 3, the EF resolution engine
Adds the rite-parameterised Precedence resolver, Liturgical_day, Rite,
and Calendar (year as the primitive, because transfers need whole-year
knowledge), the full EF precedence ruleset (RG 91's 28-entry table,
occurrence RG 92-95, commemorations RG 108-111, transfers RG 96-98),
322 bootstrapped sanctoral entries, colitur day <year>, and validation
layers 3-5.
Layer 3 diffs 16801 days against lectio; layer 4 diffs 730 days against
missalemeum; layer 5 pins ~30 dates on the known-tricky years. Both
comparison layers carry cited allow-lists that name the governing RG
paragraph and which engine is right.
The oracle layer earned its place immediately: Holy Thursday was violet
in colitur and lectio alike, because colitur's data was bootstrapped
from lectio and both carried the same error. Only an independent source
could see it. RG 128(b) and RG 122 name it white.
Diffstat (limited to 'test/fixtures/lectio-ef-2005-2050.provenance')
| -rw-r--r-- | test/fixtures/lectio-ef-2005-2050.provenance | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/fixtures/lectio-ef-2005-2050.provenance b/test/fixtures/lectio-ef-2005-2050.provenance new file mode 100644 index 0000000..872517b --- /dev/null +++ b/test/fixtures/lectio-ef-2005-2050.provenance @@ -0,0 +1,29 @@ +Fixture: lectio-ef-2005-2050.txt +Task: 2026-08-11-colitur-plan3-resolution-engine, Task 15 (differential harness) + +Produced by the sibling project ~/git/projects/lectio at commit: + 2386a45 cmd(lectio-ef-dump): new EF calendar dumper for colitur's differential oracle + (branch polish-ui-and-calendar at the time; see that repo's own log) + +SHA-256: 2ca3eeeda4e7a0406c4d004c1b2003fc0df671aca9af18a1b506543a721c8bac +(same digest as [fixture_sha256] in test/test_differential.ml, ASSERTED by +that suite's own "fixture SHA-256 matches its provenance note" test -- this +line documents the pin for a reader who never runs the suite; that test is +what actually enforces it. Regenerate both together, deliberately, after +re-running the exact command below -- never by copying a mismatch's actual +value back in, which would defeat the pin's purpose.) + +Exact command: + cd ~/git/projects/lectio && go run ./cmd/lectio-ef-dump 2005 2050 + +Output: one line per civil day, 2005-01-01 through 2050-12-31 inclusive +(16801 lines = 46*365 + 11 leap days), in lectio's OWN vocabulary -- +season/slug/rank/colour spellings are lectio's, not translated to colitur's. +See cmd/lectio-ef-dump/main.go's own doc comment for the exact column +format and the caveats this repo's comparator (test/test_differential.ml) +relies on: the trailing "+other-slug" tokens are LOSING candidates (lectio +has no RG 111 admission logic), and lectio's own EF oracle test asserts +season only, for 2025-2026 only (rank/colour are logged, not asserted). + +Regenerate with the same command if lectio's EF calendar logic changes and +the fixture needs updating; do not hand-edit this file. |