metanorma-iso 3.1.2 → 3.1.4

data/lib/metanorma/iso/isodoc.rng

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <grammar xmlns:a="http://relaxng.org/ns/compatibility/annotations/1.0" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
-<!-- VERSION v2.1.0 -->
+<!-- VERSION v2.1.2 -->
 
   <!--
     ALERT: cannot have root comments, because of https://github.com/metanorma/metanorma/issues/437
@@ -123,6 +123,10 @@ the type attribute defaults to `review` for reviews</a:documentation>
           <a:documentation>Notes whose scope is the current block</a:documentation>
         </ref>
       </zeroOrMore>
+      <ref name="BlockSource">
+        <a:documentation>Bibliographic source for the information in the list.
+Sources are currently only rendered in metanorma-plateau</a:documentation>
+      </ref>
     </define>
     <define name="OlBody">
       <optional>
@@ -140,6 +144,10 @@ the type attribute defaults to `review` for reviews</a:documentation>
           <a:documentation>Notes whose scope is the current block</a:documentation>
         </ref>
       </zeroOrMore>
+      <ref name="BlockSource">
+        <a:documentation>Bibliographic source for the information in the list.
+Sources are currently only rendered in metanorma-plateau</a:documentation>
+      </ref>
     </define>
     <define name="OlAttributes">
       <a:documentation>NOTE: `start` attribute is not included by default, because of problems it raises with DOC output</a:documentation>
@@ -188,6 +196,10 @@ the type attribute defaults to `review` for reviews</a:documentation>
           <a:documentation>Notes whose scope is the current block</a:documentation>
         </ref>
       </zeroOrMore>
+      <ref name="BlockSource">
+        <a:documentation>Bibliographic source for the information in the list.
+Sources are currently only rendered in metanorma-plateau</a:documentation>
+      </ref>
     </define>
     <define name="dt">
       <element name="dt">
@@ -871,6 +883,12 @@ titlecase, or lowercase</a:documentation>
       </oneOrMore>
     </element>
   </define>
+  <define name="ParagraphFnBody" combine="interleave">
+    <ref name="BlockSource">
+      <a:documentation>Bibliographic source for the information in the paragraph
+parargaph sources are currently only rendered in metanorma-plateau</a:documentation>
+    </ref>
+  </define>
   <define name="BasicBlock" combine="choice">
     <ref name="columnbreak"/>
   </define>
@@ -2233,6 +2251,11 @@ used in document amendments</a:documentation>
       <ref name="RequiredId"/>
       <ref name="NumberingAttributes"/>
       <ref name="BlockAttributes"/>
+      <optional>
+        <attribute name="type">
+          <a:documentation>Semantic classification of note</a:documentation>
+        </attribute>
+      </optional>
       <oneOrMore>
         <choice>
           <a:documentation>Content of the term note</a:documentation>

data/lib/metanorma/iso/relaton-iso.rng

@@ -67,14 +67,6 @@
         </group>
       </element>
     </define>
-    <define name="editorialgroup">
-      <element name="editorialgroup">
-        <ref name="ISOProjectGroup"/>
-      </element>
-      <optional>
-        <ref name="approvalgroup"/>
-      </optional>
-    </define>
   </include>
   <define name="BibDataExtensionType" combine="interleave">
     <optional>
@@ -112,33 +104,6 @@ Used for legacy ISO documents</a:documentation>
       <ref name="DocumentType"/>
     </element>
   </define>
-  <define name="ISOProjectGroup">
-    <zeroOrMore>
-      <ref name="agency"/>
-    </zeroOrMore>
-    <oneOrMore>
-      <ref name="technical-committee"/>
-    </oneOrMore>
-    <zeroOrMore>
-      <ref name="subcommittee"/>
-    </zeroOrMore>
-    <zeroOrMore>
-      <ref name="workgroup"/>
-    </zeroOrMore>
-    <optional>
-      <ref name="secretariat"/>
-    </optional>
-  </define>
-  <define name="approvalgroup">
-    <element name="approvalgroup">
-      <ref name="ISOProjectGroup"/>
-    </element>
-  </define>
-  <define name="agency">
-    <element name="agency">
-      <text/>
-    </element>
-  </define>
   <define name="horizontal">
     <element name="horizontal">
       <data type="boolean"/>
@@ -179,21 +144,6 @@ Used for legacy ISO documents</a:documentation>
       <data type="int"/>
     </element>
   </define>
-  <define name="subcommittee">
-    <element name="subcommittee">
-      <ref name="IsoWorkgroup"/>
-    </element>
-  </define>
-  <define name="workgroup">
-    <element name="workgroup">
-      <ref name="IsoWorkgroup"/>
-    </element>
-  </define>
-  <define name="secretariat">
-    <element name="secretariat">
-      <text/>
-    </element>
-  </define>
   <define name="stagename">
     <element name="stagename">
       <optional>

data/lib/metanorma/iso/validate.rb

@@ -1,10 +1,11 @@
 require "metanorma-standoc"
 require_relative "validate_style"
+require_relative "validate_numeric"
 require_relative "validate_requirements"
 require_relative "validate_section"
 require_relative "validate_title"
-require_relative "validate_image"
 require_relative "validate_list"
+require_relative "validate_xref"
 require "nokogiri"
 require "jing"
 require "iev"
@@ -12,141 +13,27 @@ require "iev"
 module Metanorma
   module Iso
     class Converter < Standoc::Converter
+      COMMITTEE_XPATH = <<~XPATH.freeze
+        //contributor[role/description = 'committee']/organization/subdivision
+      XPATH
+
       def isosubgroup_validate(root)
-        root.xpath("//technical-committee/@type").each do |t|
+        root.xpath("#{COMMITTEE_XPATH}[@type = 'Technical committee']/@subtype").each do |t|
           %w{TC PC JTC JPC}.include?(t.text) or
             @log.add("Document Attributes", nil,
                      "invalid technical committee type #{t}")
         end
-        root.xpath("//subcommittee/@type").each do |t|
+        root.xpath("#{COMMITTEE_XPATH}[@type = 'Subcommittee']/@subtype").each do |t|
           %w{SC JSC}.include?(t.text) or
             @log.add("Document Attributes", nil,
                      "invalid subcommittee type #{t}")
         end
       end
 
-      # ISO/IEC DIR 2, 15.5.3, 20.2
-      # does not deal with preceding text marked up
-      def see_xrefs_validate(root)
-        @lang == "en" or return
-        anchors = extract_anchor_norm(root)
-        root.xpath("//xref").each do |t|
-          preceding = t.at("./preceding-sibling::text()[last()]")
-          !preceding.nil? &&
-            /\b(see| refer to)\p{Zs}*\Z/mi.match(preceding) or next
-          anchors[t["target"]] and
-            @log.add("Style", t,
-                     "'see #{t['target']}' is pointing to a normative section")
-        end
-      end
-
-      def extract_anchor_norm(root)
-        nodes = root.xpath("//annex[@obligation = 'normative'] | " \
-          "//references[@obligation = 'normative']")
-        ret = nodes.each_with_object({}) do |n, m|
-          n["anchor"] and m[n["anchor"]] = true
-        end
-        nodes.each do |n|
-          n.xpath(".//*[@anchor]").each { |n1| ret[n1["anchor"]] = true }
-        end
-        ret
-      end
-
-      # ISO/IEC DIR 2, 15.5.3
-      def see_erefs_validate(root)
-        @lang == "en" or return
-        bibitemids = extract_bibitem_anchors(root)
-        root.xpath("//eref").each do |t|
-          prec = t.at("./preceding-sibling::text()[last()]")
-          !prec.nil? && /\b(see|refer to)\p{Zs}*\Z/mi.match(prec) or next
-          unless target = bibitemids[t["bibitemid"]]
-            #unless target = root.at("//bibitem[@anchor = '#{t['bibitemid']}']")
-            @log.add("Bibliography", t,
-                     "'#{t} is not pointing to a real reference")
-            next
-          end
-          #target.at("./ancestor::references[@normative = 'true']") and
-          target[:norm] and
-            @log.add("Style", t,
-                     "'see #{t}' is pointing to a normative reference")
-        end
-      end
-
-      def extract_bibitem_anchors(root)
-        ret = root.xpath("//references[@normative = 'true']//bibitem")
-          .each_with_object({}) do |b, m|
-          m[b["anchor"]] = { bib: b, norm: true }
-        end
-        root.xpath("//references[not(@normative = 'true')]//bibitem")
-          .each do |b|
-          ret[b["anchor"]] = { bib: b, norm: false }
-        end
-        ret
-      end
-
-      # ISO/IEC DIR 2, 10.4
-      def locality_erefs_validate(root)
-        root.xpath("//eref[descendant::locality]").each do |t|
-          if /^(ISO|IEC)/.match?(t["citeas"]) &&
-              !/: ?(\d+{4}|–)$/.match?(t["citeas"])
-            @log.add("Style", t,
-                     "undated reference #{t['citeas']} should not contain " \
-                     "specific elements")
-          end
-        end
-      end
-
       def termdef_warn(text, regex, elem, term, msg)
         regex.match(text) && @log.add("Style", elem, "#{term}: #{msg}")
       end
 
-      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-r-ref_clause3
-      def term_xrefs_validate(xmldoc)
-        termids = xmldoc
-          .xpath("//sections/terms | //sections/clause[.//terms] | " \
-                 "//annex[.//terms]").each_with_object({}) do |t, m|
-          t.xpath(".//*/@anchor").each { |a| m[a.text] = true }
-          t.xpath(".//*/@id").each { |a| m[a.text] = true }
-          t.name == "terms" and m[t["anchor"] || t["id"]] = true
-        end
-        xmldoc.xpath(".//xref").each do |x|
-          term_xrefs_validate1(x, termids)
-        end
-      end
-
-      def term_xrefs_validate1(xref, termids)
-        closest_id = xref.xpath("./ancestor::*[@id]")&.last or return
-        termids[xref["target"]] && !termids[closest_id["id"]] and
-          @log.add("Style", xref,
-                   "only terms clauses can cross-reference terms clause " \
-                   "(#{xref['target']})")
-        !termids[xref["target"]] && termids[closest_id["id"]] and
-          @log.add("Style", xref,
-                   "non-terms clauses cannot cross-reference terms clause " \
-                   "(#{xref['target']})")
-      end
-
-      # require that all assets of a particular type be cross-referenced
-      # within the document
-      def xrefs_mandate_validate(xmldoc)
-        xrefs_mandate_validate1(xmldoc, "//annex", "Annex")
-        xrefs_mandate_validate1(xmldoc, "//table", "Table")
-        xrefs_mandate_validate1(xmldoc, "//figure", "Figure")
-        xrefs_mandate_validate1(xmldoc, "//formula", "Formula")
-      end
-
-      def xrefs_mandate_validate1(xmldoc, xpath, name)
-        exc = %w(table note example figure).map { |x| "//#{x}#{xpath}" }
-          .join(" | ")
-        (xmldoc.xpath(xpath) - xmldoc.xpath(exc)).each do |x|
-          x["unnumbered"] == "true" and next
-          @doc_xrefs[x["anchor"]] or
-            @log.add("Style", x, "#{name} #{x['anchor']} has not been " \
-                                 "cross-referenced within document",
-                     severity: xpath == "//formula" ? 2 : 1)
-        end
-      end
-
       # ISO/IEC DIR 2, 16.5.6
       def termdef_style(xmldoc)
         xmldoc.xpath("//term").each do |t|
@@ -182,6 +69,22 @@ module Metanorma
         iteration_validate(doc)
       end
 
+      # DRG directives 3.7; but anticipated by standoc
+      def subfigure_validate(xmldoc)
+        elems = { footnote: "fn", note: "note", key: "dl" }
+        xmldoc.xpath("//figure//figure").each do |f|
+          elems.each do |k, v|
+            f.xpath(".//#{v}").each do |n|
+              @log.add("Style", n, "#{k} is not permitted in a subfigure")
+            end
+          end
+        end
+      end
+
+      def figure_validate(xmldoc)
+        subfigure_validate(xmldoc)
+      end
+
       def content_validate(doc)
         super
         root = doc.root
@@ -200,14 +103,6 @@ module Metanorma
         list_punctuation(doc)
       end
 
-      def iso_xref_validate(doc)
-        see_xrefs_validate(doc)
-        term_xrefs_validate(doc)
-        xrefs_mandate_validate(doc)
-        see_erefs_validate(doc)
-        locality_erefs_validate(doc)
-      end
-
       def bibitem_validate(xmldoc)
         xmldoc.xpath("//bibitem[date/on = '–']").each do |b|
           b.at("./note[@type = 'Unpublished-Status']") or

data/lib/metanorma/iso/validate_numeric.rb

@@ -0,0 +1,128 @@
+module Metanorma
+  module Iso
+    class Converter < Standoc::Converter
+      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-s-quantity
+      def style_subscript(node)
+        style_subscript_proper(node)
+        style_subscript_mathml(node)
+      end
+
+      # Check HTML subscripts - only topmost level subs (no sub ancestors)
+      def style_subscript_proper(node)
+        node.xpath(".//sub[not(ancestor::sub)]").each do |x|
+          depth = calculate_subscript_depth(x)
+          depth < 2 and next # No warning for single level subscripts
+          if [2, 3].include?(depth)
+            style_warning(node, "may contain nested subscripts", x.to_xml)
+          else # depth >= 3
+            style_warning(node, "no more than 3 levels of subscript nesting allowed",
+                          x.to_xml)
+          end
+        end
+      end
+
+      # Check MathML subscripts - only topmost level msubs (no msub ancestors)
+      def style_subscript_mathml(node)
+        node.xpath(".//m:msub[not(ancestor::m:msub)]",
+                   "m" => MATHML_NS).each do |x|
+          depth = calculate_mathml_subscript_depth(x)
+          depth < 2 and next # No warning for single level subscripts
+          if [2, 3].include?(depth)
+            style_warning(node, "may contain nested subscripts", x.to_xml)
+          else # depth > 3
+            style_warning(node, "no more than 3 levels of subscript nesting allowed",
+                          x.to_xml)
+          end
+        end
+      end
+
+      # ISO/IEC DIR 2, 9.1
+      # ISO/IEC DIR 2, Table B.1
+      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-n-numbers
+      def style_number(node, text)
+        style_number_grouping(node, text)
+        style_regex(/(?:^|\p{Zs})(?<num>[0-9]+\.[0-9]+)(?!\.[0-9])/i,
+                    "possible decimal point: mark up numbers with stem:[]", node, text)
+        @lang == "en" and style_regex(/\b(?<num>billions?)\b/i,
+                                      "ambiguous number", node, text)
+        style_regex(/(?:^|\p{Zs})(?<num>-[0-9][0-9,.]*)/i,
+                    "hyphen instead of minus sign U+2212", node, text)
+        @novalid_number = true
+      end
+
+      def style_number_grouping(node, text)
+        if @validate_years
+          style_two_regex_not_prev(
+            node, text, /^(?<num>-?[0-9]{4,}[,0-9]*)\Z/,
+            %r{\b(ISO|IEC|IEEE|(in|January|February|March|April|May|June|August|September|October|November|December)\b)\Z},
+            "number not broken up in threes: mark up numbers with stem:[]"
+          )
+        else
+          style_two_regex_not_prev(
+            node, text, /^(?<num>-?(?:[0-9]{5,}[,0-9]*|[03-9]\d\d\d|1[0-8]\d\d|2[1-9]\d\d|20[5-9]\d))\Z/,
+            %r{\b(ISO|IEC|IEEE|\b)\Z},
+            "number not broken up in threes: mark up numbers with stem:[]"
+          )
+        end
+      end
+
+      # ISO/IEC DIR 2, 9.2.1
+      def style_percent(node, text)
+        style_regex(/\b(?<num>[0-9.,]+%)/,
+                    "no space before percent sign", node, text)
+        style_regex(/\b(?<num>[0-9.,]+ \u00b1 [0-9,.]+ %)/,
+                    "unbracketed tolerance before percent sign", node, text)
+      end
+
+      # leaving out as problematic: N J K C S T H h d B o E
+      SI_UNIT = "(m|cm|mm|km|μm|nm|g|kg|mgmol|cd|rad|sr|Hz|Hz|MHz|Pa|hPa|kJ|" \
+                "V|kV|W|MW|kW|F|μF|Ω|Wb|°C|lm|lx|Bq|Gy|Sv|kat|l|t|eV|u|Np|Bd|" \
+                "bit|kB|MB|Hart|nat|Sh|var)".freeze
+
+      # ISO/IEC DIR 2, 9.3
+      def style_units(node, text)
+        style_regex(/\b(?<num>[0-9][0-9,]*\p{Zs}+[\u00b0\u2032\u2033])/,
+                    "space between number and degrees/minutes/seconds",
+                    node, text)
+        style_regex(/\b(?<num>[0-9][0-9,]*#{SI_UNIT})\b/o,
+                    "no space between number and SI unit", node, text)
+        style_non_std_units(node, text)
+      end
+
+      NONSTD_UNITS = {
+        sec: "s", mins: "min", hrs: "h", hr: "h", cc: "cm^3",
+        lit: "l", amp: "A", amps: "A", rpm: "r/min"
+      }.freeze
+
+      # ISO/IEC DIR 2, 9.3
+      def style_non_std_units(node, text)
+        NONSTD_UNITS.each do |k, v|
+          style_regex(/\b(?<num>[0-9][0-9,]*\p{Zs}+#{k})\b/,
+                      "non-standard unit (should be #{v})", node, text)
+        end
+      end
+
+      private
+
+      def calculate_subscript_depth(sub_element)
+        sub_element.xpath(".//sub").empty? and return 1
+        max_depth = 1
+        sub_element.xpath(".//sub").each do |nested_sub|
+          depth = 1 + calculate_subscript_depth(nested_sub)
+          max_depth = [max_depth, depth].max
+        end
+        max_depth
+      end
+
+      def calculate_mathml_subscript_depth(msub_element)
+        msub_element.xpath(".//m:msub", "m" => MATHML_NS).empty? and return 1
+        max_depth = 1
+        msub_element.xpath(".//m:msub", "m" => MATHML_NS).each do |nested_msub|
+          depth = 1 + calculate_mathml_subscript_depth(nested_msub)
+          max_depth = [max_depth, depth].max
+        end
+        max_depth
+      end
+    end
+  end
+end

data/lib/metanorma/iso/validate_style.rb

@@ -94,17 +94,6 @@ module Metanorma
         style_problem_words(node, text)
       end
 
-      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-s-quantity
-      def style_subscript(node)
-        warning = "may contain nested subscripts (max 3 levels allowed)"
-        node.xpath(".//sub[.//sub]").each do |x|
-          style_warning(node, warning, x.to_xml)
-        end
-        node.xpath(".//m:msub[.//m:msub]", "m" => MATHML_NS).each do |x|
-          style_warning(node, warning, x.to_xml)
-        end
-      end
-
       # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-s-need
       # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-s-might
       # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-s-family
@@ -120,44 +109,6 @@ module Metanorma
         style_regex(/\b(?<num>billions?)\b/i, "ambiguous number", node, text)
       end
 
-      # ISO/IEC DIR 2, 9.1
-      # ISO/IEC DIR 2, Table B.1
-      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-n-numbers
-      def style_number(node, text)
-        style_number_grouping(node, text)
-        style_regex(/(?:^|\p{Zs})(?<num>[0-9]+\.[0-9]+)(?!\.[0-9])/i,
-                    "possible decimal point: mark up numbers with stem:[]", node, text)
-        @lang == "en" and style_regex(/\b(?<num>billions?)\b/i,
-                                      "ambiguous number", node, text)
-        style_regex(/(?:^|\p{Zs})(?<num>-[0-9][0-9,.]*)/i,
-                    "hyphen instead of minus sign U+2212", node, text)
-        @novalid_number = true
-      end
-
-      def style_number_grouping(node, text)
-        if @validate_years
-          style_two_regex_not_prev(
-            node, text, /^(?<num>-?[0-9]{4,}[,0-9]*)\Z/,
-            %r{\b(ISO|IEC|IEEE|(in|January|February|March|April|May|June|August|September|October|November|December)\b)\Z},
-            "number not broken up in threes: mark up numbers with stem:[]"
-          )
-        else
-          style_two_regex_not_prev(
-            node, text, /^(?<num>-?(?:[0-9]{5,}[,0-9]*|[03-9]\d\d\d|1[0-8]\d\d|2[1-9]\d\d|20[5-9]\d))\Z/,
-            %r{\b(ISO|IEC|IEEE|\b)\Z},
-            "number not broken up in threes: mark up numbers with stem:[]"
-          )
-        end
-      end
-
-      # ISO/IEC DIR 2, 9.2.1
-      def style_percent(node, text)
-        style_regex(/\b(?<num>[0-9.,]+%)/,
-                    "no space before percent sign", node, text)
-        style_regex(/\b(?<num>[0-9.,]+ \u00b1 [0-9,.]+ %)/,
-                    "unbracketed tolerance before percent sign", node, text)
-      end
-
       # ISO/IEC DIR 2, 8.4
       # ISO/IEC DIR 2, 9.3
       def style_abbrev(node, text)
@@ -173,29 +124,6 @@ module Metanorma
                 "V|kV|W|MW|kW|F|μF|Ω|Wb|°C|lm|lx|Bq|Gy|Sv|kat|l|t|eV|u|Np|Bd|" \
                 "bit|kB|MB|Hart|nat|Sh|var)".freeze
 
-      # ISO/IEC DIR 2, 9.3
-      def style_units(node, text)
-        style_regex(/\b(?<num>[0-9][0-9,]*\p{Zs}+[\u00b0\u2032\u2033])/,
-                    "space between number and degrees/minutes/seconds",
-                    node, text)
-        style_regex(/\b(?<num>[0-9][0-9,]*#{SI_UNIT})\b/o,
-                    "no space between number and SI unit", node, text)
-        style_non_std_units(node, text)
-      end
-
-      NONSTD_UNITS = {
-        sec: "s", mins: "min", hrs: "h", hr: "h", cc: "cm^3",
-        lit: "l", amp: "A", amps: "A", rpm: "r/min"
-      }.freeze
-
-      # ISO/IEC DIR 2, 9.3
-      def style_non_std_units(node, text)
-        NONSTD_UNITS.each do |k, v|
-          style_regex(/\b(?<num>[0-9][0-9,]*\p{Zs}+#{k})\b/,
-                      "non-standard unit (should be #{v})", node, text)
-        end
-      end
-
       # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-p-and
       # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-p-andor
       def style_punct(node, text)

data/lib/metanorma/iso/validate_xref.rb

@@ -0,0 +1,130 @@
+module Metanorma
+  module Iso
+    class Converter < Standoc::Converter
+      # ISO/IEC DIR 2, 15.5.3, 20.2
+      # does not deal with preceding text marked up
+      def see_xrefs_validate(root)
+        @lang == "en" or return
+        anchors = extract_anchor_norm(root)
+        root.xpath("//xref").each do |t|
+          preceding = t.at("./preceding-sibling::text()[last()]")
+          !preceding.nil? &&
+            /\b(see| refer to)\p{Zs}*\Z/mi.match(preceding) or next
+          anchors[t["target"]] and
+            @log.add("Style", t,
+                     "'see #{t['target']}' is pointing to a normative section")
+        end
+      end
+
+      def extract_anchor_norm(root)
+        nodes = root.xpath("//annex[@obligation = 'normative'] | " \
+          "//references[@obligation = 'normative']")
+        ret = nodes.each_with_object({}) do |n, m|
+          n["anchor"] and m[n["anchor"]] = true
+        end
+        nodes.each do |n|
+          n.xpath(".//*[@anchor]").each { |n1| ret[n1["anchor"]] = true }
+        end
+        ret
+      end
+
+      # ISO/IEC DIR 2, 15.5.3
+      def see_erefs_validate(root)
+        @lang == "en" or return
+        bibitemids = extract_bibitem_anchors(root)
+        root.xpath("//eref").each do |t|
+          prec = t.at("./preceding-sibling::text()[last()]")
+          !prec.nil? && /\b(see|refer to)\p{Zs}*\Z/mi.match(prec) or next
+          unless target = bibitemids[t["bibitemid"]]
+            # unless target = root.at("//bibitem[@anchor = '#{t['bibitemid']}']")
+            @log.add("Bibliography", t,
+                     "'#{t} is not pointing to a real reference")
+            next
+          end
+          target[:norm] and
+            @log.add("Style", t,
+                     "'see #{t}' is pointing to a normative reference")
+        end
+      end
+
+      def extract_bibitem_anchors(root)
+        ret = root.xpath("//references[@normative = 'true']//bibitem")
+          .each_with_object({}) do |b, m|
+          m[b["anchor"]] = { bib: b, norm: true }
+        end
+        root.xpath("//references[not(@normative = 'true')]//bibitem")
+          .each do |b|
+          ret[b["anchor"]] = { bib: b, norm: false }
+        end
+        ret
+      end
+
+      # ISO/IEC DIR 2, 10.4
+      def locality_erefs_validate(root)
+        root.xpath("//eref[descendant::locality]").each do |t|
+          if /^(ISO|IEC)/.match?(t["citeas"]) &&
+              !/: ?(\d+{4}|–)$/.match?(t["citeas"])
+            @log.add("Style", t,
+                     "undated reference #{t['citeas']} should not contain " \
+                     "specific elements")
+          end
+        end
+      end
+
+      # https://www.iso.org/ISO-house-style.html#iso-hs-s-text-r-r-ref_clause3
+      def term_xrefs_validate(xmldoc)
+        termids = xmldoc
+          .xpath("//sections/terms | //sections/clause[.//terms] | " \
+                 "//annex[.//terms]").each_with_object({}) do |t, m|
+          t.xpath(".//*/@anchor").each { |a| m[a.text] = true }
+          t.xpath(".//*/@id").each { |a| m[a.text] = true }
+          t.name == "terms" and m[t["anchor"] || t["id"]] = true
+        end
+        xmldoc.xpath(".//xref").each do |x|
+          term_xrefs_validate1(x, termids)
+        end
+      end
+
+      def term_xrefs_validate1(xref, termids)
+        closest_id = xref.xpath("./ancestor::*[@id]")&.last or return
+        termids[xref["target"]] && !termids[closest_id["id"]] and
+          @log.add("Style", xref,
+                   "only terms clauses can cross-reference terms clause " \
+                   "(#{xref['target']})")
+        !termids[xref["target"]] && termids[closest_id["id"]] and
+          @log.add("Style", xref,
+                   "non-terms clauses cannot cross-reference terms clause " \
+                   "(#{xref['target']})")
+      end
+
+      # require that all assets of a particular type be cross-referenced
+      # within the document
+      def xrefs_mandate_validate(xmldoc)
+        xrefs_mandate_validate1(xmldoc, "//annex", "Annex")
+        xrefs_mandate_validate1(xmldoc, "//table", "Table")
+        xrefs_mandate_validate1(xmldoc, "//figure", "Figure")
+        xrefs_mandate_validate1(xmldoc, "//formula", "Formula")
+      end
+
+      def xrefs_mandate_validate1(xmldoc, xpath, name)
+        exc = %w(table note example figure).map { |x| "//#{x}#{xpath}" }
+          .join(" | ")
+        (xmldoc.xpath(xpath) - xmldoc.xpath(exc)).each do |x|
+          x["unnumbered"] == "true" and next
+          @doc_xrefs[x["anchor"]] or
+            @log.add("Style", x, "#{name} #{x['anchor']} has not been " \
+                                 "cross-referenced within document",
+                     severity: xpath == "//formula" ? 2 : 1)
+        end
+      end
+
+      def iso_xref_validate(doc)
+        see_xrefs_validate(doc)
+        term_xrefs_validate(doc)
+        xrefs_mandate_validate(doc)
+        see_erefs_validate(doc)
+        locality_erefs_validate(doc)
+      end
+    end
+  end
+end