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

Tide table zone time to UTC: Half-hour zone descriptions are truncated · case 03

Tables for half-hour zones are thirty minutes off.

Member previewVariant 3 · 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-09-10 10:45", 3.5, true]	`"2026-09-10 12:45"`	`"2026-09-10 13:15"`	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.