Runs / p1-17-baseline-set2-unsigned · P1 / Receipt

The run receipt

Records agree: yes · 144 of 149 checks · Signed: Unsigned · Anchored: Not anchored

Runp1-17-baseline-set2-unsigned · c9f23125c232
Formatstage-receipt-chain/0.3
Stages5 of 5 declared stages
The graph5 nodes · recorded as a straight line (no graph recorded)
Chain head
sha256:1d907ed7c25d…sha256:1d907ed7c25d032404f82f4a33ec8461c6f78aedfc4776b2a8bf70778d41ec0a
Output files5 of 5 present and matching their receipts
Model stagesnone declared
Authorizationno authorization records
Recorded → · the record does not say which onetrace version made it
SignatureUnsigned · no signature beside the chain
AnchorNot anchored · no anchor beside the chain
View JSON
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"chain":[{"digest":"sha256:dd733d4d9932982f95391e1ef6d0102bb17a219ffe3a152ec4b0617790a5eebc","file":"receipts/01-load-docs.json","index":"1","stage":"load_docs"},{"digest":"sha256:a3a8b57f62f0df6b51aa6e72a3aa755e8e287bf8fe666074e45c0a8810379a6a","file":"receipts/02-split.json","index":"2","stage":"split"},{"digest":"sha256:074f4bed84c2bf5f5be93d35ae9c37d42a7c8c5e41449702ecd2a9a19cbfd04c","file":"receipts/03-embed.json","index":"3","stage":"embed"},{"digest":"sha256:c6ba5aaa4d2139fa5aff81118f8359c01e780715bc4242fbfb65f26cf5841c79","file":"receipts/04-retrieve.json","index":"4","stage":"retrieve"},{"digest":"sha256:1d907ed7c25d032404f82f4a33ec8461c6f78aedfc4776b2a8bf70778d41ec0a","file":"receipts/05-answer.json","index":"5","stage":"answer"}],"chain_head":"sha256:1d907ed7c25d032404f82f4a33ec8461c6f78aedfc4776b2a8bf70778d41ec0a","format":"stage-receipt-chain/0.3","outputs_kept":"all","run_id":"p1-17-baseline-set2-unsigned","run_id_source":"caller"}

Check it yourself

Download this run's record, unpack it, and in its folder run:

pip install onetrace-verify
onetrace-verify --require-artifacts .

Kept inputs aren't included in this public console's downloads: removing them is supported, and the run still verifies without them.

The check makes no network calls and needs no account.

What the check printed

This console's own run of the verifier over the stored record, at : onetrace-verify --trust trust.json MANIFEST.json, exit 0. File paths are shortened to their names; the output is as it wrote it, a row longer than the page shows cut with the count of what is left out.

[PASS   ] receipts/01-load-docs.json: receipt format
[PASS   ] receipts/01-load-docs.json: bytes are canonical
[PASS   ] receipts/01-load-docs.json: required field 'format'
[PASS   ] receipts/01-load-docs.json: required field 'run_id'
[PASS   ] receipts/01-load-docs.json: required field 'stage'
[PASS   ] receipts/01-load-docs.json: required field 'prev'
[PASS   ] receipts/01-load-docs.json: required field 'time'
[PASS   ] receipts/01-load-docs.json: required field 'coverage'
[PASS   ] receipts/01-load-docs.json: required field 'emission'
[PASS   ] receipts/01-load-docs.json: required field 'anchor'
[PASS   ] receipts/01-load-docs.json: required field 'instrument'
[PASS   ] receipts/01-load-docs.json: required field 'inputs'
[PASS   ] receipts/01-load-docs.json: required field 'outputs'
[PASS   ] receipts/01-load-docs.json: required field 'assertions'
[PASS   ] receipts/01-load-docs.json: required field 'outcome'
[PASS   ] receipts/01-load-docs.json: time.started carries its zone
[PASS   ] receipts/01-load-docs.json: time.ended carries its zone
[PASS   ] receipts/01-load-docs.json: instrument is named and pinned
[PASS   ] receipts/01-load-docs.json: inputs/documents declares a trust class
[PASS   ] receipts/01-load-docs.json: outputs/documents.json declares a trust class
[PASS   ] receipts/01-load-docs.json: assertions name their constants
[PASS   ] receipts/01-load-docs.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-load-docs.json: coverage declares completeness
[PASS   ] receipts/01-load-docs.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-load-docs.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-load-docs.json: digest matches the manifest
[PASS   ] receipts/01-load-docs.json: chain link
[PASS   ] receipts/01-load-docs.json: output artifact 'documents.json' matches
[PASS   ] receipts/02-split.json: receipt format
[PASS   ] receipts/02-split.json: bytes are canonical
[PASS   ] receipts/02-split.json: required field 'format'
[PASS   ] receipts/02-split.json: required field 'run_id'
[PASS   ] receipts/02-split.json: required field 'stage'
[PASS   ] receipts/02-split.json: required field 'prev'
[PASS   ] receipts/02-split.json: required field 'time'
[PASS   ] receipts/02-split.json: required field 'coverage'
[PASS   ] receipts/02-split.json: required field 'emission'
[PASS   ] receipts/02-split.json: required field 'anchor'
[PASS   ] receipts/02-split.json: required field 'instrument'
[PASS   ] receipts/02-split.json: required field 'inputs'
[PASS   ] receipts/02-split.json: required field 'outputs'
[PASS   ] receipts/02-split.json: required field 'assertions'
[PASS   ] receipts/02-split.json: required field 'outcome'
[PASS   ] receipts/02-split.json: time.started carries its zone
[PASS   ] receipts/02-split.json: time.ended carries its zone
[PASS   ] receipts/02-split.json: instrument is named and pinned
[PASS   ] receipts/02-split.json: inputs/receipt:load_docs declares a trust class
[PASS   ] receipts/02-split.json: inputs/documents.json declares a trust class
[PASS   ] receipts/02-split.json: outputs/chunks.json declares a trust class
[PASS   ] receipts/02-split.json: assertions name their constants
[PASS   ] receipts/02-split.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/02-split.json: coverage declares completeness
[PASS   ] receipts/02-split.json: anchor state is declared, not absent
[NOT-RUN] receipts/02-split.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/02-split.json: digest matches the manifest
[PASS   ] receipts/02-split.json: chain link
[PASS   ] receipts/02-split.json: output artifact 'chunks.json' matches
[PASS   ] receipts/03-embed.json: receipt format
[PASS   ] receipts/03-embed.json: bytes are canonical
[PASS   ] receipts/03-embed.json: required field 'format'
[PASS   ] receipts/03-embed.json: required field 'run_id'
[PASS   ] receipts/03-embed.json: required field 'stage'
[PASS   ] receipts/03-embed.json: required field 'prev'
[PASS   ] receipts/03-embed.json: required field 'time'
[PASS   ] receipts/03-embed.json: required field 'coverage'
[PASS   ] receipts/03-embed.json: required field 'emission'
[PASS   ] receipts/03-embed.json: required field 'anchor'
[PASS   ] receipts/03-embed.json: required field 'instrument'
[PASS   ] receipts/03-embed.json: required field 'inputs'
[PASS   ] receipts/03-embed.json: required field 'outputs'
[PASS   ] receipts/03-embed.json: required field 'assertions'
[PASS   ] receipts/03-embed.json: required field 'outcome'
[PASS   ] receipts/03-embed.json: time.started carries its zone
[PASS   ] receipts/03-embed.json: time.ended carries its zone
[PASS   ] receipts/03-embed.json: instrument is named and pinned
[PASS   ] receipts/03-embed.json: inputs/receipt:split declares a trust class
[PASS   ] receipts/03-embed.json: inputs/chunks.json declares a trust class
[PASS   ] receipts/03-embed.json: outputs/vectors.json declares a trust class
[PASS   ] receipts/03-embed.json: assertions name their constants
[PASS   ] receipts/03-embed.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-embed.json: coverage declares completeness
[PASS   ] receipts/03-embed.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-embed.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-embed.json: digest matches the manifest
[PASS   ] receipts/03-embed.json: chain link
[PASS   ] receipts/03-embed.json: output artifact 'vectors.json' matches
[PASS   ] receipts/04-retrieve.json: receipt format
[PASS   ] receipts/04-retrieve.json: bytes are canonical
[PASS   ] receipts/04-retrieve.json: required field 'format'
[PASS   ] receipts/04-retrieve.json: required field 'run_id'
[PASS   ] receipts/04-retrieve.json: required field 'stage'
[PASS   ] receipts/04-retrieve.json: required field 'prev'
[PASS   ] receipts/04-retrieve.json: required field 'time'
[PASS   ] receipts/04-retrieve.json: required field 'coverage'
[PASS   ] receipts/04-retrieve.json: required field 'emission'
[PASS   ] receipts/04-retrieve.json: required field 'anchor'
[PASS   ] receipts/04-retrieve.json: required field 'instrument'
[PASS   ] receipts/04-retrieve.json: required field 'inputs'
[PASS   ] receipts/04-retrieve.json: required field 'outputs'
[PASS   ] receipts/04-retrieve.json: required field 'assertions'
[PASS   ] receipts/04-retrieve.json: required field 'outcome'
[PASS   ] receipts/04-retrieve.json: time.started carries its zone
[PASS   ] receipts/04-retrieve.json: time.ended carries its zone
[PASS   ] receipts/04-retrieve.json: instrument is named and pinned
[PASS   ] receipts/04-retrieve.json: inputs/receipt:embed declares a trust class
[PASS   ] receipts/04-retrieve.json: inputs/receipt:split declares a trust class
[PASS   ] receipts/04-retrieve.json: inputs/chunks.json declares a trust class
[PASS   ] receipts/04-retrieve.json: inputs/vectors.json declares a trust class
[PASS   ] receipts/04-retrieve.json: inputs/questions declares a trust class
[PASS   ] receipts/04-retrieve.json: outputs/hits.json declares a trust class
[PASS   ] receipts/04-retrieve.json: assertions name their constants
[PASS   ] receipts/04-retrieve.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/04-retrieve.json: coverage declares completeness
[PASS   ] receipts/04-retrieve.json: anchor state is declared, not absent
[NOT-RUN] receipts/04-retrieve.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/04-retrieve.json: digest matches the manifest
[PASS   ] receipts/04-retrieve.json: chain link
[PASS   ] receipts/04-retrieve.json: output artifact 'hits.json' matches
[PASS   ] receipts/05-answer.json: receipt format
[PASS   ] receipts/05-answer.json: bytes are canonical
[PASS   ] receipts/05-answer.json: required field 'format'
[PASS   ] receipts/05-answer.json: required field 'run_id'
[PASS   ] receipts/05-answer.json: required field 'stage'
[PASS   ] receipts/05-answer.json: required field 'prev'
[PASS   ] receipts/05-answer.json: required field 'time'
[PASS   ] receipts/05-answer.json: required field 'coverage'
[PASS   ] receipts/05-answer.json: required field 'emission'
[PASS   ] receipts/05-answer.json: required field 'anchor'
[PASS   ] receipts/05-answer.json: required field 'instrument'
[PASS   ] receipts/05-answer.json: required field 'inputs'
[PASS   ] receipts/05-answer.json: required field 'outputs'
[PASS   ] receipts/05-answer.json: required field 'assertions'
[PASS   ] receipts/05-answer.json: required field 'outcome'
[PASS   ] receipts/05-answer.json: time.started carries its zone
[PASS   ] receipts/05-answer.json: time.ended carries its zone
[PASS   ] receipts/05-answer.json: instrument is named and pinned
[PASS   ] receipts/05-answer.json: inputs/receipt:retrieve declares a trust class
[PASS   ] receipts/05-answer.json: inputs/chunks.json declares a trust class
[PASS   ] receipts/05-answer.json: inputs/hits.json declares a trust class
[PASS   ] receipts/05-answer.json: outputs/answers.json declares a trust class
[PASS   ] receipts/05-answer.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/05-answer.json: coverage declares completeness
[PASS   ] receipts/05-answer.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/05-answer.json: anchor state is declared, not absent
[NOT-RUN] receipts/05-answer.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/05-answer.json: digest matches the manifest
[PASS   ] receipts/05-answer.json: chain link
[PASS   ] receipts/05-answer.json: output artifact 'answers.json' matches
[PASS   ] manifest: chain head matches the last receipt

144 pass, 0 fail, 5 not-run  ->  PASS

What this receipt does not say

  • that the output or the action was correct
  • why the model wrote what it wrote
  • that the signing key wasn't misused (your trust list is what ties a key to a name)
  • that the run was correct at the anchored time (the anchor shows only that the record existed by then)

The run, step by step