Architecture
The platform architecture in twenty-three chapters, from the mental model to the identity service.
The mental modelEverything in this system is built from eight words and three layers, and this page shows where every detail belongs.The system mapThe platform lives in five repositories, of which smart is the system and the other four are its language, its instruments, its documentation, and its history.The Primmel kernelThe Primmel kernel is the toolchain of the modelling language every model in this system is written in, housed in its own repository as a strict superset of Primmel v2.The packagesThe primmel-packages directory is the single source of truth of the whole system, holding every normative model as a .prl package from which everything downstream regenerates.The baked treesThe baked trees are the composed model trees the build actually reads, composed fresh on every bake and never committed.The applicationThe application is an Astro 7 shell with Vue 3 islands that runs the entire OIML SMART certification workflow in the browser.The twin runtimeThe twin runtime is the pair of modules, the API gateway and the compliance-engine monitor, that connect the platform to live twins.The sim instrumentsThe simulated instruments live in two repositories: primmel/sst, the kind-agnostic SST framework, and oimlsmart/sst, the OIML instrument library, each bootable with zero SMART checkout.Twin certificationThe twin-certification program is the first kind certification_program package: the scheme that certifies a digital twin's fidelity, the claim that the twin accurately reflects the physical instrument, plus its governing document TW-1 and the surveillance regime.Workflow chainThe workflow chain is the certification workflow of the OIML-CS (B 18:2025), executed as data: the applicant, the issuing authority, the test laboratories, the evaluation, and the certificate, with every step a model in the packages and every transition a declared state machine.The gates mapThe gates map lists, layer by layer, the commands the CI and the release gate run and what each proves, so that every claim in the architecture has a command that proves it.Your first changeThe developer quickstart is a 30–60 minute path from a fresh clone to one small, real, gate-green change, and every step says what to run and what to expect.SST interaction contractThe normative spec for how anything talks to a Primmel Simulated SMART Twin states the thesis the whole platform is built on: the digital twin's GraphQL API is fully determined by the Recommendation's Primmel instrument model.Multi-standard projectionOne implementation model, composed from several Primmel models, is read through several reference standards, each an independent lens with its own coverage and its own verdicts.The twin streamThe twin stream is the real-time face of the twin channel, a plain-SSE stream that serves the twin's governed registers as they change, an immediate snapshot on connect, then one atomic frame per clock advance.Integration manifestThe integration manifest is the normative reference for integration.yaml and its gate, the one home of every cross-repo link and the semantics by which the gate proves each link.The CNML bridgeAn issued OIML certificate becomes a signed CNML document in the app, and anyone can verify it without leaving the app.Program config seamEverything program-flavored the shell says lives in one manifest the framework reads at boot, so a second program is a second manifest, never a fork.The evidence storeProbe data persists as modeled records through time, so behavior is confirmed over time, evidence re-analyzes under new models, and an auditor walks one traceable chain.Cryptographic provenanceA twin's served values carry signed proof-of-origin, and certificates carry the device's cryptographic identity, the trust layer for multi-component devices and remote audits.The OIML-CS flowThe complete OIML-CS certification flow runs as one executable chain, from application and sample handling through test runs, evaluation, CNML-signed issuance, and BIML registration, in both the shared-platform and IA-operated deployment modes.Primmel StudioPrimmel Studio is the editing and review environment for Primmel packages, the full port of the Paneron MMEL Editor/Viewer/Mapper lineage onto the Primmel v3 kernel.The identity serviceOne Worker with its own database at id.oimlsmart.org serves the OIDC Provider contract for the federation, and every other instance signs in through it as a relying party.Authority dualityThe committee in charge of a Recommendation publishes its decisions in two co-authoritative forms, the text and the SMART model, and the platform audits the duality in both directions at build time.