Runs / P3 / p3-26-t-4-rules1

p3-26-t-4-rules1 · P3

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

  • Records agree Yes
  • Ran as approved Yes
  • Signed by a known recorder Yes
  • Committed by a known time Not anchored

What was checked and what was not

Checked

  • step 1 of 5 · intake — 26 checks made — all hold.
  • step 2 of 5 · classify — 28 checks made — all hold.
  • step 3 of 5 · lookup_account — 28 checks made — all hold.
  • step 4 of 5 · draft_reply — 29 checks made — all hold.
  • step 5 of 5 · route — 28 checks made — all hold.
  • The list of steps — 1 check made — it holds.

Not checked

  • Every step — Held under the checks that ran; not anchored, so none of these steps can be shown to be the record that was made.
The check's own words

These words were read as text, because the machine-readable report was not there. That is the fallback, and it is the only thing on this page that was read that way.

[PASS   ] receipts/01-intake.json: receipt format
[PASS   ] receipts/01-intake.json: bytes are canonical
[PASS   ] receipts/01-intake.json: required field 'format'
[PASS   ] receipts/01-intake.json: required field 'run_id'
[PASS   ] receipts/01-intake.json: required field 'stage'
[PASS   ] receipts/01-intake.json: required field 'prev'
[PASS   ] receipts/01-intake.json: required field 'time'
[PASS   ] receipts/01-intake.json: required field 'coverage'
[PASS   ] receipts/01-intake.json: required field 'emission'
[PASS   ] receipts/01-intake.json: required field 'anchor'
[PASS   ] receipts/01-intake.json: required field 'instrument'
[PASS   ] receipts/01-intake.json: required field 'inputs'
[PASS   ] receipts/01-intake.json: required field 'outputs'
[PASS   ] receipts/01-intake.json: required field 'assertions'
[PASS   ] receipts/01-intake.json: required field 'outcome'
[PASS   ] receipts/01-intake.json: time.started carries its zone
[PASS   ] receipts/01-intake.json: time.ended carries its zone
[PASS   ] receipts/01-intake.json: instrument is named and pinned
[PASS   ] receipts/01-intake.json: inputs/ticket declares a trust class
[PASS   ] receipts/01-intake.json: outputs/ticket.json declares a trust class
[PASS   ] receipts/01-intake.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/01-intake.json: coverage declares completeness
[PASS   ] receipts/01-intake.json: anchor state is declared, not absent
[NOT-RUN] receipts/01-intake.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/01-intake.json: digest matches the manifest
[PASS   ] receipts/01-intake.json: chain link
[PASS   ] receipts/01-intake.json: output artifact 'ticket.json' matches
[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:intake declares a trust class
[PASS   ] receipts/02-classify.json: inputs/ticket.json declares a trust class
[PASS   ] receipts/02-classify.json: outputs/class.json declares a trust class
[PASS   ] receipts/02-classify.json: assertions name their constants
[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 'class.json' matches
[PASS   ] receipts/03-lookup-account.json: receipt format
[PASS   ] receipts/03-lookup-account.json: bytes are canonical
[PASS   ] receipts/03-lookup-account.json: required field 'format'
[PASS   ] receipts/03-lookup-account.json: required field 'run_id'
[PASS   ] receipts/03-lookup-account.json: required field 'stage'
[PASS   ] receipts/03-lookup-account.json: required field 'prev'
[PASS   ] receipts/03-lookup-account.json: required field 'time'
[PASS   ] receipts/03-lookup-account.json: required field 'coverage'
[PASS   ] receipts/03-lookup-account.json: required field 'emission'
[PASS   ] receipts/03-lookup-account.json: required field 'anchor'
[PASS   ] receipts/03-lookup-account.json: required field 'instrument'
[PASS   ] receipts/03-lookup-account.json: required field 'inputs'
[PASS   ] receipts/03-lookup-account.json: required field 'outputs'
[PASS   ] receipts/03-lookup-account.json: required field 'assertions'
[PASS   ] receipts/03-lookup-account.json: required field 'outcome'
[PASS   ] receipts/03-lookup-account.json: time.started carries its zone
[PASS   ] receipts/03-lookup-account.json: time.ended carries its zone
[PASS   ] receipts/03-lookup-account.json: instrument is named and pinned
[PASS   ] receipts/03-lookup-account.json: inputs/receipt:intake declares a trust class
[PASS   ] receipts/03-lookup-account.json: inputs/ticket.json declares a trust class
[PASS   ] receipts/03-lookup-account.json: inputs/accounts declares a trust class
[PASS   ] receipts/03-lookup-account.json: outputs/account.json declares a trust class
[PASS   ] receipts/03-lookup-account.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/03-lookup-account.json: coverage declares completeness
[PASS   ] receipts/03-lookup-account.json: anchor state is declared, not absent
[NOT-RUN] receipts/03-lookup-account.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/03-lookup-account.json: digest matches the manifest
[PASS   ] receipts/03-lookup-account.json: chain link
[PASS   ] receipts/03-lookup-account.json: output artifact 'account.json' matches
[PASS   ] receipts/04-draft-reply.json: receipt format
[PASS   ] receipts/04-draft-reply.json: bytes are canonical
[PASS   ] receipts/04-draft-reply.json: required field 'format'
[PASS   ] receipts/04-draft-reply.json: required field 'run_id'
[PASS   ] receipts/04-draft-reply.json: required field 'stage'
[PASS   ] receipts/04-draft-reply.json: required field 'prev'
[PASS   ] receipts/04-draft-reply.json: required field 'time'
[PASS   ] receipts/04-draft-reply.json: required field 'coverage'
[PASS   ] receipts/04-draft-reply.json: required field 'emission'
[PASS   ] receipts/04-draft-reply.json: required field 'anchor'
[PASS   ] receipts/04-draft-reply.json: required field 'instrument'
[PASS   ] receipts/04-draft-reply.json: required field 'inputs'
[PASS   ] receipts/04-draft-reply.json: required field 'outputs'
[PASS   ] receipts/04-draft-reply.json: required field 'assertions'
[PASS   ] receipts/04-draft-reply.json: required field 'outcome'
[PASS   ] receipts/04-draft-reply.json: time.started carries its zone
[PASS   ] receipts/04-draft-reply.json: time.ended carries its zone
[PASS   ] receipts/04-draft-reply.json: instrument is named and pinned
[PASS   ] receipts/04-draft-reply.json: inputs/receipt:classify declares a trust class
[PASS   ] receipts/04-draft-reply.json: inputs/receipt:lookup_account declares a trust class
[PASS   ] receipts/04-draft-reply.json: inputs/class.json declares a trust class
[PASS   ] receipts/04-draft-reply.json: inputs/account.json declares a trust class
[PASS   ] receipts/04-draft-reply.json: outputs/reply.json declares a trust class
[PASS   ] receipts/04-draft-reply.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/04-draft-reply.json: coverage declares completeness
[PASS   ] receipts/04-draft-reply.json: anchor state is declared, not absent
[NOT-RUN] receipts/04-draft-reply.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/04-draft-reply.json: digest matches the manifest
[PASS   ] receipts/04-draft-reply.json: chain link
[PASS   ] receipts/04-draft-reply.json: output artifact 'reply.json' matches
[PASS   ] receipts/05-route.json: receipt format
[PASS   ] receipts/05-route.json: bytes are canonical
[PASS   ] receipts/05-route.json: required field 'format'
[PASS   ] receipts/05-route.json: required field 'run_id'
[PASS   ] receipts/05-route.json: required field 'stage'
[PASS   ] receipts/05-route.json: required field 'prev'
[PASS   ] receipts/05-route.json: required field 'time'
[PASS   ] receipts/05-route.json: required field 'coverage'
[PASS   ] receipts/05-route.json: required field 'emission'
[PASS   ] receipts/05-route.json: required field 'anchor'
[PASS   ] receipts/05-route.json: required field 'instrument'
[PASS   ] receipts/05-route.json: required field 'inputs'
[PASS   ] receipts/05-route.json: required field 'outputs'
[PASS   ] receipts/05-route.json: required field 'assertions'
[PASS   ] receipts/05-route.json: required field 'outcome'
[PASS   ] receipts/05-route.json: time.started carries its zone
[PASS   ] receipts/05-route.json: time.ended carries its zone
[PASS   ] receipts/05-route.json: instrument is named and pinned
[PASS   ] receipts/05-route.json: inputs/receipt:draft_reply declares a trust class
[PASS   ] receipts/05-route.json: inputs/reply.json declares a trust class
[PASS   ] receipts/05-route.json: outputs/route.json declares a trust class
[PASS   ] receipts/05-route.json: outcome class is one of ['error', 'ok', 'refused']
[PASS   ] receipts/05-route.json: coverage declares completeness
[PASS   ] receipts/05-route.json: 'complete' is consistent with the stage lists
[PASS   ] receipts/05-route.json: anchor state is declared, not absent
[NOT-RUN] receipts/05-route.json: originality -- record is declared unanchored; this verifier can establish consistency, not originality
[PASS   ] receipts/05-route.json: digest matches the manifest
[PASS   ] receipts/05-route.json: chain link
[PASS   ] receipts/05-route.json: output artifact 'route.json' matches
[PASS   ] manifest: chain head matches the last receipt
[PASS   ] edges conform to declared_edges
[PASS   ] edges equal the edges derived from the receipts
[PASS   ] signatures/1.json: signature -- signed by demo key (public seed: proves the record wasn't changed since signing, not who signed it) (sha256:6e20550ae0dc6b4471d54336d09d74d14f3f623b735045eddd053c444ec3b14c)

143 pass, 0 fail, 5 not-run  ->  PASS
a signature does not show: that the key wasn't stolen or misused; that the run's output is correct; when the record was signed (an anchor's job); who the person behind the key is (the trust list connects a key to a name)

Policy

No authorization records for this run.

Authorization

The run receipt

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

Where this answer came from