Technical specification
Execution Evidence Protocol
ChoiceProof defines Execution Receipts for evidence supplied by external software. Each Execution Receipt describes an attempt or a later source-reported outcome, reversal, or reconciliation.
The caller retains action authority, credentials, execution, and the complete private source data. The protocol records evidence submitted at its ingress.
Record model
Execution Receipts contain Receipt Commitments, lifecycle links, declared source metadata, and signatures. Caller-defined private values and action credentials remain outside the Execution Receipt.
| Element | Definition | Output |
|---|---|---|
| Ingress | Accept a caller-supplied lifecycle event. | Append-only Execution Receipt |
| Commitment | Hash caller-defined private values at local ingress. | Receipt Commitment |
| Artifact | Preserve signatures, commitments, source metadata, and lifecycle links. | Receipt Bundle |
| Verification | Recompute hashes and evaluate signatures, bindings, and lifecycle links. | Independent verifier result |
Protocol artifacts
Verification dimensions
evidenceIntegrity- Hash, schema, signature, and artifact consistency.
attribution- Declared key control or policy-backed enterprise identity.
captureCoverage- Evidence observed at the declared ingress, without claiming coverage of the external action.
independentReadback- Later observation from an independently selected source, when supplied by an operator integration.
publicAvailability- Local artifact, registry record, or optional public anchor.
Verification materials
The protocol schema, commitment profile, fixed vectors, reference contracts, and independent verification rules form the public interoperability surface.
Enterprise capture, reconciliation, connectors, key operations, and production deployment are separate implementation systems.
Verification scope
Local verification establishes record integrity, commitment bindings, declared-signer key control, and lifecycle consistency from the supplied artifact. Authorization, factual truth, completeness, and legal identity require external evidence and verifier-supplied policy.