Module reading_dates 

MSCONS SG10 DTM+7 (Nutzungszeitpunkt) beside DTM+60 / DTM+9: conditions [130] and [133], identical in every MSCONS AHB from 3.1d to 3.2.

Both only ever appear as X [UB1] ∧ [495] ∧ ([130] ∨ [133]) on the DTM+7 value, and each reads “if DTM+… stands beside it, the gap must be …”. Taken one by one, both hold wherever their partner is absent — and then the alternative always holds, since a reading never has every partner: a DTM+7 two days from its DTM+60 passed because [133] (DTM+9 of format 102) was True without a DTM+9 (mako-twin-64, 2026-11-02). They are therefore split so that the alternative says “every partner present keeps its gap”:

• [130]: no DTM+9 of format 102 is present, and every DTM+60 and every DTM+9 of format 303 lies less than 24 hours away (23 hours across the switch to summer time, 25 across the switch to winter time). A DTM+7 with no partner at all holds here.
• [133]: a DTM+9 of format 102 is present, its day is the DTM+7’s day or one day apart, and every format-303 partner beside it keeps [130]’s gap.

“Innerhalb desselben LIN-Segments … neben diesem Segment” is the DTM+7’s own SG10. With a scope that holds an SG10 only that one is read; without one, every SG10 of the message must hold the alternative.

Functions

condition_130

[130] — see the module docs.

condition_133

[133] — see the module docs.