Runs / P7 / p7-40-cold-chain-one-reading-changed

3 of 3 declared stages · recorded in the format stage-receipt-chain/0.3 · ran · received by this console

  • Records agree Yes
  • Ran as approved a straight-line run: there is no plan to compare
  • Signed by a known recorder Yes
  • Committed by a known time Not anchored

Records agree: this console's check held, with the run's output files required. Every check behind this is on Proof

The case

Run
p7-40-cold-chain-one-reading-changed
ran
→
What it was for
fill_gaps → excursion_check → release
This answer's trail was checked on — each check that ran held.

Held under the checks that ran; not anchored, so it can't be shown to be the record that was made.

Repeat the check

Run it from the run's folder:

onetrace-verify --trust trust.json MANIFEST.json

What the evidence establishes

Each rung is a separate question, with its own evidence.

Records agreeYes · 84 checks made — all hold.
Signed by a known recorderYes · demo key (public seed: proves the record wasn't changed since signing, not who signed it) ·
sha256:6e20550ae0dc…sha256:6e20550ae0dc6b4471d54336d09d74d14f3f623b735045eddd053c444ec3b14c
Nothing declared is missingYes · Each declared step left a receipt, as the receipts themselves state.
Ran as approveda straight-line run: there is no plan to compare
Re-runnable stages reproducedNot checked · No re-check from the record was run, so this page does not say whether anything comes out the same.
Action authorized, effect confirmedNo records · This console does not record authorization.
Committed by a known timeNot anchored · no anchor beside the chain

None of these says the run's output or action was correct.

The execution graph

These verdicts come from the latest comparison of this run against the baseline p7-39-cold-chain-baseline, stored . Open that comparison

recorded as a straight line (no graph recorded)

Show as table
NodeStageRecorded position
fill_gapsfill_gaps1
excursion_checkexcursion_check2
releaserelease3
FromTo
excursion_checkrelease
fill_gapsexcursion_check

A link shows which recorded output a stage read. It does not by itself prove that one stage caused the next.

Recorded order

What happened, in the order the receipts give

Held under the checks that ran; not anchored, so none of these steps can be shown to be the record that was made.

StepWhenWhat was checked and what was notOutcome
fill_gaps
step 1 of 3
→

Checked — it holds.

Completed.
excursion_check
step 2 of 3
→

Checked — it holds.

Completed.
release
step 3 of 3
→

Checked — it holds.

Completed.
Receipt · step 1 of 3 · fill_gaps
step 1 of 3

fill_gaps

What went in
logger · 147 bytes
What came out
filled.json · 565 bytes
When
→

Completed.

Ran as logger-gap-fill, version 1.0.0.

Receipt · step 1 of 3 · fill_gaps
Version
logger-gap-fill · 1.0.0
What went in
logger · 147 bytes
sha256:6752c73d29ad…sha256:6752c73d29adf47b578f4c92d54e5fbe8d730cb4d67340f3bb9606960183ef0e
What came out
filled.json · 565 bytes
sha256:f4e8f20a1362…sha256:f4e8f20a13629fad4a93751d53e62f148fab26dc5a7db3fed9b2cef6f19da664
Fingerprint
sha256:b645d05d19c2…sha256:b645d05d19c2dac6d1db7e91221fd3d39c48314b0163943a8a8eb422c7551fea
Settings it ran with
{
 "data": "invented example data",
 "onetrace.kept_inputs": "logger"
}
The receipt, exactly as recorded
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"assertions":{"constants":{"data":"invented example data","onetrace.kept_inputs":"logger"}},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["fill_gaps","excursion_check","release"],"emitting_stages":["fill_gaps"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"147","digest":"sha256:6752c73d29adf47b578f4c92d54e5fbe8d730cb4d67340f3bb9606960183ef0e","media_type":"application/json","name":"logger","trust_class":"externally-sourced"}],"instrument":{"config_digest":"sha256:2fc5f2f663392ebd87297e8e3912b0deed4edbe2c14f89f376c0882f53940736","id":"logger-gap-fill","kind":"transform","manifest_digest":"sha256:f08c6b79f590343465b41eb39c80101b85e425ba46028cda88721b927ba2b5d4","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"565","digest":"sha256:f4e8f20a13629fad4a93751d53e62f148fab26dc5a7db3fed9b2cef6f19da664","media_type":"application/json","name":"filled.json","trust_class":"operator-authored"}],"prev":null,"run_id":"p7-40-cold-chain-one-reading-changed","stage":{"index":"1","name":"fill_gaps"},"time":{"ended":"2026-10-25T12:52:10.844+00:00","started":"2026-10-25T12:52:10.810+00:00"}}
The check's own words
[PASS   ] receipts/01-fill-gaps.json: receipt format
[PASS   ] receipts/01-fill-gaps.json: bytes are canonical
[PASS   ] receipts/01-fill-gaps.json: required field 'format'
[PASS   ] receipts/01-fill-gaps.json: required field 'run_id'
[PASS   ] receipts/01-fill-gaps.json: required field 'stage'
[PASS   ] receipts/01-fill-gaps.json: required field 'prev'
[PASS   ] receipts/01-fill-gaps.json: required field 'time'
[PASS   ] receipts/01-fill-gaps.json: required field 'coverage'
[PASS   ] receipts/01-fill-gaps.json: required field 'emission'
[PASS   ] receipts/01-fill-gaps.json: required field 'anchor'
[PASS   ] receipts/01-fill-gaps.json: required field 'instrument'
[PASS   ] receipts/01-fill-gaps.json: required field 'inputs'
[PASS   ] receipts/01-fill-gaps.json: required field 'outputs'
[PASS   ] receipts/01-fill-gaps.json: required field 'assertions'
[PASS   ] receipts/01-fill-gaps.json: required field 'outcome'
[PASS   ] receipts/01-fill-gaps.json: time.started carries its zone
[PASS   ] receipts/01-fill-gaps.json: time.ended carries its zone
[PASS   ] receipts/01-fill-gaps.json: instrument is named and pinned
[PASS   ] receipts/01-fill-gaps.json: inputs/logger declares a trust class
[PASS   ] receipts/01-fill-gaps.json: outputs/filled.json declares a trust class
[PASS   ] receipts/01-fill-gaps.json: assertions name their constants
[PASS   ] receipts/01-fill-gaps.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-fill-gaps.json: coverage declares completeness
[PASS   ] receipts/01-fill-gaps.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-fill-gaps.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-fill-gaps.json: digest matches the manifest
[PASS   ] receipts/01-fill-gaps.json: chain link
[PASS   ] receipts/01-fill-gaps.json: output artifact 'filled.json' matches
Receipt · step 2 of 3 · excursion_check
step 2 of 3

excursion_check

What went in
receipt:fill_gaps · 1322 bytes
filled.json · 565 bytes
What came out
excursions.json · 132 bytes
When
→

Completed.

Ran as excursion-check, version 1.0.0.

Receipt · step 2 of 3 · excursion_check
Version
excursion-check · 1.0.0
What went in
receipt:fill_gaps · 1322 bytes
sha256:b645d05d19c2…sha256:b645d05d19c2dac6d1db7e91221fd3d39c48314b0163943a8a8eb422c7551fea
filled.json · 565 bytes
sha256:f4e8f20a1362…sha256:f4e8f20a13629fad4a93751d53e62f148fab26dc5a7db3fed9b2cef6f19da664
What came out
excursions.json · 132 bytes
sha256:efa46b61912c…sha256:efa46b61912cfc53bcbfc450eaa81fbdb1d9f35d810ca463c3087ca5b6b30c8c
Fingerprint
sha256:62383b9776b0…sha256:62383b9776b0ea9b6b5802631b953f1006893fcdc8c4d00897db429a2ef3e852
Settings it ran with
{}
The receipt, exactly as recorded
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"assertions":{},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["fill_gaps","excursion_check","release"],"emitting_stages":["fill_gaps","excursion_check"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1322","digest":"sha256:b645d05d19c2dac6d1db7e91221fd3d39c48314b0163943a8a8eb422c7551fea","media_type":"application/json","name":"receipt:fill_gaps","trust_class":"operator-authored"},{"bytes":"565","digest":"sha256:f4e8f20a13629fad4a93751d53e62f148fab26dc5a7db3fed9b2cef6f19da664","media_type":"application/json","name":"filled.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:7206daa7887779f570ba322349330b758ed576c760d99b4184a0d5a3ec4d8700","id":"excursion-check","kind":"checker","manifest_digest":"sha256:f08c6b79f590343465b41eb39c80101b85e425ba46028cda88721b927ba2b5d4","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"132","digest":"sha256:efa46b61912cfc53bcbfc450eaa81fbdb1d9f35d810ca463c3087ca5b6b30c8c","media_type":"application/json","name":"excursions.json","trust_class":"operator-authored"}],"prev":"sha256:b645d05d19c2dac6d1db7e91221fd3d39c48314b0163943a8a8eb422c7551fea","run_id":"p7-40-cold-chain-one-reading-changed","stage":{"index":"2","name":"excursion_check"},"time":{"ended":"2026-10-25T12:52:10.857+00:00","started":"2026-10-25T12:52:10.854+00:00"}}
The check's own words
[PASS   ] receipts/02-excursion-check.json: receipt format
[PASS   ] receipts/02-excursion-check.json: bytes are canonical
[PASS   ] receipts/02-excursion-check.json: required field 'format'
[PASS   ] receipts/02-excursion-check.json: required field 'run_id'
[PASS   ] receipts/02-excursion-check.json: required field 'stage'
[PASS   ] receipts/02-excursion-check.json: required field 'prev'
[PASS   ] receipts/02-excursion-check.json: required field 'time'
[PASS   ] receipts/02-excursion-check.json: required field 'coverage'
[PASS   ] receipts/02-excursion-check.json: required field 'emission'
[PASS   ] receipts/02-excursion-check.json: required field 'anchor'
[PASS   ] receipts/02-excursion-check.json: required field 'instrument'
[PASS   ] receipts/02-excursion-check.json: required field 'inputs'
[PASS   ] receipts/02-excursion-check.json: required field 'outputs'
[PASS   ] receipts/02-excursion-check.json: required field 'assertions'
[PASS   ] receipts/02-excursion-check.json: required field 'outcome'
[PASS   ] receipts/02-excursion-check.json: time.started carries its zone
[PASS   ] receipts/02-excursion-check.json: time.ended carries its zone
[PASS   ] receipts/02-excursion-check.json: instrument is named and pinned
[PASS   ] receipts/02-excursion-check.json: inputs/receipt:fill_gaps declares a trust class
[PASS   ] receipts/02-excursion-check.json: inputs/filled.json declares a trust class
[PASS   ] receipts/02-excursion-check.json: outputs/excursions.json declares a trust class
[PASS   ] receipts/02-excursion-check.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/02-excursion-check.json: coverage declares completeness
[PASS   ] receipts/02-excursion-check.json: anchor state is declared, not absent
[NOT-RUN] receipts/02-excursion-check.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/02-excursion-check.json: digest matches the manifest
[PASS   ] receipts/02-excursion-check.json: chain link
[PASS   ] receipts/02-excursion-check.json: output artifact 'excursions.json' matches
Receipt · step 3 of 3 · release
step 3 of 3

release

What went in
receipt:excursion_check · 1538 bytes
excursions.json · 132 bytes
What came out
decision.json · 42 bytes
When
→

Completed.

Ran as release-rule, version 1.0.0.

Receipt · step 3 of 3 · release
Version
release-rule · 1.0.0
What went in
receipt:excursion_check · 1538 bytes
sha256:62383b9776b0…sha256:62383b9776b0ea9b6b5802631b953f1006893fcdc8c4d00897db429a2ef3e852
excursions.json · 132 bytes
sha256:efa46b61912c…sha256:efa46b61912cfc53bcbfc450eaa81fbdb1d9f35d810ca463c3087ca5b6b30c8c
What came out
decision.json · 42 bytes
sha256:7ce823ba26e3…sha256:7ce823ba26e3020b5218df002139114b46359eabd0e245165da05812a1fd5ff8
Fingerprint
sha256:f3f2bd0b46dc…sha256:f3f2bd0b46dcf8b5840ad85f3be55145cabc05a5517aa2df22aa2f62b54eca4b
Settings it ran with
{}
The receipt, exactly as recorded
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"assertions":{},"coverage":{"boundaries":[],"completeness":"complete","declared_stages":["fill_gaps","excursion_check","release"],"emitting_stages":["fill_gaps","excursion_check","release"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1538","digest":"sha256:62383b9776b0ea9b6b5802631b953f1006893fcdc8c4d00897db429a2ef3e852","media_type":"application/json","name":"receipt:excursion_check","trust_class":"operator-authored"},{"bytes":"132","digest":"sha256:efa46b61912cfc53bcbfc450eaa81fbdb1d9f35d810ca463c3087ca5b6b30c8c","media_type":"application/json","name":"excursions.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:4cbe891e671867fd3edd3dbc2433c3fd3b7833161e4654e5158a077114b106b6","id":"release-rule","kind":"rule","manifest_digest":"sha256:f08c6b79f590343465b41eb39c80101b85e425ba46028cda88721b927ba2b5d4","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"42","digest":"sha256:7ce823ba26e3020b5218df002139114b46359eabd0e245165da05812a1fd5ff8","media_type":"application/json","name":"decision.json","trust_class":"operator-authored"}],"prev":"sha256:62383b9776b0ea9b6b5802631b953f1006893fcdc8c4d00897db429a2ef3e852","run_id":"p7-40-cold-chain-one-reading-changed","stage":{"index":"3","name":"release"},"time":{"ended":"2026-10-25T12:52:10.867+00:00","started":"2026-10-25T12:52:10.863+00:00"}}
The check's own words
[PASS   ] receipts/03-release.json: receipt format
[PASS   ] receipts/03-release.json: bytes are canonical
[PASS   ] receipts/03-release.json: required field 'format'
[PASS   ] receipts/03-release.json: required field 'run_id'
[PASS   ] receipts/03-release.json: required field 'stage'
[PASS   ] receipts/03-release.json: required field 'prev'
[PASS   ] receipts/03-release.json: required field 'time'
[PASS   ] receipts/03-release.json: required field 'coverage'
[PASS   ] receipts/03-release.json: required field 'emission'
[PASS   ] receipts/03-release.json: required field 'anchor'
[PASS   ] receipts/03-release.json: required field 'instrument'
[PASS   ] receipts/03-release.json: required field 'inputs'
[PASS   ] receipts/03-release.json: required field 'outputs'
[PASS   ] receipts/03-release.json: required field 'assertions'
[PASS   ] receipts/03-release.json: required field 'outcome'
[PASS   ] receipts/03-release.json: time.started carries its zone
[PASS   ] receipts/03-release.json: time.ended carries its zone
[PASS   ] receipts/03-release.json: instrument is named and pinned
[PASS   ] receipts/03-release.json: inputs/receipt:excursion_check declares a trust class
[PASS   ] receipts/03-release.json: inputs/excursions.json declares a trust class
[PASS   ] receipts/03-release.json: outputs/decision.json declares a trust class
[PASS   ] receipts/03-release.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-release.json: coverage declares completeness
[PASS   ] receipts/03-release.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/03-release.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-release.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-release.json: digest matches the manifest
[PASS   ] receipts/03-release.json: chain link
[PASS   ] receipts/03-release.json: output artifact 'decision.json' matches

Where it changed

It changed — here is the step where.

The step
1 fill_gaps

What could be re-checked

No re-check from the record was run, so this page does not say whether anything comes out the same.

This record shows what was verified and evaluated at the time — not what was ultimately true.

Where this answer came from