{"abstract":"At exactly half past an hour the stream is read from alternating rows.","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":"int(hrel+0.5) truncates toward zero and mis-selects every negative hour.","family":"w2-tide_and_marine_navigation_tables-stream_table-hour-rounding","id":"FA-68991","implementations":{"attempt":{"sha256":"5689194042d7dabe26978629754d7c9bb7a31c0166167c77184ab591a8f99b7f","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=int(hrel+0.5)+6\n    d,sp,np_=rows[i]\n    k=(rng-nr)/(sr-nr)\n    rate=(np_+(sp-np_)*k)/10\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 [-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 [-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 [-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 [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 [-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 [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 [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 [-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.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 [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 [-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 [-1.4, 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]]]', [-1.4, 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]]], ['070', 0.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 [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 [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 [-3, 1.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, 1.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', 0.5]), ('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])]]\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":"8dd5c903d082f334bac51c6af38bda8dfd326d7f8eb96e8f4377ecff5f3c7bd2","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=round(hrel)+6\n    d,sp,np_=rows[i]\n    k=(rng-nr)/(sr-nr)\n    rate=(np_+(sp-np_)*k)/10\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 [-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 [-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 [-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 [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 [-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 [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 [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 [-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.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 [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 [-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 [-1.4, 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]]]', [-1.4, 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]]], ['070', 0.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 [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 [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 [-3, 1.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, 1.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', 0.5]), ('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])]]\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-hour-rounding","generated_at":"2026-09-29T14:48:07.375602+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":"Python round() sends .5 cases to the even hour instead of rounding half up.","sha256":"7a787fb2a0224349545ae1c68d4bfbb977f789d7ff218297e30ad8d7dbe06274","title":"Tidal stream diamond table: Half-hour offsets use bankers rounding · 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.518,"exit_code":1,"observations":[{"actual":["050",0.7],"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":true},{"actual":["050",0.7],"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":["055",1.05],"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":true},{"actual":["060",0.9],"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":["slack",0.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 [-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\", 0.7], \"expected\": [\"050\", 0.7], \"passed\": true}, {\"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\": [\"050\", 0.7], \"expected\": [\"045\", 0.3], \"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\", 1.05], \"expected\": [\"055\", 1.05], \"passed\": true}, {\"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\", 0.9], \"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\": [\"slack\", 0.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"},"broken":{"elapsed_ms":41.924,"exit_code":1,"observations":[{"actual":["045",0.3],"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":["045",0.3],"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":true},{"actual":["055",1.05],"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":true},{"actual":["060",1.3],"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":true},{"actual":["070",0.4],"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":true},{"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 [-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\": [\"045\", 0.3], \"expected\": [\"050\", 0.7], \"passed\": false}, {\"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\", 0.3], \"expected\": [\"045\", 0.3], \"passed\": true}, {\"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\", 1.05], \"expected\": [\"055\", 1.05], \"passed\": true}, {\"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\", 1.3], \"expected\": [\"060\", 1.3], \"passed\": true}, {\"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\", 0.4], \"expected\": [\"070\", 0.4], \"passed\": true}, {\"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."}}