Runs / P6 / p6-38-fill-below-reject-line

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
p6-38-fill-below-reject-line
ran
→
What it was for
measure → classify → reject_command
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 p6-36-fill-baseline, stored . Open that comparison

recorded as a straight line (no graph recorded)

Show as table
NodeStageRecorded position
measuremeasure1
classifyclassify2
reject_commandreject_command3
FromTo
classifyreject_command
measureclassify

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
measure
step 1 of 3
→

Checked — it holds.

Completed.
classify
step 2 of 3
→

Checked — it holds.

Completed.
reject_command
step 3 of 3
→

Checked — it holds.

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

measure

What went in
frame.json · 146 bytes
What came out
level.json · 22 bytes
When
→

Completed.

Ran as fill-level-camera, version 1.0.0.

Receipt · step 1 of 3 · measure
Version
fill-level-camera · 1.0.0
What went in
frame.json · 146 bytes
sha256:796f68e51892…sha256:796f68e51892a8a5297b9dcad339478eb31eb8047a26eb62fe5d648cc887806f
What came out
level.json · 22 bytes
sha256:f3f8ab19f47d…sha256:f3f8ab19f47da7524400f7ee7525ca4c1db6afd481adb063bde9e75035b1925e
Fingerprint
sha256:db0000656152…sha256:db00006561528d1e2bc08d6a49771b86f9d8a8dbe8a9debc650d2ab889a83f75
Settings it ran with
{
 "data": "invented example data"
}
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"}},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["measure","classify","reject_command"],"emitting_stages":["measure"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"146","digest":"sha256:796f68e51892a8a5297b9dcad339478eb31eb8047a26eb62fe5d648cc887806f","media_type":"application/json","name":"frame.json","trust_class":"externally-sourced"}],"instrument":{"config_digest":"sha256:459d3946e4eede9afd932cd4a4dc6d89adbaaa148aef5c47d3943dbd9a05516d","id":"fill-level-camera","kind":"measurement","manifest_digest":"sha256:1699f98ac5cde3962ce813773ab07f795fe38fef851d097a4ace9534c6016016","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"22","digest":"sha256:f3f8ab19f47da7524400f7ee7525ca4c1db6afd481adb063bde9e75035b1925e","media_type":"application/json","name":"level.json","trust_class":"operator-authored"}],"prev":null,"run_id":"p6-38-fill-below-reject-line","stage":{"index":"1","name":"measure"},"time":{"ended":"2026-10-25T12:52:10.333+00:00","started":"2026-10-25T12:52:10.317+00:00"}}
The check's own words
[PASS   ] receipts/01-measure.json: receipt format
[PASS   ] receipts/01-measure.json: bytes are canonical
[PASS   ] receipts/01-measure.json: required field 'format'
[PASS   ] receipts/01-measure.json: required field 'run_id'
[PASS   ] receipts/01-measure.json: required field 'stage'
[PASS   ] receipts/01-measure.json: required field 'prev'
[PASS   ] receipts/01-measure.json: required field 'time'
[PASS   ] receipts/01-measure.json: required field 'coverage'
[PASS   ] receipts/01-measure.json: required field 'emission'
[PASS   ] receipts/01-measure.json: required field 'anchor'
[PASS   ] receipts/01-measure.json: required field 'instrument'
[PASS   ] receipts/01-measure.json: required field 'inputs'
[PASS   ] receipts/01-measure.json: required field 'outputs'
[PASS   ] receipts/01-measure.json: required field 'assertions'
[PASS   ] receipts/01-measure.json: required field 'outcome'
[PASS   ] receipts/01-measure.json: time.started carries its zone
[PASS   ] receipts/01-measure.json: time.ended carries its zone
[PASS   ] receipts/01-measure.json: instrument is named and pinned
[PASS   ] receipts/01-measure.json: inputs/frame.json declares a trust class
[PASS   ] receipts/01-measure.json: outputs/level.json declares a trust class
[PASS   ] receipts/01-measure.json: assertions name their constants
[PASS   ] receipts/01-measure.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-measure.json: coverage declares completeness
[PASS   ] receipts/01-measure.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-measure.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-measure.json: digest matches the manifest
[PASS   ] receipts/01-measure.json: chain link
[PASS   ] receipts/01-measure.json: output artifact 'level.json' matches
Receipt · step 2 of 3 · classify
step 2 of 3

classify

What went in
receipt:measure · 1282 bytes
level.json · 22 bytes
What came out
result.json · 19 bytes
When
→

Completed.

Ran as fill-classifier, version 1.0.0.

Receipt · step 2 of 3 · classify
Version
fill-classifier · 1.0.0
What went in
receipt:measure · 1282 bytes
sha256:db0000656152…sha256:db00006561528d1e2bc08d6a49771b86f9d8a8dbe8a9debc650d2ab889a83f75
level.json · 22 bytes
sha256:f3f8ab19f47d…sha256:f3f8ab19f47da7524400f7ee7525ca4c1db6afd481adb063bde9e75035b1925e
What came out
result.json · 19 bytes
sha256:eb4ba82eee32…sha256:eb4ba82eee32c2d914a48bcccee76433e0d2d8387e1cce892ee78f5e24121da0
Fingerprint
sha256:02721091e904…sha256:02721091e904bae872f450b753c73f5080a0033b927c4afd33165efce373ff4c
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":["measure","classify","reject_command"],"emitting_stages":["measure","classify"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1282","digest":"sha256:db00006561528d1e2bc08d6a49771b86f9d8a8dbe8a9debc650d2ab889a83f75","media_type":"application/json","name":"receipt:measure","trust_class":"operator-authored"},{"bytes":"22","digest":"sha256:f3f8ab19f47da7524400f7ee7525ca4c1db6afd481adb063bde9e75035b1925e","media_type":"application/json","name":"level.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:54f99d592ea3332584b19c3e8419a3ef0b0bc0ec1629c8010c375b151d55aeaa","id":"fill-classifier","kind":"rule","manifest_digest":"sha256:1699f98ac5cde3962ce813773ab07f795fe38fef851d097a4ace9534c6016016","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"19","digest":"sha256:eb4ba82eee32c2d914a48bcccee76433e0d2d8387e1cce892ee78f5e24121da0","media_type":"application/json","name":"result.json","trust_class":"operator-authored"}],"prev":"sha256:db00006561528d1e2bc08d6a49771b86f9d8a8dbe8a9debc650d2ab889a83f75","run_id":"p6-38-fill-below-reject-line","stage":{"index":"2","name":"classify"},"time":{"ended":"2026-10-25T12:52:10.387+00:00","started":"2026-10-25T12:52:10.346+00:00"}}
The check's own words
[PASS   ] receipts/02-classify.json: receipt format
[PASS   ] receipts/02-classify.json: bytes are canonical
[PASS   ] receipts/02-classify.json: required field 'format'
[PASS   ] receipts/02-classify.json: required field 'run_id'
[PASS   ] receipts/02-classify.json: required field 'stage'
[PASS   ] receipts/02-classify.json: required field 'prev'
[PASS   ] receipts/02-classify.json: required field 'time'
[PASS   ] receipts/02-classify.json: required field 'coverage'
[PASS   ] receipts/02-classify.json: required field 'emission'
[PASS   ] receipts/02-classify.json: required field 'anchor'
[PASS   ] receipts/02-classify.json: required field 'instrument'
[PASS   ] receipts/02-classify.json: required field 'inputs'
[PASS   ] receipts/02-classify.json: required field 'outputs'
[PASS   ] receipts/02-classify.json: required field 'assertions'
[PASS   ] receipts/02-classify.json: required field 'outcome'
[PASS   ] receipts/02-classify.json: time.started carries its zone
[PASS   ] receipts/02-classify.json: time.ended carries its zone
[PASS   ] receipts/02-classify.json: instrument is named and pinned
[PASS   ] receipts/02-classify.json: inputs/receipt:measure declares a trust class
[PASS   ] receipts/02-classify.json: inputs/level.json declares a trust class
[PASS   ] receipts/02-classify.json: outputs/result.json declares a trust class
[PASS   ] receipts/02-classify.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/02-classify.json: coverage declares completeness
[PASS   ] receipts/02-classify.json: anchor state is declared, not absent
[NOT-RUN] receipts/02-classify.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/02-classify.json: digest matches the manifest
[PASS   ] receipts/02-classify.json: chain link
[PASS   ] receipts/02-classify.json: output artifact 'result.json' matches
Receipt · step 3 of 3 · reject_command
step 3 of 3

reject_command

What went in
receipt:classify · 1500 bytes
result.json · 19 bytes
What came out
command.json · 31 bytes
When
→

Completed.

Ran as reject-gate, version 1.0.0.

Receipt · step 3 of 3 · reject_command
Version
reject-gate · 1.0.0
What went in
receipt:classify · 1500 bytes
sha256:02721091e904…sha256:02721091e904bae872f450b753c73f5080a0033b927c4afd33165efce373ff4c
result.json · 19 bytes
sha256:eb4ba82eee32…sha256:eb4ba82eee32c2d914a48bcccee76433e0d2d8387e1cce892ee78f5e24121da0
What came out
command.json · 31 bytes
sha256:1579bc72549d…sha256:1579bc72549de83d2600fe91fb1ffb7138cf115ead1d9c9075faa42f51a6aa49
Fingerprint
sha256:85ab6f1fb742…sha256:85ab6f1fb742506ac3251ed2803760ab26c701d2f0f96cd67ef58730db82ff1c
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":["measure","classify","reject_command"],"emitting_stages":["measure","classify","reject_command"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1500","digest":"sha256:02721091e904bae872f450b753c73f5080a0033b927c4afd33165efce373ff4c","media_type":"application/json","name":"receipt:classify","trust_class":"operator-authored"},{"bytes":"19","digest":"sha256:eb4ba82eee32c2d914a48bcccee76433e0d2d8387e1cce892ee78f5e24121da0","media_type":"application/json","name":"result.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:a8fa134fadca99291aaf02979c163617578efed377ca524c960e15bd7b158f30","id":"reject-gate","kind":"command-recorder","manifest_digest":"sha256:1699f98ac5cde3962ce813773ab07f795fe38fef851d097a4ace9534c6016016","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"31","digest":"sha256:1579bc72549de83d2600fe91fb1ffb7138cf115ead1d9c9075faa42f51a6aa49","media_type":"application/json","name":"command.json","trust_class":"operator-authored"}],"prev":"sha256:02721091e904bae872f450b753c73f5080a0033b927c4afd33165efce373ff4c","run_id":"p6-38-fill-below-reject-line","stage":{"index":"3","name":"reject_command"},"time":{"ended":"2026-10-25T12:52:10.397+00:00","started":"2026-10-25T12:52:10.392+00:00"}}
The check's own words
[PASS   ] receipts/03-reject-command.json: receipt format
[PASS   ] receipts/03-reject-command.json: bytes are canonical
[PASS   ] receipts/03-reject-command.json: required field 'format'
[PASS   ] receipts/03-reject-command.json: required field 'run_id'
[PASS   ] receipts/03-reject-command.json: required field 'stage'
[PASS   ] receipts/03-reject-command.json: required field 'prev'
[PASS   ] receipts/03-reject-command.json: required field 'time'
[PASS   ] receipts/03-reject-command.json: required field 'coverage'
[PASS   ] receipts/03-reject-command.json: required field 'emission'
[PASS   ] receipts/03-reject-command.json: required field 'anchor'
[PASS   ] receipts/03-reject-command.json: required field 'instrument'
[PASS   ] receipts/03-reject-command.json: required field 'inputs'
[PASS   ] receipts/03-reject-command.json: required field 'outputs'
[PASS   ] receipts/03-reject-command.json: required field 'assertions'
[PASS   ] receipts/03-reject-command.json: required field 'outcome'
[PASS   ] receipts/03-reject-command.json: time.started carries its zone
[PASS   ] receipts/03-reject-command.json: time.ended carries its zone
[PASS   ] receipts/03-reject-command.json: instrument is named and pinned
[PASS   ] receipts/03-reject-command.json: inputs/receipt:classify declares a trust class
[PASS   ] receipts/03-reject-command.json: inputs/result.json declares a trust class
[PASS   ] receipts/03-reject-command.json: outputs/command.json declares a trust class
[PASS   ] receipts/03-reject-command.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-reject-command.json: coverage declares completeness
[PASS   ] receipts/03-reject-command.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/03-reject-command.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-reject-command.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-reject-command.json: digest matches the manifest
[PASS   ] receipts/03-reject-command.json: chain link
[PASS   ] receipts/03-reject-command.json: output artifact 'command.json' matches

Where it changed

It changed — here is the step where.

The step
1 measure

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