Module receipt 

The Receipt: an offline-verifiable, Ed25519-signed record of a session.

Payload per the brief Module G: session id, agent identity block (version/charter/instance_uid), tool-call summary, cost, stop reason, event-chain hash, signature, signer public-key reference. Subjects are an enum so the same envelope covers signed-workflow chains and retroactive ATIF promotions (Module H reconciliation).

Money is carried as integer micro-USD — floats never touch a signed field.

Structs

CostSummary

Aggregate cost for the session (integers only — JCS-exact).

Receipt

A complete receipt: body + detached signature over JCS(body).

ReceiptBody

The signed body (everything except the signature itself).

ToolCallSummary

Aggregate tool-call statistics for the session.

Enums

ReceiptError

Receipt errors.

ReceiptSubject

What this receipt attests.

Constants

RECEIPT_VERSION

Version of the receipt format itself (evolution surface).

Functions

new_body

Convenience constructor filling issuance time and ids.