Ceylon date-time library regional offset conversion behavior

The Ceylon standard library provides date and time handling capabilities designed to integrate with JVM-based time APIs. When managing regional time zones and date conversions, the language relies on strongly typed objects to handle offsets and temporal transitions.

There is uncertainty regarding how the current compiler specification handles the conversion between disparate regional time zones when the underlying JVM environment provides conflicting zone data. Specifically, the behavior of the library when performing arithmetic on date objects across daylight saving time transitions in non-standard regions requires clarification.

• What is the expected behavior for date conversion when the source and target time zones have mismatched offset definitions?
• Does the standard library provide a mechanism to verify the precision of regional offsets during a conversion operation?