davinci_pas_test_kit 0.15.2 → 0.16.0

data/lib/davinci_pas_test_kit/client/endpoints/endpoint_session_identification.rb

@@ -0,0 +1,24 @@
+# frozen_string_literal: true
+
+require 'udap_security_test_kit'
+
+module DaVinciPASTestKit
+  # Identifies the test session for the claim and Subscription endpoints, using either the session
+  # path or the client id embedded in the bearer token.
+  module EndpointSessionIdentification
+    # Where the session identifier is expected. Used in responses when no session is found.
+    LOCATION_DESCRIPTION = 'the path or embedded within the bearer token in the Authorization header'
+
+    def test_run_identifier_location_description
+      LOCATION_DESCRIPTION
+    end
+
+    def test_run_identifier
+      return request.params[:session_path] if request.params[:session_path].present?
+
+      UDAPSecurityTestKit::MockUDAPServer.issued_token_to_client_id(
+        request.headers['authorization']&.delete_prefix('Bearer ')
+      )
+    end
+  end
+end

data/lib/davinci_pas_test_kit/client/endpoints/expired_token.rb

@@ -0,0 +1,40 @@
+# frozen_string_literal: true
+
+require 'udap_security_test_kit'
+
+module DaVinciPASTestKit
+  # Checks whether the request's bearer token has expired.
+  module ExpiredToken
+    private
+
+    # Memoized so the token is only decoded and parsed once per request, even though both
+    # #tags and the response handling need to check it.
+    def expired_token?
+      return @expired_token if defined?(@expired_token)
+
+      @expired_token = UDAPSecurityTestKit::MockUDAPServer.request_has_expired_token?(request)
+    end
+  end
+
+  # Prepended to endpoints that reject requests made with an expired bearer token before any other
+  # handling.
+  module ExpiredTokenRejection
+    include ExpiredToken
+
+    def make_response
+      if expired_token?
+        UDAPSecurityTestKit::MockUDAPServer.update_response_for_expired_token(response, 'Bearer token')
+        return
+      end
+
+      super
+    end
+
+    def tags
+      # Requests rejected for an expired token are not treated as submissions of any workflow.
+      return [] if expired_token?
+
+      super
+    end
+  end
+end

data/lib/davinci_pas_test_kit/client/endpoints/subscription_create_endpoint.rb

@@ -1,25 +1,18 @@
 require_relative '../../cross_suite/tags'
+require_relative 'endpoint_session_identification'
+require_relative 'expired_token'
 require_relative '../jobs/send_subscription_handshake'
 require 'subscriptions_test_kit'
 
 module DaVinciPASTestKit
   class SubscriptionCreateEndpoint < Inferno::DSL::SuiteEndpoint
     include SubscriptionsTestKit::SubscriptionsR5BackportR4Client::SubscriptionSimulationUtils
+    include EndpointSessionIdentification
+    prepend ExpiredTokenRejection
 
-    def test_run_identifier
-      return request.params[:session_path] if request.params[:session_path].present?
-
-      UDAPSecurityTestKit::MockUDAPServer.issued_token_to_client_id(
-        request.headers['authorization']&.delete_prefix('Bearer ')
-      )
-    end
+    error_response_format :operation_outcome
 
     def make_response
-      if UDAPSecurityTestKit::MockUDAPServer.request_has_expired_token?(request)
-        UDAPSecurityTestKit::MockUDAPServer.update_response_for_expired_token(response, 'Bearer token')
-        return
-      end
-
       response.format = :json
       response.status = 400
 
@@ -73,6 +66,8 @@ module DaVinciPASTestKit
       [SUBSCRIPTION_CREATE_TAG]
     end
 
+    private
+
     def verify_subscription(subscription)
       unless subscription.is_a? FHIR::Subscription
         return operation_outcome('error', 'invalid', 'No recognized R4 Subscription in request body')

data/lib/davinci_pas_test_kit/client/endpoints/subscription_delete_endpoint.rb

@@ -0,0 +1,13 @@
+require_relative '../../cross_suite/tags'
+require_relative 'endpoint_session_identification'
+require_relative 'expired_token'
+require 'subscriptions_test_kit'
+
+module DaVinciPASTestKit
+  class SubscriptionDeleteEndpoint < SubscriptionsTestKit::SubscriptionDeleteEndpoint
+    include EndpointSessionIdentification
+    prepend ExpiredTokenRejection
+
+    error_response_format :operation_outcome
+  end
+end

data/lib/davinci_pas_test_kit/client/endpoints/subscription_read_endpoint.rb

@@ -0,0 +1,13 @@
+require_relative '../../cross_suite/tags'
+require_relative 'endpoint_session_identification'
+require_relative 'expired_token'
+require 'subscriptions_test_kit'
+
+module DaVinciPASTestKit
+  class SubscriptionReadEndpoint < SubscriptionsTestKit::SubscriptionReadEndpoint
+    include EndpointSessionIdentification
+    prepend ExpiredTokenRejection
+
+    error_response_format :operation_outcome
+  end
+end

data/lib/davinci_pas_test_kit/client/endpoints/subscription_status_endpoint.rb

@@ -1,34 +1,29 @@
 require_relative '../../cross_suite/tags'
+require_relative 'endpoint_session_identification'
+require_relative 'expired_token'
 require 'subscriptions_test_kit'
 
 module DaVinciPASTestKit
   class SubscriptionStatusEndpoint < Inferno::DSL::SuiteEndpoint
     include SubscriptionsTestKit::SubscriptionsR5BackportR4Client::SubscriptionSimulationUtils
     include ResponseGenerator
+    include EndpointSessionIdentification
+    prepend ExpiredTokenRejection
 
-    def test_run_identifier
-      return request.params[:session_path] if request.params[:session_path].present?
-
-      UDAPSecurityTestKit::MockUDAPServer.issued_token_to_client_id(
-        request.headers['authorization']&.delete_prefix('Bearer ')
-      )
-    end
+    error_response_format :operation_outcome
 
     def make_response
-      if UDAPSecurityTestKit::MockUDAPServer.request_has_expired_token?(request)
-        UDAPSecurityTestKit::MockUDAPServer.update_response_for_expired_token(response)
-        return
-      end
-
       response.format = :json
-      subscription = find_subscription(test_run.test_session_id)
+      # Reflects any updates or deletion of the Subscription by the client
+      subscription = find_current_subscription(test_run.test_session_id)
 
-      unless subscription.present?
+      subscription_id = request.params[:id]
+      if subscription.blank? || (subscription_id.present? && subscription_id != subscription.id)
         not_found
         return
       end
 
-      subscription_id = request.params[:id]
+      status_code = current_subscription_status_code(subscription)
 
       # Handle resource-level status params
       unless subscription_id.present?
@@ -40,7 +35,7 @@ module DaVinciPASTestKit
           return
         end
 
-        unless subscription_params_match?(params, subscription)
+        unless subscription_params_match?(params, subscription, status_code)
           not_found
           return
         end
@@ -48,7 +43,6 @@ module DaVinciPASTestKit
 
       subscription_url = "#{base_subscription_url}/#{subscription.id}"
       subscription_topic = subscription.criteria
-      status_code = determine_subscription_status_code(subscription_id)
       event_count = determine_event_count(test_run.test_session_id)
 
       notification_json = notification_bundle_input(result)
@@ -69,20 +63,21 @@ module DaVinciPASTestKit
       response.status = 200
     end
 
-    def subscription_params_match?(params, subscription)
+    def subscription_params_match?(params, subscription, status_code)
       id_params = find_params(params, 'id')
 
       return false if id_params&.any? && id_params&.none? { |p| p.valueString == subscription.id }
 
       status_params = find_params(params, 'status')
-      subscription_status = determine_subscription_status_code(subscription.id)
-      status_params.blank? || status_params.any? { |p| p.valueString == subscription_status }
+      status_params.blank? || status_params.any? { |p| p.valueString == status_code }
     end
 
     def tags
       [SUBSCRIPTION_STATUS_TAG]
     end
 
+    private
+
     def not_found
       response.status = 404
       response.body = operation_outcome('error', 'not-found').to_json

data/lib/davinci_pas_test_kit/client/endpoints/subscription_update_endpoint.rb

@@ -0,0 +1,13 @@
+require_relative '../../cross_suite/tags'
+require_relative 'endpoint_session_identification'
+require_relative 'expired_token'
+require 'subscriptions_test_kit'
+
+module DaVinciPASTestKit
+  class SubscriptionUpdateEndpoint < SubscriptionsTestKit::SubscriptionUpdateEndpoint
+    include EndpointSessionIdentification
+    prepend ExpiredTokenRejection
+
+    error_response_format :operation_outcome
+  end
+end

data/lib/davinci_pas_test_kit/client/endpoints/token_endpoint.rb

@@ -12,6 +12,22 @@ module DaVinciPASTestKit
 
       def test_run_identifier
         UDAPSecurityTestKit::MockUDAPServer.client_id_from_client_assertion(request.params[:client_assertion])
+      rescue JWT::DecodeError
+        nil
+      end
+
+      def test_run_identifier_location_description
+        "the client assertion's 'iss' claim representing the client's id"
+      end
+
+      def no_session_response
+        response.status = 401
+        response.format = :json
+        response.body = {
+          error: 'invalid_client',
+          error_description: no_session_message
+
+        }.to_json
       end
 
       def make_response

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/beneficiary/client_inquire_request_must_support_beneficiary_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Beneficiary Patient are observed on $inquire requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$inquire`
         requests, including instances of the PAS Beneficiary Patient Profile.
         This test checks all identified instances of the PAS Beneficiary Patient
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Patient.address

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/beneficiary/client_inquire_response_must_support_beneficiary_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Beneficiary Patient are observed on $inquire responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$inquire`
         responses, including instances of the PAS Beneficiary Patient Profile.
         This test checks all identified instances of the PAS Beneficiary Patient
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * Patient.address

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/beneficiary/client_submit_request_must_support_beneficiary_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Beneficiary Patient are observed on $submit requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$submit`
         requests, including instances of the PAS Beneficiary Patient Profile.
         This test checks all identified instances of the PAS Beneficiary Patient
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Patient.address

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/beneficiary/client_submit_response_must_support_beneficiary_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Beneficiary Patient are observed on $submit responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$submit`
         responses, including instances of the PAS Beneficiary Patient Profile.
         This test checks all identified instances of the PAS Beneficiary Patient
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * Patient.address

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/claim_inquiry/client_inquire_request_must_support_claim_inquiry_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Claim Inquiry are observed on $inquire requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$inquire`
         requests, including instances of the PAS Claim Inquiry Profile.
         This test checks all identified instances of the PAS Claim Inquiry
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Claim.accident

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/claim_update/client_submit_request_must_support_claim_update_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Claim Update are observed on $submit requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$submit`
         requests, including instances of the PAS Claim Update Profile.
         This test checks all identified instances of the PAS Claim Update
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Claim.accident

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/claiminquiryresponse/client_inquire_response_must_support_claiminquiryresponse_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Claim Inquiry Response are observed on $inquire responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$inquire`
         responses, including instances of the PAS Claim Inquiry Response Profile.
         This test checks all identified instances of the PAS Claim Inquiry Response
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * ClaimResponse.created

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/claimresponse/client_submit_response_must_support_claimresponse_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Claim Response are observed on $submit responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$submit`
         responses, including instances of the PAS Claim Response Profile.
         This test checks all identified instances of the PAS Claim Response
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * ClaimResponse.communicationRequest

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/communication_request/client_submit_response_must_support_communication_request_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS CommunicationRequest are observed on $submit responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$submit`
         responses, including instances of the PAS CommunicationRequest Profile.
         This test checks all identified instances of the PAS CommunicationRequest
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * CommunicationRequest.category

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/coverage/client_inquire_request_must_support_coverage_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Coverage are observed on $inquire requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$inquire`
         requests, including instances of the PAS Coverage Profile.
         This test checks all identified instances of the PAS Coverage
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Coverage.beneficiary

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/coverage/client_submit_request_must_support_coverage_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Coverage are observed on $submit requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$submit`
         requests, including instances of the PAS Coverage Profile.
         This test checks all identified instances of the PAS Coverage
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Coverage.beneficiary

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/encounter/client_submit_request_must_support_encounter_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Encounter are observed on $submit requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$submit`
         requests, including instances of the PAS Encounter Profile.
         This test checks all identified instances of the PAS Encounter
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Encounter.class

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/insurer/client_inquire_request_must_support_insurer_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Insurer Organization are observed on $inquire requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$inquire`
         requests, including instances of the PAS Insurer Organization Profile.
         This test checks all identified instances of the PAS Insurer Organization
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Organization.active

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/insurer/client_inquire_response_must_support_insurer_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Insurer Organization are observed on $inquire responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$inquire`
         responses, including instances of the PAS Insurer Organization Profile.
         This test checks all identified instances of the PAS Insurer Organization
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * Organization.active

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/insurer/client_submit_request_must_support_insurer_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Insurer Organization are observed on $submit requests'
       description %(
         
-        PAS client systems are required to be able to populate all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to populate all
+        must support elements on instances of all profiles included in `$submit`
         requests, including instances of the PAS Insurer Organization Profile.
         This test checks all identified instances of the PAS Insurer Organization
-        Profile on requests sent by the client to ensure that the following
+        Profile on requests sent by the PAS client to ensure that the following
         must support elements are observed: 
 
         * Organization.active

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/insurer/client_submit_response_must_support_insurer_test.rb

@@ -7,11 +7,11 @@ module DaVinciPASTestKit
       title 'All must support elements for profile PAS Insurer Organization are observed on $submit responses'
       description %(
         
-        PAS client systems are required to be able to receive all
-        must support elements on instances of all profiles included in 
+        PAS clients are required to be able to receive all
+        must support elements on instances of all profiles included in `$submit`
         responses, including instances of the PAS Insurer Organization Profile.
         This test checks all identified instances of the PAS Insurer Organization
-        Profile on responses sent to the client to ensure that the following
+        Profile on responses sent to the PAS client to ensure that the following
         must support elements are observed:
 
         * Organization.active

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/pas_client_inquire_must_support_group.rb

@@ -14,7 +14,7 @@ module DaVinciPASTestKit
       id :pas_client_v201_inquire_must_support
       title '$inquire Request Must Support Coverage'
       description %(
-        Check that the client can demonstrate `$inquire` requests that contain
+        Check that the PAS client demonstrated `$inquire` requests that contain
         all PAS-defined profiles and their must support elements.
         
         For `$inquire` requests, this includes the following profiles:

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/pas_client_inquire_response_must_support_group.rb

@@ -5,8 +5,6 @@ require_relative 'requestor/client_inquire_response_must_support_requestor_test'
 require_relative 'beneficiary/client_inquire_response_must_support_beneficiary_test'
 require_relative 'practitioner/client_inquire_response_must_support_practitioner_test'
 require_relative 'practitioner_role/client_inquire_response_must_support_practitioner_role_test'
-require_relative 'task/client_inquire_response_must_support_task_test'
-require_relative '../../v2.0.1/workflows/pas_client_response_attest'
 
 module DaVinciPASTestKit
   module DaVinciPASV201
@@ -14,12 +12,9 @@ module DaVinciPASTestKit
       id :pas_client_v201_inquire_response_must_support
       title '$inquire Response Must Support Coverage'
       description %(
-        Check that `$inquire` responses provided to the client contain
+        Check that `$inquire` responses provided to the PAS client contain
         all PAS-defined profiles and their must support elements.
         
-        **USER INPUT VALIDATION**: These tests validate responses provided by the tester,
-        not the system under test. Errors will be treated as skips instead of failures.
-        
         For `$inquire` responses, this includes the following profiles:
         
         - [PAS Inquiry Response Bundle](https://hl7.org/fhir/us/davinci-pas/STU2/StructureDefinition-profile-pas-inquiry-response-bundle.html)
@@ -29,7 +24,6 @@ module DaVinciPASTestKit
         - [PAS Beneficiary Patient](https://hl7.org/fhir/us/davinci-pas/STU2/StructureDefinition-profile-beneficiary.html)
         - [PAS Practitioner](https://hl7.org/fhir/us/davinci-pas/STU2/StructureDefinition-profile-practitioner.html)
         - [PAS PractitionerRole](https://hl7.org/fhir/us/davinci-pas/STU2/StructureDefinition-profile-practitionerrole.html)
-        - [PAS Task](https://hl7.org/fhir/us/davinci-pas/STU2/StructureDefinition-profile-task.html)
         
         
         
@@ -37,42 +31,26 @@ module DaVinciPASTestKit
       run_as_group
 
       test from: :pas_client_v201_inquire_response_must_support_pas_inquiry_response_bundle do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_claiminquiryresponse do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        verifies_requirements(*verifies_requirements, 'hl7.fhir.us.davinci-pas_2.0.1@40')
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_insurer do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_requestor do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_beneficiary do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_practitioner do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
+        simulation_verification
       end
       test from: :pas_client_v201_inquire_response_must_support_practitioner_role do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
-      end
-      test from: :pas_client_v201_inquire_response_must_support_task do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-7'
-      end
-      test from: :pas_client_v201_response_attest,
-           title: 'PAS client handled the $inquire response must support elements',
-           description: %(
-             This test provides the tester an opportunity to verify that their client
-             correctly processed and used the must support elements present in the
-             $inquire responses received from Inferno during these tests.
-           ),
-           config: { options: {
-             workflow_tag: MUST_SUPPORT_WORKFLOW_TAG,
-             attest_message: "I attest that the client system correctly processed the must support elements " \
-                             "contained in the $inquire responses received from Inferno and did not error."
-           } } do
-        verifies_requirements 'hl7.fhir.us.davinci-pas_2.2.1@conf-8'
+        simulation_verification
       end
     end
   end

data/lib/davinci_pas_test_kit/client/generated/v2.0.1/pas_client_submit_must_support_group.rb

@@ -16,7 +16,7 @@ module DaVinciPASTestKit
       id :pas_client_v201_submit_must_support
       title '$submit Request Must Support Coverage'
       description %(
-        Check that the client can demonstrate `$submit` requests that contain
+        Check that the PAS client demonstrated `$submit` requests that contain
         all PAS-defined profiles and their must support elements.
         
         For `$submit` requests, this includes the following profiles: