HL7 Vietnam VN Core FHIR Implementation Guide

Hướng dẫn triển khai FHIR cốt lõi Việt Nam — VN Core FHIR Implementation Guide
0.10.0 - Draft for Community Review Viet Nam cờ

Hướng dẫn triển khai FHIR cốt lõi Việt Nam — VN Core FHIR Implementation Guide - Draft for Community Review (v0.10.0) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions

Phần mở rộng: Bằng chứng pháp lý của kết quả giám định — Adjudication Legal Evidence - Mô tả chi tiết

Draft tại thời điểm 2026-08-06

Các định nghĩa cho vn-ext-adjudication-legal-evidence phần mở rộng

Guidance on how to interpret the contents of this table can be foundhere

0. Extension
Definition

Một căn cứ pháp lý cụ thể, có điều/khoản và tài liệu chứng minh, cho một kết quả giám định — đặc biệt cho khoản tiền mang category denied.

Vì sao bắt buộc với từ chối. NĐ 188/2025/NĐ-CP Điều 51 khoản 2 quy định việc từ chối thanh toán "phải nêu rõ căn cứ, lý do từ chối, số tiền bị từ chối thanh toán trong biên bản giám định". Ba yếu tố đó là điều kiện của chính hành vi từ chối, không phải siêu dữ liệu tuỳ chọn. Một bản ghi chỉ nói "bị từ chối" mà không dẫn được căn cứ thì không đủ để cơ sở khám bệnh, chữa bệnh thực hiện quyền kiến nghị tại Điều 51 khoản 3.

Vì sao áp cả cho khoản bị từ chối tự động. Cũng tại khoản 2, nghĩa vụ nêu căn cứ bao gồm "cả các chi phí khám bệnh, chữa bệnh bảo hiểm y tế đề nghị cơ quan bảo hiểm xã hội thanh toán trên môi trường điện tử được trả tự động khi cơ sở khám bệnh, chữa bệnh gửi dữ liệu". Từ chối do hệ thống tự sinh không được miễn nghĩa vụ này.

Ranh giới. Extension mang căn cứ mà bên giám định VIỆN DẪN; nó không chứng minh việc viện dẫn là đúng. Đánh giá tính đúng đắn thuộc quy trình kiến nghị và cơ quan có thẩm quyền.


Optional Extension Element - found in all resources.

ShortBằng chứng pháp lý của kết quả giám định — Adjudication Legal EvidenceOptional Extensions Element
Control0..*
This element is affected by the following invariants: ele-1
Is Modifierfalse
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
2. Extension.extension
Definition

An Extension


May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

ShortExtensionAdditional content defined by implementations
Comments

There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

Control20..*
TypeExtension
Is Modifierfalse
Summaryfalse
Alternate Namesextensions, user content
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
SlicingThis element introduces a set of slices on Extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
  • value @ url
  • 4. Extension.extension:legalBasis
    Slice NamelegalBasis
    Definition

    An Extension

    ShortVăn bản làm căn cứ (mã trong VNLegalDocumentRefCS)Additional content defined by implementations
    Control10..1*
    TypeExtension
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    6. Extension.extension:legalBasis.extension
    Definition

    An Extension


    May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

    ShortExtensionAdditional content defined by implementations
    Comments

    There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

    Control0..0*
    TypeExtension
    Is Modifierfalse
    Summaryfalse
    Alternate Namesextensions, user content
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
    • value @ url
    • 8. Extension.extension:legalBasis.url
      Definition

      Source of the definition for the extension code - a logical name or a URL.

      Shortidentifies the meaning of the extension
      Comments

      The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

      Control1..1
      Typeuri
      Is Modifierfalse
      XML FormatIn the XML format, this property is represented as an attribute.
      Summaryfalse
      Fixed ValuelegalBasis
      10. Extension.extension:legalBasis.value[x]
      Definition

      Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

      ShortValue of extension
      Control10..1
      BindingThe codes SHALL be taken from For codes, see Văn bản pháp lý VN — Vietnam Legal Document Reference VS
      (required to http://fhir.hl7.org.vn/core/ValueSet/vn-legal-document-ref-vs)
      TypeCoding, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, CodeableConcept, ParameterDefinition, dateTime, code, string, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
      [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
      Is Modifierfalse
      Summaryfalse
      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
      12. Extension.extension:locator
      Slice Namelocator
      Definition

      Bắt buộc vì chỉ nêu tên văn bản chưa phải là nêu rõ căn cứ theo NĐ 188/2025/NĐ-CP Điều 51 khoản 2: một nghị định có hàng chục điều, cơ sở KCB không đối chiếu được nếu không biết điều nào.

      ShortĐiều/khoản/điểm cụ thể được viện dẫnAdditional content defined by implementations
      Control10..1*
      TypeExtension
      Is Modifierfalse
      Must Supporttrue
      Summaryfalse
      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
      ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
      14. Extension.extension:locator.extension
      Definition

      An Extension


      May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

      ShortExtensionAdditional content defined by implementations
      Comments

      There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

      Control0..0*
      TypeExtension
      Is Modifierfalse
      Summaryfalse
      Alternate Namesextensions, user content
      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
      ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
      SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
      • value @ url
      • 16. Extension.extension:locator.url
        Definition

        Source of the definition for the extension code - a logical name or a URL.

        Shortidentifies the meaning of the extension
        Comments

        The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

        Control1..1
        Typeuri
        Is Modifierfalse
        XML FormatIn the XML format, this property is represented as an attribute.
        Summaryfalse
        Fixed Valuelocator
        18. Extension.extension:locator.value[x]
        Definition

        Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

        ShortValue of extension
        Control10..1
        Typestring, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, CodeableConcept, ParameterDefinition, dateTime, code, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
        [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
        Is Modifierfalse
        Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
        Summaryfalse
        Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
        20. Extension.extension:evidenceDocument
        Slice NameevidenceDocument
        Definition

        Tham chiếu tới biên bản giám định (từ chối trước thanh toán, NĐ 188/2025/NĐ-CP Điều 51) hoặc văn bản thu hồi (sau thanh toán, Điều 52). Cardinality 0..1 chứ không 1..1 vì tại thời điểm trả kết quả trên môi trường điện tử, biên bản giấy có chữ ký hai bên có thể chưa được lập — chính khoản 2 cho thấy hai việc này tách nhau về thời điểm.

        ShortBiên bản giám định hoặc văn bản thu hồi đính kèmAdditional content defined by implementations
        Control0..1*
        TypeExtension
        Is Modifierfalse
        Must Supporttrue
        Summaryfalse
        Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
        ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
        22. Extension.extension:evidenceDocument.extension
        Definition

        An Extension


        May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

        ShortExtensionAdditional content defined by implementations
        Comments

        There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

        Control0..0*
        TypeExtension
        Is Modifierfalse
        Summaryfalse
        Alternate Namesextensions, user content
        Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
        ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
        SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
        • value @ url
        • 24. Extension.extension:evidenceDocument.url
          Definition

          Source of the definition for the extension code - a logical name or a URL.

          Shortidentifies the meaning of the extension
          Comments

          The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

          Control1..1
          Typeuri
          Is Modifierfalse
          XML FormatIn the XML format, this property is represented as an attribute.
          Summaryfalse
          Fixed ValueevidenceDocument
          26. Extension.extension:evidenceDocument.value[x]
          Definition

          Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

          ShortValue of extension
          Control10..1
          TypeReference(DocumentReference), date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, CodeableConcept, ParameterDefinition, dateTime, code, string, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
          [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
          Is Modifierfalse
          Summaryfalse
          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          28. Extension.extension:excerpt
          Slice Nameexcerpt
          Definition

          An Extension

          ShortTrích đoạn quy định được viện dẫnAdditional content defined by implementations
          Control0..1*
          TypeExtension
          Is Modifierfalse
          Must Supporttrue
          Summaryfalse
          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
          30. Extension.extension:excerpt.extension
          Definition

          An Extension


          May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

          ShortExtensionAdditional content defined by implementations
          Comments

          There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

          Control0..0*
          TypeExtension
          Is Modifierfalse
          Summaryfalse
          Alternate Namesextensions, user content
          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
          SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
          • value @ url
          • 32. Extension.extension:excerpt.url
            Definition

            Source of the definition for the extension code - a logical name or a URL.

            Shortidentifies the meaning of the extension
            Comments

            The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

            Control1..1
            Typeuri
            Is Modifierfalse
            XML FormatIn the XML format, this property is represented as an attribute.
            Summaryfalse
            Fixed Valueexcerpt
            34. Extension.extension:excerpt.value[x]
            Definition

            Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

            ShortValue of extension
            Control10..1
            Typestring, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, CodeableConcept, ParameterDefinition, dateTime, code, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            Is Modifierfalse
            Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
            Summaryfalse
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            36. Extension.url
            Definition

            Source of the definition for the extension code - a logical name or a URL.

            Shortidentifies the meaning of the extension
            Comments

            The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

            Control1..1
            Typeuri
            Is Modifierfalse
            XML FormatIn the XML format, this property is represented as an attribute.
            Summaryfalse
            Fixed Valuehttp://fhir.hl7.org.vn/core/StructureDefinition/vn-ext-adjudication-legal-evidence
            38. Extension.value[x]
            Definition

            Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

            ShortValue of extension
            Control0..01
            TypeChoice of: base64Binary, boolean, canonical, code, date, dateTime, decimal, id, instant, integer, markdown, oid, positiveInt, string, time, unsignedInt, uri, url, uuid, Address, Age, Annotation, Attachment, CodeableConcept, Coding, ContactPoint, Count, Distance, Duration, HumanName, Identifier, Money, Period, Quantity, Range, Ratio, Reference, SampledData, Signature, Timing, ContactDetail, Contributor, DataRequirement, Expression, ParameterDefinition, RelatedArtifact, TriggerDefinition, UsageContext, Dosage, Meta
            Is Modifierfalse
            Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
            Summaryfalse
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))

            Guidance on how to interpret the contents of this table can be foundhere

            0. Extension
            Definition

            Một căn cứ pháp lý cụ thể, có điều/khoản và tài liệu chứng minh, cho một kết quả giám định — đặc biệt cho khoản tiền mang category denied.

            Vì sao bắt buộc với từ chối. NĐ 188/2025/NĐ-CP Điều 51 khoản 2 quy định việc từ chối thanh toán "phải nêu rõ căn cứ, lý do từ chối, số tiền bị từ chối thanh toán trong biên bản giám định". Ba yếu tố đó là điều kiện của chính hành vi từ chối, không phải siêu dữ liệu tuỳ chọn. Một bản ghi chỉ nói "bị từ chối" mà không dẫn được căn cứ thì không đủ để cơ sở khám bệnh, chữa bệnh thực hiện quyền kiến nghị tại Điều 51 khoản 3.

            Vì sao áp cả cho khoản bị từ chối tự động. Cũng tại khoản 2, nghĩa vụ nêu căn cứ bao gồm "cả các chi phí khám bệnh, chữa bệnh bảo hiểm y tế đề nghị cơ quan bảo hiểm xã hội thanh toán trên môi trường điện tử được trả tự động khi cơ sở khám bệnh, chữa bệnh gửi dữ liệu". Từ chối do hệ thống tự sinh không được miễn nghĩa vụ này.

            Ranh giới. Extension mang căn cứ mà bên giám định VIỆN DẪN; nó không chứng minh việc viện dẫn là đúng. Đánh giá tính đúng đắn thuộc quy trình kiến nghị và cơ quan có thẩm quyền.

            ShortBằng chứng pháp lý của kết quả giám định — Adjudication Legal Evidence
            2. Extension.extension
            Control2..?
            4. Extension.extension:legalBasis
            Slice NamelegalBasis
            ShortVăn bản làm căn cứ (mã trong VNLegalDocumentRefCS)
            Control1..1
            Must Supporttrue
            6. Extension.extension:legalBasis.extension
            Control0..0
            8. Extension.extension:legalBasis.url
            Fixed ValuelegalBasis
            10. Extension.extension:legalBasis.value[x]
            Control1..?
            BindingThe codes SHALL be taken from Văn bản pháp lý VN — Vietnam Legal Document Reference VS
            (required to http://fhir.hl7.org.vn/core/ValueSet/vn-legal-document-ref-vs)
            TypeCoding
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            12. Extension.extension:locator
            Slice Namelocator
            Definition

            Bắt buộc vì chỉ nêu tên văn bản chưa phải là nêu rõ căn cứ theo NĐ 188/2025/NĐ-CP Điều 51 khoản 2: một nghị định có hàng chục điều, cơ sở KCB không đối chiếu được nếu không biết điều nào.

            ShortĐiều/khoản/điểm cụ thể được viện dẫn
            Control1..1
            Must Supporttrue
            14. Extension.extension:locator.extension
            Control0..0
            16. Extension.extension:locator.url
            Fixed Valuelocator
            18. Extension.extension:locator.value[x]
            Control1..?
            Typestring
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
            20. Extension.extension:evidenceDocument
            Slice NameevidenceDocument
            Definition

            Tham chiếu tới biên bản giám định (từ chối trước thanh toán, NĐ 188/2025/NĐ-CP Điều 51) hoặc văn bản thu hồi (sau thanh toán, Điều 52). Cardinality 0..1 chứ không 1..1 vì tại thời điểm trả kết quả trên môi trường điện tử, biên bản giấy có chữ ký hai bên có thể chưa được lập — chính khoản 2 cho thấy hai việc này tách nhau về thời điểm.

            ShortBiên bản giám định hoặc văn bản thu hồi đính kèm
            Control0..1
            Must Supporttrue
            22. Extension.extension:evidenceDocument.extension
            Control0..0
            24. Extension.extension:evidenceDocument.url
            Fixed ValueevidenceDocument
            26. Extension.extension:evidenceDocument.value[x]
            Control1..?
            TypeReference(DocumentReference)
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            28. Extension.extension:excerpt
            Slice Nameexcerpt
            ShortTrích đoạn quy định được viện dẫn
            Control0..1
            Must Supporttrue
            30. Extension.extension:excerpt.extension
            Control0..0
            32. Extension.extension:excerpt.url
            Fixed Valueexcerpt
            34. Extension.extension:excerpt.value[x]
            Control1..?
            Typestring
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
            36. Extension.url
            Fixed Valuehttp://fhir.hl7.org.vn/core/StructureDefinition/vn-ext-adjudication-legal-evidence
            38. Extension.value[x]
            Control0..0

            Guidance on how to interpret the contents of this table can be foundhere

            0. Extension
            Definition

            Một căn cứ pháp lý cụ thể, có điều/khoản và tài liệu chứng minh, cho một kết quả giám định — đặc biệt cho khoản tiền mang category denied.

            Vì sao bắt buộc với từ chối. NĐ 188/2025/NĐ-CP Điều 51 khoản 2 quy định việc từ chối thanh toán "phải nêu rõ căn cứ, lý do từ chối, số tiền bị từ chối thanh toán trong biên bản giám định". Ba yếu tố đó là điều kiện của chính hành vi từ chối, không phải siêu dữ liệu tuỳ chọn. Một bản ghi chỉ nói "bị từ chối" mà không dẫn được căn cứ thì không đủ để cơ sở khám bệnh, chữa bệnh thực hiện quyền kiến nghị tại Điều 51 khoản 3.

            Vì sao áp cả cho khoản bị từ chối tự động. Cũng tại khoản 2, nghĩa vụ nêu căn cứ bao gồm "cả các chi phí khám bệnh, chữa bệnh bảo hiểm y tế đề nghị cơ quan bảo hiểm xã hội thanh toán trên môi trường điện tử được trả tự động khi cơ sở khám bệnh, chữa bệnh gửi dữ liệu". Từ chối do hệ thống tự sinh không được miễn nghĩa vụ này.

            Ranh giới. Extension mang căn cứ mà bên giám định VIỆN DẪN; nó không chứng minh việc viện dẫn là đúng. Đánh giá tính đúng đắn thuộc quy trình kiến nghị và cơ quan có thẩm quyền.

            ShortBằng chứng pháp lý của kết quả giám định — Adjudication Legal Evidence
            Control0..*
            This element is affected by the following invariants: ele-1
            Is Modifierfalse
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
            2. Extension.id
            Definition

            Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

            ShortUnique id for inter-element referencing
            Control0..1
            Typestring
            Is Modifierfalse
            XML FormatIn the XML format, this property is represented as an attribute.
            Summaryfalse
            4. Extension.extension
            Definition

            An Extension

            ShortExtension
            Control2..*
            TypeExtension
            Is Modifierfalse
            Summaryfalse
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
            SlicingThis element introduces a set of slices on Extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
            • value @ url
            • 6. Extension.extension:legalBasis
              Slice NamelegalBasis
              Definition

              An Extension

              ShortVăn bản làm căn cứ (mã trong VNLegalDocumentRefCS)
              Control1..1
              TypeExtension
              Is Modifierfalse
              Must Supporttrue
              Summaryfalse
              Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
              ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
              8. Extension.extension:legalBasis.id
              Definition

              Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

              ShortUnique id for inter-element referencing
              Control0..1
              Typestring
              Is Modifierfalse
              XML FormatIn the XML format, this property is represented as an attribute.
              Summaryfalse
              10. Extension.extension:legalBasis.extension
              Definition

              An Extension

              ShortExtension
              Control0..0
              TypeExtension
              Is Modifierfalse
              Summaryfalse
              Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
              ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
              SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
              • value @ url
              • 12. Extension.extension:legalBasis.url
                Definition

                Source of the definition for the extension code - a logical name or a URL.

                Shortidentifies the meaning of the extension
                Comments

                The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

                Control1..1
                Typeuri
                Is Modifierfalse
                XML FormatIn the XML format, this property is represented as an attribute.
                Summaryfalse
                Fixed ValuelegalBasis
                14. Extension.extension:legalBasis.value[x]
                Definition

                Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

                ShortValue of extension
                Control1..1
                BindingThe codes SHALL be taken from Văn bản pháp lý VN — Vietnam Legal Document Reference VS
                (required to http://fhir.hl7.org.vn/core/ValueSet/vn-legal-document-ref-vs)
                TypeCoding
                [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
                Is Modifierfalse
                Summaryfalse
                Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                16. Extension.extension:locator
                Slice Namelocator
                Definition

                Bắt buộc vì chỉ nêu tên văn bản chưa phải là nêu rõ căn cứ theo NĐ 188/2025/NĐ-CP Điều 51 khoản 2: một nghị định có hàng chục điều, cơ sở KCB không đối chiếu được nếu không biết điều nào.

                ShortĐiều/khoản/điểm cụ thể được viện dẫn
                Control1..1
                TypeExtension
                Is Modifierfalse
                Must Supporttrue
                Summaryfalse
                Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                18. Extension.extension:locator.id
                Definition

                Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

                ShortUnique id for inter-element referencing
                Control0..1
                Typestring
                Is Modifierfalse
                XML FormatIn the XML format, this property is represented as an attribute.
                Summaryfalse
                20. Extension.extension:locator.extension
                Definition

                An Extension

                ShortExtension
                Control0..0
                TypeExtension
                Is Modifierfalse
                Summaryfalse
                Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
                • value @ url
                • 22. Extension.extension:locator.url
                  Definition

                  Source of the definition for the extension code - a logical name or a URL.

                  Shortidentifies the meaning of the extension
                  Comments

                  The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

                  Control1..1
                  Typeuri
                  Is Modifierfalse
                  XML FormatIn the XML format, this property is represented as an attribute.
                  Summaryfalse
                  Fixed Valuelocator
                  24. Extension.extension:locator.value[x]
                  Definition

                  Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

                  ShortValue of extension
                  Control1..1
                  Typestring
                  [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
                  Is Modifierfalse
                  Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
                  Summaryfalse
                  Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                  26. Extension.extension:evidenceDocument
                  Slice NameevidenceDocument
                  Definition

                  Tham chiếu tới biên bản giám định (từ chối trước thanh toán, NĐ 188/2025/NĐ-CP Điều 51) hoặc văn bản thu hồi (sau thanh toán, Điều 52). Cardinality 0..1 chứ không 1..1 vì tại thời điểm trả kết quả trên môi trường điện tử, biên bản giấy có chữ ký hai bên có thể chưa được lập — chính khoản 2 cho thấy hai việc này tách nhau về thời điểm.

                  ShortBiên bản giám định hoặc văn bản thu hồi đính kèm
                  Control0..1
                  TypeExtension
                  Is Modifierfalse
                  Must Supporttrue
                  Summaryfalse
                  Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                  ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                  28. Extension.extension:evidenceDocument.id
                  Definition

                  Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

                  ShortUnique id for inter-element referencing
                  Control0..1
                  Typestring
                  Is Modifierfalse
                  XML FormatIn the XML format, this property is represented as an attribute.
                  Summaryfalse
                  30. Extension.extension:evidenceDocument.extension
                  Definition

                  An Extension

                  ShortExtension
                  Control0..0
                  TypeExtension
                  Is Modifierfalse
                  Summaryfalse
                  Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                  ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                  SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
                  • value @ url
                  • 32. Extension.extension:evidenceDocument.url
                    Definition

                    Source of the definition for the extension code - a logical name or a URL.

                    Shortidentifies the meaning of the extension
                    Comments

                    The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

                    Control1..1
                    Typeuri
                    Is Modifierfalse
                    XML FormatIn the XML format, this property is represented as an attribute.
                    Summaryfalse
                    Fixed ValueevidenceDocument
                    34. Extension.extension:evidenceDocument.value[x]
                    Definition

                    Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

                    ShortValue of extension
                    Control1..1
                    TypeReference(DocumentReference)
                    [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
                    Is Modifierfalse
                    Summaryfalse
                    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                    36. Extension.extension:excerpt
                    Slice Nameexcerpt
                    Definition

                    An Extension

                    ShortTrích đoạn quy định được viện dẫn
                    Control0..1
                    TypeExtension
                    Is Modifierfalse
                    Must Supporttrue
                    Summaryfalse
                    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                    38. Extension.extension:excerpt.id
                    Definition

                    Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

                    ShortUnique id for inter-element referencing
                    Control0..1
                    Typestring
                    Is Modifierfalse
                    XML FormatIn the XML format, this property is represented as an attribute.
                    Summaryfalse
                    40. Extension.extension:excerpt.extension
                    Definition

                    An Extension

                    ShortExtension
                    Control0..0
                    TypeExtension
                    Is Modifierfalse
                    Summaryfalse
                    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
                    SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
                    • value @ url
                    • 42. Extension.extension:excerpt.url
                      Definition

                      Source of the definition for the extension code - a logical name or a URL.

                      Shortidentifies the meaning of the extension
                      Comments

                      The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

                      Control1..1
                      Typeuri
                      Is Modifierfalse
                      XML FormatIn the XML format, this property is represented as an attribute.
                      Summaryfalse
                      Fixed Valueexcerpt
                      44. Extension.extension:excerpt.value[x]
                      Definition

                      Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

                      ShortValue of extension
                      Control1..1
                      Typestring
                      [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
                      Is Modifierfalse
                      Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
                      Summaryfalse
                      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
                      46. Extension.url
                      Definition

                      Source of the definition for the extension code - a logical name or a URL.

                      Shortidentifies the meaning of the extension
                      Comments

                      The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

                      Control1..1
                      Typeuri
                      Is Modifierfalse
                      XML FormatIn the XML format, this property is represented as an attribute.
                      Summaryfalse
                      Fixed Valuehttp://fhir.hl7.org.vn/core/StructureDefinition/vn-ext-adjudication-legal-evidence
                      48. Extension.value[x]
                      Definition

                      Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

                      ShortValue of extension
                      Control0..0
                      TypeChoice of: base64Binary, boolean, canonical, code, date, dateTime, decimal, id, instant, integer, markdown, oid, positiveInt, string, time, unsignedInt, uri, url, uuid, Address, Age, Annotation, Attachment, CodeableConcept, Coding, ContactPoint, Count, Distance, Duration, HumanName, Identifier, Money, Period, Quantity, Range, Ratio, Reference, SampledData, Signature, Timing, ContactDetail, Contributor, DataRequirement, Expression, ParameterDefinition, RelatedArtifact, TriggerDefinition, UsageContext, Dosage, Meta
                      Is Modifierfalse
                      Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
                      Summaryfalse
                      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))