Lispex Vouch
Reference implementationPortable decision receipts, the Vouch Bridge, offline verification, and rule-change replay, all of it runnable today.
/vouchPapers ·SCORED '26
Research programme
Artifacts
The kernel is a concept. Below is its implementation, and beside it the places its components are put to work. Each entry links back to the papers it grounds.
Implementation
In use
Topaz
Uses CSK componentsA small, closed, Unicode-first language. Not a kernel implementation itself, but parts of the CSK verification approach back its checked surface.
Lena Engine
Uses CSK componentsThe proprietary engine behind Lena Code. Not an implementation of the kernel, but its verification discipline is designed on the principles CSK demonstrates publicly.