Pact Constitution (v1)
This document defines the minimum rules for evidence, integrity, and responsibility attribution for Pact-generated transactions. It is written for auditors, legal, risk, and engineering teams.
This constitution governs only the generation, verification, and interpretation of Pact evidence. It does not govern commercial terms, pricing, or off-chain enforcement.
Autonomous agents can negotiate and commit capital.
This constitution defines what counts as evidence, how integrity is verified, and how responsibility is assigned—so disputes and audits are resolved from cryptographic record, not opinion.
That's it.
Autonomous agents can now:
- negotiate contracts
- trigger payments
- commit capital
- act across organizational boundaries
But today:
- logs are mutable
- payments prove nothing about intent
- failures are ambiguous
- responsibility cannot be proven
Pact exists because autonomous systems cannot scale without evidence.
Definitions
- Transcript: A chronologically ordered, hash-linked sequence of signed negotiation rounds between agents.
- Round: A single negotiation step containing agent messages, policy checks, and cryptographic signatures.
- Evidence Bundle: A portable collection containing the transcript, verification artifacts, and metadata required for audit or dispute resolution.
- Integrity: The property that a transcript's hash chain is unbroken and all signatures are valid.
- Settlement Attempt: An execution event where agents attempt to fulfill the terms recorded in the transcript.
- Failure Event: A settlement attempt or negotiation outcome that does not complete successfully or violates policy.
- Judgment: The deterministic output of Default Blame Logic (DBL) assigning responsibility for a failure event.
Rules of Evidence
- Every negotiation round must be signed by all participating agents before the next round begins.
- Each round must include a hash reference to the previous round, forming an unbroken chain from the first round to the last.
- Evidence is admissible only if it contains a complete, verifiable transcript with valid signatures and hash chain.
- Claims without corresponding signed transcript entries are not admissible as evidence.
- Any modification to a signed transcript breaks the hash chain and must be detectable by verification.
Verification Requirements
- A verifier must validate all cryptographic signatures in the transcript.
- A verifier must validate the hash chain integrity (each round's hash matches the previous round's output).
- Deterministic replay must produce the same transcript checks when given the same inputs and policy.
- Verification must output a binary result: PASS (all checks valid) or FAIL (any check invalid) with specific reasons for failure.
Default Blame Logic (DBL) — high level
DBL assigns responsibility using the last valid signed state and policy timing. It examines the transcript to determine which agent's actions (or inactions) led to the failure event, based on policy rules and timing constraints.
NO_FAULT: The failure event cannot be attributed to any agent's violation of policy or timing requirements as recorded in the transcript.
RESPONSIBLE_ACTOR: The agent identified by DBL as having violated policy, missed a timing requirement, or failed to execute a required action as specified in the signed transcript.
DBL may be extended by explicit policy or arbitration modules, but must always remain deterministic and evidence-constrained.
Failure Taxonomy
- Policy aborts: An agent's action violates the agreed policy rules.
- Identity/credential failures: An agent cannot prove its identity or authorization as required by policy.
- Negotiation deadlocks/timeouts: Agents fail to reach agreement within policy-defined time limits.
- Settlement failures: Execution of the agreed terms fails at the payment or service delivery layer.
- Evidence integrity failures: The transcript or evidence bundle fails verification checks.
Non-goals
- Pact does not judge "truth" of off-chain claims without evidence.
- Pact does not replace payments.
- Pact does not resolve all disputes without agreed arbitration policy.
