Search Apps Documentation Source Content File Folder Download Copy Actions Download State String Boolean Number Struct Map Slice Pointer Function Closure Reference Nil Package Type Interface Unknown

receipt state

Back to all declarations

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

type

Attestation is an independent validator's verdict on a receipt.

Value

receipt.Attestation

Receipt

type

Receipt commits to one agent action. Every field except Attestations is immutable once recorded.

Value

receipt.Receipt

Record

func(agent string, taskHash string, inputCommitment string, outputCommitment string, runtimeID string, policyVersion string, toolCallsRoot string, humanIntervened bool) uint64

Record appends a new execution receipt and returns its sequence number. The caller commits to opaque hashes; the realm never sees raw payloads.

Open
OID
0a31cb…3833:4
Record details

Inspect func

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).

Open
OID
0a31cb…3833:6
Attest details

Inspect func

Get

func(seq uint64) receipt.Receipt

Get returns a copy of a receipt by sequence number.

Open
OID
0a31cb…3833:7
Get details

Inspect func

Count

func() int

Count returns the number of receipts recorded.

Open
OID
0a31cb…3833:8
Count details

Inspect func

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.

Open
OID
0a31cb…3833:9
Confirmations details

Inspect func

mustGet

func(seq uint64) *receipt.Receipt
Open
OID
0a31cb…3833:10
mustGet details

Inspect func

assertVerdict

func(v string)
Open
OID
0a31cb…3833:11
assertVerdict details

Inspect func

assert

func(cond bool, msg string)
Open
OID
0a31cb…3833:12
assert details

Inspect func

Render

func(path string) string

Render shows the receipt log, or a single receipt at :\<seq>.

Open
OID
0a31cb…3833:13
Render details

Inspect func

renderReceipt

func(seq uint64) string
Open
OID
0a31cb…3833:15
renderReceipt details

Inspect func

shortHash

func(s string) string
Open
OID
0a31cb…3833:17
shortHash details

Inspect func
VerdictReproduced : untyped string ="reproduced"
VerdictTestsPass : untyped string ="tests-pass"
VerdictOutputMatch : untyped string ="output-match"
VerdictPolicyOK : untyped string ="policy-ok"
VerdictRejected : untyped string ="rejected"
Attestation : type =receipt.Attestation
Receipt : type =receipt.Receipt
receipts : []*receipt.Receipt (len=1) Inspect
Record : func(agent string, taskHash string, inputCommitment string, outputCommitment string, runtimeID string, policyVersion string, toolCallsRoot string, humanIntervened bool) uint64 Inspect
Attest : func(seq uint64, verdict string, note string) Inspect
Get : func(seq uint64) receipt.Receipt Inspect
Count : func() int Inspect
Confirmations : func(seq uint64) (positive int, rejections int) Inspect
mustGet : func(seq uint64) *receipt.Receipt Inspect
assertVerdict : func(v string) Inspect
assert : func(cond bool, msg string) Inspect
Render : func(path string) string Inspect
renderIndex : func() string Inspect
renderReceipt : func(seq uint64) string Inspect
parseSeq : func(s string) uint64 Inspect
shortHash : func(s string) string Inspect