verified localdataset-mean
The mean of the value column in data.csv is 5.000.
claim 732af61ba75f404aa6eb767fbff6d29ae391dfe8… · kind executable · weight load_bearing
paper · T1 · a self-contained worked example
A worked example: the mean of a small dataset
certiv examples · packed 2026-07-08T17:06:21Z
coverage: 2 of 2 load-bearing claims verifiedtier: T1uncheckable claims routed to humans: 0 on this paperfail-closed: 0
The claims, one by one
Each row is a claim from the manifest with its current verdict. A verdict is never a platform assertion: it names the sandbox that ran it and the node that signed it, and the replay token reproduces it. Node verdicts and replay tokens appear on a row once a verification node has run the claim; until then the author-side status is shown and labeled as exactly that. Claims without receipts would sit in a visible residual, never silently passed. This paper has none.
verified localrow-count
The dataset contains exactly four samples.
claim 98516eae8e284c91cd9c30840f7aa06653d72ef5… · kind executable · weight load_bearing
Take the receipt with you
The receipt is a file, not a page. Download it, download the kernel, and confirm every hash and every claim on your own machine, offline, against nothing but the standard library.
# the bundle has the receipt, the kernel, and every pinned input.
# in a disposable VM (--execute runs the receipt's commands):
tar xzf certiv-demo-bundle.tar.gz && cd paper
python3 certiv-kernel.py . --executeStructure and hashes verify with no --execute and run nothing. Only --execute runs commands; do it in a throwaway VM for any receipt but your own.
A worked example: the mean of a small dataset2026-07-08T17:06:21Z
authorscertiv examplesT1
coverage2 of 2 load-bearing claims verified locally
merkle49fdd899011cc3b3430ab04656bc89172713b9b3757213bc3e75a60037b45344
kernelcertiv-kernel.py · 0f8a8b3e63b2796b26b7dfbf6301ad349e333f1aca6cf938493177503933bb9c
verified localdataset-mean · The mean of the value column in data.csv is 5.000.
verified localrow-count · The dataset contains exactly four samples.
receipt 1d77de68491fc6a159a4baf9df072642…certiv_receipt_v1