xchecker 1.2.0

Spec pipeline with receipts and gateable JSON contracts
Documentation
1
This document has moved to [Security Guide](guides/SECURITY.md) (user guide) and [Security Model](explanation/SECURITY_MODEL.md) (implementation details).