Nexus EMR profile for Coverage -- the payor context for billing and the demo dataset. First pass: the Ontario-GP shape (public plan keyed by the patient's health-card number, payor as a logical Organization reference). Private/extended plans and coordination of benefits are deliberately unmodelled. Closed to SMART apps pending an exposure decision.
Invariants
Every rule in force on a conforming instance. This profile rows are stated here; inherited rows come from the base resource and are listed so that a constraint named on an element is findable. Invariant keys elsewhere on this page link into this table.
Key
Source
Severity
On
Rule
dom-2
inherited
error
Coverage
If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3
inherited
error
Coverage
If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource contained.where((('#'+id in (%resource.descendants().reference
dom-4
inherited
error
Coverage
If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5
inherited
error
Coverage
If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6
inherited
warning
Coverage
A resource should have narrative for robust management text.div.exists()
ele-1
inherited
error
Coverage.meta
All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1
inherited
error
Coverage.extension
Must have either extensions or value[x], not both extension.exists() != value.exists()