Developer documentation
Everything a standards developer, software engineer, or technical evaluator needs to author, deploy, or integrate OIML SMART Recommendations.
The docs federation
The OIML program volumes live here, in the sections below. The platform volumes, the proved foundation, the Primmel kernel, the platform runtime, the SST, Confium, the classroom, live on the Primmel SMART docs site. One home per kind; we link, never duplicate.
The foundation →
the eight terms and the closure rules, proved
The Primmel kernel →
the language surface — subjects, processes, mappings, packages, twins
The platform runtime →
the SMART platform, the twin lab, projection, the composite twin, the CNML bridge
Authoring Recommendations →
methodology, subjects, requirements, tests, forms, packaging, walkthroughs
Confium →
the threshold-cryptography PKI the certificates ride
The NMI section →
the adoption program for legal-metrology authorities
The demo manual →
run the full certification chain yourself
Architecture
24The platform architecture in twenty-three chapters, from the mental model to the identity service.
Formal Specifications
0The 11-document SMART_REQS normative specification set.
Reference
1Schemas, types, syntax, and identifiers.
OIML Core
11The OIML Core metamodel, the 4-layer architecture, the six modules, the invariants.
The OIML-CS Scheme
9The B 18:2025 constitution, the runtimes, the coverage machinery.
CNML Certificates
1The certificate format the verdict chain issues, schemas, sign/verify, the operator manuals.