Overview
Primmel SMART, the platform documentation
Section titled “Primmel SMART, the platform documentation”
Standards are programs,
not PDFs.
The documentation of the Primmel SMART platform: Primmel, the typed, executable modelling language; the platform machinery that runs it; Primmel SST, the simulated-twin framework; and Confium, the certificate PKI, the basis every 〈scope〉 SMART program is built on.
The volumes
Section titled “The volumes”The platform’s documentation, component by component: the proved foundation, the language, the runtime machinery, the simulated-twin framework, the certificate PKI, and the classroom. A language, the machinery, a framework, a PKI, these are the parts of one platform, not rungs of a ladder. Programs built on the platform document themselves on their own sites.
Foundation
The IS–HAS–DOES modelling system: eight terms, three closure rules, three theorems. Plus the kernel/surface architecture and comparative analysis.
The Primmel Language
The kernel and the surface: tier system, subject anatomy (IS/HAS/DOES), processes, mappings, data and values, packages, provenance, interop.
The Platform
The runtime machinery: the twin lab, multi-standard projection, the composite twin, the CNML bridge, the program config seam, Primmel Studio.
Primmel SST
The simulated-SMART-twin framework: simulated instruments, servers and clients of a twin endpoint, the twin machinery with no hardware.
Confium
The threshold-cryptography PKI adopted for the platform's certificate operations, a component of the certificate machinery: the modes, the binding matrix, the version contract.
The Classroom
The layered curriculum, tiers 0–5: the tour, the hands-on, the duality, the operator's chain, authoring, the dual demo, stop at your depth.
Programs built on the platform
〈scope〉 SMART programs are built on Primmel SMART. OIML SMART, the Recommendations, the OIML-CS platform, the instrument twins, CNML, is the first. Its volumes live on its own site.
Two brands, one design system
Section titled “Two brands, one design system”
Primmel
An executable modelling language for SMART standards. Built on the IS–HAS–DOES algebra: eight terms, three closure rules, a one-sort kernel that is a category. The surface vocabulary desugars into composition and application.
OIML SMART
The International Organization of Legal Metrology's SMART program: executable Recommendations, the OIML-CS certification platform, measuring-instrument twins, CNML certificates, built on the Primmel SMART platform, documented on its own site.
Reading tracks
Section titled “Reading tracks”Tracks B–D leave this site: the OIML program volumes they read live at oimlsmart.org.
Read foundation/ first. Proves the IS/HAS/DOES
trichotomy is exhaustive, not heuristic.
foundation/, then primmel/ cover to cover,
then platform/.
foundation/, then primmel/ ch 1–7,
then oiml-core/ cover to cover (oimlsmart.org).
foundation/ skim, primmel/ ch 1–5,
then oiml-core/ ch 1–5 and oiml-rec/ (oimlsmart.org).
primmel/ ch 4–5, oiml-core/ ch 8,
then oiml-cs/ cover to cover (oimlsmart.org).
Prerequisites chain
Section titled “Prerequisites chain”Volume 0 assumes nothing but literacy about formal systems. Volume I assumes Volume 0 (chapter 2 of Volume I operationalizes the formal system). The platform, SST and Confium sections assume Volumes 0–I. The classroom reads across all of them, stop at your depth. The Annexes are reference material, readable out of order.
Conventions
Section titled “Conventions”- Status markers, ● exists in the running system · ◐ partial · ○ planned in v3.
- Syntax blocks tagged
prlare Primmel v3 syntax. - Diagrams are hand-authored SVG in each volume’s
diagrams/directory. Volume 0 extends the palette with teal for kernel/Tier-0 constructs and gray for surface/Tier-1. - References to the running system use repo paths relative to the
oimlsmart/smartrepository.