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

Under-keel clearance with squat: Safety margin is taken from the water depth · case 03

Deep berths demand an excessive clearance and refuse safe ships.

Member previewVariant 3 · 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 fixture	Actual	Expected	Outcome
under-keel clearance with squat [4.0, 1.0, 4.0, 0, 0.7, false, 0.25]	`[1.0, false]`	`[1.0, 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.