CH Core (R4)
7.0.0-ballot - ballot Switzerland flag

CH Core (R4), published by HL7 Switzerland. This guide is not an authorized publication; it is the continuous build for version 7.0.0-ballot built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/hl7ch/ch-core/ and changes regularly. See the Directory of published versions

Data Type Profile: Insurance Card Number (Identifier)

Official URL: http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-veka-identifier Version: 7.0.0-ballot
Active as of 2026-10-21 Computable Name: VEKAIdentifier

Copyright/Legal: CC0-1.0

Identifier in 20-digit format. The number shall have exactly 20 digits and start with 807560.

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Profile Content

Description Differentials, Snapshots, and other representations.

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier 0..* Identifier An identifier intended for computation
Identifier.use This element is a modifier element. This element is included in summaries. 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
Identifier.system This element is included in summaries. 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value This element is included in summaries. C 1..1 string The value that is unique
Constraints: veka-length
Example General: 123456

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Identifier.use Base required IdentifierUse 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier Identifier
Identifier.system 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value C 1..1 string The value that is unique
Constraints: veka-length
Identifier.period
Identifier.period.end 0..1 dateTime Expiration date of the insurance card

doco Documentation for this format

Constraints

Id Grade Path(s) Description Expression
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')
NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier 0..* Identifier An identifier intended for computation
Identifier.id 0..1 string Unique id for inter-element referencing
Identifier.extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Identifier.use This element is a modifier element. This element is included in summaries. 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
Identifier.type This element is included in summaries. 0..1 CodeableConcept Description of identifier
Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose.
Identifier.system This element is included in summaries. 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value This element is included in summaries. C 1..1 string The value that is unique
Constraints: veka-length
Example General: 123456
Identifier.period This element is included in summaries. 0..1 Period Time period when id is/was valid for use
Identifier.period.id 0..1 string Unique id for inter-element referencing
Identifier.period.extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Identifier.period.start This element is included in summaries. C 0..1 dateTime Starting time with inclusive boundary
Identifier.period.end This element is included in summaries. C 0..1 dateTime Expiration date of the insurance card
Identifier.assigner This element is included in summaries. 0..1 Reference(Organization) Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Identifier.use Base required IdentifierUse 📍4.0.1 FHIR Std.
Identifier.type Base extensible IdentifierType 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

Key Elements View

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier 0..* Identifier An identifier intended for computation
Identifier.use This element is a modifier element. This element is included in summaries. 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
Identifier.system This element is included in summaries. 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value This element is included in summaries. C 1..1 string The value that is unique
Constraints: veka-length
Example General: 123456

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Identifier.use Base required IdentifierUse 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')

Differential View

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier Identifier
Identifier.system 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value C 1..1 string The value that is unique
Constraints: veka-length
Identifier.period
Identifier.period.end 0..1 dateTime Expiration date of the insurance card

doco Documentation for this format

Constraints

Id Grade Path(s) Description Expression
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')

Snapshot ViewView

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Identifier 0..* Identifier An identifier intended for computation
Identifier.id 0..1 string Unique id for inter-element referencing
Identifier.extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Identifier.use This element is a modifier element. This element is included in summaries. 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
Identifier.type This element is included in summaries. 0..1 CodeableConcept Description of identifier
Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose.
Identifier.system This element is included in summaries. 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1 (no extensions allowed)
Identifier.value This element is included in summaries. C 1..1 string The value that is unique
Constraints: veka-length
Example General: 123456
Identifier.period This element is included in summaries. 0..1 Period Time period when id is/was valid for use
Identifier.period.id 0..1 string Unique id for inter-element referencing
Identifier.period.extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Identifier.period.start This element is included in summaries. C 0..1 dateTime Starting time with inclusive boundary
Identifier.period.end This element is included in summaries. C 0..1 dateTime Expiration date of the insurance card
Identifier.assigner This element is included in summaries. 0..1 Reference(Organization) Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Identifier.use Base required IdentifierUse 📍4.0.1 FHIR Std.
Identifier.type Base extensible IdentifierType 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
veka-length warning Identifier.value Insurance card number must start with 807560 followed by 14 digits matches('^807560[0-9]{14}$')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

 

Other representations of profile: CSV, Excel, Schematron