davinci_pas_test_kit 0.12.1 → 0.13.0

data/lib/davinci_pas_test_kit/must_support_test.rb

@@ -52,13 +52,9 @@ module DaVinciPASTestKit
     def perform_must_support_test(resources)
       assert resources.present?, "No #{resource_type} resources were found"
 
-      missing_elements(resources)
-      missing_slices(resources)
-      missing_extensions(resources)
+      missing_must_support_strings = missing_must_support_elements(resources, nil, metadata:)
 
-      handle_must_support_choices if metadata.must_supports[:choices].present?
-
-      return unless (missing_elements + missing_slices + missing_extensions).compact.reject(&:empty?).present?
+      return unless missing_must_support_strings.any?
 
       all_must_support_errors << "Could not find #{missing_must_support_strings.join(', ')} " \
                                  "in the #{resources.length} provided #{resource_type} resource(s)."
@@ -71,201 +67,5 @@ module DaVinciPASTestKit
       # assert false, "Could not find #{missing_must_support_strings.join(', ')} in the #{resources.length} " \
       #               "provided #{resource_type} resource(s)"
     end
-
-    def handle_must_support_choices
-      missing_elements.delete_if do |element|
-        choices = metadata.must_supports[:choices].find { |choice| choice[:paths]&.include?(element[:path]) }
-        is_any_choice_supported?(choices)
-      end
-
-      missing_extensions.delete_if do |extension|
-        choices = metadata.must_supports[:choices].find { |choice| choice[:extension_ids]&.include?(extension[:id]) }
-        is_any_choice_supported?(choices)
-      end
-
-      missing_slices.delete_if do |slice|
-        choices = metadata.must_supports[:choices].find { |choice| choice[:slice_names]&.include?(slice[:slice_id]) }
-        is_any_choice_supported?(choices)
-      end
-    end
-
-    def is_any_choice_supported?(choices)
-      choices.present? &&
-        (
-          choices[:paths]&.any? { |path| missing_elements.none? { |element| element[:path] == path } } ||
-          choices[:extension_ids]&.any? do |extension_id|
-            missing_extensions.none? do |extension|
-              extension[:id] == extension_id
-            end
-          end ||
-          choices[:slice_names]&.any? { |slice_name| missing_slices.none? { |slice| slice[:slice_id] == slice_name } }
-        )
-    end
-
-    def missing_must_support_strings
-      missing_elements.map { |element_definition| missing_element_string(element_definition) } +
-        missing_slices.map { |slice_definition| slice_definition[:name] } +
-        missing_extensions.map { |extension_definition| extension_definition[:id] }
-    end
-
-    def missing_element_string(element_definition)
-      if element_definition[:fixed_value].present?
-        "#{element_definition[:path]}:#{element_definition[:fixed_value]}"
-      else
-        element_definition[:path]
-      end
-    end
-
-    def exclude_uscdi_only_test?
-      config.options[:exclude_uscdi_only_test] == true
-    end
-
-    def must_support_extensions
-      if exclude_uscdi_only_test?
-        metadata.must_supports[:extensions].reject { |extension| extension[:uscdi_only] }
-      else
-        metadata.must_supports[:extensions]
-      end
-    end
-
-    def missing_extensions(resources = [])
-      @missing_extensions ||=
-        must_support_extensions.select do |extension_definition|
-          resources.none? do |resource|
-            path = extension_definition[:path]
-            if extension_definition[:path] == 'extension'
-              resource.extension.any? { |extension| extension.url == extension_definition[:url] }
-            else
-              extension = find_a_value_at(resource, path) do |el|
-                el.url == extension_definition[:url]
-              end
-
-              extension&.url == extension_definition[:url]
-            end
-          end
-        end
-    end
-
-    def must_support_elements
-      if exclude_uscdi_only_test?
-        metadata.must_supports[:elements].reject { |element| element[:uscdi_only] }
-      else
-        metadata.must_supports[:elements]
-      end
-    end
-
-    def missing_elements(resources = [])
-      @missing_elements ||=
-        must_support_elements.select do |element_definition|
-          # PAS: The MS Claim.supportingInfo slices do not have timing[x]
-          next if resource_type == 'Claim' && element_definition[:path] == 'supportingInfo.timing[x]'
-
-          resources.none? do |resource|
-            path = element_definition[:path] # .delete_suffix('[x]')
-            value_found = find_a_value_at(resource, path) do |value|
-              value_without_extensions =
-                value.respond_to?(:to_hash) ? value.to_hash.except('extension') : value
-
-              (value_without_extensions.present? || value_without_extensions == false) &&
-                (element_definition[:fixed_value].blank? || value == element_definition[:fixed_value])
-            end
-            # Note that false.present? => false, which is why we need to add this extra check
-            value_found.present? || value_found == false
-          end
-        end
-      @missing_elements.compact
-    end
-
-    def must_support_slices
-      if exclude_uscdi_only_test?
-        metadata.must_supports[:slices].reject { |slice| slice[:uscdi_only] }
-      else
-        metadata.must_supports[:slices]
-      end
-    end
-
-    def missing_slices(resources = [])
-      @missing_slices ||=
-        must_support_slices.select do |slice|
-          resources.none? do |resource|
-            path = slice[:path] # .delete_suffix('[x]')
-            find_slice(resource, path, slice[:discriminator]).present?
-          end
-        end
-    end
-
-    def find_slice(resource, path, discriminator)
-      find_a_value_at(resource, path) do |element|
-        case discriminator[:type]
-        when 'patternCodeableConcept'
-          coding_path = discriminator[:path].present? ? "#{discriminator[:path]}.coding" : 'coding'
-          find_a_value_at(element, coding_path) do |coding|
-            coding.code == discriminator[:code] && coding.system == discriminator[:system]
-          end
-        when 'patternCoding'
-          coding_path = discriminator[:path].present? ? discriminator[:path] : ''
-          find_a_value_at(element, coding_path) do |coding|
-            coding.code == discriminator[:code] && coding.system == discriminator[:system]
-          end
-        when 'patternIdentifier'
-          find_a_value_at(element, discriminator[:path]) { |identifier| identifier.system == discriminator[:system] }
-        when 'value'
-          values = discriminator[:values].map { |value| value.merge(path: value[:path].split('.')) }
-          find_slice_by_values(element, values)
-        when 'type'
-          case discriminator[:code]
-          when 'Date'
-            begin
-              Date.parse(element)
-            rescue ArgumentError
-              false
-            end
-          when 'DateTime'
-            begin
-              DateTime.parse(element)
-            rescue ArgumentError
-              false
-            end
-          when 'String'
-            element.is_a? String
-          else
-            res = element.try(:resource) || element
-            res.is_a? FHIR.const_get(discriminator[:code])
-          end
-        when 'requiredBinding'
-          coding_path = discriminator[:path].present? ? "#{discriminator[:path]}.coding" : 'coding'
-          find_a_value_at(element, coding_path) { |coding| discriminator[:values].include?(coding.code) }
-        end
-      end
-    end
-
-    def find_slice_by_values(element, value_definitions)
-      path_prefixes = value_definitions.map { |value_definition| value_definition[:path].first }.uniq
-      Array.wrap(element).find do |el|
-        path_prefixes.all? do |path_prefix|
-          value_definitions_for_path =
-            value_definitions
-              .select { |value_definition| value_definition[:path].first == path_prefix }
-              .each { |value_definition| value_definition[:path].shift }
-          find_a_value_at(el, path_prefix) do |el_found|
-            child_element_value_definitions, current_element_value_definitions =
-              value_definitions_for_path.partition { |value_definition| value_definition[:path].present? }
-            current_element_values_match = current_element_value_definitions.all? do |value_definition|
-              (value_definition[:value].present? && value_definition[:value] == el_found) ||
-                (value_definition[:value].blank? && el_found.present?)
-            end
-
-            child_element_values_match =
-              if child_element_value_definitions.present?
-                find_slice_by_values(el_found, child_element_value_definitions)
-              else
-                true
-              end
-
-            current_element_values_match && child_element_values_match
-          end
-        end
-      end
-    end
   end
 end

data/lib/davinci_pas_test_kit/pas_bundle_validation.rb

@@ -70,7 +70,7 @@ module DaVinciPASTestKit
     # referenced in the Claim resource are included in the bundle. It ensures that the first
     # entry in the Bundle is a Claim resource and additional entries are populated
     # with referenced resources, following the traversal of references.
-    # Duplicate resources are handled as required( appearing only once
+    # Duplicate resources are handled as required (appearing only once
     # in the bundle entry).
     def validate_pa_request_payload_structure(bundle, request_type)
       bundle_entry_resources = bundle.entry.map(&:resource)
@@ -299,7 +299,7 @@ module DaVinciPASTestKit
     # Processes the profiles associated with a given instance in a FHIR bundle.
     # It adds the instance's profiles to the resource target profile map and handles recursive profile extraction.
     # The profiles collected here are possible profiles the given instance may conform to.
-    # The conformance validation will ensure that the resource is comformant to at least one of the target profiles.
+    # The conformance validation will ensure that the resource is conformant to at least one of the target profiles.
     # @param instance [Object] The instance whose profiles are to be processed.
     # @param bundle_entry [Array] The bundle.entry contents.
     # @param reference_element [Hash] The reference element related to the instance.
@@ -342,7 +342,7 @@ module DaVinciPASTestKit
     end
 
     # Adds a specific profile URL to an instance in the resource target profile map.
-    # It recursively processes the instance for further profilce extraction.
+    # It recursively processes the instance for further profile extraction.
     # @param instance [Object] The instance to which the profile URL is added.
     # @param profile_url [String] The profile URL to be added.
     # @param bundle_entry [Array] The bundle.entry contents.
@@ -455,7 +455,7 @@ module DaVinciPASTestKit
     # as required by the PAS IG.
     # @param target_resource [FHIR::Model] The FHIR resource to traverse and validate.
     # @param base_url [String] The server base url.
-    # @param resources_to_match [Array<FHIR:Bundel:Entry] The list of FHIR bundle entries to match references against.
+    # @param resources_to_match [Array<FHIR:Bundle:Entry] The list of FHIR bundle entries to match references against.
     def check_presence_of_referenced_resources(target_resource, base_url, resources_to_match)
       return if target_resource.blank?
 

data/lib/davinci_pas_test_kit/pas_subscription_verification.rb

@@ -0,0 +1,30 @@
+module DaVinciPASTestKit
+  module PASSubscriptionVerification
+    def verify_pas_subscription(subscription_json_str)
+      assert_valid_json(subscription_json_str)
+      subscription = JSON.parse(subscription_json_str)
+
+      unless subscription['criteria'] == 'http://hl7.org/fhir/us/davinci-pas/SubscriptionTopic/PASSubscriptionTopic'
+        add_message('error', %(
+          The Subscription must use the PAS-defined Subscription topic
+          `http://hl7.org/fhir/us/davinci-pas/SubscriptionTopic/PASSubscriptionTopic`
+          in the `Subscription.criteria` element.
+        ))
+      end
+
+      filter_criteria = subscription.dig('_criteria', 'extension')
+        &.select do |ext|
+          ext['url'] == 'http://hl7.org/fhir/uv/subscriptions-backport/StructureDefinition/backport-filter-criteria'
+        end
+      unless filter_criteria&.length == 1
+        add_message('error', %(
+            The Subscription must include a single filter on the submitting organization
+            in the `Subscription.criteria.extension` element.
+          ))
+      end
+
+      assert messages.none? { |msg| msg[:type] == 'error' },
+             'The Subscription does not conform to PAS requirements - see messages for details.'
+    end
+  end
+end

data/lib/davinci_pas_test_kit/requirements/davinci-pas-test-kit_out_of_scope_requirements.csv

@@ -0,0 +1,11 @@
+Req Set,ID,Reason,Details
+hl7.fhir.us.davinci-pas_2.0.1,12,Not Tested,Details of X12 messages will not be tested by Inferno.
+hl7.fhir.us.davinci-pas_2.0.1,13,Not Tested,Details of X12 messages will not be tested by Inferno.
+hl7.fhir.us.davinci-pas_2.0.1,14,Not Tested,Details of X12 messages will not be tested by Inferno.
+hl7.fhir.us.davinci-pas_2.0.1,15,Not Tested,Details of X12 messages will not be tested by Inferno.
+hl7.fhir.us.davinci-pas_2.0.1,96,Not Tested,Details of X12 messages will not be tested by Inferno.
+hl7.fhir.us.davinci-pas_2.0.1,108,Not Verifiable,The specification does not provide clear details on the indicated responses (unclear diagram)
+hl7.fhir.us.davinci-pas_2.0.1,109,Not Verifiable,The specification does not provide clear details on the indicated responses (unclear diagram)
+hl7.fhir.us.davinci-pas_2.0.1,124,Not Tested,The rules for determining matching claims are specified in a proprietary X12 specification.
+hl7.fhir.us.davinci-pas_2.0.1,132,Not Tested,How to request a subset of information is not detailed in the specification and lives in priopietary X12 specifications and mappings.
+hl7.fhir.us.davinci-pas_2.0.1,191,Not Tested,Details of payer business rules will not be tested by Inferno.