CH Core (R4)
6.0.0-ci-build - ci-build Switzerland flag

CH Core (R4), published by HL7 Switzerland. This guide is not an authorized publication; it is the continuous build for version 6.0.0-ci-build 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: 6.0.0-ci-build
Active as of 2025-10-18 Computable Name: VEKAIdentifier

Copyright/Legal: CC0-1.0

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

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Identifier 0..* Identifier An identifier intended for computation
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
... 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
... value ΣC 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. 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
... value C 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
... 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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Identifier 0..* Identifier An identifier intended for computation
... id 0..1 string Unique id for inter-element referencing
... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
... 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
... value ΣC 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
Example General: 123456
... period Σ 0..1 Period Time period when id is/was valid for use
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC 0..1 dateTime Starting time with inclusive boundary
.... end ΣC 0..1 dateTime Expiration date of the insurance card
... assigner Σ 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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

Key Elements View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Identifier 0..* Identifier An identifier intended for computation
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
... 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
... value ΣC 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')

Differential View

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. 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
... value C 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
... 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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Identifier 0..* Identifier An identifier intended for computation
... id 0..1 string Unique id for inter-element referencing
... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
... 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
... value ΣC 1..1 string The value that is unique
Constraints: veka-length, veka-startswith807560
Example General: 123456
... period Σ 0..1 Period Time period when id is/was valid for use
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC 0..1 dateTime Starting time with inclusive boundary
.... end ΣC 0..1 dateTime Expiration date of the insurance card
... assigner Σ 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 be exactly 20 characters long matches('^[0-9]{20}$')
veka-startswith807560 warning Identifier.value Insurance card number must start with 807560 startsWith('807560')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

 

Other representations of profile: CSV, Excel, Schematron