https://github.com/pulseengine/example-kvs

Eclipse-score persistency::kvs through the full pulseengine stack — rivet typed artifacts + spar AADL + WIT contract + witness MC/DC harness + sigil release manifest + artifact-driven verification gate. Not affiliated with Eclipse Foundation.

aadl eclipse-score iso-26262 mbse pulseengine rivet safety-critical spar wasm-component wit

Last synced: 15 Jun 2026