diff options
Diffstat (limited to 'test/test_oracle.ml')
| -rw-r--r-- | test/test_oracle.ml | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/test/test_oracle.ml b/test/test_oracle.ml index 656a437..0735cb6 100644 --- a/test/test_oracle.ml +++ b/test/test_oracle.ml @@ -1424,8 +1424,19 @@ let layer_m_reason (c : colitur_row) (o : oracle_row) diffs = temporal candidate outright at Class3 rank, register's own account of this date), so [Observed_identity_unresolved] now fires alongside the pre-existing [Comm_identity_mismatch]. *) - else if List.mem c.c_date m16_dates - && subset diffs [ Comm_identity_mismatch; Observed_identity_unresolved ] + (* M16 RE-ADJUDICATED (2026-08-17): the diff SHAPE changed because the cause + did. colitur now builds the Seven Sorrows commemoration of Passion Friday + (data/ef/adjustments.sexp), so the old [Comm_identity_mismatch] -- colitur + admitting John Damascene where missalemeum showed the Seven Sorrows -- is + gone: both streams now name the Seven Sorrows. What remains is a COUNT + difference running the other way, colitur admitting two commemorations + against missalemeum's one. [Comm_count] is REQUIRED so this cannot quietly + absorb a day whose only difference is the unresolved observed identity, + which is M18's own generic shape. *) + else if + List.mem c.c_date m16_dates + && subset diffs [ Comm_count; Observed_identity_unresolved ] + && List.mem Comm_count diffs then Some "M16" else if diffs = [ Observed_identity_unresolved ] then Some "M18" else if List.mem c.c_date m19_dates && diffs = [ Comm_presence ] && m19_commemoration_matches c then |