SMART Trust HCERT library tools

Requirements and contracts for the SMART Trust HCERT API libraries: Kotlin first (JVM, Android, Node), Rust second (WebAssembly). They are derived from the WHO SMART Trust implementation guide, in particular the QR Code Generation page of WorldHealthOrganization/smart-trust#129.

Viewers

Viewer What it shows
Overview The viewers’ own landing page, with counts and the pipeline
Graph explorer The requirements knowledge graph, grouped and drillable
Traceability matrix Every requirement against its sources, skills, contract items (WIT, CDDL) and open issues
Requirements The library requirements (cat-harness req: nodes), each with every edge of the graph
API contract The library API in WIT, with its TypeScript reference
Wire and payload models CDDL wire format; JSON-LD, SHACL and CDDL from the FHIR logical models
Kotlin skeleton The Kotlin Multiplatform API generated from the WIT
Node kinds Which cat-harness nodes the graph is read from, and the field each edge comes from
User journeys What the library does for each step of journeys J1 to J4, and the gaps

Sources

Every part of the graph is a cat-harness node of this instance: