diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 09:16:39 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 09:16:39 +0200 |
| commit | b7da41445d89cc83e749ec19c57e321ceb6d5cf2 (patch) | |
| tree | 6c3f8649b4c8dc25e1de0478b6a4358d65a6bd54 /lib/rites/rite_ef/temporal_ef.mli | |
| parent | ac277cd1aaa47401b4a4c205b54c2faf88938c73 (diff) | |
| download | colitur-b7da41445d89cc83e749ec19c57e321ceb6d5cf2.tar.gz colitur-b7da41445d89cc83e749ec19c57e321ceb6d5cf2.zip | |
temporal(ef): fix round 1 (F3) -- give Holy Family a primary-sourced Latin name
On 7,197 of the 8,417 days Holy Family occurs (every year that
isn't the 13-January collision), every emitted byte was identical to
the pre-change binary -- subject appeared in no output path the CLI
or any test read. Celebration.make already takes ?names, defaulting
to empty, and Temporal_ef.build never passed it.
build now takes an optional ?names, set only on Holy Family's own
branch: a LATIN name, not English. The oracle's own observed-identity
axis (test_oracle.ml) reads only `en`, so this is deliberately
invisible to it -- an English name here would mean reading
missalemeum's own title text, the oracle this exact axis is compared
against, to decide colitur's "ground truth" name: the "expected value
promoted from actual output" vacuity flavour this project's review
process watches for. Latin has no such circularity: the calendarium's
own January table and the Mass propers' own heading, both
photographic scans, word for word, "Sanctae Familiae Iesu, Mariae,
Ioseph" -- the same genitive-title convention test_names.ml's own
worked example already uses for Easter ("Dominica Resurrectionis").
Every other temporal-cycle candidate, including the neighbouring
Sundays, still carries no name of any kind -- a targeted addition for
the one day this task built, not a claim that the general gap
(register's own open item on Holy Name of Jesus, RG 17(a)) is closed.
Diffstat (limited to 'lib/rites/rite_ef/temporal_ef.mli')
0 files changed, 0 insertions, 0 deletions
