Invariant builds deterministic verification infrastructure for AI systems that mutate state. SIGMA computes structural admissibility, SATYA wraps runtime outputs and workflow transitions, and SVR records the result as a signed, independently checkable JSON receipt. This dataset is the conformance corpus for that receipt layer.
Every receipt here has been run through the published svr-verify package, and its stated outcome is the outcome the verifier actually… See the full description on the dataset page:
https://huggingface.co/datasets/jasonlvolk/svr-receipts-examples.
