{"abstract":"The stern swings outside the planned circle.","category":"Tide and marine navigation tables","checks":7,"contract":"Input [depth, tmax, tmin, bow, scope, boat_len]: charted depth and tide heights above datum (m). Rode = scope*(depth+tmax+bow) rounded up to the next 5 m chain mark. Swing radius = sqrt(rode^2 - (depth+tmin+bow)^2) + boat_len (largest at the lowest tide), rounded to 0.1 m. Return [rode, radius].","contract_signature":"x","evaluation_group":"w2-tide_and_marine_navigation_tables-anchoring","failed_approach":"Adding half the boat length models a pivot at midships, not at the bow.","family":"w2-tide_and_marine_navigation_tables-anchoring-boat-length","id":"FA-69336","implementations":{"attempt":{"sha256":"3656c679cb812e7448b49ce64f842e87c67a4c137a867b6fd73fb2a3425786c0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    d,tmax,tmin,bow,scope,blen=x\n    L=scope*(d+tmax+bow)\n    L=math.ceil(L/5-1e-9)*5\n    v=d+tmin+bow\n    r=math.sqrt(L*L-v*v)+blen/2\n    return [L,round(r,1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7])], [('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7]), ('anchor rode and swing radius [10.0, 0.5, 0.1, 2.0, 4, 20]', [10.0, 0.5, 0.1, 2.0, 4, 20], [50, 68.5]), ('anchor rode and swing radius [5.0, 1.0, 0.5, 1.0, 6, 10]', [5.0, 1.0, 0.5, 1.0, 6, 10], [45, 54.5])], [('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7]), ('anchor rode and swing radius [10.0, 0.5, 0.1, 2.0, 4, 20]', [10.0, 0.5, 0.1, 2.0, 4, 20], [50, 68.5]), ('anchor rode and swing radius [5.0, 1.0, 0.5, 1.0, 6, 10]', [5.0, 1.0, 0.5, 1.0, 6, 10], [45, 54.5]), ('anchor rode and swing radius [2.0, 0.5, 0.5, 1.0, 7, 7]', [2.0, 0.5, 0.5, 1.0, 7, 7], [25, 31.8]), ('anchor rode and swing radius [4.2, 2.1, 1.0, 1.2, 4, 10]', [4.2, 2.1, 1.0, 1.2, 4, 10], [30, 39.3]), ('anchor rode and swing radius [1.1, 1.3, 0.4, 0.6, 5, 6]', [1.1, 1.3, 0.4, 0.6, 5, 6], [15, 20.9])], [('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [2.0, 0.5, 0.5, 1.0, 7, 7]', [2.0, 0.5, 0.5, 1.0, 7, 7], [25, 31.8]), ('anchor rode and swing radius [4.2, 2.1, 1.0, 1.2, 4, 10]', [4.2, 2.1, 1.0, 1.2, 4, 10], [30, 39.3]), ('anchor rode and swing radius [1.1, 1.3, 0.4, 0.6, 5, 6]', [1.1, 1.3, 0.4, 0.6, 5, 6], [15, 20.9]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9])], [('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7])]]\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":"a76a257948d946cf068057a536e06eb57f566c4a4132e6d2ad9c4706caa1254a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    d,tmax,tmin,bow,scope,blen=x\n    L=scope*(d+tmax+bow)\n    L=math.ceil(L/5-1e-9)*5\n    v=d+tmin+bow\n    r=math.sqrt(L*L-v*v)\n    return [L,round(r,1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7])], [('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7]), ('anchor rode and swing radius [10.0, 0.5, 0.1, 2.0, 4, 20]', [10.0, 0.5, 0.1, 2.0, 4, 20], [50, 68.5]), ('anchor rode and swing radius [5.0, 1.0, 0.5, 1.0, 6, 10]', [5.0, 1.0, 0.5, 1.0, 6, 10], [45, 54.5])], [('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7]), ('anchor rode and swing radius [10.0, 0.5, 0.1, 2.0, 4, 20]', [10.0, 0.5, 0.1, 2.0, 4, 20], [50, 68.5]), ('anchor rode and swing radius [5.0, 1.0, 0.5, 1.0, 6, 10]', [5.0, 1.0, 0.5, 1.0, 6, 10], [45, 54.5]), ('anchor rode and swing radius [2.0, 0.5, 0.5, 1.0, 7, 7]', [2.0, 0.5, 0.5, 1.0, 7, 7], [25, 31.8]), ('anchor rode and swing radius [4.2, 2.1, 1.0, 1.2, 4, 10]', [4.2, 2.1, 1.0, 1.2, 4, 10], [30, 39.3]), ('anchor rode and swing radius [1.1, 1.3, 0.4, 0.6, 5, 6]', [1.1, 1.3, 0.4, 0.6, 5, 6], [15, 20.9])], [('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [2.0, 0.5, 0.5, 1.0, 7, 7]', [2.0, 0.5, 0.5, 1.0, 7, 7], [25, 31.8]), ('anchor rode and swing radius [4.2, 2.1, 1.0, 1.2, 4, 10]', [4.2, 2.1, 1.0, 1.2, 4, 10], [30, 39.3]), ('anchor rode and swing radius [1.1, 1.3, 0.4, 0.6, 5, 6]', [1.1, 1.3, 0.4, 0.6, 5, 6], [15, 20.9]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9])], [('anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]', [4.2, 1.4, 0.4, 1.4, 5, 10], [35, 44.5]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]', [4.0, 3.2, 0.6, 1.2, 5, 11], [45, 55.6]), ('anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]', [4.0, 3.2, 0.6, 1.2, 4, 11], [35, 45.5]), ('anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]', [8.0, 5.1, 0.3, 1.5, 3, 14], [45, 57.9]), ('anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]', [2.5, 1.0, 0.2, 1.0, 7, 9], [35, 43.8]), ('anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]', [6.0, 2.0, 2.0, 1.0, 5, 12], [45, 56.1]), ('anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]', [3.0, 4.0, 1.0, 1.5, 5, 8], [45, 52.7])]]\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-anchoring-boat-length","generated_at":"2026-09-29T14:48:10.569448+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 boat length is not added to the horizontal rode extent.","sha256":"c6ee3a8e5435a3071f26e2fb7ea2983d7243481c5e1f907ebc30bbddd291b165","title":"Anchor rode and swing radius: Swing radius stops at the bow · 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.93,"exit_code":1,"observations":[{"actual":[45,50.1],"check":"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]","expected":[45,55.6],"passed":false},{"actual":[35,40.0],"check":"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]","expected":[35,45.5],"passed":false},{"actual":[45,50.9],"check":"anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]","expected":[45,57.9],"passed":false},{"actual":[35,39.3],"check":"anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]","expected":[35,43.8],"passed":false},{"actual":[35,39.5],"check":"anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]","expected":[35,44.5],"passed":false},{"actual":[45,50.1],"check":"anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]","expected":[45,56.1],"passed":false},{"actual":[45,48.7],"check":"anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]","expected":[45,52.7],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]\", \"actual\": [45, 50.1], \"expected\": [45, 55.6], \"passed\": false}, {\"check\": \"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]\", \"actual\": [35, 40.0], \"expected\": [35, 45.5], \"passed\": false}, {\"check\": \"anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]\", \"actual\": [45, 50.9], \"expected\": [45, 57.9], \"passed\": false}, {\"check\": \"anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]\", \"actual\": [35, 39.3], \"expected\": [35, 43.8], \"passed\": false}, {\"check\": \"anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]\", \"actual\": [35, 39.5], \"expected\": [35, 44.5], \"passed\": false}, {\"check\": \"anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]\", \"actual\": [45, 50.1], \"expected\": [45, 56.1], \"passed\": false}, {\"check\": \"anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]\", \"actual\": [45, 48.7], \"expected\": [45, 52.7], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.744,"exit_code":1,"observations":[{"actual":[45,44.6],"check":"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]","expected":[45,55.6],"passed":false},{"actual":[35,34.5],"check":"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]","expected":[35,45.5],"passed":false},{"actual":[45,43.9],"check":"anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]","expected":[45,57.9],"passed":false},{"actual":[35,34.8],"check":"anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]","expected":[35,43.8],"passed":false},{"actual":[35,34.5],"check":"anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]","expected":[35,44.5],"passed":false},{"actual":[45,44.1],"check":"anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]","expected":[45,56.1],"passed":false},{"actual":[45,44.7],"check":"anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]","expected":[45,52.7],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 5, 11]\", \"actual\": [45, 44.6], \"expected\": [45, 55.6], \"passed\": false}, {\"check\": \"anchor rode and swing radius [4.0, 3.2, 0.6, 1.2, 4, 11]\", \"actual\": [35, 34.5], \"expected\": [35, 45.5], \"passed\": false}, {\"check\": \"anchor rode and swing radius [8.0, 5.1, 0.3, 1.5, 3, 14]\", \"actual\": [45, 43.9], \"expected\": [45, 57.9], \"passed\": false}, {\"check\": \"anchor rode and swing radius [2.5, 1.0, 0.2, 1.0, 7, 9]\", \"actual\": [35, 34.8], \"expected\": [35, 43.8], \"passed\": false}, {\"check\": \"anchor rode and swing radius [4.2, 1.4, 0.4, 1.4, 5, 10]\", \"actual\": [35, 34.5], \"expected\": [35, 44.5], \"passed\": false}, {\"check\": \"anchor rode and swing radius [6.0, 2.0, 2.0, 1.0, 5, 12]\", \"actual\": [45, 44.1], \"expected\": [45, 56.1], \"passed\": false}, {\"check\": \"anchor rode and swing radius [3.0, 4.0, 1.0, 1.5, 5, 8]\", \"actual\": [45, 44.7], \"expected\": [45, 52.7], \"passed\": false}], \"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."}}