Runs / P4 / p4-30-reply-14-days

p4-30-reply-14-days · P4

Changed vs p4-29-reply-30-days · first difference at draft

4 of 4 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
p4-30-reply-14-days
ran
→
What it was for
question → draft → policy_check → send
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 · 113 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 p4-29-reply-30-days, stored . Open that comparison

recorded as a straight line (no graph recorded)

question · Same · 1 output filequestionSame1 output filedraft · First difference · 1 output filedraftFirst difference1 output filepolicy_check · Changed after it · 1 output filepolicy_checkChanged after it1 output filesend · Changed after it · 1 output filesendChanged after it1 output file
  1. questionSame1 output file
  2. draftFirst difference1 output file
  3. policy_checkChanged after it1 output file
  4. sendChanged after it1 output file
Show as table
NodeStageRecorded position
questionquestion1
draftdraft2
policy_checkpolicy_check3
sendsend4
FromTo
draftpolicy_check
policy_checksend
questiondraft

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
question
step 1 of 4
 →

Checked — it holds.

Completed.
draft
step 2 of 4
 →

Checked — it holds.

Completed.
policy_check
step 3 of 4
 →

Checked — it holds.

Completed.
send
step 4 of 4
 →

Checked — it holds.

Completed.
Receipt · step 1 of 4 · question
step 1 of 4

question

What went in
question · 87 bytes
ticket · 159 bytes
What came out
question.json · 86 bytes
When
→

Completed.

Ran as ticket-intake, version 1.0.0.

Receipt · step 1 of 4 · question
Version
ticket-intake · 1.0.0
What went in
question · 87 bytes
sha256:8c3df5048fd1…sha256:8c3df5048fd188a0063dac72b0e16c9fda8734ecea7fff2f7625361cd521de4d
ticket · 159 bytes
sha256:87015ed0122f…sha256:87015ed0122f6278c29ae696b849faacf4f66fe45fd9eae151b05cef5ce3ce22
What came out
question.json · 86 bytes
sha256:4a5490ea1248…sha256:4a5490ea1248c2b62c88ddad88a32655312a3571bcefff03180711a8e86e4d78
Fingerprint
sha256:51c7eb9ff5e2…sha256:51c7eb9ff5e26f78acabe9ff291aff107876b7556418c55dbdab709f43079ac7
Settings it ran with
{
 "onetrace.kept_inputs": "ticket"
}
The receipt, exactly as recorded
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"assertions":{"constants":{"onetrace.kept_inputs":"ticket"}},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["question","draft","policy_check","send"],"emitting_stages":["question"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"87","digest":"sha256:8c3df5048fd188a0063dac72b0e16c9fda8734ecea7fff2f7625361cd521de4d","media_type":"application/json","name":"question","trust_class":"operator-authored"},{"bytes":"159","digest":"sha256:87015ed0122f6278c29ae696b849faacf4f66fe45fd9eae151b05cef5ce3ce22","media_type":"application/json","name":"ticket","trust_class":"externally-sourced"}],"instrument":{"config_digest":"sha256:388eef47ed64d7880d08c4fec9370078db79093951d9fbe98cbf5f128138b5b0","id":"ticket-intake","kind":"reader","manifest_digest":"sha256:9171dab9f5f0714257e71310cf08777e66d71816f9061e2914c84fb0bf5c6352","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"86","digest":"sha256:4a5490ea1248c2b62c88ddad88a32655312a3571bcefff03180711a8e86e4d78","media_type":"application/json","name":"question.json","trust_class":"operator-authored"}],"prev":null,"run_id":"p4-30-reply-14-days","stage":{"index":"1","name":"question"},"time":{"ended":"2026-10-25T12:52:09.722+00:00","started":"2026-10-25T12:52:09.720+00:00"}}
The check's own words
[PASS   ] receipts/01-question.json: receipt format
[PASS   ] receipts/01-question.json: bytes are canonical
[PASS   ] receipts/01-question.json: required field 'format'
[PASS   ] receipts/01-question.json: required field 'run_id'
[PASS   ] receipts/01-question.json: required field 'stage'
[PASS   ] receipts/01-question.json: required field 'prev'
[PASS   ] receipts/01-question.json: required field 'time'
[PASS   ] receipts/01-question.json: required field 'coverage'
[PASS   ] receipts/01-question.json: required field 'emission'
[PASS   ] receipts/01-question.json: required field 'anchor'
[PASS   ] receipts/01-question.json: required field 'instrument'
[PASS   ] receipts/01-question.json: required field 'inputs'
[PASS   ] receipts/01-question.json: required field 'outputs'
[PASS   ] receipts/01-question.json: required field 'assertions'
[PASS   ] receipts/01-question.json: required field 'outcome'
[PASS   ] receipts/01-question.json: time.started carries its zone
[PASS   ] receipts/01-question.json: time.ended carries its zone
[PASS   ] receipts/01-question.json: instrument is named and pinned
[PASS   ] receipts/01-question.json: inputs/question declares a trust class
[PASS   ] receipts/01-question.json: inputs/ticket declares a trust class
[PASS   ] receipts/01-question.json: outputs/question.json declares a trust class
[PASS   ] receipts/01-question.json: assertions name their constants
[PASS   ] receipts/01-question.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-question.json: coverage declares completeness
[PASS   ] receipts/01-question.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-question.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-question.json: digest matches the manifest
[PASS   ] receipts/01-question.json: chain link
[PASS   ] receipts/01-question.json: output artifact 'question.json' matches
Receipt · step 2 of 4 · draft
step 2 of 4

draft

What went in
receipt:question · 1451 bytes
question.json · 86 bytes
What came out
draft.json · 213 bytes
When
→

Completed.

The model step is recorded, not replayable.

Ran as reply-stub, version 1.0.0.

Receipt · step 2 of 4 · draft
Version
reply-stub · 1.0.0
What went in
receipt:question · 1451 bytes
sha256:51c7eb9ff5e2…sha256:51c7eb9ff5e26f78acabe9ff291aff107876b7556418c55dbdab709f43079ac7
question.json · 86 bytes
sha256:4a5490ea1248…sha256:4a5490ea1248c2b62c88ddad88a32655312a3571bcefff03180711a8e86e4d78
What came out
draft.json · 213 bytes
sha256:65f85c1e08b0…sha256:65f85c1e08b055331954c561f79ebaab486e6c3e09007f1e35085247bb7a048b
Fingerprint
sha256:542ea52ef2f7…sha256:542ea52ef2f720068aea83d02d3bb8d02b341fc2354c9be152aacfc9fcdbe7b5
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":["question","draft","policy_check","send"],"emitting_stages":["question","draft"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1451","digest":"sha256:51c7eb9ff5e26f78acabe9ff291aff107876b7556418c55dbdab709f43079ac7","media_type":"application/json","name":"receipt:question","trust_class":"operator-authored"},{"bytes":"86","digest":"sha256:4a5490ea1248c2b62c88ddad88a32655312a3571bcefff03180711a8e86e4d78","media_type":"application/json","name":"question.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:a6ca0a7bdd490d3e2fe2b9d3dcb0cbe4b0b5f8ba71633003e1623c0ec595720c","id":"reply-stub","kind":"model-stub","manifest_digest":"sha256:9171dab9f5f0714257e71310cf08777e66d71816f9061e2914c84fb0bf5c6352","rederivable":"false","rederivable_note":"a stub standing in for a sampled model call: its wording is picked by a seed that changes per run, so its output is recorded, not replayed","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"213","digest":"sha256:65f85c1e08b055331954c561f79ebaab486e6c3e09007f1e35085247bb7a048b","media_type":"application/json","name":"draft.json","trust_class":"operator-authored"}],"prev":"sha256:51c7eb9ff5e26f78acabe9ff291aff107876b7556418c55dbdab709f43079ac7","run_id":"p4-30-reply-14-days","stage":{"index":"2","name":"draft"},"time":{"ended":"2026-10-25T12:52:09.750+00:00","started":"2026-10-25T12:52:09.747+00:00"}}
The check's own words
[PASS   ] receipts/02-draft.json: receipt format
[PASS   ] receipts/02-draft.json: bytes are canonical
[PASS   ] receipts/02-draft.json: required field 'format'
[PASS   ] receipts/02-draft.json: required field 'run_id'
[PASS   ] receipts/02-draft.json: required field 'stage'
[PASS   ] receipts/02-draft.json: required field 'prev'
[PASS   ] receipts/02-draft.json: required field 'time'
[PASS   ] receipts/02-draft.json: required field 'coverage'
[PASS   ] receipts/02-draft.json: required field 'emission'
[PASS   ] receipts/02-draft.json: required field 'anchor'
[PASS   ] receipts/02-draft.json: required field 'instrument'
[PASS   ] receipts/02-draft.json: required field 'inputs'
[PASS   ] receipts/02-draft.json: required field 'outputs'
[PASS   ] receipts/02-draft.json: required field 'assertions'
[PASS   ] receipts/02-draft.json: required field 'outcome'
[PASS   ] receipts/02-draft.json: time.started carries its zone
[PASS   ] receipts/02-draft.json: time.ended carries its zone
[PASS   ] receipts/02-draft.json: instrument is named and pinned
[PASS   ] receipts/02-draft.json: inputs/receipt:question declares a trust class
[PASS   ] receipts/02-draft.json: inputs/question.json declares a trust class
[PASS   ] receipts/02-draft.json: outputs/draft.json declares a trust class
[PASS   ] receipts/02-draft.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/02-draft.json: coverage declares completeness
[PASS   ] receipts/02-draft.json: anchor state is declared, not absent
[NOT-RUN] receipts/02-draft.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/02-draft.json: digest matches the manifest
[PASS   ] receipts/02-draft.json: chain link
[PASS   ] receipts/02-draft.json: output artifact 'draft.json' matches
Receipt · step 3 of 4 · policy_check
step 3 of 4

policy_check

What went in
receipt:draft · 1655 bytes
draft.json · 213 bytes
What came out
checked.json · 215 bytes
When
→

Completed.

Ran as refund-policy, version 1.0.0.

Receipt · step 3 of 4 · policy_check
Version
refund-policy · 1.0.0
What went in
receipt:draft · 1655 bytes
sha256:542ea52ef2f7…sha256:542ea52ef2f720068aea83d02d3bb8d02b341fc2354c9be152aacfc9fcdbe7b5
draft.json · 213 bytes
sha256:65f85c1e08b0…sha256:65f85c1e08b055331954c561f79ebaab486e6c3e09007f1e35085247bb7a048b
What came out
checked.json · 215 bytes
sha256:e7265ef350ac…sha256:e7265ef350acbe2726662c2939329353ca35d7c467d75aaa0d20c3c3a7534886
Fingerprint
sha256:00c1f9c2a769…sha256:00c1f9c2a7694e5af6109e1ad5349caeba3df7594226c003d4c62ec6a2c0d80c
Settings it ran with
{
 "refund_days": "14"
}
The receipt, exactly as recorded
{"anchor":{"reason":"a demo record; anchoring is not part of this demo","state":"unanchored"},"assertions":{"constants":{"refund_days":"14"}},"coverage":{"boundaries":[],"completeness":"incomplete","declared_stages":["question","draft","policy_check","send"],"emitting_stages":["question","draft","policy_check"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1655","digest":"sha256:542ea52ef2f720068aea83d02d3bb8d02b341fc2354c9be152aacfc9fcdbe7b5","media_type":"application/json","name":"receipt:draft","trust_class":"operator-authored"},{"bytes":"213","digest":"sha256:65f85c1e08b055331954c561f79ebaab486e6c3e09007f1e35085247bb7a048b","media_type":"application/json","name":"draft.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:15365411adadf0ba324da9c280f369991f88ba8140d4f79688027aa3ea180e6e","id":"refund-policy","kind":"checker","manifest_digest":"sha256:9171dab9f5f0714257e71310cf08777e66d71816f9061e2914c84fb0bf5c6352","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"215","digest":"sha256:e7265ef350acbe2726662c2939329353ca35d7c467d75aaa0d20c3c3a7534886","media_type":"application/json","name":"checked.json","trust_class":"operator-authored"}],"prev":"sha256:542ea52ef2f720068aea83d02d3bb8d02b341fc2354c9be152aacfc9fcdbe7b5","run_id":"p4-30-reply-14-days","stage":{"index":"3","name":"policy_check"},"time":{"ended":"2026-10-25T12:52:09.758+00:00","started":"2026-10-25T12:52:09.754+00:00"}}
The check's own words
[PASS   ] receipts/03-policy-check.json: receipt format
[PASS   ] receipts/03-policy-check.json: bytes are canonical
[PASS   ] receipts/03-policy-check.json: required field 'format'
[PASS   ] receipts/03-policy-check.json: required field 'run_id'
[PASS   ] receipts/03-policy-check.json: required field 'stage'
[PASS   ] receipts/03-policy-check.json: required field 'prev'
[PASS   ] receipts/03-policy-check.json: required field 'time'
[PASS   ] receipts/03-policy-check.json: required field 'coverage'
[PASS   ] receipts/03-policy-check.json: required field 'emission'
[PASS   ] receipts/03-policy-check.json: required field 'anchor'
[PASS   ] receipts/03-policy-check.json: required field 'instrument'
[PASS   ] receipts/03-policy-check.json: required field 'inputs'
[PASS   ] receipts/03-policy-check.json: required field 'outputs'
[PASS   ] receipts/03-policy-check.json: required field 'assertions'
[PASS   ] receipts/03-policy-check.json: required field 'outcome'
[PASS   ] receipts/03-policy-check.json: time.started carries its zone
[PASS   ] receipts/03-policy-check.json: time.ended carries its zone
[PASS   ] receipts/03-policy-check.json: instrument is named and pinned
[PASS   ] receipts/03-policy-check.json: inputs/receipt:draft declares a trust class
[PASS   ] receipts/03-policy-check.json: inputs/draft.json declares a trust class
[PASS   ] receipts/03-policy-check.json: outputs/checked.json declares a trust class
[PASS   ] receipts/03-policy-check.json: assertions name their constants
[PASS   ] receipts/03-policy-check.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-policy-check.json: coverage declares completeness
[PASS   ] receipts/03-policy-check.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-policy-check.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-policy-check.json: digest matches the manifest
[PASS   ] receipts/03-policy-check.json: chain link
[PASS   ] receipts/03-policy-check.json: output artifact 'checked.json' matches
Receipt · step 4 of 4 · send
step 4 of 4

send

What went in
receipt:policy_check · 1545 bytes
checked.json · 215 bytes
What came out
sent.json · 130 bytes
When
→

Completed.

Ran as reply-outbox, version 1.0.0.

Receipt · step 4 of 4 · send
Version
reply-outbox · 1.0.0
What went in
receipt:policy_check · 1545 bytes
sha256:00c1f9c2a769…sha256:00c1f9c2a7694e5af6109e1ad5349caeba3df7594226c003d4c62ec6a2c0d80c
checked.json · 215 bytes
sha256:e7265ef350ac…sha256:e7265ef350acbe2726662c2939329353ca35d7c467d75aaa0d20c3c3a7534886
What came out
sent.json · 130 bytes
sha256:ab9dc7fe0347…sha256:ab9dc7fe0347f2bbfeff8357fb42259eff6ee4b6eee29bc33f4bc84e0cc24615
Fingerprint
sha256:3856f51bd19e…sha256:3856f51bd19ecc41af82fa0eb9050253cad5792ee85467b6c76217974fcedb18
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":["question","draft","policy_check","send"],"emitting_stages":["question","draft","policy_check","send"]},"digest_source":"emitter","emission":{"gaps":[],"policy":"fail-closed"},"format":"stage-receipt/0.3","inputs":[{"bytes":"1545","digest":"sha256:00c1f9c2a7694e5af6109e1ad5349caeba3df7594226c003d4c62ec6a2c0d80c","media_type":"application/json","name":"receipt:policy_check","trust_class":"operator-authored"},{"bytes":"215","digest":"sha256:e7265ef350acbe2726662c2939329353ca35d7c467d75aaa0d20c3c3a7534886","media_type":"application/json","name":"checked.json","trust_class":"operator-authored"}],"instrument":{"config_digest":"sha256:75ebc28d7e876709d8e8277b1dcd9336801c6dcb0331535d6b546d4ddd02aab5","id":"reply-outbox","kind":"writer","manifest_digest":"sha256:9171dab9f5f0714257e71310cf08777e66d71816f9061e2914c84fb0bf5c6352","rederivable":"true","version":"1.0.0"},"outcome":{"class":"ok"},"outputs":[{"bytes":"130","digest":"sha256:ab9dc7fe0347f2bbfeff8357fb42259eff6ee4b6eee29bc33f4bc84e0cc24615","media_type":"application/json","name":"sent.json","trust_class":"operator-authored"}],"prev":"sha256:00c1f9c2a7694e5af6109e1ad5349caeba3df7594226c003d4c62ec6a2c0d80c","run_id":"p4-30-reply-14-days","stage":{"index":"4","name":"send"},"time":{"ended":"2026-10-25T12:52:09.767+00:00","started":"2026-10-25T12:52:09.764+00:00"}}
The check's own words
[PASS   ] receipts/04-send.json: receipt format
[PASS   ] receipts/04-send.json: bytes are canonical
[PASS   ] receipts/04-send.json: required field 'format'
[PASS   ] receipts/04-send.json: required field 'run_id'
[PASS   ] receipts/04-send.json: required field 'stage'
[PASS   ] receipts/04-send.json: required field 'prev'
[PASS   ] receipts/04-send.json: required field 'time'
[PASS   ] receipts/04-send.json: required field 'coverage'
[PASS   ] receipts/04-send.json: required field 'emission'
[PASS   ] receipts/04-send.json: required field 'anchor'
[PASS   ] receipts/04-send.json: required field 'instrument'
[PASS   ] receipts/04-send.json: required field 'inputs'
[PASS   ] receipts/04-send.json: required field 'outputs'
[PASS   ] receipts/04-send.json: required field 'assertions'
[PASS   ] receipts/04-send.json: required field 'outcome'
[PASS   ] receipts/04-send.json: time.started carries its zone
[PASS   ] receipts/04-send.json: time.ended carries its zone
[PASS   ] receipts/04-send.json: instrument is named and pinned
[PASS   ] receipts/04-send.json: inputs/receipt:policy_check declares a trust class
[PASS   ] receipts/04-send.json: inputs/checked.json declares a trust class
[PASS   ] receipts/04-send.json: outputs/sent.json declares a trust class
[PASS   ] receipts/04-send.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/04-send.json: coverage declares completeness
[PASS   ] receipts/04-send.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/04-send.json: anchor state is declared, not absent
[NOT-RUN] receipts/04-send.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/04-send.json: digest matches the manifest
[PASS   ] receipts/04-send.json: chain link
[PASS   ] receipts/04-send.json: output artifact 'sent.json' matches

Where it changed

It changed — here is the step where.

The step
2 draft

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