colregs 0.1.0 → 0.2.0

package/fixtures/situation-fixtures.json

@@ -0,0 +1,3603 @@
+{
+ "note": "Situations and the applicability entry ids that apply to each, under the International rules. The two-subject sibling of applicability-fixtures.json, which is untouched and stays the one-subject contract (REQ-VERIFY-1, REQ-CAT-5). A situation addresses each vessel's facts through the subject namespace of docs/identifiers.md: <subject>:<class>:<key>, subject in {own, other, pair}.",
+ "schema": "situation/1",
+ "status": "pencil",
+ "adr": "0005",
+ "requirements": [
+  "REQ-CAT-4",
+  "REQ-CAT-5",
+  "REQ-CAT-6",
+  "REQ-CAT-7"
+ ],
+ "jurisdiction": "intl",
+ "expect_form": {
+  "note": "An element of `expect` is either a bare entry id, exactly as in applicability-fixtures.json, or an object {\"entry\": <id>, \"modality\": <modality>} naming the modality that entry is expected to carry for this situation. The two forms are interchangeable and a bare id asserts nothing about modality, so the published one-subject fixtures remain valid unedited while Q-5's three modality-only gates (23a2, 26b-mast, 30c) become fixturable.",
+  "bare": "23a1",
+  "with_modality": {
+   "entry": "23a2",
+   "modality": "may"
+  }
+ },
+ "case_status": {
+  "note": "`status` says whether a case asserts anything. An `illustrative` case fixes the shape of the situation record and the namespace before the entries it describes exist; its `expect` is empty and the suite checks its shape and namespace resolution only. A case becomes `binding` when the entries it names exist, and only then does it join the fixture replay. The three illustrative cases this file opened with -- a crossing, a narrow-channel head-on and a 13(d) latch -- are all binding as of the classification PR, which is what they were written to become. The status stays in the schema because the next family of norms will want it again.",
+  "values": [
+   "illustrative",
+   "binding"
+  ]
+ },
+ "cases": [
+  {
+   "name": "crossing: own power-driven, other fine on the starboard bow",
+   "status": "binding",
+   "narrative": "Two power-driven vessels in sight of one another, other bearing 040 relative at 3 nm on a steady bearing and crossing right to left ahead. Own has the other on her own starboard side, so own is the give-way vessel under Rule 15 and Rule 16 governs the action; the other is stand-on under Rule 17. Rule 15 is not transcribed yet, so this asserts nothing. Binding since Rules 7(d), 13, 14 and 15 landed: 15a-crossing is the encounter, 15a-give-way is the role, 7d1 is the steady bearing, and 8f3 is Rule 8(f)(iii) denying the stand-on vessel any privilege from a shall-not-impede duty she is not owed. Rules 16 and 17 are `conduct` and are still not modelled.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 15
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 50.0,
+       "longitude": -1.4
+      },
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 40
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 50.0383,
+       "longitude": -1.35
+      },
+      "kin:heading_deg": 300,
+      "kin:sog_kn": 7.83,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 280
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 5556,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 1,
+      "geo:tcpa_s": 1023,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "narrow channel: head-on round a bend, bank 100 m to starboard",
+   "status": "binding",
+   "narrative": "The R1 illustration of ADR 0005 sec. 5 and the proposal's sec. 4. Own keeps to the starboard side of a narrow channel per Rule 9(a); a vessel cuts the bend and is head-on at 800 m. Rule 14(a) requires each to alter to starboard, and the bank is 100 m to starboard of own. Every compliant plan grounds or collides; a port alteration passes starboard-to-starboard and breaches 14(a). The value of the case here is not the region finding, which belongs to colregs-engine -- it is that the situation record can carry it at all. Binding now: `pair:env:narrow_channel` is the fact the recorded gap asked for and 14b is the classification. Neither 9(b) nor 9(c) applies from own's side -- she is 24 m and power-driven -- so the narrow channel changes no entry here and is stated because it is true, not to select one. Recast on a steady bearing when the consistency check landed (Q-48): the other now bears 357 relative, three degrees on own's port bow, and has own 3.6 degrees on her own starboard bow, which at 12 and 10 knots is a collision course. The 3/8 starboard-to-starboard pair the case opened with passed at 74 m with the bearing changing four and a half degrees a minute, and no positive speeds make it steady -- two vessels each with the other to starboard are never on a collision course. The dilemma is unchanged: a starboard alteration is into the bank.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "14b"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 24
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 50.0,
+       "longitude": -1.4
+      },
+      "kin:heading_deg": 90,
+      "kin:sog_kn": 12,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 357.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 50.00038,
+       "longitude": -1.38882
+      },
+      "kin:heading_deg": 263.4,
+      "kin:sog_kn": 10,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:unknown"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 3.6
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 800,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 71,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "13(d) latch: an overtaking whose bearing has drawn out to a crossing",
+   "status": "binding",
+   "narrative": "Own came up on the other vessel from abaft her beam and is overtaking. The bearing has since drawn out: own now bears 250 relative from the other, just outside Rule 13(b)'s 112.5-247.5 sector, so the instantaneous geometry alone would reclassify this as a crossing with the other vessel give-way. Rule 13(d) forbids exactly that, and own:hist:was_overtaking is the fact that carries it. This is the case that makes history a class rather than a note. Binding: 13d holds the classification at overtaking on the strength of the latch alone, and 15a-crossing is absent -- not because the geometry excludes it, which it does not, but because its `own:hist:was_overtaking: false` gate does. That absence is the whole content of 13(d). The pair numbers were re-derived from the kinematics when the consistency check landed (Q-48): at 400 m abeam with five knots between them the bearing is changing at 24 degrees a minute and the closest approach is already past, so 7(d)(i)'s steady-bearing ground is not available and `7d1` left the expectation. `geo:risk_of_collision` is a supplied judgement and stays true -- nothing in this package may deny a risk, and 13(d) does not read one.",
+   "expect": [
+    "4",
+    "11",
+    "8f3",
+    "13a",
+    "13d"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 50.0,
+       "longitude": -1.4
+      },
+      "kin:heading_deg": 20,
+      "kin:sog_kn": 14,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 90
+     },
+     "hist": {
+      "hist:was_overtaking": true,
+      "hist:latched_at_s": 420
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 22
+     },
+     "kin": {
+      "kin:position": {
+       "latitude": 49.99877,
+       "longitude": -1.39475
+      },
+      "kin:heading_deg": 40,
+      "kin:sog_kn": 9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 250
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 400,
+      "geo:bearing_change_deg_min": 24.51,
+      "geo:cpa_m": 350,
+      "geo:tcpa_s": -60,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is power-driven. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is sailing. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a4",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is fishing (power). Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a3",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is not under command. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a1",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is restricted in her ability to manoeuvre. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a2",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own power-driven, other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is power-driven; the other vessel is constrained by her draught. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18d1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is power-driven. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is sailing. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is fishing (power). Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18b3",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is not under command. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18b1",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is restricted in her ability to manoeuvre. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18b2",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own sailing, other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is sailing; the other vessel is constrained by her draught. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18d1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is power-driven. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is sailing. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is fishing (power). Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is not under command. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18c1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is restricted in her ability to manoeuvre. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18c2",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing (power), other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is fishing (power); the other vessel is constrained by her draught. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18d1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own not under command, other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is not under command: Rule 18 ranks her below nothing, so no paragraph of it applies to her and she carries no obligation here -- including against a vessel restricted in her ability to manoeuvre, which is the unordered pair at the top of the partial order.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own restricted in her ability to manoeuvre, other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is restricted in her ability to manoeuvre: nothing in Rule 18 is addressed to her, including against a vessel not under command. NUC and RAM are unordered.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is power-driven. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other sailing, in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is sailing. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a4",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other fishing (power), in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is fishing (power). Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a3",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other not under command, in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is not under command. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a1",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other restricted in her ability to manoeuvre, in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is restricted in her ability to manoeuvre. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    "18a2",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own constrained by her draught, other constrained by her draught, in sight",
+   "status": "binding",
+   "narrative": "Own is constrained by her draught; the other vessel is constrained by her draught. Both underway and in sight of one another.",
+   "expect": [
+    "11",
+    {
+     "entry": "18d1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing under sail, other not under command, in sight",
+   "status": "binding",
+   "narrative": "18(c) does not distinguish propulsion: a fishing vessel under sail is ranked by 18(c)(i), not by 18(b)(i), and both would otherwise match. This is the case that makes own's activity list, not her propulsion, the discriminator.",
+   "expect": [
+    "11",
+    {
+     "entry": "18c1",
+     "modality": "shall-if-practicable"
+    },
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 16
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18 matrix: own fishing under sail, other power-driven, in sight",
+   "status": "binding",
+   "narrative": "A fishing vessel under sail against an ordinary power-driven vessel: 18(a)(iii) gives the duty to the other vessel, so own carries none. The mirror of this case is the power-driven row.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 16
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "scope: own power-driven, other not under command, NOT in sight",
+   "status": "binding",
+   "narrative": "The same facts as the in-sight matrix cell, with `pair:geo:in_sight` false. Section II falls away entirely -- 18(a)(i) does not apply -- and Rule 19 takes its place. This is the scope gate, asserted rather than described.",
+   "expect": [
+    "19a",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": false,
+      "fact:length_m": 60
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": false
+     }
+    }
+   }
+  },
+  {
+   "name": "scope: own power-driven, other sailing, NOT in sight",
+   "status": "binding",
+   "narrative": "Section II is gated off; a sailing vessel gets no Rule 18 privilege from a vessel that cannot see her.",
+   "expect": [
+    "19a",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": false
+     }
+    }
+   }
+  },
+  {
+   "name": "scope: own fishing, other restricted in her ability to manoeuvre, NOT in sight",
+   "status": "binding",
+   "narrative": "18(c)(ii) is Section II and falls away with it.",
+   "expect": [
+    "19a",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": false
+     }
+    }
+   }
+  },
+  {
+   "name": "8(f)(iii): risk of collision exists, and Rules 4-10 apply in any visibility",
+   "status": "binding",
+   "narrative": "Not in sight, so Section II is gone, but Rule 4 keeps Rules 4-10 alive and 8(f)(iii) is one of them. It confers no role on either subject, which is its whole content.",
+   "expect": [
+    "19a",
+    "4",
+    "8f3"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:cbd",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 220
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": false,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13(a) overrides 18(a)(iv): own sailing and overtaking a power-driven vessel",
+   "status": "binding",
+   "narrative": "Own is a sailing vessel that came up on a power-driven vessel from abaft her beam, so `own:hist:was_overtaking` is latched. Read from own's side 13(a) makes her give-way. Read from the other vessel's side -- the swapped situation -- 18(a)(iv) would make the power-driven vessel give-way to a sailing vessel, and 13(a)'s rel:overrides is what resolves the pair. The conflict is only visible across the swap, because a two-subject entry is evaluated from own's side alone.",
+   "expect": [
+    "11",
+    "13a",
+    "4",
+    "13d"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     },
+     "hist": {
+      "hist:was_overtaking": true,
+      "hist:latched_at_s": 300
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18(f)(i): a WIG craft near the surface keeps clear of a power-driven vessel",
+   "status": "binding",
+   "narrative": "A WIG craft near the surface satisfies 18(a)'s predicate too -- she is a power-driven vessel underway -- and against an ordinary power-driven vessel no 18(a) entry fires, so 18(f)(i) stands alone.",
+   "expect": [
+    "11",
+    "18f1",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30,
+      "fact:wig": true,
+      "fact:wig_near_surface": true
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "18(f)(i) overrides 18(a)(iv): a WIG craft near the surface and a sailing vessel",
+   "status": "binding",
+   "narrative": "Here both fire from own's side: 18(a)(iv) would make her give-way, 18(f)(i) makes her keep clear of all vessels. 18f1's rel:overrides against 18a4 is what stops that being two different roles for one subject in one situation.",
+   "expect": [
+    "11",
+    "18a4",
+    "18f1",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30,
+      "fact:wig": true,
+      "fact:wig_near_surface": true
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   }
+  },
+  {
+   "name": "9(b) overrides 18(a)(iv): a sailing vessel in a narrow channel",
+   "status": "binding",
+   "narrative": "Outside a channel a power-driven vessel keeps out of the way of a sailing vessel. Inside one 9(b) reverses it: the sailing vessel shall not impede. Both halves of 9(b)'s disjunctive subject fire here because the vessel is also under 20 m.",
+   "expect": [
+    "11",
+    "4",
+    {
+     "entry": "9b",
+     "modality": "shall-not-impede"
+    }
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:confined_to_channel": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "9(c) overrides 18(a)(iii): a fishing vessel in a narrow channel",
+   "status": "binding",
+   "narrative": "18(a)(iii) would make the power-driven vessel keep out of the way; 9(c) makes the fishing vessel not impede her. Read from the fishing vessel's side.",
+   "expect": [
+    "11",
+    "4",
+    {
+     "entry": "9b",
+     "modality": "shall-not-impede"
+    },
+    {
+     "entry": "9c",
+     "modality": "shall-not-impede"
+    }
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:confined_to_channel": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "10(i) overrides 18(a)(iii): a fishing vessel in a traffic separation scheme",
+   "status": "binding",
+   "narrative": "The traffic-lane twin of 9(c). `pair:env:traffic_lane` is the only fact that separates them.",
+   "expect": [
+    {
+     "entry": "10i",
+     "modality": "shall-not-impede"
+    },
+    {
+     "entry": "10j",
+     "modality": "shall-not-impede"
+    },
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 18
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:following_traffic_lane": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "10(j) overrides 18(a)(iv): a sailing vessel under 20 m in a traffic separation scheme",
+   "status": "binding",
+   "narrative": "10(j)'s object is narrower than 9(b)'s -- a power-driven vessel following a traffic lane -- so `other:fact:propulsion` is read. Both halves of the disjunctive subject fire.",
+   "expect": [
+    {
+     "entry": "10j",
+     "modality": "shall-not-impede"
+    },
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:following_traffic_lane": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "9(b) length boundary: 19.9 m power-driven vessel in a narrow channel",
+   "status": "binding",
+   "narrative": "REQ-VERIFY-5: the `own:fact:length_m: {lt: 20}` disjunct of 9b's `any_of` subject, isolated from the `propulsion:sail` disjunct and from 18a4 by keeping both vessels power-driven -- no other predicate fires, so only the length gate decides.",
+   "expect": [
+    "11",
+    "4",
+    {
+     "entry": "9b",
+     "modality": "shall-not-impede"
+    }
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 19.9
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:confined_to_channel": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "9(b) length boundary: 20.0 m power-driven vessel in a narrow channel",
+   "status": "binding",
+   "narrative": "The other side of the same gate: at exactly 20 m, neither disjunct of 9b's subject holds, so 9b no longer applies and nothing else in this situation does either. `other:fact:confined_to_channel` stays true so length alone crosses the threshold.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 20
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:confined_to_channel": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "10(j) length boundary: 19.9 m power-driven vessel in a traffic separation scheme",
+   "status": "binding",
+   "narrative": "REQ-VERIFY-5: the twin gate, on 10j's `any_of` subject. Both vessels power-driven, other following the lane, so only the length disjunct decides.",
+   "expect": [
+    "11",
+    "4",
+    {
+     "entry": "10j",
+     "modality": "shall-not-impede"
+    }
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 19.9
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:following_traffic_lane": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "10(j) length boundary: 20.0 m power-driven vessel in a traffic separation scheme",
+   "status": "binding",
+   "narrative": "The other side of the same gate: at exactly 20 m, neither disjunct holds and 10j no longer applies. `other:fact:following_traffic_lane` stays true so length alone crosses the threshold.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 20
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:following_traffic_lane": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "10(j) does not apply: a sailing vessel and another sailing vessel in a scheme",
+   "status": "binding",
+   "narrative": "The negative case for 10(j)'s `other:fact:propulsion` gate: the other vessel is not power-driven, so 10(j) does not fire and Rule 18 says nothing between two sailing vessels either. Rule 12 would, and is not modelled.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 14
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "9(b) does not apply: the other vessel is not confined to the channel (Q-34)",
+   "status": "binding",
+   "narrative": "REQ-VERIFY-5's twin for a boolean gate rather than a threshold: same subjects and channel as the first 9(b) fixture, but the other vessel is not the paragraph's protected vessel, so `other:fact:confined_to_channel` alone decides and 9(b) does not fire.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:confined_to_channel": false
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": true,
+      "env:traffic_lane": false
+     }
+    }
+   }
+  },
+  {
+   "name": "10(j) does not apply: the other vessel is not following the lane (Q-34)",
+   "status": "binding",
+   "narrative": "The traffic-lane twin of the 9(b) case above: same subjects and scheme as the 10(j) fixture, but the other vessel is not following it, so `other:fact:following_traffic_lane` alone decides.",
+   "expect": [
+    "11",
+    "4"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40,
+      "fact:following_traffic_lane": false
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     },
+     "env": {
+      "env:narrow_channel": false,
+      "env:traffic_lane": true
+     }
+    }
+   }
+  },
+  {
+   "name": "27(c): other is towing in a way that severely restricts the pair, in sight",
+   "status": "binding",
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:towing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 60,
+      "fact:tow_length_m": 300,
+      "fact:tow_restricts_deviation": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   },
+   "expect": [
+    "11",
+    "18a2",
+    "4"
+   ],
+   "narrative": "The case Q-32 recorded as uncaught: a towing operation that severely restricts the towing vessel and her tow is restricted in her ability to manoeuvre by 27(c), so 18(a)(ii) applies -- but her `fact:activity` is `activity:towing` and no enumeration of the display axis reached her. `fact:rule18_class` decodes her to `rule18_class:ram` and the entry finds her."
+  },
+  {
+   "name": "27(c): other is towing ordinarily, and Rule 18 does not rank her, in sight",
+   "status": "binding",
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:towing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 60,
+      "fact:tow_length_m": 300,
+      "fact:tow_restricts_deviation": false
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   },
+   "expect": [
+    "11",
+    "4"
+   ],
+   "narrative": "The other side of the same boolean, and the reason 27(c) needs one: most tows do not severely restrict the pair, and a tow that does not is an ordinary power-driven vessel under Rule 18. Without `fact:tow_restricts_deviation` the decode would have to choose one reading for every tow and would be wrong about most of them."
+  },
+  {
+   "name": "27(c): other is being towed in a way that severely restricts the pair, in sight",
+   "status": "binding",
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 40
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:being_towed",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 60,
+      "fact:tow_restricts_deviation": true
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:in_sight": true
+     }
+    }
+   },
+   "expect": [
+    "11",
+    "18a2",
+    "4"
+   ],
+   "narrative": "3(g)(vi) names \"the towing vessel and her tow\" together, and the tow carries her own fact record -- so this side of the pair needs its own fixture: `activity:being_towed` plus `fact:tow_restricts_deviation` on her own record decodes her to `rule18_class:ram` exactly as the towing vessel's does. Before this fixture the decode row only matched `activity:towing`, and the tow herself fell through to her propulsion undetected."
+  },
+  {
+   "name": "13(b) edge: own bears exactly 112.5 from the other, and is not yet overtaking",
+   "status": "binding",
+   "narrative": "Own bears 112.5 relative from the other -- exactly 22.5 degrees abaft her beam, the forward edge of her sternlight arc. 13(b) says 'more than 22.5 degrees abaft her beam', so the edge itself is not an overtaking and the encounter is a crossing. The other bears 300 relative from own, on own's port bow, so own is the stand-on vessel and 15a-give-way is absent from her side; it applies to the other vessel, which is the swapped situation and not what a fixture asserts.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 7.5,
+      "kin:sog_kn": 11.25,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 112.5
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 2000,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 2,
+      "geo:tcpa_s": 2294,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13(b) edge: own bears 112.6 from the other, one tenth of a degree into the sector",
+   "status": "binding",
+   "narrative": "The same edge from the other side of it. A tenth of a degree further abaft the other's beam and the encounter is an overtaking: 13b-overtaking classifies it and 13a lays the duty on own. 15a-crossing is excluded by the sector, not by a hand-written crossing sector, which is the property the partition test asserts over the whole circle.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "13a",
+    "13b-overtaking"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 14.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 350.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 57.4,
+      "kin:sog_kn": 2.63,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 112.6
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1200,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 183,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13(b) edge: own bears exactly 247.5 from the other, the mirror of the same edge",
+   "status": "binding",
+   "narrative": "The port-quarter edge, 112.5 degrees the other way round. Not overtaking, so a crossing; and the other bears 010 relative from own, on her starboard bow, so own is the give-way vessel. Own is inside the head-on cone and the other is not, which is why 14b does not apply: 14(b) is a statement about both aspects, and the `any_of` that negates it needs only one of them outside.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 14.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 10.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 302.5,
+      "kin:sog_kn": 2.63,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 247.5
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1200,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 183,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13(b) edge: own bears 247.4 from the other, one tenth of a degree into the sector",
+   "status": "binding",
+   "narrative": "The mirror of the 112.6 case. Overtaking, and the give-way entry that applied a tenth of a degree away is gone -- the two sit either side of one number, which is the point of declaring it once.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "13a",
+    "13b-overtaking"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 14.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 10.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 302.6,
+      "kin:sog_kn": 2.63,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 247.4
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1200,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 183,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13(b): own is the vessel being overtaken, and the encounter is still an overtaking",
+   "status": "binding",
+   "narrative": "The other bears 200 relative from own and is coming up fast on own's port quarter. From own's side the aspect is 005 -- she is nearly ahead of the overtaking vessel -- and reading aspect alone would have made this a crossing on own's side and an overtaking on the other's, one encounter with two names. 13b-overtaken is the second half of 13(b) and is what stops that. 13a is correctly absent: own is not the vessel that keeps out of the way.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "13b-overtaken"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 3.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 200.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 15.0,
+      "kin:sog_kn": 11.8,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 5.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 900,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 196,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "14 edge: both aspects exactly one point, the widest head-on the constant admits",
+   "status": "binding",
+   "narrative": "Own bears 348.75 relative from the other and the other bears 011.25 from own -- both exactly at `head_on_half_angle_deg`, one point of the compass. The cone is closed at the edge, so this is a head-on situation. Courses are 000 and 202.5, twenty-two and a half degrees off reciprocal, which is the widest pair the pencilled constant admits and the fixture that will change if the constant does.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "14b"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 11.25
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 202.5,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 348.75
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 124,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "14 edge: one twentieth of a degree wider, and the same situation is a crossing",
+   "status": "binding",
+   "narrative": "Own's bearing of the other moves from 11.25 to 11.3 and nothing else changes. The head-on cone no longer holds on both subjects, so 14b is gone and 15a-crossing takes it -- the residual, with no bearing left unclassified between the two fixtures. Own has the other on her starboard side, so she is give-way.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 11.3
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 202.55,
+      "kin:sog_kn": 12.05,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:ferry"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 348.75
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 124,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "7(d)(i) does not apply: the bearing is drawing out at three degrees a minute",
+   "status": "binding",
+   "narrative": "The same crossing geometry as the first fixture with the bearing opening at 3 deg/min, comfortably outside `appreciable_bearing_change_deg_min`. 7d1 is absent and every other entry is unchanged: risk of collision is a supplied fact and 7(d)(i) is a second ground for it, never the only one, which is why 15a-crossing and 8f3 still apply.",
+   "expect": [
+    "4",
+    "11",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 40.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 300.0,
+      "kin:sog_kn": 18.2,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 280.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 6000,
+      "geo:bearing_change_deg_min": -3.01,
+      "geo:cpa_m": 3823,
+      "geo:tcpa_s": 561,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "no risk of collision: the geometry is a crossing and Section II classifies nothing",
+   "status": "binding",
+   "narrative": "The same bearings again with `geo:risk_of_collision` false. Rules 14 and 15 both open on risk of collision, so neither the encounter type nor the role survives its absence, and the pair selects only the two scope entries. Rule 13 would have survived it -- 13(b) says nothing about risk -- which is why this case is a crossing geometry and not an overtaking one.",
+   "expect": [
+    "4",
+    "11"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 12.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 40.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 30.0
+     },
+     "kin": {
+      "kin:heading_deg": 300.0,
+      "kin:sog_kn": 18.2,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 280.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 6000,
+      "geo:bearing_change_deg_min": -3.01,
+      "geo:cpa_m": 3823,
+      "geo:tcpa_s": 561,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": false
+     }
+    }
+   }
+  },
+  {
+   "name": "12(a)(i): own on the port tack, the other on the starboard tack",
+   "status": "binding",
+   "narrative": "Two sailing vessels approaching with the wind on different sides. Own has it on the port side and keeps out of the way. No encounter type is produced: Rules 14 and 15 are both gated on two power-driven vessels and Rule 12 has no deeming paragraph of its own, so the pair carries a role and no classification. That is a finding about the Rules rather than a gap in the data -- Q-43.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "12a1"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:port"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "12(a)(ii): both on the starboard tack, own to windward",
+   "status": "binding",
+   "narrative": "The wind on the same side for both, so the windward vessel keeps clear. `geo:windward` is antisymmetric and the fixture states both halves of it, which is what makes the swapped reading -- the other vessel is not give-way -- an assertion rather than an absence.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "12a2"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "12(a)(iii): own on the port tack and the other's tack cannot be determined",
+   "status": "binding",
+   "narrative": "Own has the wind on the port side, sees a vessel to windward, and cannot tell which side that vessel has the wind on. `wind_side:unknown` is a declared value and not an absent fact, which is the only reason this paragraph is expressible at all: an absent fact satisfies nothing, so silence would have relieved own of the duty the paragraph exists to impose.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "12a3"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:port"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:unknown"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "12 does not apply: both on the starboard tack and own to leeward",
+   "status": "binding",
+   "narrative": "The exclusion case for all three of Rule 12. Same tack rules out 12(a)(i), own to leeward rules out 12(a)(ii), and the other's tack being known rules out 12(a)(iii). The leeward vessel is stand-on and the entry that says so is 12a2 read on the swapped situation, which is why nothing appears here.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "12 under 18(b)(iii): own fishing under sail on the port tack, the other a sailing vessel on the starboard tack",
+   "status": "binding",
+   "narrative": "The same crossing as the 12(a)(i) case, with own now engaged in fishing under sail. She is a sailing vessel by 3(c) -- her machinery is not in use -- so 12(a)(i) applies from her side and would make her give way, being on the port tack. She is also a vessel engaged in fishing by 3(d), so from the other vessel's side 18(b)(iii) applies and makes the other keep out of her way. Both are in force; Rule 18's opening words except Rules 9, 10 and 13 and not Rule 12, so 18b3 carries rel:overrides against 12a1 and own resolves to stand-on. This fixture asserts applicability from own's side, which is 12a1; the resolution is asserted by the pooled-roles tests, and before this PR own was simply outside Rule 12, which was Q-40's finding.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "12a1"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 16.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing",
+      "kin:wind_side": "wind_side:port"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "13 over 12: own overtaking a windward vessel on the same tack from dead astern",
+   "status": "binding",
+   "narrative": "Two sailing vessels on the starboard tack, own to leeward and coming up from dead astern at twice the other's speed. From own's side 13(a) and 13(b) apply and 12(a)(ii) does not -- own is not the windward vessel. From the other's side 12(a)(ii) does apply and would make her, the windward vessel, keep out of the way of own. 13(a) is 'notwithstanding anything contained in' the Rules of Part B Sections I and II, which is Rule 12 among others, so 13a carries rel:overrides against the three Rule 12 entries and the overtaken vessel resolves to stand-on. Steady bearing: dead ahead and dead astern, closing at three knots.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "13a",
+    "13b-overtaking"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 12.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 0.0,
+      "geo:windward": false
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:sail",
+      "fact:activity": "activity:none",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 11.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 3.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:yacht",
+      "kin:wind_side": "wind_side:starboard"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 180.0,
+      "geo:windward": true
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 500,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 324,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "15 between two fishing vessels: both under power, the other on own's starboard side",
+   "status": "binding",
+   "narrative": "Two vessels engaged in fishing, both propelled by machinery, crossing in sight on a steady bearing at 1500 m. Rule 18 orders neither of them: 18(a) speaks for a power-driven vessel that is not herself ranked by Rule 18, and 18(c) ranks a fishing vessel only against a vessel not under command and one restricted in her ability to manoeuvre. So no Rule 18 norm is in force between this pair. 15(a)'s \"two power-driven vessels\" is 3(b), and a vessel engaged in fishing whose machinery is in use is a power-driven vessel, so Rule 15 is the only norm that assigns a role here: own has the other on her own starboard side and keeps out of the way, the other stands on. Before this PR `15a-give-way` negated the four Rule 18 ranks on both subjects, so neither vessel took a helm role and the pair was ungoverned -- which is the finding this fixture was written to record.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 26.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:fishing",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 22.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:fishing"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  },
+  {
+   "name": "15 between NUC and RAM: both under power, and Rule 18 does not order them",
+   "status": "binding",
+   "narrative": "The same crossing with own not under command and the other restricted in her ability to manoeuvre, both propelled by machinery. Rule 18 is a partial order and these two are its unordered pair -- neither 18(a), whose subject is a vessel Rule 18 does not rank, nor 18(c), whose subject is a fishing vessel, reaches them -- which the partial-order test already pins. Both are power-driven vessels by 3(b), so 15(a) applies and own, having the other on her own starboard side, is the give-way vessel. That lays a helm duty on a vessel which by 3(f) is unable to manoeuvre as the Rules require, and the model records it rather than gating it away: Rule 2 is what answers it (ADR 0005 sec. 5), the same position `12a1` takes for two sailing vessels Rule 18 leaves unordered. Q-40.",
+   "expect": [
+    "4",
+    "11",
+    "7d1",
+    "8f3",
+    "15a-crossing",
+    "15a-give-way"
+   ],
+   "situation": {
+    "own": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:nuc",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 80.0
+     },
+     "kin": {
+      "kin:heading_deg": 0,
+      "kin:sog_kn": 6.0,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 45.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "other": {
+     "fact": {
+      "fact:propulsion": "propulsion:power",
+      "fact:activity": "activity:ram",
+      "fact:position": "position:underway",
+      "fact:making_way": true,
+      "fact:length_m": 65.0
+     },
+     "kin": {
+      "kin:heading_deg": 285.0,
+      "kin:sog_kn": 4.9,
+      "kin:rot_deg_min": 0,
+      "kin:dynamics": "dynamics:cargo"
+     },
+     "geo": {
+      "geo:rel_bearing_deg": 300.0
+     },
+     "hist": {
+      "hist:was_overtaking": false,
+      "hist:latched_at_s": null
+     }
+    },
+    "pair": {
+     "geo": {
+      "geo:range_m": 1500,
+      "geo:cpa_m": 0,
+      "geo:tcpa_s": 436,
+      "geo:bearing_change_deg_min": 0.0,
+      "geo:in_sight": true,
+      "geo:risk_of_collision": true
+     }
+    }
+   }
+  }
+ ],
+ "override_note": "`expect` names every entry whose predicate the situation satisfies, including entries that a rel:overrides then displaces. Applicability and resolution are two steps: 18(a)(iv) really does apply to a WIG craft near the surface -- she is a power-driven vessel underway -- and 18(f)(i) overriding it is what the engine does next. A fixture that hid the overridden entry would make the override unobservable and the relation untestable.",
+ "expect_scope": "`expect` names the non-`display` entries a situation selects -- `scope`, `precedence` and `classification`. Display entries are deliberately out of scope here: a situation carries `own.fact`, so every Part C entry that matches that vessel would otherwise have to be repeated in every Part B fixture, and fixtures/applicability-fixtures.json is already the contract for those. A situation fixture asserts what the pair produces, not what own shows.",
+ "collapse_note": "Four expected ids changed in the PR that gave the predicate language `any_of` and `not`: `9b-small`/`9b-sail` collapsed to `9b` and `10j-small`/`10j-sail` to `10j`, because 9(b)'s and 10(j)'s disjunctive subjects no longer need an entry apiece. Every other expected id is unchanged. `18d1`'s expected modality moved from `shall-not-impede` to `shall-if-practicable`: the duty now lives in `effect.own` and the modality carries the 'if the circumstances of the case admit' caveat the entry used to drop.",
+ "geometry_note": "The bearings, headings and speeds of every case that states its kinematics are a consistent set, and since the consistency check landed (Q-48, REQ-VERIFY-8) the suite enforces that rather than trusting the author. The two relative bearings are two readings of one line of sight, so own's bearing plus own's heading plus 180 equals the aspect plus the other's heading, modulo 360; where positions are stated they reproduce the range and both bearings; and the pair's cpa, tcpa and bearing rate are the ones the two headings and speeds produce, to the tolerances `data/facts.json` declares under `situation.geometry.consistency`. Positions are still omitted from the cases added with Rules 12-15: range and bearing are given directly, inventing a latitude to derive them from would assert more than the case knows, and the heading equation checks what the case does state. When the check landed every case that stated speeds failed the motion equations -- the pair numbers had been placeholders -- and they were re-derived; the head-on case was recast on a steady bearing and the 13(d) latch case lost `7d1`, both recorded in their narratives. Everything else, and every other expected id, is unchanged."
+}