colregs 0.1.1 → 0.2.2

package/data/applicability.json

@@ -1,18 +1,49 @@
 {
  "conditions": "night (Rule 20(b): sunset to sunrise), and by 20(c) in restricted visibility by day. Day shapes are not in this release.",
  "relations": {
-  "includes": "import another entry's lights only, never its predicate",
-  "conditional_includes": "import lights when the stated `when` holds; `one_of` is a set of legal alternatives among which the vessel picks one",
-  "in_lieu_of": "this entry's lights replace the referenced entries' lights",
-  "excludes": "the referenced entries must not be shown at the same time",
-  "exempts": "the referenced entries are not required"
+  "rel:includes": "import another entry's lights only, never its predicate",
+  "rel:conditional_includes": "import lights when the stated `when` holds; `one_of` is a set of legal alternatives among which the vessel picks one",
+  "rel:in_lieu_of": "this entry's lights replace the referenced entries' lights",
+  "rel:excludes": "the referenced entries must not be shown at the same time",
+  "rel:exempts": "the referenced entries are not required",
+  "rel:overrides": "the superiority relation: the referencing norm's obligation displaces the referenced norm's when both apply"
  },
  "modalities": {
   "shall": "mandatory",
   "may": "permitted alternative",
   "shall-if-practicable": "mandatory where practicable, with a stated fallback",
   "conditional": "modality depends on facts; see modality_by",
-  "exempt": "the entry relieves a requirement rather than imposing one"
+  "exempt": "the entry relieves a requirement rather than imposing one",
+  "shall-not": "mandatory prohibition",
+  "shall-not-impede": "a distinct duty to avoid impeding another vessel, not a negated shall"
+ },
+ "categories": {
+  "definition": "produces vocabulary; not evaluated",
+  "standard": "produces technical values (ranges, heights); not evaluated",
+  "scope": "reads visibility, in-sight, jurisdiction; the engine derives which sections apply",
+  "display": "reads one vessel's facts; the engine derives signals and modality",
+  "classification": "reads relative geometry and history; the engine derives encounter type and risk of collision",
+  "precedence": "reads two vessels' facts plus encounter type; the engine derives give-way/stand-on/shall-not-impede/none",
+  "conduct": "reads encounter, role, phase, kinematics and observations; monitored over a trace, not evaluated at a point",
+  "care": "reads anything; produces residual responsibility; represented, never independently evaluated",
+  "meta": "reads the region state; produces a banner and advisories; computed by a solver, reviewed by humans"
+ },
+ "effects": {
+  "note": "What a two-subject entry produces. `effect` is {\"own\": <role>, \"other\": <role>} for a `precedence` entry, {\"part\", \"section\", \"applies_rules\"} for a `scope` entry, and for a `classification` entry exactly one of {\"encounter\": <encounter>} or {\"risk_of_collision\": true}. A `display` entry has no `effect`; its output is `lights`. Roles and encounters are closed vocabularies and are not identifiers (docs/identifiers.md, 'What is not an identifier'). Pencil: ADR 0005 and docs/identifiers.md.",
+  "roles": {
+   "give-way": "this subject shall keep out of the way of the other; Rule 16 governs the action",
+   "stand-on": "this subject shall keep her course and speed; Rule 17 governs, including 17(a)(ii) and 17(b)",
+   "shall-not-impede": "this subject shall not impede the other's passage or safe passage; Rule 8(f) governs, and by 8(f)(iii) it confers nothing on the other",
+   "keep-clear": "this subject shall keep well clear of the other and avoid impeding her navigation, outside the give-way/stand-on pairing (18(e), 18(f)(i))",
+   "none": "this paragraph confers no role on this subject. Recorded rather than omitted: `none` on the counterpart of a shall-not-impede duty is the content of 8(f)(iii), and `none` on both sides of a NUC/RAM pair is the content of Rule 18's partial order."
+  },
+  "encounters": {
+   "head-on": "Rule 14: two power-driven vessels meeting on reciprocal or nearly reciprocal courses",
+   "crossing": "Rule 15: two power-driven vessels crossing. The residual of the other three, derived with `not` rather than written as its own sector, so the four cannot drift apart",
+   "overtaking": "Rule 13: one vessel coming up with another from more than 22.5 degrees abaft her beam, or latched there by 13(d)",
+   "none": "no encounter of Section II's three types. Declared for completeness of the vocabulary; no entry produces it, because an encounter type is asserted by a paragraph and the absence of one is the absence of an entry, not an entry with a null value"
+  },
+  "classification_shape": "A classification effect carries exactly one key: `encounter`, whose value is one of `encounters` above, or `risk_of_collision`, whose value is `true`. Two shapes rather than one because Rule 7(d) and Rules 13-15 answer two different questions -- does risk exist, and what kind of encounter is this -- and ADR 0005 gives both to `classification`. A single merged shape would have made every encounter entry state a risk it does not decide."
  },
  "known_omissions": [
   {
@@ -39,21 +70,87 @@
    "cite": "31",
    "what": "Seaplanes and WIG craft show the closest practicable equivalent.",
    "why": "Not expressible as a light set."
+  },
+  {
+   "cite": "9(d)",
+   "what": "A vessel shall not cross a narrow channel or fairway if such crossing impedes the passage of a vessel which can safely navigate only within that channel.",
+   "why": "The duty is conditioned on own crossing the channel, which is a relation between own's heading and the channel's axis. Neither the channel's axis nor 'crossing it' is a fact this package carries, and `pair:env:narrow_channel` is a boolean about the place, not a geometry. No entry rather than an entry whose predicate is not the paragraph's."
+  },
+  {
+   "cite": "18(d)(ii)",
+   "what": "A vessel constrained by her draft shall navigate with particular caution having full regard to her special condition.",
+   "why": "`conduct`, not `precedence`: it prescribes a manner of navigating rather than a role in a pair, and conduct is monitored over a trace rather than evaluated at a point (ADR 0005 sec. 1). No conduct entry shape exists yet."
+  },
+  {
+   "cite": "18(e)",
+   "what": "A seaplane on the water shall in general keep well clear of all vessels and avoid impeding their navigation; where risk of collision exists she shall comply with Rules 4-19.",
+   "why": "There is no fact for being a seaplane. `fact:propulsion` has power, sail and oars, and Rule 3(a) makes a seaplane a vessel without giving the fact record anywhere to say so. The effect vocabulary has `keep-clear` for it; the predicate does not exist."
+  },
+  {
+   "cite": "18(f)(ii)",
+   "what": "A WIG craft operating on the water surface shall comply with Rules 4-19 as a power-driven vessel.",
+   "why": "Not a precedence norm: it maps a WIG on the surface onto `propulsion:power` for the rest of Part B, which is a classification or a decode-table statement rather than a role in a pair. 18(f)(i) -- the phase that does change the roles -- is entry 18f1."
+  },
+  {
+   "cite": "1(a), 1(b), 1(c), 1(d), 1(e), 20(b), 20(c)",
+   "what": "The remaining `scope` paragraphs: the waters the Rules apply to, special rules made by an authority, the adoption of traffic separation schemes, the special-construction determination, and the sunset-to-sunrise and restricted-visibility gates on the light rules.",
+   "why": "None of them reads a fact this package declares. 1(a) needs a fact about the waters; 1(b)/(c)/(e) are about an authority's determination, which is closer to the jurisdiction dimension of ADR 0001 than to a predicate; 1(d) is not addressed to a vessel at all; 20(b)/(c) need time of day and visibility, and applicability.json's `conditions` note already records that night is assumed rather than gated. Deferred to a later PR with 4, 11 and 19(a) landing first."
+  },
+  {
+   "cite": "7(d)(ii)",
+   "what": "Risk of collision may sometimes exist even when an appreciable bearing change is evident, particularly when approaching a very large vessel or a tow or when approaching a vessel at close range.",
+   "why": "Three limbs and no fact behind two of them: 'very large vessel' has no length threshold anywhere in the Rules, and 'close range' has none either, so both would have to be numbers this package invented -- unlike 7(d)(i)'s, which at least thresholds a quantity the paragraph names. The third limb, a tow, is `fact:activity: activity:towing` and could be written. It is not written alone, because the paragraph's modality is the real obstacle: 'may sometimes exist' is neither a deeming rule nor a permission, it is an instruction to the mariner's judgement, and the modality vocabulary has no value for it. Recorded whole rather than modelled in thirds. Q-42."
+  },
+  {
+   "cite": "13(c), 14(c)",
+   "what": "When a vessel is in any doubt as to whether she is overtaking, or whether a head-on situation exists, she shall assume that it is the case and act accordingly.",
+   "why": "Doubt is a state of the observer, not a fact of the situation, and the one thing the predicate language will not do is fire on an absent fact -- which is the nearest thing to doubt it has. Modelling these would mean either a `doubt` boolean, which asks a consumer to report a mental state, or reading absence as assertion, which reverses the rule the whole language is built on. 12(a)(iii) is the same shape and is modelled, only because 12(b) makes the uncertainty a value of a fact that is present. Q-41."
+  },
+  {
+   "cite": "14(a)",
+   "what": "When two power-driven vessels are meeting on reciprocal or nearly reciprocal courses so as to involve risk of collision each shall alter her course to starboard so that each shall pass on the port side of the other.",
+   "why": "`conduct`, not `classification`: the paragraph states the situation in words and prescribes the action, and 14(b) is the paragraph that deems the situation to exist -- entry 14b cites it. The action is monitored over a trace rather than evaluated at a point (ADR 0005 sec. 1), and no conduct entry shape exists yet. Q-45."
   }
  ],
+ "represented_paragraphs": [
+  {
+   "id": "2a",
+   "jurisdiction": "intl",
+   "cite": "2(a)",
+   "category": "care",
+   "note": "Residual responsibility for every other paragraph; nothing in this package discharges it, so it is recorded rather than dropped from the model."
+  },
+  {
+   "id": "2b",
+   "jurisdiction": "intl",
+   "cite": "2(b)",
+   "category": "meta",
+   "note": "Names the region where a departure from the Rules may be necessary; scoped to level-1/2 invariant violations and computed offline by a solver as a region of situation space, never evaluated here as a predicate."
+  }
+ ],
+ "retired_entry_ids": {
+  "note": "Entry ids that existed and no longer do. REQ-MODEL-10 makes an identifier immutable, which means a retired id is never reused for a different entry -- recorded here so that a later session cannot reuse one by accident. The first four retirements cost no consumer anything since nothing had shipped yet; `14a` is the first to have shipped (v0.1.3), so it is deprecated rather than dropped -- see data/deprecated-identifiers.json.",
+  "ids": {
+   "9b-small": "Collapsed into `9b` when `any_of` gave the predicate language a disjunction; 9(b)'s subject needed two entries only because a `when` was a conjunction.",
+   "9b-sail": "Collapsed into `9b`, same reason.",
+   "10j-small": "Collapsed into `10j`, same reason.",
+   "10j-sail": "Collapsed into `10j`, same reason.",
+   "14a": "Renamed `14b` when the head-on classification moved its cite from 14(a) to 14(b), the deeming paragraph it reads; 14(a) is conduct and is in known_omissions. Shipped in v0.1.3, so it is the first record in data/deprecated-identifiers.json (REQ-MODEL-11). Q-45."
+  }
+ },
  "entries": [
   {
    "id": "23a1",
    "jurisdiction": "intl",
    "cite": "23(a)(i)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway"
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "position": "forward",
      "count": 1
     }
@@ -68,13 +165,13 @@
    "jurisdiction": "intl",
    "cite": "23(a)(ii)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway"
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "position": "abaft and higher than the forward one",
      "count": 1
     }
@@ -83,7 +180,7 @@
    "modality_by": [
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "gte": 50
       }
      },
@@ -91,7 +188,7 @@
     },
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "lt": 50
       }
      },
@@ -107,16 +204,16 @@
    "jurisdiction": "intl",
    "cite": "23(a)(iii)-(iv)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway"
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "sidelights"
+     "light": "light:sidelights"
     },
     {
-     "light": "sternlight"
+     "light": "light:sternlight"
     }
    ],
    "modality": "shall"
@@ -126,20 +223,20 @@
    "jurisdiction": "intl",
    "cite": "23(b)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway",
-    "non_displacement": true
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:non_displacement": true
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "yellow",
      "character": "flashing",
      "count": 1
     }
    ],
-   "includes": [
+   "rel:includes": [
     "23a1",
     "23a2",
     "23a34"
@@ -155,22 +252,22 @@
    "jurisdiction": "intl",
    "cite": "23(c)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway",
-    "wig": true,
-    "wig_near_surface": true
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:wig": true,
+    "fact:wig_near_surface": true
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "character": "flashing",
      "intensity": "high",
      "count": 1
     }
    ],
-   "includes": [
+   "rel:includes": [
     "23a1",
     "23a2",
     "23a34"
@@ -183,24 +280,24 @@
    "jurisdiction": "intl",
    "cite": "23(d)(i)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway",
-    "length_m": {
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:length_m": {
      "lt": 12
     }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1
     },
     {
-     "light": "sidelights"
+     "light": "light:sidelights"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "23a1",
     "23a2",
     "23a34"
@@ -215,28 +312,28 @@
    "jurisdiction": "intl",
    "cite": "23(d)(ii)",
    "when": {
-    "propulsion": "power",
-    "activity": "none",
-    "position": "underway",
-    "length_m": {
+    "fact:propulsion": "propulsion:power",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:length_m": {
      "lt": 7
     },
-    "max_speed_kn": {
+    "fact:max_speed_kn": {
      "lte": 7
     }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1
     },
     {
-     "light": "sidelights",
+     "light": "light:sidelights",
      "modality": "shall-if-practicable"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "23a1",
     "23a2",
     "23a34"
@@ -252,19 +349,19 @@
    "jurisdiction": "intl",
    "cite": "24(a)(i)",
    "when": {
-    "activity": "towing",
-    "tow_length_m": {
+    "fact:activity": "activity:towing",
+    "fact:tow_length_m": {
      "lte": 200
     }
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "count": 2,
      "arrangement": "vertical"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "23a1",
     "23a2"
    ],
@@ -278,19 +375,19 @@
    "jurisdiction": "intl",
    "cite": "24(a)(i)",
    "when": {
-    "activity": "towing",
-    "tow_length_m": {
+    "fact:activity": "activity:towing",
+    "fact:tow_length_m": {
      "gt": 200
     }
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "count": 3,
      "arrangement": "vertical"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "23a1",
     "23a2"
    ],
@@ -304,16 +401,16 @@
    "jurisdiction": "intl",
    "cite": "24(a)(ii)-(iv)",
    "when": {
-    "activity": "towing"
+    "fact:activity": "activity:towing"
    },
    "lights": [
     {
-     "light": "towing",
+     "light": "light:towing",
      "position": "in a vertical line above the sternlight",
      "count": 1
     }
    ],
-   "includes": [
+   "rel:includes": [
     "23a34"
    ],
    "modality": "shall",
@@ -326,11 +423,11 @@
    "jurisdiction": "intl",
    "cite": "24(b)",
    "when": {
-    "activity": "pushing",
-    "composite_unit": true
+    "fact:activity": "activity:pushing",
+    "fact:composite_unit": true
    },
    "lights": [],
-   "includes": [
+   "rel:includes": [
     "23a1",
     "23a2",
     "23a34"
@@ -346,20 +443,20 @@
    "jurisdiction": "intl",
    "cite": "24(c)",
    "when": {
-    "activity": "pushing",
-    "composite_unit": false
+    "fact:activity": "activity:pushing",
+    "fact:composite_unit": false
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "count": 2,
      "arrangement": "vertical"
     }
    ],
-   "includes": [
+   "rel:includes": [
     "23a34"
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "23a1",
     "23a2"
    ],
@@ -371,14 +468,14 @@
    "jurisdiction": "intl",
    "cite": "24(e)",
    "when": {
-    "activity": "being_towed"
+    "fact:activity": "activity:being_towed"
    },
    "lights": [
     {
-     "light": "sidelights"
+     "light": "light:sidelights"
     },
     {
-     "light": "sternlight"
+     "light": "light:sternlight"
     }
    ],
    "modality": "shall",
@@ -392,16 +489,16 @@
    "jurisdiction": "intl",
    "cite": "25(a)",
    "when": {
-    "propulsion": "sail",
-    "activity": "none",
-    "position": "underway"
+    "fact:propulsion": "propulsion:sail",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "sidelights"
+     "light": "light:sidelights"
     },
     {
-     "light": "sternlight"
+     "light": "light:sternlight"
     }
    ],
    "modality": "shall",
@@ -414,29 +511,29 @@
    "jurisdiction": "intl",
    "cite": "25(b)",
    "when": {
-    "propulsion": "sail",
-    "activity": "none",
-    "position": "underway",
-    "length_m": {
+    "fact:propulsion": "propulsion:sail",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:length_m": {
      "lt": 20
     }
    },
    "lights": [
     {
-     "light": "sidelights",
+     "light": "light:sidelights",
      "combined": true,
      "position": "at or near the top of the mast"
     },
     {
-     "light": "sternlight",
+     "light": "light:sternlight",
      "combined": true,
      "position": "at or near the top of the mast"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "25a"
    ],
-   "excludes": [
+   "rel:excludes": [
     "25c"
    ],
    "modality": "may",
@@ -450,28 +547,28 @@
    "jurisdiction": "intl",
    "cite": "25(c)",
    "when": {
-    "propulsion": "sail",
-    "activity": "none",
-    "position": "underway"
+    "fact:propulsion": "propulsion:sail",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "upper, at or near the top of the mast"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "green",
      "count": 1,
      "position": "lower, at or near the top of the mast"
     }
    ],
-   "includes": [
+   "rel:includes": [
     "25a"
    ],
-   "excludes": [
+   "rel:excludes": [
     "25b"
    ],
    "modality": "may",
@@ -484,22 +581,22 @@
    "jurisdiction": "intl",
    "cite": "25(d)(i)",
    "when": {
-    "propulsion": "sail",
-    "activity": "none",
-    "position": "underway",
-    "length_m": {
+    "fact:propulsion": "propulsion:sail",
+    "fact:activity": "activity:none",
+    "fact:position": "position:underway",
+    "fact:length_m": {
      "lt": 7
     }
    },
    "lights": [
     {
-     "light": "torch",
+     "light": "light:torch",
      "color": "white",
      "count": 1,
      "note": "an electric torch or lighted lantern shown in sufficient time to prevent collision"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "25a",
     "25b"
    ],
@@ -514,17 +611,17 @@
    "jurisdiction": "intl",
    "cite": "25(d)(ii)",
    "when": {
-    "propulsion": "oars"
+    "fact:propulsion": "propulsion:oars"
    },
    "lights": [
     {
-     "light": "torch",
+     "light": "light:torch",
      "color": "white",
      "count": 1,
      "note": "an electric torch or lighted lantern shown in sufficient time to prevent collision"
     }
    ],
-   "conditional_includes": [
+   "rel:conditional_includes": [
     {
      "one_of": [
       "25a",
@@ -543,23 +640,26 @@
    "jurisdiction": "intl",
    "cite": "26(b)(i)",
    "when": {
-    "activity": "trawling"
+    "fact:activity": "activity:trawling",
+    "fact:position": {
+     "not": "position:aground"
+    }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "green",
      "count": 1,
      "position": "upper"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "lower"
     }
    ],
-   "excludes": [
+   "rel:overrides": [
     "30a",
     "30b"
    ],
@@ -567,18 +667,21 @@
    "images": [
     "NRHB_26_b.png"
    ],
-   "notes": "Rule 26(a): a vessel engaged in fishing shall exhibit only the lights of Rule 26, whether underway or at anchor — hence the exclusion of Rule 30."
+   "notes": "Rule 26(a) — 'only the lights prescribed in this Rule' — prevails over Rule 30's anchor lights underway or at anchor (rel:overrides, ADR 0007). Aground is neither (Rule 3(i)); she shows 30(d) alone."
   },
   {
    "id": "26b-mast",
    "jurisdiction": "intl",
    "cite": "26(b)(ii)",
    "when": {
-    "activity": "trawling"
+    "fact:activity": "activity:trawling",
+    "fact:position": {
+     "not": "position:aground"
+    }
    },
    "lights": [
     {
-     "light": "masthead",
+     "light": "light:masthead",
      "position": "abaft of and higher than the all-round green light",
      "count": 1
     }
@@ -587,7 +690,7 @@
    "modality_by": [
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "gte": 50
       }
      },
@@ -595,7 +698,7 @@
     },
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "lt": 50
       }
      },
@@ -608,11 +711,11 @@
    "jurisdiction": "intl",
    "cite": "26(b)(iii)",
    "when": {
-    "activity": "trawling",
-    "making_way": true
+    "fact:activity": "activity:trawling",
+    "fact:making_way": true
    },
    "lights": [],
-   "includes": [
+   "rel:includes": [
     "23a34"
    ],
    "modality": "shall",
@@ -625,23 +728,26 @@
    "jurisdiction": "intl",
    "cite": "26(c)(i)",
    "when": {
-    "activity": "fishing"
+    "fact:activity": "activity:fishing",
+    "fact:position": {
+     "not": "position:aground"
+    }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "upper"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "lower"
     }
    ],
-   "excludes": [
+   "rel:overrides": [
     "30a",
     "30b"
    ],
@@ -652,14 +758,17 @@
    "jurisdiction": "intl",
    "cite": "26(c)(ii)",
    "when": {
-    "activity": "fishing",
-    "gear_extent_m": {
+    "fact:activity": "activity:fishing",
+    "fact:position": {
+     "not": "position:aground"
+    },
+    "fact:gear_extent_m": {
      "gt": 150
     }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "in the direction of the gear"
@@ -672,11 +781,11 @@
    "jurisdiction": "intl",
    "cite": "26(c)(iii)",
    "when": {
-    "activity": "fishing",
-    "making_way": true
+    "fact:activity": "activity:fishing",
+    "fact:making_way": true
    },
    "lights": [],
-   "includes": [
+   "rel:includes": [
     "23a34"
    ],
    "modality": "shall",
@@ -689,12 +798,12 @@
    "jurisdiction": "intl",
    "cite": "27(a)(i)",
    "when": {
-    "activity": "nuc",
-    "position": "underway"
+    "fact:activity": "activity:nuc",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 2,
      "arrangement": "vertical"
@@ -710,11 +819,11 @@
    "jurisdiction": "intl",
    "cite": "27(a)(iii)",
    "when": {
-    "activity": "nuc",
-    "making_way": true
+    "fact:activity": "activity:nuc",
+    "fact:making_way": true
    },
    "lights": [],
-   "includes": [
+   "rel:includes": [
     "23a34"
    ],
    "modality": "shall",
@@ -727,23 +836,23 @@
    "jurisdiction": "intl",
    "cite": "27(b)(i)",
    "when": {
-    "activity": "ram"
+    "fact:activity": "activity:ram"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "upper"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "middle"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "lower"
@@ -757,11 +866,11 @@
    "jurisdiction": "intl",
    "cite": "27(b)(iii)",
    "when": {
-    "activity": "ram",
-    "making_way": true
+    "fact:activity": "activity:ram",
+    "fact:making_way": true
    },
    "lights": [],
-   "includes": [
+   "rel:includes": [
     "23a1",
     "23a2",
     "23a34"
@@ -776,11 +885,11 @@
    "jurisdiction": "intl",
    "cite": "27(b)(iv)",
    "when": {
-    "activity": "ram",
-    "position": "anchored"
+    "fact:activity": "activity:ram",
+    "fact:position": "position:anchored"
    },
    "lights": [],
-   "conditional_includes": [
+   "rel:conditional_includes": [
     {
      "one_of": [
       "30a",
@@ -798,26 +907,26 @@
    "jurisdiction": "intl",
    "cite": "27(d)",
    "when": {
-    "activity": "ram_underwater",
-    "obstruction_exists": true
+    "fact:activity": "activity:ram_underwater",
+    "fact:obstruction_exists": true
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 2,
      "arrangement": "vertical",
      "position": "on the side on which the obstruction exists"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "green",
      "count": 2,
      "arrangement": "vertical",
      "position": "on the side on which another vessel may pass"
     }
    ],
-   "includes": [
+   "rel:includes": [
     "27b-id"
    ],
    "modality": "shall",
@@ -831,29 +940,29 @@
    "jurisdiction": "intl",
    "cite": "27(e)(i)",
    "when": {
-    "activity": "diving"
+    "fact:activity": "activity:diving"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "upper"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "middle"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "lower"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "27d"
    ],
    "modality": "shall",
@@ -867,53 +976,62 @@
    "jurisdiction": "intl",
    "cite": "27(f)",
    "when": {
-    "activity": "mine"
+    "fact:activity": "activity:mine"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "green",
      "count": 3,
      "position": "one near the foremast head and one at each end of the fore yard"
     }
    ],
-   "includes": [
-    "23a1",
-    "23a2",
-    "23a34"
-   ],
-   "conditional_includes": [
+   "rel:conditional_includes": [
+    {
+     "when": {
+      "fact:position": "position:underway"
+     },
+     "rel:includes": [
+      "23a1",
+      "23a2",
+      "23a34"
+     ],
+     "cite": "27(f)"
+    },
     {
      "when": {
-      "position": "anchored"
+      "fact:position": "position:anchored"
      },
      "one_of": [
       "30a",
       "30b"
-     ]
+     ],
+     "cite": "27(f)"
     }
    ],
    "modality": "shall",
    "images": [
     "NRHB_27_f.png"
-   ]
+   ],
+   "notes": "27(f) adds the three green lights 'to the lights prescribed for a power-driven vessel in Rule 23 or to the lights or shape prescribed for a vessel at anchor in Rule 30, as appropriate': which set is imported turns on fact:position, so both imports are gated (the 29(a) pattern). The anchored branch is genuine practice, added by A.464(XII) in 1981 — docs/verification/2026-09-05-rule27f-rule28-anchor-scenarios.md, Q1."
   },
   {
    "id": "28",
    "jurisdiction": "intl",
    "cite": "28",
    "when": {
-    "activity": "cbd"
+    "fact:activity": "activity:cbd",
+    "fact:position": "position:underway"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 3,
      "arrangement": "vertical"
     }
    ],
-   "includes": [
+   "rel:includes": [
     "23a1",
     "23a2",
     "23a34"
@@ -922,42 +1040,42 @@
    "images": [
     "NRHB_28.png"
    ],
-   "notes": "The Rule 23(a) lights are 'shall' (she is a power-driven vessel underway); the three red lights are 'may'. International Rules only."
+   "notes": "The Rule 23(a) lights are 'shall' (she is a power-driven vessel underway); the three red lights are 'may'. International Rules only. Position is pinned to underway rather than gating the Rule 23 import: 'constrained by her draught' is a status of a vessel navigating (3(h)); the standard commentary and IMO guidance treat the Rule 28 signal as shown only with the underway lights; and Annex I positions the red lights only relative to masthead lights — docs/verification/2026-09-05-rule27f-rule28-anchor-scenarios.md, Q2. A record of activity:cbd at anchor therefore gets Rule 30 alone."
   },
   {
    "id": "29a",
    "jurisdiction": "intl",
    "cite": "29(a)",
    "when": {
-    "activity": "pilot"
+    "fact:activity": "activity:pilot"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "upper, at or near the masthead"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 1,
      "position": "lower, at or near the masthead"
     }
    ],
-   "conditional_includes": [
+   "rel:conditional_includes": [
     {
      "when": {
-      "position": "underway"
+      "fact:position": "position:underway"
      },
-     "includes": [
+     "rel:includes": [
       "23a34"
      ],
      "cite": "29(a)(ii)"
     },
     {
      "when": {
-      "position": "anchored"
+      "fact:position": "position:anchored"
      },
      "one_of": [
       "30a",
@@ -977,17 +1095,17 @@
    "jurisdiction": "intl",
    "cite": "30(a)",
    "when": {
-    "position": "anchored"
+    "fact:position": "position:anchored"
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "in the fore part"
     },
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "at or near the stern, at a lower level than the fore one"
@@ -1003,20 +1121,20 @@
    "jurisdiction": "intl",
    "cite": "30(b)",
    "when": {
-    "position": "anchored",
-    "length_m": {
+    "fact:position": "position:anchored",
+    "fact:length_m": {
      "lt": 50
     }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "white",
      "count": 1,
      "position": "where it can best be seen"
     }
    ],
-   "in_lieu_of": [
+   "rel:in_lieu_of": [
     "30a"
    ],
    "modality": "may"
@@ -1026,11 +1144,11 @@
    "jurisdiction": "intl",
    "cite": "30(c)",
    "when": {
-    "position": "anchored"
+    "fact:position": "position:anchored"
    },
    "lights": [
     {
-     "light": "deck_lights",
+     "light": "light:deck_lights",
      "note": "available working or equivalent lights to illuminate her decks"
     }
    ],
@@ -1038,7 +1156,7 @@
    "modality_by": [
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "gte": 100
       }
      },
@@ -1046,7 +1164,7 @@
     },
     {
      "when": {
-      "length_m": {
+      "fact:length_m": {
        "lt": 100
       }
      },
@@ -1059,10 +1177,10 @@
    "jurisdiction": "intl",
    "cite": "30(d)",
    "when": {
-    "position": "aground"
+    "fact:position": "position:aground"
    },
    "lights": [],
-   "conditional_includes": [
+   "rel:conditional_includes": [
     {
      "one_of": [
       "30a",
@@ -1078,14 +1196,14 @@
    "jurisdiction": "intl",
    "cite": "30(d)",
    "when": {
-    "position": "aground",
-    "length_m": {
+    "fact:position": "position:aground",
+    "fact:length_m": {
      "gte": 12
     }
    },
    "lights": [
     {
-     "light": "all_round",
+     "light": "light:all_round",
      "color": "red",
      "count": 2,
      "arrangement": "vertical"
@@ -1102,18 +1220,962 @@
    "jurisdiction": "intl",
    "cite": "30(e)",
    "when": {
-    "position": "anchored",
-    "length_m": {
+    "fact:position": "position:anchored",
+    "fact:length_m": {
      "lt": 7
     },
-    "near_channel": false
+    "fact:near_channel": false
    },
    "lights": [],
-   "exempts": [
+   "rel:exempts": [
     "30a",
     "30b"
    ],
    "modality": "exempt"
+  },
+  {
+   "id": "4",
+   "jurisdiction": "intl",
+   "cite": "4",
+   "category": "scope",
+   "subjects": 2,
+   "when": {},
+   "modality": "shall",
+   "effect": {
+    "part": "B",
+    "section": "I",
+    "applies_rules": [
+     "4",
+     "5",
+     "6",
+     "7",
+     "8",
+     "9",
+     "10"
+    ]
+   },
+   "note": "Part B Section I is ungated: the predicate is empty because 'any condition of visibility' is the absence of a condition, not a fact. A scope entry is never a display entry, so an empty `when` selects no lights."
+  },
+  {
+   "id": "11",
+   "jurisdiction": "intl",
+   "cite": "11",
+   "category": "scope",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "part": "B",
+    "section": "II",
+    "applies_rules": [
+     "11",
+     "12",
+     "13",
+     "14",
+     "15",
+     "16",
+     "17",
+     "18"
+    ]
+   },
+   "note": "Rule 3(k)'s in-sight test is a fact of the pair, so Section II is gated on `pair:geo:in_sight` and every Rule 18 entry below repeats that gate rather than relying on the engine to apply this one."
+  },
+  {
+   "id": "19a",
+   "jurisdiction": "intl",
+   "cite": "19(a)",
+   "category": "scope",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": false
+   },
+   "modality": "shall",
+   "effect": {
+    "part": "B",
+    "section": "III",
+    "applies_rules": [
+     "19"
+    ]
+   },
+   "gap": "19(a) is 'not in sight of one another AND navigating in or near an area of restricted visibility'. Only the first conjunct is a fact; there is no fact for being in or near an area of restricted visibility, and it is a property of the water rather than of either vessel or of the pair's geometry. This entry is therefore wider than the paragraph: it selects Section III for any pair not in sight. Recorded rather than silently narrowed.",
+   "note": "The complement of 11. Rule 3(l) defines restricted visibility; nothing in facts.json carries it."
+  },
+  {
+   "id": "18a1",
+   "jurisdiction": "intl",
+   "cite": "18(a)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:propulsion": "propulsion:power",
+    "own:fact:rule18_class": {
+     "not": [
+      "rule18_class:nuc",
+      "rule18_class:ram",
+      "rule18_class:fishing"
+     ]
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:nuc",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "15a-give-way"
+   ],
+   "note": "Own is 'a power-driven vessel underway' (18(a)) that is not herself ranked by Rule 18 -- written as the negation the paragraph implies rather than as an enumeration of activity values that had to be edited every time the axis grew (Q-33). A vessel constrained by her draught and a WIG craft on the surface are both power-driven and both stay inside it, which is why the gate is `fact:propulsion` plus the negated rank and not `rule18_class:power`: 18(d) protects a CBD vessel, it does not exempt her from 18(a). Overrides `15a-give-way` (Q-40): own and a vessel not under command are both power-driven vessels by 3(b) whenever her machinery is in use, so 15(a) is in force between them as well and would hand the give-way role to whichever has the other on her starboard side, rank or no rank. Rule 18's opening words except Rules 9, 10 and 13 and no others, so this paragraph displaces it."
+  },
+  {
+   "id": "18a2",
+   "jurisdiction": "intl",
+   "cite": "18(a)(ii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:propulsion": "propulsion:power",
+    "own:fact:rule18_class": {
+     "not": [
+      "rule18_class:nuc",
+      "rule18_class:ram",
+      "rule18_class:fishing"
+     ]
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:ram",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "15a-give-way"
+   ],
+   "note": "Mine clearance (27(f)) and diving (27(e)) reach this entry through `rule18_class:ram`, which decodes them by 3(g), instead of being listed here by hand. That is the display/rank divergence Q-32 named, moved into facts.json. Overrides `15a-give-way` (Q-40): own and a vessel restricted in her ability to manoeuvre are both power-driven vessels by 3(b) whenever her machinery is in use, so 15(a) is in force between them as well and would hand the give-way role to whichever has the other on her starboard side, rank or no rank. Rule 18's opening words except Rules 9, 10 and 13 and no others, so this paragraph displaces it."
+  },
+  {
+   "id": "18a3",
+   "jurisdiction": "intl",
+   "cite": "18(a)(iii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:propulsion": "propulsion:power",
+    "own:fact:rule18_class": {
+     "not": [
+      "rule18_class:nuc",
+      "rule18_class:ram",
+      "rule18_class:fishing"
+     ]
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:fishing",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "15a-give-way"
+   ],
+   "note": "`activity:trawling` reaches this entry through the class decode rather than by being listed beside `activity:fishing`; a fishing vessel under sail is `rule18_class:fishing` too, which is 18(c)'s reading of the axis. Overrides `15a-give-way` (Q-40): own and a vessel engaged in fishing are both power-driven vessels by 3(b) whenever her machinery is in use, so 15(a) is in force between them as well and would hand the give-way role to whichever has the other on her starboard side, rank or no rank. Rule 18's opening words except Rules 9, 10 and 13 and no others, so this paragraph displaces it."
+  },
+  {
+   "id": "18a4",
+   "jurisdiction": "intl",
+   "cite": "18(a)(iv)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:propulsion": "propulsion:power",
+    "own:fact:rule18_class": {
+     "not": [
+      "rule18_class:nuc",
+      "rule18_class:ram",
+      "rule18_class:fishing"
+     ]
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:sail",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "note": "A sailing vessel that is also fishing decodes to `rule18_class:fishing` and is ranked by 18(a)(iii), so the class alone carries what the old predicate needed a propulsion gate and an activity list to say."
+  },
+  {
+   "id": "18b1",
+   "jurisdiction": "intl",
+   "cite": "18(b)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:nuc",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "12a1",
+    "12a2",
+    "12a3"
+   ],
+   "note": "Own is `rule18_class:sail`, which is 3(c)'s sailing vessel and not a fishing vessel under sail -- the class carries both halves of what the propulsion gate and the activity list used to say between them. Overrides the three Rule 12 entries (Q-40): both subjects can be sailing vessels by 3(c) -- the other under sail and not under command, restricted in her ability to manoeuvre, or engaged in fishing -- so Rule 12 is in force between them too, and Rule 18's chapeau excepts only Rules 9, 10 and 13."
+  },
+  {
+   "id": "18b2",
+   "jurisdiction": "intl",
+   "cite": "18(b)(ii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:ram",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "12a1",
+    "12a2",
+    "12a3"
+   ],
+   "note": "Overrides the three Rule 12 entries (Q-40): both subjects can be sailing vessels by 3(c) -- the other under sail and not under command, restricted in her ability to manoeuvre, or engaged in fishing -- so Rule 12 is in force between them too, and Rule 18's chapeau excepts only Rules 9, 10 and 13."
+  },
+  {
+   "id": "18b3",
+   "jurisdiction": "intl",
+   "cite": "18(b)(iii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:fishing",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "12a1",
+    "12a2",
+    "12a3"
+   ],
+   "note": "Overrides the three Rule 12 entries (Q-40): both subjects can be sailing vessels by 3(c) -- the other under sail and not under command, restricted in her ability to manoeuvre, or engaged in fishing -- so Rule 12 is in force between them too, and Rule 18's chapeau excepts only Rules 9, 10 and 13."
+  },
+  {
+   "id": "18c1",
+   "jurisdiction": "intl",
+   "cite": "18(c)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:fishing",
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:nuc",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall-if-practicable",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "12a1",
+    "12a2",
+    "12a3",
+    "15a-give-way"
+   ],
+   "note": "'so far as possible' is the practicability qualifier, so the modality is shall-if-practicable. 18(c) does not distinguish propulsion, and `rule18_class:fishing` does not either: a fishing vessel under sail is ranked here. Overrides the three Rule 12 entries (Q-40): a vessel engaged in fishing under sail is a sailing vessel by 3(c), and if the vessel she must keep out of the way of is under sail as well, Rule 12 is in force between them; Rule 18's chapeau excepts only Rules 9, 10 and 13. It overrides `15a-give-way` on the same ground (Q-40): a fishing vessel under power and a vessel not under command under power are two power-driven vessels by 3(b), so Rule 15 is in force between them too."
+  },
+  {
+   "id": "18c2",
+   "jurisdiction": "intl",
+   "cite": "18(c)(ii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:fishing",
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:ram",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall-if-practicable",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "12a1",
+    "12a2",
+    "12a3",
+    "15a-give-way"
+   ],
+   "note": "Overrides the three Rule 12 entries (Q-40): a vessel engaged in fishing under sail is a sailing vessel by 3(c), and if the vessel she must keep out of the way of is under sail as well, Rule 12 is in force between them; Rule 18's chapeau excepts only Rules 9, 10 and 13. It overrides `15a-give-way` on the same ground (Q-40): a fishing vessel under power and a vessel restricted in her ability to manoeuvre under power are two power-driven vessels by 3(b), so Rule 15 is in force between them too."
+  },
+  {
+   "id": "18d1",
+   "jurisdiction": "intl",
+   "cite": "18(d)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": {
+     "not": [
+      "rule18_class:nuc",
+      "rule18_class:ram"
+     ]
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:rule18_class": "rule18_class:cbd",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall-if-practicable",
+   "effect": {
+    "own": "shall-not-impede",
+    "other": "none"
+   },
+   "note": "Own is the paragraph's own subject, verbatim: 'any vessel other than a vessel not under command or a vessel restricted in her ability to manoeuvre'. That is a negation, and it is now written as one (Q-33) instead of as the eight-value positive list it took before. `other` is `none` and not `stand-on`: 18(d) confers no stand-on role, which is the point 8(f)(iii) makes explicit. The modality is `shall-if-practicable` because the duty itself now lives in `effect.own` -- 'shall, if the circumstances of the case admit' is the deontic qualification and `shall-not-impede` is the role, so the two halves the paragraph carries at once are held in two fields rather than fought over in one. That closes 18(d)(i)'s half of Q-31 and leaves the general question open.",
+   "gap": "18(d)(i) conditions on the CBD vessel 'exhibiting the signals in Rule 28', which is a display fact of the other vessel and is not read here; the entry is that much wider than the paragraph. Q-34."
+  },
+  {
+   "id": "18f1",
+   "jurisdiction": "intl",
+   "cite": "18(f)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "own:fact:rule18_class": "rule18_class:wig",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "pair:geo:in_sight": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "keep-clear",
+    "other": "none"
+   },
+   "rel:overrides": [
+    "18a1",
+    "18a2",
+    "18a3",
+    "18a4",
+    "18d1",
+    "15a-give-way"
+   ],
+   "note": "`rule18_class:wig` is the decode of `fact:wig` and `fact:wig_near_surface` together, so the phase gate 18(f)(i) is scoped to is stated once in facts.json rather than as a pair of booleans in every entry that needs it. A WIG craft near the surface still satisfies 18(a)'s predicate -- she is a power-driven vessel underway and the negated rank does not exclude her -- so the rel:overrides against the 18(a) family and 18(d)(i) still carries. `keep-clear` is one effect for the paragraph's two duties, which the effect vocabulary cannot separate. It overrides `15a-give-way` as well (Q-40): a WIG craft operating on the water surface is a power-driven vessel by 3(m), so 15(a) would give her a give-way or stand-on role beside 18(f)(i)'s keep-clear duty -- two helm roles at once, which is the conflict the rank negation on `15a-give-way` used to avoid by keeping her out of Rule 15 altogether."
+  },
+  {
+   "id": "8f3",
+   "jurisdiction": "intl",
+   "cite": "8(f)(iii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:risk_of_collision": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "none",
+    "other": "none"
+   },
+   "note": "Recorded as a precedence norm rather than as a rel:overrides. It is not a superiority relation: 8(f)(ii) keeps the impeding vessel's duty alive, so nothing is displaced. What 8(f)(iii) does is deny the not-to-be-impeded vessel any role -- `none` on both sides -- so that shall-not-impede is never read as conferring stand-on.",
+   "gap": "The paragraph's antecedent is 'a vessel, the passage of which is not to be impeded'. That is the output of another norm, not a fact, and a precedence predicate reads only facts. The `when` is therefore the risk-of-collision half alone, which makes this entry wider than the paragraph: it applies to any pair with risk of collision. Kept wide and recorded rather than narrowed by inventing a fact.",
+   "no_gate_note": "No in-sight gate: Rule 4 puts Rules 4-10 in any condition of visibility."
+  },
+  {
+   "id": "13a",
+   "jurisdiction": "intl",
+   "cite": "13(a)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "any_of": [
+     {
+      "other:geo:rel_bearing_deg": {
+       "gt": 112.5,
+       "lt": 247.5
+      },
+      "pair:geo:tcpa_s": {
+       "gt": 0
+      }
+     },
+     {
+      "own:hist:was_overtaking": true
+     }
+    ],
+    "other:fact:position": "position:underway"
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "rel:overrides": [
+    "18a1",
+    "18a2",
+    "18a3",
+    "18a4",
+    "18b1",
+    "18b2",
+    "18b3",
+    "18c1",
+    "18c2",
+    "18d1",
+    "18f1",
+    "12a1",
+    "12a2",
+    "12a3"
+   ],
+   "note": "Categorised `precedence`, not `classification` as ADR 0005 sec. 1 and the proposal's first-cut table have it. 13(a) is the one paragraph of Rule 13 that assigns a role, and a `classification` entry has no field to put a role in; 13(b)'s sector test is the classification and is what sets the latch. Q-14 settles membership paragraph by paragraph and this is one of them. The predicate now carries both halves of 'any vessel overtaking any other': the 13(b) sector, which 13b-overtaking classifies, and the 13(d) latch, which 13d classifies. They are a disjunction, which is what the entry could not write before the predicate language grew `any_of` (Q-33). Now also overrides the three Rule 12 entries: 'notwithstanding anything contained in' the Rules of Part B Sections I and II includes Rule 12, and two sailing vessels in an overtaking would otherwise hold 13(a)'s and 12(a)'s roles at once (Q-40).",
+   "gap": "Only own's side. 13(a) lays the duty on the overtaking vessel, so this entry is directional by design and the overtaken vessel's stand-on role comes from the same entry read on the swapped situation. What it still cannot say is 13(c) -- a vessel in any doubt as to whether she is overtaking shall assume that she is -- because doubt is a state of the observer and no fact carries it; and it inherits 13b-overtaking's speed-comparison gap. Q-41, Q-46."
+  },
+  {
+   "id": "9b",
+   "jurisdiction": "intl",
+   "cite": "9(b)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:env:narrow_channel": true,
+    "any_of": [
+     {
+      "own:fact:length_m": {
+       "lt": 20
+      }
+     },
+     {
+      "own:fact:propulsion": "propulsion:sail"
+     }
+    ],
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "other:fact:confined_to_channel": true
+   },
+   "modality": "shall-not-impede",
+   "effect": {
+    "own": "shall-not-impede",
+    "other": "none"
+   },
+   "rel:overrides": [
+    "18a4"
+   ],
+   "note": "9(b)'s subject is disjunctive -- 'a vessel of less than 20 metres in length or a sailing vessel' -- and used to take two entries, `9b-small` and `9b-sail`, because a `when` was a conjunction. `any_of` is that disjunction (Q-33), so the paragraph is one entry again and the entry id is the plain citation-derived one. The two suffixed ids are retired and not reused (REQ-MODEL-10). The gate is `fact:propulsion` and not `rule18_class:sail`: 9(b)'s subject is a sailing vessel in the ordinary sense and 9(c) covers fishing vessels separately, so borrowing Rule 18's rank here would quietly move a fishing vessel under sail from one paragraph to the other. `other:fact:confined_to_channel` closes Q-34: the entry now reads which vessel the paragraph protects instead of assuming it from the encounter being in a channel at all."
+  },
+  {
+   "id": "9c",
+   "jurisdiction": "intl",
+   "cite": "9(c)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:env:narrow_channel": true,
+    "own:fact:rule18_class": "rule18_class:fishing",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway"
+   },
+   "modality": "shall-not-impede",
+   "effect": {
+    "own": "shall-not-impede",
+    "other": "none"
+   },
+   "rel:overrides": [
+    "18a3",
+    "18b3"
+   ],
+   "note": "Reverses 18(a)(iii) and 18(b)(iii) inside a narrow channel: 9(c)'s object is 'any other vessel navigating within a narrow channel or fairway', so unlike 9(b) it needs no further fact about the other vessel."
+  },
+  {
+   "id": "10i",
+   "jurisdiction": "intl",
+   "cite": "10(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:env:traffic_lane": true,
+    "own:fact:rule18_class": "rule18_class:fishing",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "other:fact:following_traffic_lane": true
+   },
+   "modality": "shall-not-impede",
+   "effect": {
+    "own": "shall-not-impede",
+    "other": "none"
+   },
+   "rel:overrides": [
+    "18a3",
+    "18b3"
+   ],
+   "note": "`other:fact:following_traffic_lane` closes Q-34: the entry now reads which vessel the paragraph protects instead of assuming it from the encounter being in a lane at all."
+  },
+  {
+   "id": "10j",
+   "jurisdiction": "intl",
+   "cite": "10(j)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:env:traffic_lane": true,
+    "any_of": [
+     {
+      "own:fact:length_m": {
+       "lt": 20
+      }
+     },
+     {
+      "own:fact:propulsion": "propulsion:sail"
+     }
+    ],
+    "own:fact:position": "position:underway",
+    "other:fact:propulsion": "propulsion:power",
+    "other:fact:position": "position:underway",
+    "other:fact:following_traffic_lane": true
+   },
+   "modality": "shall-not-impede",
+   "effect": {
+    "own": "shall-not-impede",
+    "other": "none"
+   },
+   "rel:overrides": [
+    "18a4"
+   ],
+   "note": "The same collapse as 9b, and the same disjunctive subject. 10(j)'s object is narrower than 9(b)'s -- a power-driven vessel -- so `other:fact:propulsion` is read. `10j-small` and `10j-sail` are retired and not reused. `other:fact:following_traffic_lane` closes Q-34, same as 10i."
+  },
+  {
+   "id": "7d1",
+   "jurisdiction": "intl",
+   "cite": "7(d)(i)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:bearing_change_deg_min": {
+     "gt": -1.0,
+     "lt": 1.0
+    },
+    "pair:geo:tcpa_s": {
+     "gt": 0
+    }
+   },
+   "modality": "shall",
+   "effect": {
+    "risk_of_collision": true
+   },
+   "note": "7(d)(i) is a deeming rule, not a judgement: if the compass bearing of an approaching vessel does not appreciably change, risk shall be deemed to exist. `appreciably` is a number the Rules do not give, so it is declared once in facts.json `situation.constants.appreciable_bearing_change_deg_min` and read from there; the interval is open on both sides of zero because the paragraph asks whether the bearing changes, not which way. `approaching` is `pair:geo:tcpa_s` positive -- the closest point of approach is still ahead -- which is the nearest thing in the fact vocabulary to a vessel coming on.",
+   "gap": "This entry can only add risk, never deny it. 7(a) makes risk a judgement on all available means and says that in any doubt it shall be deemed to exist, so `pair:geo:risk_of_collision` stays a supplied fact and this entry's effect is a second, independent ground for the same conclusion. Nothing here writes the fact back: whether a norm may read another norm's effect is Q-35, unresolved.",
+   "no_gate_note": "No in-sight gate: Rule 4 puts Rules 4-10 in any condition of visibility."
+  },
+  {
+   "id": "12a1",
+   "jurisdiction": "intl",
+   "cite": "12(a)(i)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:sail",
+    "other:fact:propulsion": "propulsion:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:kin:wind_side": "wind_side:port",
+    "other:kin:wind_side": "wind_side:starboard"
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "note": "Each has the wind on a different side, so the vessel with the wind on the port side keeps out of the way. Evaluated from own's side, so the mirror case -- own on starboard, other on port -- is this same entry read on the swapped situation, and it is what makes the other vessel stand-on. 'Two sailing vessels' is 3(c), so both subjects are gated on `fact:propulsion: propulsion:sail` and not on `rule18_class:sail` (Q-40): a vessel engaged in fishing under sail, or not under command under sail, is a sailing vessel by 3(c) and is inside Rule 12. Where Rule 18 also ranks the pair -- 18(b) from the ordinary sailing vessel's side, 18(c) from the fishing vessel's -- that entry carries `rel:overrides` against this one, because Rule 18's opening words except Rules 9, 10 and 13 and no others; 13(a)'s 'notwithstanding' overrides it the same way. Between two sailing vessels Rule 18 leaves unordered -- one not under command and one restricted in her ability to manoeuvre -- this entry is the only norm in force, and it lays a helm duty on a vessel that may be unable to discharge it; that is Rule 2's region and is recorded in Q-40 rather than gated away."
+  },
+  {
+   "id": "12a2",
+   "jurisdiction": "intl",
+   "cite": "12(a)(ii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:sail",
+    "other:fact:propulsion": "propulsion:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:geo:windward": true,
+    "any_of": [
+     {
+      "own:kin:wind_side": "wind_side:port",
+      "other:kin:wind_side": "wind_side:port"
+     },
+     {
+      "own:kin:wind_side": "wind_side:starboard",
+      "other:kin:wind_side": "wind_side:starboard"
+     }
+    ]
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "note": "Both have the wind on the same side, so the windward vessel keeps clear. 'The same side' is a comparison between two facts and the predicate language compares a fact to a constant, so the disjunction is written out over the two values the comparison can take -- which is why `wind_side:unknown` on either subject falls through to 12(a)(iii) rather than into this entry. 'Two sailing vessels' is 3(c), so both subjects are gated on `fact:propulsion: propulsion:sail` and not on `rule18_class:sail` (Q-40): a vessel engaged in fishing under sail, or not under command under sail, is a sailing vessel by 3(c) and is inside Rule 12. Where Rule 18 also ranks the pair -- 18(b) from the ordinary sailing vessel's side, 18(c) from the fishing vessel's -- that entry carries `rel:overrides` against this one, because Rule 18's opening words except Rules 9, 10 and 13 and no others; 13(a)'s 'notwithstanding' overrides it the same way. Between two sailing vessels Rule 18 leaves unordered -- one not under command and one restricted in her ability to manoeuvre -- this entry is the only norm in force, and it lays a helm duty on a vessel that may be unable to discharge it; that is Rule 2's region and is recorded in Q-40 rather than gated away."
+  },
+  {
+   "id": "12a3",
+   "jurisdiction": "intl",
+   "cite": "12(a)(iii)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:sail",
+    "other:fact:propulsion": "propulsion:sail",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:kin:wind_side": "wind_side:port",
+    "other:kin:wind_side": "wind_side:unknown",
+    "other:geo:windward": true
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "note": "The doubt case, and the one paragraph of Rule 12 that is expressible only because uncertainty is a declared value of the fact rather than the fact's absence. `wind_side:unknown` on the other subject is 'cannot determine with certainty', and an absent fact would have been the wrong model for it: absent satisfies nothing, so silence would have relieved own of a duty the paragraph imposes. This is the shape 13(c) and 14(c) would need and do not have -- Q-41. 'Two sailing vessels' is 3(c), so both subjects are gated on `fact:propulsion: propulsion:sail` and not on `rule18_class:sail` (Q-40): a vessel engaged in fishing under sail, or not under command under sail, is a sailing vessel by 3(c) and is inside Rule 12. Where Rule 18 also ranks the pair -- 18(b) from the ordinary sailing vessel's side, 18(c) from the fishing vessel's -- that entry carries `rel:overrides` against this one, because Rule 18's opening words except Rules 9, 10 and 13 and no others; 13(a)'s 'notwithstanding' overrides it the same way. Between two sailing vessels Rule 18 leaves unordered -- one not under command and one restricted in her ability to manoeuvre -- this entry is the only norm in force, and it lays a helm duty on a vessel that may be unable to discharge it; that is Rule 2's region and is recorded in Q-40 rather than gated away."
+  },
+  {
+   "id": "13b-overtaking",
+   "jurisdiction": "intl",
+   "cite": "13(b)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "other:geo:rel_bearing_deg": {
+     "gt": 112.5,
+     "lt": 247.5
+    },
+    "pair:geo:tcpa_s": {
+     "gt": 0
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway"
+   },
+   "modality": "shall",
+   "effect": {
+    "encounter": "overtaking"
+   },
+   "note": "own is the overtaking vessel: own bears in the other's stern sector. 13(b) is the deeming paragraph and therefore the classification, which is the half of Q-37 PR #24 left open. It is written twice, once per subject, because the encounter type is a property of the pair and not of one vessel: a vessel being overtaken is in an overtaking, and reading only `other:geo:rel_bearing_deg` would have classified her side of the same encounter as a crossing. Which vessel carries the duty is 13(a)'s question, not this one's.",
+   "gap": "'Coming up with' is a comparison of the two vessels' speeds, and a predicate compares a fact to a constant, never one fact to another. `pair:geo:tcpa_s` positive stands in for it: the closest point of approach is still ahead, so the pair is closing, and closing from abaft the beam is coming up. A vessel drawing away astern is excluded, which is the case that mattered; a pair closing because the vessel ahead has stopped is not, and is classified as an overtaking. Q-46."
+  },
+  {
+   "id": "13b-overtaken",
+   "jurisdiction": "intl",
+   "cite": "13(b)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "own:geo:rel_bearing_deg": {
+     "gt": 112.5,
+     "lt": 247.5
+    },
+    "pair:geo:tcpa_s": {
+     "gt": 0
+    },
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway"
+   },
+   "modality": "shall",
+   "effect": {
+    "encounter": "overtaking"
+   },
+   "note": "own is the vessel being overtaken: the other bears in own's stern sector. 13(b) is the deeming paragraph and therefore the classification, which is the half of Q-37 PR #24 left open. It is written twice, once per subject, because the encounter type is a property of the pair and not of one vessel: a vessel being overtaken is in an overtaking, and reading only `other:geo:rel_bearing_deg` would have classified her side of the same encounter as a crossing. Which vessel carries the duty is 13(a)'s question, not this one's.",
+   "gap": "'Coming up with' is a comparison of the two vessels' speeds, and a predicate compares a fact to a constant, never one fact to another. `pair:geo:tcpa_s` positive stands in for it: the closest point of approach is still ahead, so the pair is closing, and closing from abaft the beam is coming up. A vessel drawing away astern is excluded, which is the case that mattered; a pair closing because the vessel ahead has stopped is not, and is classified as an overtaking. Q-46."
+  },
+  {
+   "id": "13d",
+   "jurisdiction": "intl",
+   "cite": "13(d)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "any_of": [
+     {
+      "own:hist:was_overtaking": true
+     },
+     {
+      "other:hist:was_overtaking": true
+     }
+    ],
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway"
+   },
+   "modality": "shall",
+   "effect": {
+    "encounter": "overtaking"
+   },
+   "note": "The latch, and the reason `hist` is a fact class rather than a note. Once either vessel has been the overtaking vessel the encounter stays an overtaking whatever the bearing does next, so this entry reads history alone and no geometry at all. It is the counterpart of the `hist:was_overtaking: false` gate on 14b and 15a-crossing: without both halves the drawn-out bearing would produce a head-on or a crossing beside the overtaking, which is exactly the reclassification 13(d) forbids. `pair:geo:in_sight` stays in the gate; a Rule 19(d)(i) entry reads `hist:was_overtaking` directly (Q-49).",
+   "gap": "'Until she is finally past and clear' is the paragraph's own end condition and nothing in the fact vocabulary carries it, so in this model the latch never clears. A consumer sets and clears `hist:was_overtaking` itself. Recorded rather than approximated with a range or a bearing: past and clear is a seamanship judgement, and inventing a threshold for it would be the kind of number Q-40's neighbours are about. Q-47."
+  },
+  {
+   "id": "14b",
+   "jurisdiction": "intl",
+   "cite": "14(b)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:power",
+    "other:fact:propulsion": "propulsion:power",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:hist:was_overtaking": false,
+    "other:hist:was_overtaking": false,
+    "own:geo:rel_bearing_deg": {
+     "any_of": [
+      {
+       "lte": 11.25
+      },
+      {
+       "gte": 348.75
+      }
+     ]
+    },
+    "other:geo:rel_bearing_deg": {
+     "any_of": [
+      {
+       "lte": 11.25
+      },
+      {
+       "gte": 348.75
+      }
+     ]
+    }
+   },
+   "modality": "shall",
+   "effect": {
+    "encounter": "head-on"
+   },
+   "note": "14(b)'s deeming test: both vessels see the other ahead or nearly ahead. Both bearings are read, not one: a single vessel with the other fine on the bow is not a head-on situation unless she is also fine on the other's bow, and reading one bearing alone would have swallowed part of the crossing sector. The half-angle is declared once in facts.json `situation.constants.head_on_half_angle_deg`. Cites 14(b) and not 14(a) because the deeming paragraph is the classification, exactly as 13b-overtaking and 13b-overtaken cite 13(b): 14(a) states the situation in words -- 'reciprocal or nearly reciprocal courses' -- and imposes the duty, each shall alter her course to starboard, which is `conduct`, is not modelled, and is in known_omissions. Q-45.",
+   "gap": "The history gates are 13(d)'s, not Rule 14's, and they are what keeps the three encounter types a partition -- their price is that a situation which omits `hist:was_overtaking` is classified as no encounter at all rather than as a head-on. Q-43."
+  },
+  {
+   "id": "15a-crossing",
+   "jurisdiction": "intl",
+   "cite": "15(a)",
+   "category": "classification",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:power",
+    "other:fact:propulsion": "propulsion:power",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:hist:was_overtaking": false,
+    "other:hist:was_overtaking": false,
+    "own:geo:rel_bearing_deg": {
+     "not": {
+      "gt": 112.5,
+      "lt": 247.5
+     }
+    },
+    "other:geo:rel_bearing_deg": {
+     "not": {
+      "gt": 112.5,
+      "lt": 247.5
+     }
+    },
+    "any_of": [
+     {
+      "own:geo:rel_bearing_deg": {
+       "not": {
+        "any_of": [
+         {
+          "lte": 11.25
+         },
+         {
+          "gte": 348.75
+         }
+        ]
+       }
+      }
+     },
+     {
+      "other:geo:rel_bearing_deg": {
+       "not": {
+        "any_of": [
+         {
+          "lte": 11.25
+         },
+         {
+          "gte": 348.75
+         }
+        ]
+       }
+      }
+     }
+    ]
+   },
+   "modality": "shall",
+   "effect": {
+    "encounter": "crossing"
+   },
+   "note": "The residual, and derived rather than written as its own sector. Not overtaking is `not` over the very constraint 13b-overtaking uses, on both subjects, so the sector and its complement cannot drift apart and the 112.5 edge lands in exactly one of them. Not head-on is `not` over 14b's cone, on either subject -- the negation of a conjunction, which is why it is an `any_of` and not two constraints. Nothing here enumerates a crossing sector, and that is the point: the only way for the three encounter types to overlap or to leave a bearing unclassified is for someone to edit one of the two constraints without editing the other, and there is only one of each.",
+   "gap": "15(a) says 'two power-driven vessels', which this reads as 3(b)'s definition and nothing more, so a vessel not under command is inside it -- she is power-driven. That is deliberate for the classification: the encounter really is a crossing. `15a-give-way` reads 3(b) the same way and no longer gates on rank either (Q-40): where Rule 18 ranks the pair it is the Rule 18 entry's `rel:overrides` that displaces the role, which is the half of the encounter Rule 18 reaches. The geometry is not that half, and no entry now says otherwise in two places."
+  },
+  {
+   "id": "15a-give-way",
+   "jurisdiction": "intl",
+   "cite": "15(a)",
+   "category": "precedence",
+   "subjects": 2,
+   "when": {
+    "pair:geo:in_sight": true,
+    "pair:geo:risk_of_collision": true,
+    "own:fact:propulsion": "propulsion:power",
+    "other:fact:propulsion": "propulsion:power",
+    "own:fact:position": "position:underway",
+    "other:fact:position": "position:underway",
+    "own:hist:was_overtaking": false,
+    "other:hist:was_overtaking": false,
+    "own:geo:rel_bearing_deg": {
+     "gt": 0,
+     "lte": 112.5
+    },
+    "other:geo:rel_bearing_deg": {
+     "not": {
+      "gt": 112.5,
+      "lt": 247.5
+     }
+    },
+    "any_of": [
+     {
+      "own:geo:rel_bearing_deg": {
+       "not": {
+        "any_of": [
+         {
+          "lte": 11.25
+         },
+         {
+          "gte": 348.75
+         }
+        ]
+       }
+      }
+     },
+     {
+      "other:geo:rel_bearing_deg": {
+       "not": {
+        "any_of": [
+         {
+          "lte": 11.25
+         },
+         {
+          "gte": 348.75
+         }
+        ]
+       }
+      }
+     }
+    ]
+   },
+   "modality": "shall",
+   "effect": {
+    "own": "give-way",
+    "other": "stand-on"
+   },
+   "note": "The role half of 15(a): the vessel which has the other on her own starboard side keeps out of the way. Own's bearing constraint is the starboard half of the non-overtaking sector, and its upper edge is the same declared constant 13b reads, so it is not a hand-listed sector either; the partition test asserts that this entry selects exactly the crossings in which the other bears between 0 and 180 relative, which is what makes the shorthand checkable rather than trusted. 'Two power-driven vessels' is 3(b) and nothing more, so both subjects are gated on `fact:propulsion: propulsion:power` and on no Rule 18 rank (Q-40): a vessel engaged in fishing, not under command, restricted in her ability to manoeuvre or constrained by her draught is a power-driven vessel whenever her machinery is in use, and is inside Rule 15. Where Rule 18 also ranks the pair, that entry carries `rel:overrides` against this one -- 18(a)(i)-(iii) from the unranked vessel's side, 18(c)(i)-(ii) from the fishing vessel's, 18(f)(i) from the WIG craft's -- because Rule 18's opening words except Rules 9, 10 and 13 and no others; 13(a)'s 'notwithstanding' would override it the same way, and does not need to, because this entry's bearing gates and its `hist:was_overtaking: false` already exclude every overtaking. Where Rule 18 leaves the pair unordered -- two vessels engaged in fishing, or one not under command and one restricted in her ability to manoeuvre -- this entry is the only norm in force, and it lays a helm duty on a vessel that may be unable to discharge it; that is Rule 2's region and is recorded in Q-40 rather than gated away.",
+   "gap": "15(a)'s second duty -- 'shall, if the circumstances of the case admit, avoid crossing ahead of the other vessel' -- is `conduct` with a practicability caveat, and neither half fits a precedence entry. It is dropped here, which is Q-31's shape again: the caveat has no field to move into unless the duty happens to be a role, and this one is an action."
+  },
+  {
+   "id": "30a-buoy",
+   "jurisdiction": "us/inland",
+   "cite": "30(a)",
+   "when": {
+    "fact:position": "position:moored",
+    "fact:on_mooring_buoy": true
+   },
+   "lights": [
+    {
+     "light": "light:all_round",
+     "color": "white",
+     "count": 1,
+     "position": "in the fore part"
+    },
+    {
+     "light": "light:all_round",
+     "color": "white",
+     "count": 1,
+     "position": "at or near the stern, at a lower level than the fore one"
+    }
+   ],
+   "modality": "shall",
+   "note": "33 CFR 90.5 deems a vessel made fast to a mooring buoy to be a vessel at anchor, so Inland Rule 30(a) reaches her. The Convention has no such deeming provision: under intl she is 'moored' by Rule 3(i) and no paragraph prescribes lights for her."
+  },
+  {
+   "id": "30b-buoy",
+   "jurisdiction": "us/inland",
+   "cite": "30(b)",
+   "when": {
+    "fact:position": "position:moored",
+    "fact:on_mooring_buoy": true,
+    "fact:length_m": {
+     "lt": 50
+    }
+   },
+   "lights": [
+    {
+     "light": "light:all_round",
+     "color": "white",
+     "count": 1,
+     "position": "where it can best be seen"
+    }
+   ],
+   "rel:in_lieu_of": [
+    "30a-buoy"
+   ],
+   "modality": "may",
+   "note": "The under-50 m alternative, on the same 33 CFR 90.5 deeming that brings 30a-buoy in. It is a separate entry because widening 30b's predicate would edit an intl entry to carry a national delta, which REQ-SCOPE-4 forbids."
   }
  ]
 }