FA-69125 / Tide and marine navigation tables / Member archive

Tide table zone time to UTC: Daylight time adds an hour to UTC · case 05

Summer tide times are two hours off in UTC.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Input [local "YYYY-MM-DD HH:MM", zd, dst]: zone description zd in hours (positive west, may be fractional); UTC = zone time + zd, and when the table is on daylight time the clock is one hour ahead so UTC = local + zd - 1. Return UTC as "YYYY-MM-DD HH:MM" (24-hour).

Why this case matters

Tide tables and passage plans turn published predictions into go/no-go decisions about depth, clearance and timing.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
tide table zone time to utc ["2026-07-01 23:30", 4, true]	`"2026-07-02 04:30"`	`"2026-07-02 02:30"`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.