FAILURE MAP
← Case archive

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

Under-keel clearance with squat: Drying heights are added as depth · case 02

Vessels are cleared over banks that dry at low water.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

Input [charted, tide, draft, speed_kn, cb, confined, margin]. Charted value is depth below chart datum (negative means a drying height above datum). Squat = cb*speed^2/100 metres in open water and twice that when confined. UKC = charted+tide-draft-squat. Required clearance is margin*draft. Return [round(ukc,3), ukc>=required].

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 fixtureActualExpectedOutcome
under-keel clearance with squat [-0.5, 2.9, 1.2, 5, 0.5, true, 0.15][1.95, true][0.95, true]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.

Sign in to the archive ↗