{"abstract":"Stream rates are ten times too large.","category":"Tide and marine navigation tables","checks":7,"contract":"Input [hrel, rng, sr, nr, rows]: hrel is hours relative to standard-port HW; rows lists 13 entries for HW-6..HW+6 as [direction, spring rate, neap rate] in tenths of a knot. The row is chosen by rounding hrel half up (floor(hrel+0.5)); hrel outside [-6.5,6.5) returns None. Rate = neap+(spring-neap)*k with k=(rng-nr)/(sr-nr) (not clamped), converted to knots, floored at zero and rounded to 2 decimals. Return [direction, knots].","contract_signature":"x","evaluation_group":"w2-tide_and_marine_navigation_tables-stream_table","failed_approach":"Converting only the spring column leaves the neap term in tenths.","family":"w2-tide_and_marine_navigation_tables-stream_table-tenths-of-knots","id":"FA-69011","implementations":{"attempt":{"sha256":"c583bb427fbdc12ec69da04b23dc555250024518bc08d26d344da01904babcd5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    hrel,rng,sr,nr,rows=x\n    if hrel<-6.5 or hrel>=6.5: return None\n    i=math.floor(hrel+0.5)+6\n    d,sp,np_=rows[i]\n    k=(rng-nr)/(sr-nr)\n    rate=np_+(sp/10-np_)*k\n    return [d,round(max(rate,0.0),2)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.4, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['045', 0.3]), ('tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-5.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['050', 0.7]), ('tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-4.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['055', 1.05]), ('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0])], [('tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-5.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['050', 0.7]), ('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['230', 0.45]), ('tidal stream diamond table [1.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [1.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 1.0])], [('tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-4.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['055', 1.05]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['230', 0.45]), ('tidal stream diamond table [1.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [1.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 1.0]), ('tidal stream diamond table [2.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [3.49, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [3.49, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [5.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [5.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2])], [('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [2.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [3.49, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [3.49, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [5.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [5.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-6.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None)], [('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [6.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-6.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-3, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-3, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 0.0]), ('tidal stream diamond table [2, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 0.0]), ('tidal stream diamond table [0.2, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.2, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"9f96e2e2aae7a2cf57e3b69cbfbc9a9191be862f26967db6f9d3c684c4e67df2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    hrel,rng,sr,nr,rows=x\n    if hrel<-6.5 or hrel>=6.5: return None\n    i=math.floor(hrel+0.5)+6\n    d,sp,np_=rows[i]\n    k=(rng-nr)/(sr-nr)\n    rate=(np_+(sp-np_)*k)\n    return [d,round(max(rate,0.0),2)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.4, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['045', 0.3]), ('tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-5.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['050', 0.7]), ('tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-4.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['055', 1.05]), ('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0])], [('tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-5.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['050', 0.7]), ('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['230', 0.45]), ('tidal stream diamond table [1.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [1.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 1.0])], [('tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-4.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['055', 1.05]), ('tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.0, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0]), ('tidal stream diamond table [0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['230', 0.45]), ('tidal stream diamond table [1.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [1.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 1.0]), ('tidal stream diamond table [2.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [3.49, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [3.49, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [5.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [5.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2])], [('tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-2.7, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 1.3]), ('tidal stream diamond table [2.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [3.49, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [3.49, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['240', 1.35]), ('tidal stream diamond table [5.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [5.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-6.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None)], [('tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-1.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['070', 0.4]), ('tidal stream diamond table [6.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.2, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['255', 0.2]), ('tidal stream diamond table [6.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [6.5, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-6.6, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-6.6, 3.0, 4.0, 2.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], None), ('tidal stream diamond table [-3, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [-3, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['060', 0.0]), ('tidal stream diamond table [2, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [2, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['235', 0.0]), ('tidal stream diamond table [0.2, 0.8, 4.0, 3.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]', [0.2, 0.8, 4.0, 3.0, [['045', 4, 2], ['050', 9, 5], ['055', 14, 7], ['060', 17, 9], ['060', 12, 6], ['070', 5, 3], ['slack', 0, 0], ['230', 6, 3], ['235', 13, 7], ['240', 18, 9], ['245', 15, 8], ['250', 9, 4], ['255', 3, 1]]], ['slack', 0.0])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy model with stipulated rules and constants; not certified hydrographic software or a substitute for official tide tables. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-tide_and_marine_navigation_tables-stream_table-tenths-of-knots","generated_at":"2026-09-29T14:48:07.529605+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Tide tables and passage plans turn published predictions into go/no-go decisions about depth, clearance and timing.","root_cause":"The table stores tenths of a knot but the interpolated value is not divided by ten.","sha256":"a8c088ea295e13d71d7b36c0a5c0404404dbda11cf3a60bd4424db49f1217596","title":"Tidal stream diamond table: Tabulated tenths are reported as knots · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.057,"exit_code":1,"observations":[{"actual":["045",1.2],"check":"tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["045",0.3],"passed":false},{"actual":["050",2.95],"check":"tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["050",0.7],"passed":false},{"actual":["055",4.2],"check":"tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["055",1.05],"passed":false},{"actual":["060",5.35],"check":"tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["060",1.3],"passed":false},{"actual":["070",1.75],"check":"tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["070",0.4],"passed":false},{"actual":["slack",0.0],"check":"tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["slack",0.0],"passed":true},{"actual":["slack",0.0],"check":"tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["slack",0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"045\", 1.2], \"expected\": [\"045\", 0.3], \"passed\": false}, {\"check\": \"tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"050\", 2.95], \"expected\": [\"050\", 0.7], \"passed\": false}, {\"check\": \"tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"055\", 4.2], \"expected\": [\"055\", 1.05], \"passed\": false}, {\"check\": \"tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"060\", 5.35], \"expected\": [\"060\", 1.3], \"passed\": false}, {\"check\": \"tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"070\", 1.75], \"expected\": [\"070\", 0.4], \"passed\": false}, {\"check\": \"tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"slack\", 0.0], \"expected\": [\"slack\", 0.0], \"passed\": true}, {\"check\": \"tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"slack\", 0.0], \"expected\": [\"slack\", 0.0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.122,"exit_code":1,"observations":[{"actual":["045",3.0],"check":"tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["045",0.3],"passed":false},{"actual":["050",7.0],"check":"tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["050",0.7],"passed":false},{"actual":["055",10.5],"check":"tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["055",1.05],"passed":false},{"actual":["060",13.0],"check":"tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["060",1.3],"passed":false},{"actual":["070",4.0],"check":"tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["070",0.4],"passed":false},{"actual":["slack",0.0],"check":"tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["slack",0.0],"passed":true},{"actual":["slack",0.0],"check":"tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\"045\", 4, 2], [\"050\", 9, 5], [\"055\", 14, 7], [\"060\", 17, 9], [\"060\", 12, 6], [\"070\", 5, 3], [\"slack\", 0, 0], [\"230\", 6, 3], [\"235\", 13, 7], [\"240\", 18, 9], [\"245\", 15, 8], [\"250\", 9, 4], [\"255\", 3, 1]]]","expected":["slack",0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tidal stream diamond table [-6.4, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"045\", 3.0], \"expected\": [\"045\", 0.3], \"passed\": false}, {\"check\": \"tidal stream diamond table [-5.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"050\", 7.0], \"expected\": [\"050\", 0.7], \"passed\": false}, {\"check\": \"tidal stream diamond table [-4.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"055\", 10.5], \"expected\": [\"055\", 1.05], \"passed\": false}, {\"check\": \"tidal stream diamond table [-2.7, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"060\", 13.0], \"expected\": [\"060\", 1.3], \"passed\": false}, {\"check\": \"tidal stream diamond table [-1.2, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"070\", 4.0], \"expected\": [\"070\", 0.4], \"passed\": false}, {\"check\": \"tidal stream diamond table [-0.5, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"slack\", 0.0], \"expected\": [\"slack\", 0.0], \"passed\": true}, {\"check\": \"tidal stream diamond table [0.0, 3.0, 4.0, 2.0, [[\\\"045\\\", 4, 2], [\\\"050\\\", 9, 5], [\\\"055\\\", 14, 7], [\\\"060\\\", 17, 9], [\\\"060\\\", 12, 6], [\\\"070\\\", 5, 3], [\\\"slack\\\", 0, 0], [\\\"230\\\", 6, 3], [\\\"235\\\", 13, 7], [\\\"240\\\", 18, 9], [\\\"245\\\", 15, 8], [\\\"250\\\", 9, 4], [\\\"255\\\", 3, 1]]]\", \"actual\": [\"slack\", 0.0], \"expected\": [\"slack\", 0.0], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}