@oimlsmart/primmel-packages 0.1.0

package/oiml-smart-core/entities/parties.prl

@@ -0,0 +1,429 @@
+class Manufacturer#data {
+  store { manufacturers }
+  description { "An organization responsible for the instrument (metamodel Module B Manufacturer)" }
+  indexes { company }
+  id: string {
+    modality SHALL
+  }
+  company: string {
+    modality SHALL
+  }
+  address: reference(Address) {
+    modality SHALL
+  }
+  contact: reference(Contact) {
+    modality SHALL
+  }
+  country: string [0..1] {
+    modality MAY
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class Organization#data {
+  store { organizations }
+  description { "Base class for OIML Issuing Authorities and Test Laboratories (was OrganizationBase). Concrete parties are IssuingAuthority or TestLaboratory; both are stored in the `organizations` store, discriminated by `kind`. Indexed fields oiml_code / oiml_id are declared on the respective subclass (IndexedDB indexes the key path where present)." }
+  indexes { kind oiml_code oiml_id }
+  id: string {
+    modality SHALL
+  }
+  kind: enum {
+    modality SHALL
+    definition "Store discriminator"
+    enum_values { issuing-authority test-laboratory }
+  }
+  name: string {
+    modality SHALL
+  }
+  short_name: string {
+    modality SHALL
+  }
+  logo: string [0..1] {
+    modality MAY
+    definition "The party's logo asset — a deployment-served path or absolute URL (DEMO_FLOWS/01: the IA selection cards render the registry's logo where the record carries one, the derived monogram where not). The federated source is the identity service's org profile; a demo registry seeds its own assets."
+  }
+  address: reference(Address) {
+    modality SHALL
+  }
+  contact: reference(Contact) {
+    modality SHALL
+  }
+  oiml_scope: reference(OIMLScopeEntry) [0..*] {
+    modality MAY
+  }
+  accreditation: reference(Accreditation) [0..1] {
+    modality MAY
+  }
+  anr_capabilities: string[] [0..*] {
+    modality MAY
+    definition "TODO.adoption/11 — the ANR declaration ids (anrDeclarations) this authority/laboratory declares it can evaluate/perform (the OIML-CS utilizer page: OIML Issuing Authorities and their associated Test Laboratories can declare which ANR tests they can perform). Per ANR; the declaration's country gives the per-country axis. Shown on the PD-03/PD-04 registry pages as the ANR axis of the scope."
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class IssuingAuthority#data {
+  extends { Organization }
+  oiml_code: string {
+    modality SHALL
+  }
+  country: string {
+    modality SHALL
+  }
+  certificate_prefix: string [0..1] {
+    modality MAY
+  }
+  utilized_laboratory_ids: string[] [0..*] {
+    modality MAY
+  }
+  documentation_checklist: reference(IADocumentationChecklist) [0..1] {
+    modality MAY
+  }
+  declaration: reference(OrganizationDeclaration) [0..1] {
+    modality MAY
+  }
+  declarations: reference(IADeclaration) [0..*] {
+    modality MAY
+  }
+}
+
+class TestLaboratory#data {
+  extends { Organization }
+  lab_kind: enum [0..1] {
+    modality MAY
+    definition "MTL concept per PD-05 §5.3.1 b"
+    enum_values { independent manufacturer_test_lab }
+  }
+  parent_manufacturer_id: reference(Manufacturer) [0..1] {
+    modality MAY
+    definition "Required if lab_kind = manufacturer_test_lab"
+    on_delete restrict
+    required false
+  }
+  oiml_id: integer {
+    modality SHALL
+  }
+  parent_oiml_code: string {
+    modality SHALL
+  }
+  documentation_checklist: reference(TLDocumentationChecklist) [0..1] {
+    modality MAY
+  }
+  declaration: reference(OrganizationDeclaration) [0..1] {
+    modality MAY
+  }
+  capabilities: string[] [0..*] {
+    modality MAY
+    definition "Abstract test abilities the lab declares it can perform. Used by evaluation/lab-selection-criteria.yaml for capability-based matching. Examples: humidity-testing, emc-testing, construction-bending-beam, construction-shear-beam, emax-up-to-50000kg, manufacturer-test-lab. Per TODO.UPGRADE/20: labs declare CAPABILITIES, not equipment."
+  }
+  accreditation_scope: reference(CompetenceScopeEntry) [0..*] {
+    modality MAY
+    definition "The laboratory's structured scope of accreditation (TODO.roadmap/48, BUG.R60-SSOT gap 1; ISO/IEC 17025 §6.4/§6.6, OIML-CS PD-05 §5.3): the competence entries the dispatch cover relation matches against each conformance test's required_competence — lab.scope ⊇ test.required (kind equal, range covers, method_standard equal-or-compatible, resolution/stability at-least-as-good). Supersedes the flat capabilities strings for competence matching; capabilities stays the construction-fixture / operational vocabulary. The accreditation RECORD (body, certificate number, validity) rides the existing accreditation block (Accreditation.body/number/expiry_date)."
+  }
+}
+
+class QuantityInterval#data {
+  description { "A closed numeric interval in one unit — the range facet of a laboratory competence-scope entry (TODO.roadmap/48). Bounds are always absolute numbers on the laboratory side; the parameter-bound form (e.g. a test's required range up to the model's e_max) exists only on conformance-test required_competence, resolved against the dispatch context." }
+  helper { true }
+  min: number {
+    modality SHALL
+  }
+  max: number {
+    modality SHALL
+  }
+  unit: string {
+    modality SHALL
+  }
+}
+
+class CompetenceScopeEntry#data {
+  description { "One entry of a Test Laboratory's accreditation scope (TODO.roadmap/48): a competence kind from the cross-Recommendation registry (specification/competence-kinds.yaml, e.g. force_measurement, humidity_testing, emc_testing) with the accredited envelope — range, method standard, readout resolution, environmental stability. The per-lab implementation packages' ISO/IEC 17025 registers (task 23/39c — equipment.yaml / personnel.yaml) substantiate an entry by REFERENCE (equipment_refs / personnel_refs), never by copy." }
+  helper { true }
+  competence: string {
+    modality SHALL
+    definition "Competence-kind id (specification/competence-kinds.yaml registry reference — linker rule competence-references)"
+  }
+  range: reference(QuantityInterval) [0..1] {
+    modality MAY
+    definition "Accredited interval (e.g. force 0–500000 kg, temperature −40…+80 degC). Absent where the kind carries no interval (documentation_review)."
+  }
+  method_standard: string [0..1] {
+    modality MAY
+    definition "Method-standard id the accreditation names (registry method_standards, e.g. iec-61000-4-4); cover requires equal-or-compatible with the test's entry"
+  }
+  resolution: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Readout/indication resolution held (QuantityValue { value, unit }) — smaller is better; cover = at-least-as-good (≤ the test's requirement)"
+  }
+  stability: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Environmental stability held (e.g. chamber temperature stability, QuantityValue { value, unit }) — smaller is better; cover = at-least-as-good"
+  }
+  equipment_refs: string[] [0..*] {
+    modality MAY
+    definition "Substantiating equipment-register entry ids of the lab's implementation package (task 23/39c — e.g. mtl_f_001), by reference, never copy (ISO/IEC 17025 §6.4)"
+  }
+  personnel_refs: string[] [0..*] {
+    modality MAY
+    definition "Substantiating personnel-register entry ids of the lab's implementation package (task 23/39c — e.g. p_weber), by reference, never copy (ISO/IEC 17025 §6.2)"
+  }
+}
+
+class Expert#data {
+  store { experts }
+  indexes { kind }
+  id: string {
+    modality SHALL
+  }
+  kind: enum {
+    modality SHALL
+    enum_values { lm-expert ms-expert }
+  }
+  personal_details: reference(ExpertPersonalDetails) {
+    modality SHALL
+  }
+  contact: reference(ExpertContact) {
+    modality SHALL
+  }
+  registration_status: enum [0..1] {
+    modality MAY
+    enum_values { pending active suspended withdrawn }
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class Address#data {
+  helper { true }
+  street: string {
+    modality SHALL
+  }
+  city: string {
+    modality SHALL
+  }
+  country: string {
+    modality SHALL
+  }
+  postal_code: string {
+    modality SHALL
+  }
+}
+
+class Contact#data {
+  helper { true }
+  person: string {
+    modality SHALL
+  }
+  email: string {
+    modality SHALL
+  }
+  phone: string {
+    modality SHALL
+  }
+}
+
+class Accreditation#data {
+  helper { true }
+  body: string {
+    modality SHALL
+  }
+  number: string {
+    modality SHALL
+  }
+  expiry_date: date {
+    modality SHALL
+  }
+  scopes: string[] [0..*] {
+    modality MAY
+  }
+}
+
+class OIMLScopeEntry#data {
+  helper { true }
+  ref: string {
+    modality SHALL
+  }
+  scheme: enum {
+    modality SHALL
+    enum_values { A B }
+  }
+  restrictions: string [0..1] {
+    modality MAY
+  }
+}
+
+class OrganizationDeclaration#data {
+  helper { true }
+  responsible_person: string {
+    modality SHALL
+  }
+  position: string {
+    modality SHALL
+  }
+  signature_date: date {
+    modality SHALL
+  }
+  ciml_endorsement: boolean [0..1] {
+    modality MAY
+  }
+}
+
+class IADocumentationChecklist#data {
+  helper { true }
+  quality_manual: boolean {
+    modality SHALL
+  }
+  proof_of_legal_status: boolean {
+    modality SHALL
+  }
+  proof_of_competency: boolean {
+    modality SHALL
+  }
+  org_chart: boolean {
+    modality SHALL
+  }
+  tl_list: boolean {
+    modality SHALL
+  }
+  other: string [0..1] {
+    modality MAY
+  }
+}
+
+class TLDocumentationChecklist#data {
+  helper { true }
+  quality_manual: boolean {
+    modality SHALL
+  }
+  proof_of_legal_status: boolean {
+    modality SHALL
+  }
+  proof_of_competency: boolean {
+    modality SHALL
+  }
+  org_chart: boolean {
+    modality SHALL
+  }
+  staff_qualifications: boolean {
+    modality SHALL
+  }
+  equipment_list: boolean {
+    modality SHALL
+  }
+  mtl_procedures: boolean [0..1] {
+    modality MAY
+  }
+  accreditation_certificate: boolean [0..1] {
+    modality MAY
+  }
+  peer_assessment_report: boolean [0..1] {
+    modality MAY
+  }
+  intercomparison_results: boolean [0..1] {
+    modality MAY
+  }
+  other: string [0..1] {
+    modality MAY
+  }
+}
+
+class IADeclaration#data {
+  helper { true }
+  id: string {
+    modality SHALL
+  }
+  issuing_authority_id: reference(IssuingAuthority) {
+    modality SHALL
+    on_delete cascade
+    required true
+  }
+  declaration_date: date {
+    modality SHALL
+  }
+  period: string {
+    modality SHALL
+  }
+  confirmations: reference(DeclarationConfirmations) {
+    modality SHALL
+  }
+  changes_description: text [0..1] {
+    modality MAY
+  }
+  scope_snapshot: reference(OIMLScopeEntry) [0..*] {
+    modality MAY
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class DeclarationConfirmations#data {
+  helper { true }
+  meets_requirements: boolean {
+    modality SHALL
+  }
+  scope_unchanged: boolean {
+    modality SHALL
+  }
+  changes_notified: boolean {
+    modality SHALL
+  }
+  operates_in_conformity: boolean {
+    modality SHALL
+  }
+}
+
+class ExpertPersonalDetails#data {
+  helper { true }
+  family_name: string {
+    modality SHALL
+  }
+  given_names: string {
+    modality SHALL
+  }
+  date_of_birth: date {
+    modality SHALL
+  }
+  nationality: string {
+    modality SHALL
+  }
+  member_state: string {
+    modality SHALL
+  }
+}
+
+class ExpertContact#data {
+  helper { true }
+  employer: string [0..1] {
+    modality MAY
+  }
+  position: string [0..1] {
+    modality MAY
+  }
+  address: reference(Address) {
+    modality SHALL
+  }
+  email: string {
+    modality SHALL
+  }
+  phone: string [0..1] {
+    modality MAY
+  }
+}
+

package/oiml-smart-core/entities/payment-records.prl

@@ -0,0 +1,92 @@
+class PaymentRecord#data {
+  store { paymentRecords }
+  description { "The evidential record of one payment arrangement (TODO.adoption/09): money moves outside the platform, the record lives inside. Two kinds. certificate_fee: the IA-to-OIML-CS registration fee, raised by the platform when a certificate is issued (PD-05 §6.2: the BIML invoices the Issuing Authority for the registration fee and the certificate listing is withdrawn when payment is not received within 3 months of the invoice date; the fee itself is set by the CIML; B 18:2018 §9 b) names collecting the registration fees a BIML responsibility and §16.3 states the OIML-CS income consists of the fees from the registration of OIML Certificates). arrangement: an IA-TL settlement record riding a test request (or an engagement, the TODO.adoption/07 negotiation leg): the Test Laboratory invoices the Issuing Authority, either side uploads the evidential content, both sides see the record. The amount and currency fields transcribe the invoice's own wording as evidence when the parties record them; the platform states no fees of its own and never computes on them (no totals, no obligations). The record walks the payment_record state machine (INVOICED to MARKED_PAID) and every act journals an audit event, so a peer reviewer reads the arrangement and its settlement from the record alone (the OIML-CS is an accreditation system whose certificate-issuing bodies are peer-assessed; the audit trail is the point). The platform never processes payment; every view marks the record as evidential only." }
+  indexes { status kind payer_id payee_id certificate_id request_id }
+  id: string {
+    modality SHALL
+  }
+  kind: enum {
+    modality SHALL
+    definition "certificate_fee: the IA-to-OIML-CS registration fee record raised at certificate issuance (PD-05 §6.2); arrangement: an IA-TL payment arrangement record riding a test request or an engagement"
+    enum_values { certificate_fee arrangement }
+  }
+  payer_id: string {
+    modality SHALL
+    definition "The paying party's Organization id (the IA's oiml_code or the TL's oiml_id); the org-visibility gate keys on it"
+  }
+  payee_id: string {
+    modality SHALL
+    definition "The invoicing party's Organization id; the certificate fee's payee is the scheme itself (the fixed token OIML-CS, since the BIML collects the registration fees, B 18:2018 §9 b))"
+  }
+  amount: number [0..1] {
+    modality MAY
+    definition "The invoiced amount, transcribed verbatim from the invoice or the settlement evidence. Recorded, never computed on: the platform states no fees of its own, sums nothing, and derives no obligation from this field"
+  }
+  currency: string [0..1] {
+    modality MAY
+    definition "The ISO 4217 currency code of the recorded amount (mandatory when amount is recorded)"
+  }
+  description: text [0..1] {
+    modality MAY
+    definition "What the invoice covers, as the invoicing party states it"
+  }
+  status: enum {
+    modality SHALL
+    definition "Walks the payment_record state machine (evaluation/state-machines.prl): INVOICED to MARKED_PAID (the payer records the settlement with its reference; MARKED_PAID is terminal)"
+    enum_values { INVOICED MARKED_PAID }
+  }
+  invoiced_at: date {
+    modality SHALL
+    definition "The invoice date; the certificate fee's record carries the certificate's issue date (the record is raised at issuance)"
+  }
+  marked_paid_at: date [0..1] {
+    modality MAY
+    definition "When the settlement was recorded as paid (the marked-paid act)"
+  }
+  marked_paid_by: string [0..1] {
+    modality MAY
+    definition "The account name of who recorded the settlement (provenance)"
+  }
+  payment_reference: string [0..1] {
+    modality MAY
+    definition "The settlement reference (the bank or transaction reference on the payment), recorded verbatim; mandatory at the marked-paid act"
+  }
+  invoice: reference(DocumentRef) [0..1] {
+    modality MAY
+    definition "The uploaded invoice or receipt (TODO.adoption/03 blob slot; the file-name-only record stands when the deployment binds no blob store)"
+    on_delete nullify
+  }
+  certificate_id: reference(Certificate) [0..1] {
+    modality MAY
+    definition "What the record pays for: the certificate (the certificate_fee kind)"
+    on_delete restrict
+  }
+  request_id: reference(TestRequest) [0..1] {
+    modality MAY
+    definition "What the record pays for: the test request the IA-TL arrangement rides"
+    on_delete restrict
+  }
+  engagement_id: reference(Engagement) [0..1] {
+    modality MAY
+    definition "What the record pays for: the engagement (the TODO.adoption/07 negotiation leg)"
+    on_delete restrict
+  }
+  basis: string [0..1] {
+    modality MAY
+    definition "The normative basis of the record; the certificate fee cites PD-05 §6.2 and B 18:2018 §16.3"
+  }
+  raised_by: string [0..1] {
+    modality MAY
+    definition "The account name of who raised the record (the invoicing party's officer); absent on the certificate fee, which the platform raises at issuance"
+  }
+  notes: text [0..1] {
+    modality MAY
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+

package/oiml-smart-core/entities/verification.prl

@@ -0,0 +1,187 @@
+class VerificationMark#data {
+  description { "One verification mark applied to the sample after a passed verification (metamodel identity-provenance.VerificationMark; OIML V 1:2022, 3.04). The mark designator is national-regulation content — the record carries the string, never a shape registry." }
+  helper { true }
+  id: string {
+    modality SHALL
+  }
+  mark: string {
+    modality SHALL
+    definition "Mark designator (e.g. the national verification mark)"
+  }
+  location: string [0..1] {
+    modality MAY
+    definition "Where on the instrument the mark sits (R 91-1, 7.14: space at visible spots)"
+  }
+  clause: string [0..1] {
+    modality MAY
+    definition "Clause the mark discharges (e.g. R 91-1, 8.2.4)"
+  }
+  applied_at: datetime {
+    modality SHALL
+  }
+  applied_by: string [0..1] {
+    modality MAY
+  }
+}
+
+class SealStatus#data {
+  description { "The state of one seal on a sample (VIML 2.20 sealing — protection against unauthorized intervention, e.g. R 91-1, 7.13 a–c: adjustment means, metrology-relevant parts, software integrity). Embedded on MeasuringInstrumentSample.seals; set/renewed by a passed verification's marking and securing." }
+  helper { true }
+  id: string {
+    modality SHALL
+  }
+  protects: string {
+    modality SHALL
+    definition "What the seal protects (adjustment means, metrology-relevant replaceable parts, software integrity)"
+  }
+  means: string [0..1] {
+    modality MAY
+    definition "Sealing means — mechanical, electronic, or other technical means giving clear evidence of tampering"
+  }
+  location: string [0..1] {
+    modality MAY
+  }
+  status: enum {
+    modality SHALL
+    enum_values { INTACT BROKEN REPLACED VOID }
+  }
+  set_by: string [0..1] {
+    modality MAY
+    definition "VerificationRecord id that set/renewed this seal state"
+  }
+  set_at: datetime [0..1] {
+    modality MAY
+  }
+}
+
+class VerificationSignal#data {
+  description { "One posted out-of-cycle verification signal (the signal-event channel of the re-verification triggers, TODO.roadmap/21): an event that may invalidate the current verification before its validity window elapses (e.g. tyre-change on an ego speed meter, R 91-1, 6.15.3 Note 2). Embedded on MeasuringInstrumentSample.verification_signals; the trigger engine (browser/src/data/verification.ts) matches pending signals against the signal triggers of the governing VerificationProcess and fires the bound sample_verification action; consumed_by records the re-verification that answered the signal." }
+  helper { true }
+  event: string {
+    modality SHALL
+    definition "Signal event name (e.g. tyre-change)"
+  }
+  at: datetime {
+    modality SHALL
+  }
+  notes: text [0..1] {
+    modality MAY
+  }
+  consumed_by: string [0..1] {
+    modality MAY
+    definition "VerificationRecord id of the re-verification that answered this signal; absent = pending"
+  }
+}
+
+class VerificationEquipment#data {
+  description { "One piece of test equipment used in a verification (traceability — the D2 TestRun.equipment shape { id, cal_cert? }, re-declared here so the verification entities stand alone in Core)." }
+  helper { true }
+  id: string {
+    modality SHALL
+    definition "Lab-local equipment identifier (e.g. reference speed meter, traffic simulator)"
+  }
+  cal_cert: string [0..1] {
+    modality MAY
+    definition "Calibration certificate reference (traceability)"
+  }
+}
+
+class VerificationRecord#data {
+  store { verificationRecords }
+  description { "One verification event on ONE sample (metamodel v0.6.1 evaluation.Verification; OIML V 1:2022, 2.09): kind, the executed process definition, the per-requirement verdicts over the process's assessment scope (the shared D3 Verdict shape — the same machinery as TestReportDetermination.verdicts, computed from the verification test set's evidence), the marks applied and securing state set after a pass, the assessing authority/lab/equipment, the validity window instance (assessed_date + the process's window = valid_until — the timer trigger fires when reached), and the chain to the previous verification (subsequent/periodic kinds). The record's own lifecycle is the verification_record state machine; the sample's validity lifecycle is sample_verification." }
+  indexes { sample_id model_id standard_id kind status }
+  id: string {
+    modality SHALL
+  }
+  standard_id: string {
+    modality SHALL
+  }
+  sample_id: reference(MeasuringInstrumentSample) {
+    modality SHALL
+    definition "The verified sample — one verification event per sample per event"
+    on_delete restrict
+    required true
+  }
+  model_id: reference(MeasuringInstrumentModel) [0..1] {
+    modality MAY
+    definition "Denormalized from sample_id.model_id for query efficiency"
+    on_delete restrict
+    required false
+  }
+  kind: enum {
+    modality SHALL
+    definition "VIML 2.12 initial / 2.13 subsequent / 2.14 mandatory periodic; in-service = the Recommendation's inspection kind (R 91-1, 8.4)"
+    enum_values { initial subsequent periodic in-service }
+  }
+  process_id: string {
+    modality SHALL
+    definition "VerificationProcess definition id in data/<rec>/evaluation/verification.yaml (e.g. initial-verification)"
+  }
+  tests: string[] [0..*] {
+    modality SHALL
+    definition "Conformance-test identifiers actually executed (/conf/... — a subset of the process definition's test set; R 91-1, 8.2.2 allows combining/switching the laboratory and field accuracy tests)"
+  }
+  status: enum {
+    modality SHALL
+    definition "Lifecycle per evaluation/state-machines.yaml verification_record machine; MARKED = passed + marks/securing applied"
+    enum_values { DRAFT IN_PROGRESS ASSESSED PASSED FAILED MARKED }
+  }
+  outcome: enum {
+    modality SHALL
+    definition "The conformity assessment result over the process's scope; pass => marking/securing + the validity window opens"
+    enum_values { pass fail indeterminate }
+  }
+  verdicts: reference(Verdict) [0..*] {
+    modality SHALL
+    definition "Per-requirement verdicts over the process's assessment scope (embedded) — computed by the same verdict machinery the type evaluation uses, over the verification test set's evidence, with the process's limits where they differ (e.g. in-service MPE)"
+  }
+  marks: reference(VerificationMark) [0..*] {
+    modality SHALL
+    definition "Verification marks applied after a pass (embedded; VIML 3.04, R 91-1, 7.14/8.2.4)"
+  }
+  laboratory_id: reference(TestLaboratory) [0..1] {
+    modality MAY
+    definition "Laboratory that performed the verification tests (the accuracy tests may be lab- or field-based, R 91-1, 8.2.2)"
+    on_delete restrict
+    required false
+  }
+  authority: string [0..1] {
+    modality MAY
+    definition "The metrological authority carrying out the verification (R 91-1, 8.2/8.3)"
+  }
+  equipment: reference(VerificationEquipment) [0..*] {
+    modality MAY
+    definition "Test equipment used (traceability) — { id, cal_cert? } entries"
+  }
+  assessed_by: string {
+    modality SHALL
+  }
+  assessed_date: date {
+    modality SHALL
+  }
+  valid_until: date [0..1] {
+    modality MAY
+    definition "assessed_date + the process validity window — the timer re-verification trigger fires when reached"
+  }
+  certificate_number: string [0..1] {
+    modality MAY
+    definition "Verification certificate reference (VIML 3.02)"
+  }
+  previous_verification_id: reference(VerificationRecord) [0..1] {
+    modality MAY
+    definition "The chain: the verification this one supersedes (subsequent/periodic kinds)"
+    on_delete nullify
+    required false
+  }
+  trigger_event: string [0..1] {
+    modality MAY
+    definition "What brought this verification about: scheduled | <signal event id> (e.g. tyre-change)"
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+