Quickstart

​

Requirements

• Go 1.23 or later; Go 1.26 is recommended.
• GCC with C2x support.
• Clang 17 or later for sanitizer tests.
• Bash, Python 3, and curl.

​

Run the complete demonstration

make demo

1. Starts a controlled origin on loopback.
2. Observes one JSON representation under an explicit local-fixture policy.
3. Stores the body by SHA-256 digest.
4. Writes a deterministic CBOR observation envelope and JSON view.
5. Verifies the evidence in Go.
6. Verifies it independently in C.
7. Stops the origin.
8. Executes the adapter from preserved evidence only.
9. Prints a result carrying native and semantic values with field-level provenance.

​

Run tests

make test

​

Inspect artifacts

var/demo/observation.cbor
var/demo/observation.json
var/demo/body.ref
var/demo/result.json
var/cas/sha256/<prefix>/<digest>

​

Safety note