diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 13:35:23 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-12 13:35:23 +0200 |
| commit | 993bec2a77912189e4f678c1fdf2848e0f6f8f92 (patch) | |
| tree | 01cf468ae73290ec27916ce39f801bcb0f558869 /test/test_differential.ml | |
| parent | 3d8bafa9c5b0f3ac2b16128413ea7ae977b1856a (diff) | |
| download | colitur-993bec2a77912189e4f678c1fdf2848e0f6f8f92.tar.gz colitur-993bec2a77912189e4f678c1fdf2848e0f6f8f92.zip | |
docs: fix round 1 -- Purification reversal, the admit fix, RG112, layer blindness
CLAUDE.md's own carried-item record, updated to match the register's full
account: the Purification retag reversed (follow the oracle, not the
calendarium title, per the user's ruling), the admit/~temporal kernel
signature change (a genuine one, unlike RG16(a) itself), RG112 recorded as
a newly-found, unimplemented rule (a feast/mystery of one Divine Person
excludes a commemoration of another of the same Person -- confirmed live
on 13 January in seven real differential-window years, independent of the
subject question), and the Dedication-of-a-Church classification question
(measured, not applied: St Michael's own Dedication, 29 September, may
also be a feast of the Lord -- 1200 days domain-wide if so).
Extends the existing 'commemoration identity is unasserted' item: this is
the exact gap the whole RG16(a) fix round exploited both ways -- the
original bug and the review's own catch (Pope Sixtus II wrongly admitted,
both golden pins promoted from output) were both invisible to every layer
except unit tests and two golden pins.
Diffstat (limited to 'test/test_differential.ml')
0 files changed, 0 insertions, 0 deletions
