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

Tide table zone time to UTC: UTC output uses a twelve-hour clock · case 02

Afternoon events are indistinguishable from morning ones.

Member previewVariant 2 · 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-01-01 01:05", -9.5, false]	`"2025-12-31 03:35"`	`"2025-12-31 15:35"`	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.