Runs / P9 / p9-48-torque-one-bolt-low

p9-48-torque-one-bolt-low · P9

Changed vs p9-46-torque-baseline · first difference at read_tool_log

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
p9-48-torque-one-bolt-low
ran
→
What it was for
read_tool_log → torque_check → station_decision
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 p9-46-torque-baseline, stored . Open that comparison

recorded as a straight line (no graph recorded)

read_tool_log · First difference · 1 output fileread_tool_logFirst difference1 output filetorque_check · Changed after it · 1 output filetorque_checkChanged after it1 output filestation_decision · Changed after it · 1 output filestation_decisionChanged after it1 output file
  1. read_tool_logFirst difference1 output file
  2. torque_checkChanged after it1 output file
  3. station_decisionChanged after it1 output file
Show as table
NodeStageRecorded position
read_tool_logread_tool_log1
torque_checktorque_check2
station_decisionstation_decision3
FromTo
read_tool_logtorque_check
torque_checkstation_decision

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

Checked — it holds.

Completed.
torque_check
step 2 of 3
 →

Checked — it holds.

Completed.
station_decision
step 3 of 3
 →

Checked — it holds.

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

read_tool_log

What went in
tool_log.csv · 61 bytes
What came out
torques.json · 55 bytes
When
→

Completed.

Ran as tightening-tool-log, version 1.0.0.

Receipt · step 1 of 3 · read_tool_log
Version
tightening-tool-log · 1.0.0
What went in
tool_log.csv · 61 bytes
sha256:b0453a3fe0c8…sha256:b0453a3fe0c86e73e4d16897f1a78a1caf85cbde410860ee5cbe8e4138c4878e
What came out
torques.json · 55 bytes
sha256:5b52c509e579…sha256:5b52c509e5793ee65b71a26a9a1687ab667a567ab9d75ae5d7101deb7e0d1376
Fingerprint
sha256:0582a728b287…sha256:0582a728b28753f1239eabc295740fae80c18ab08aca7ba47eb08fefa16f450a
Settings it ran with
{
 "data": "invented example data",
 "tool_firmware": "4.2"
}
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","tool_firmware":"4.2"}},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["read_tool_log","torque_check","station_decision"],"emitting_stages":["read_tool_log"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"61","digest":"sha256:b0453a3fe0c86e73e4d16897f1a78a1caf85cbde410860ee5cbe8e4138c4878e","media_type":"text/csv","name":"tool_log.csv","trust_class":"externally-sourced"}],"instrument":{"config_digest":"sha256:e52725fc30368946bba73409c4d1d39f204841542ee3d464d5047fda3a826156","id":"tightening-tool-log","kind":"reader","manifest_digest":"sha256:a93c6c03a55d10a82c5f25ffbc7dc651a36aed7d5f914fcf436d0a1d7930895d","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"55","digest":"sha256:5b52c509e5793ee65b71a26a9a1687ab667a567ab9d75ae5d7101deb7e0d1376","media_type":"application/json","name":"torques.json","trust_class":"operator-authored"}],"prev":null,"run_id":"p9-48-torque-one-bolt-low","stage":{"index":"1","name":"read_tool_log"},"time":{"ended":"2026-10-25T12:52:11.564+00:00","started":"2026-10-25T12:52:11.559+00:00"}}
The check's own words
[PASS   ] receipts/01-read-tool-log.json: receipt format
[PASS   ] receipts/01-read-tool-log.json: bytes are canonical
[PASS   ] receipts/01-read-tool-log.json: required field 'format'
[PASS   ] receipts/01-read-tool-log.json: required field 'run_id'
[PASS   ] receipts/01-read-tool-log.json: required field 'stage'
[PASS   ] receipts/01-read-tool-log.json: required field 'prev'
[PASS   ] receipts/01-read-tool-log.json: required field 'time'
[PASS   ] receipts/01-read-tool-log.json: required field 'coverage'
[PASS   ] receipts/01-read-tool-log.json: required field 'emission'
[PASS   ] receipts/01-read-tool-log.json: required field 'anchor'
[PASS   ] receipts/01-read-tool-log.json: required field 'instrument'
[PASS   ] receipts/01-read-tool-log.json: required field 'inputs'
[PASS   ] receipts/01-read-tool-log.json: required field 'outputs'
[PASS   ] receipts/01-read-tool-log.json: required field 'assertions'
[PASS   ] receipts/01-read-tool-log.json: required field 'outcome'
[PASS   ] receipts/01-read-tool-log.json: time.started carries its zone
[PASS   ] receipts/01-read-tool-log.json: time.ended carries its zone
[PASS   ] receipts/01-read-tool-log.json: instrument is named and pinned
[PASS   ] receipts/01-read-tool-log.json: inputs/tool_log.csv declares a trust class
[PASS   ] receipts/01-read-tool-log.json: outputs/torques.json declares a trust class
[PASS   ] receipts/01-read-tool-log.json: assertions name their constants
[PASS   ] receipts/01-read-tool-log.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-read-tool-log.json: coverage declares completeness
[PASS   ] receipts/01-read-tool-log.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-read-tool-log.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-read-tool-log.json: digest matches the manifest
[PASS   ] receipts/01-read-tool-log.json: chain link
[PASS   ] receipts/01-read-tool-log.json: output artifact 'torques.json' matches
Receipt · step 2 of 3 · torque_check
step 2 of 3

torque_check

What went in
receipt:read_tool_log · 1317 bytes
torques.json · 55 bytes
What came out
check.json · 75 bytes
When
→

Completed.

Ran as torque-window-check, version 1.0.0.

Receipt · step 2 of 3 · torque_check
Version
torque-window-check · 1.0.0
What went in
receipt:read_tool_log · 1317 bytes
sha256:0582a728b287…sha256:0582a728b28753f1239eabc295740fae80c18ab08aca7ba47eb08fefa16f450a
torques.json · 55 bytes
sha256:5b52c509e579…sha256:5b52c509e5793ee65b71a26a9a1687ab667a567ab9d75ae5d7101deb7e0d1376
What came out
check.json · 75 bytes
sha256:62efd69227d4…sha256:62efd69227d4be8b855167daf8cc5fe98c49efa6ce7f11f5febfc288e0b7248c
Fingerprint
sha256:80c33b1fa402…sha256:80c33b1fa402a08fe48069db6d7fc8971dbd418d158c1338982a167ee02ba06e
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":["read_tool_log","torque_check","station_decision"],"emitting_stages":["read_tool_log","torque_check"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1317","digest":"sha256:0582a728b28753f1239eabc295740fae80c18ab08aca7ba47eb08fefa16f450a","media_type":"application/json","name":"receipt:read_tool_log","trust_class":"operator-authored"},{"bytes":"55","digest":"sha256:5b52c509e5793ee65b71a26a9a1687ab667a567ab9d75ae5d7101deb7e0d1376","media_type":"application/json","name":"torques.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:49edc4349b5dcd3f385d86710462ef0f414ae9db232f31c33a54b317e09d9d67","id":"torque-window-check","kind":"checker","manifest_digest":"sha256:a93c6c03a55d10a82c5f25ffbc7dc651a36aed7d5f914fcf436d0a1d7930895d","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"75","digest":"sha256:62efd69227d4be8b855167daf8cc5fe98c49efa6ce7f11f5febfc288e0b7248c","media_type":"application/json","name":"check.json","trust_class":"operator-authored"}],"prev":"sha256:0582a728b28753f1239eabc295740fae80c18ab08aca7ba47eb08fefa16f450a","run_id":"p9-48-torque-one-bolt-low","stage":{"index":"2","name":"torque_check"},"time":{"ended":"2026-10-25T12:52:11.601+00:00","started":"2026-10-25T12:52:11.570+00:00"}}
The check's own words
[PASS   ] receipts/02-torque-check.json: receipt format
[PASS   ] receipts/02-torque-check.json: bytes are canonical
[PASS   ] receipts/02-torque-check.json: required field 'format'
[PASS   ] receipts/02-torque-check.json: required field 'run_id'
[PASS   ] receipts/02-torque-check.json: required field 'stage'
[PASS   ] receipts/02-torque-check.json: required field 'prev'
[PASS   ] receipts/02-torque-check.json: required field 'time'
[PASS   ] receipts/02-torque-check.json: required field 'coverage'
[PASS   ] receipts/02-torque-check.json: required field 'emission'
[PASS   ] receipts/02-torque-check.json: required field 'anchor'
[PASS   ] receipts/02-torque-check.json: required field 'instrument'
[PASS   ] receipts/02-torque-check.json: required field 'inputs'
[PASS   ] receipts/02-torque-check.json: required field 'outputs'
[PASS   ] receipts/02-torque-check.json: required field 'assertions'
[PASS   ] receipts/02-torque-check.json: required field 'outcome'
[PASS   ] receipts/02-torque-check.json: time.started carries its zone
[PASS   ] receipts/02-torque-check.json: time.ended carries its zone
[PASS   ] receipts/02-torque-check.json: instrument is named and pinned
[PASS   ] receipts/02-torque-check.json: inputs/receipt:read_tool_log declares a trust class
[PASS   ] receipts/02-torque-check.json: inputs/torques.json declares a trust class
[PASS   ] receipts/02-torque-check.json: outputs/check.json declares a trust class
[PASS   ] receipts/02-torque-check.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/02-torque-check.json: coverage declares completeness
[PASS   ] receipts/02-torque-check.json: anchor state is declared, not absent
[NOT-RUN] receipts/02-torque-check.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/02-torque-check.json: digest matches the manifest
[PASS   ] receipts/02-torque-check.json: chain link
[PASS   ] receipts/02-torque-check.json: output artifact 'check.json' matches
Receipt · step 3 of 3 · station_decision
step 3 of 3

station_decision

What went in
receipt:torque_check · 1537 bytes
check.json · 75 bytes
What came out
decision.json · 41 bytes
When
→

Completed.

Ran as station-rule, version 1.0.0.

Receipt · step 3 of 3 · station_decision
Version
station-rule · 1.0.0
What went in
receipt:torque_check · 1537 bytes
sha256:80c33b1fa402…sha256:80c33b1fa402a08fe48069db6d7fc8971dbd418d158c1338982a167ee02ba06e
check.json · 75 bytes
sha256:62efd69227d4…sha256:62efd69227d4be8b855167daf8cc5fe98c49efa6ce7f11f5febfc288e0b7248c
What came out
decision.json · 41 bytes
sha256:7ebf00a69218…sha256:7ebf00a6921818ee0909d9364115101b8628d03d41b5f1fdbf2953edb8ff9f3c
Fingerprint
sha256:517683773bc0…sha256:517683773bc076bcc06301f1c2e6d57ee3dfe2d8e60cd7168cb85fbace2c2254
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":["read_tool_log","torque_check","station_decision"],"emitting_stages":["read_tool_log","torque_check","station_decision"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1537","digest":"sha256:80c33b1fa402a08fe48069db6d7fc8971dbd418d158c1338982a167ee02ba06e","media_type":"application/json","name":"receipt:torque_check","trust_class":"operator-authored"},{"bytes":"75","digest":"sha256:62efd69227d4be8b855167daf8cc5fe98c49efa6ce7f11f5febfc288e0b7248c","media_type":"application/json","name":"check.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:e1d166443dbb86ded7553954dd2cb53a43988adc15f9eede3bd00b7fd50e3702","id":"station-rule","kind":"rule","manifest_digest":"sha256:a93c6c03a55d10a82c5f25ffbc7dc651a36aed7d5f914fcf436d0a1d7930895d","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"41","digest":"sha256:7ebf00a6921818ee0909d9364115101b8628d03d41b5f1fdbf2953edb8ff9f3c","media_type":"application/json","name":"decision.json","trust_class":"operator-authored"}],"prev":"sha256:80c33b1fa402a08fe48069db6d7fc8971dbd418d158c1338982a167ee02ba06e","run_id":"p9-48-torque-one-bolt-low","stage":{"index":"3","name":"station_decision"},"time":{"ended":"2026-10-25T12:52:11.612+00:00","started":"2026-10-25T12:52:11.606+00:00"}}
The check's own words
[PASS   ] receipts/03-station-decision.json: receipt format
[PASS   ] receipts/03-station-decision.json: bytes are canonical
[PASS   ] receipts/03-station-decision.json: required field 'format'
[PASS   ] receipts/03-station-decision.json: required field 'run_id'
[PASS   ] receipts/03-station-decision.json: required field 'stage'
[PASS   ] receipts/03-station-decision.json: required field 'prev'
[PASS   ] receipts/03-station-decision.json: required field 'time'
[PASS   ] receipts/03-station-decision.json: required field 'coverage'
[PASS   ] receipts/03-station-decision.json: required field 'emission'
[PASS   ] receipts/03-station-decision.json: required field 'anchor'
[PASS   ] receipts/03-station-decision.json: required field 'instrument'
[PASS   ] receipts/03-station-decision.json: required field 'inputs'
[PASS   ] receipts/03-station-decision.json: required field 'outputs'
[PASS   ] receipts/03-station-decision.json: required field 'assertions'
[PASS   ] receipts/03-station-decision.json: required field 'outcome'
[PASS   ] receipts/03-station-decision.json: time.started carries its zone
[PASS   ] receipts/03-station-decision.json: time.ended carries its zone
[PASS   ] receipts/03-station-decision.json: instrument is named and pinned
[PASS   ] receipts/03-station-decision.json: inputs/receipt:torque_check declares a trust class
[PASS   ] receipts/03-station-decision.json: inputs/check.json declares a trust class
[PASS   ] receipts/03-station-decision.json: outputs/decision.json declares a trust class
[PASS   ] receipts/03-station-decision.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-station-decision.json: coverage declares completeness
[PASS   ] receipts/03-station-decision.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/03-station-decision.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-station-decision.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-station-decision.json: digest matches the manifest
[PASS   ] receipts/03-station-decision.json: chain link
[PASS   ] receipts/03-station-decision.json: output artifact 'decision.json' matches

Where it changed

It changed — here is the step where.

The step
1 read_tool_log

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