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

Tidal coefficient classification: Spring test shadows the exceptional-tide class · case 03

Grandes marees are never flagged as exceptional.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Input [hw, lw_before, lw_after, z0, U]: range = hw - mean of the two flanking low waters; coefficient = floor(100*(range/2)/U + 0.5) clamped to [20,120]. Class: exceptional if coef>=110, else spring if coef>=70, neap if coef<=45, else mean. Return [coef, class]. z0 (mean level) is informational only.

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
tidal coefficient classification [5.4, 1.0, 1.0, 3.2, 2.0]	`[110, "spring"]`	`[110, "exceptional"]`	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.