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

Tidal coefficient classification: Coefficients escape the published 20..120 scale · case 04

Extreme ranges produce coefficients such as 131 or 12.

Member previewVariant 4 · 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 [7.9, 0.0, 0.0, 3.6, 3.05]	`[130, "exceptional"]`	`[120, "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.