VerdictReproduced
untyped string// re-ran and got the same output commitment
Value
"reproduced"
VerdictTestsPass
untyped string// the referenced test suite passed
Value
"tests-pass"
VerdictOutputMatch
untyped string// output matches its commitment
Value
"output-match"
VerdictPolicyOK
untyped string// no forbidden tool / policy respected
Value
"policy-ok"
VerdictRejected
untyped string// the work is wrong or invalid
Value
"rejected"
Attestation
typeAttestation is an independent validator's verdict on a receipt.
Value
receipt.Attestation
Receipt
typeReceipt commits to one agent action. Every field except Attestations is immutable once recorded.
Value
receipt.Receipt
receipts
[]*receipt.Receipt// index 0 => Seq 1
- OID
- 0a31cb…3833:18
receipts details
Record
func(agent string, taskHash string, inputCommitment string, outputCommitment string, runtimeID string, policyVersion string, toolCallsRoot string, humanIntervened bool) uint64Record appends a new execution receipt and returns its sequence number. The caller commits to opaque hashes; the realm never sees raw payloads.
- OID
- 0a31cb…3833:4
Record details
Attest
func(seq uint64, verdict string, note string)Attest attaches an independent validator's verdict to a receipt. The same validator cannot attest twice; the author of a receipt cannot attest to their own work (self-attestation proves nothing).
- OID
- 0a31cb…3833:6
Attest details
Get
func(seq uint64) receipt.ReceiptGet returns a copy of a receipt by sequence number.
- OID
- 0a31cb…3833:7
Get details
Count
func() intCount returns the number of receipts recorded.
- OID
- 0a31cb…3833:8
Count details
Confirmations
func(seq uint64) (positive int, rejections int)Confirmations returns (positive, rejections) attestation counts. It is a count of independent verdicts, deliberately NOT a truth value: a caller decides what threshold it trusts.
- OID
- 0a31cb…3833:9
Confirmations details
mustGet
func(seq uint64) *receipt.Receipt- OID
- 0a31cb…3833:10
mustGet details
assertVerdict
func(v string)- OID
- 0a31cb…3833:11
assertVerdict details
assert
func(cond bool, msg string)- OID
- 0a31cb…3833:12
assert details
Render
func(path string) stringRender shows the receipt log, or a single receipt at :\<seq>.
- OID
- 0a31cb…3833:13
Render details
renderIndex
func() string- OID
- 0a31cb…3833:14
renderIndex details
renderReceipt
func(seq uint64) string- OID
- 0a31cb…3833:15
renderReceipt details
parseSeq
func(s string) uint64- OID
- 0a31cb…3833:16
parseSeq details
shortHash
func(s string) string- OID
- 0a31cb…3833:17