Make autonomous agents auditable.

Pact turns agent negotiations and high-risk actions into cryptographic evidence: signed transcripts, verifier outputs, and responsibility judgments—portable enough for audit, disputes, and insurance.

If an agent can act, Pact makes that action accountable.

Run the demo Read the Constitution

Intent → Negotiation → Policy → Settlement → Evidence → Blame

Proof of Negotiation

Cryptographically signed records of agent agreements and commitments.

Evidence Bundle

Portable collections of transaction data and verification artifacts.

Default Blame Logic

Deterministic attribution of responsibility when transactions fail.

Why Pact exists

Without Pact

  • Logs are informal and mutable
  • Payments prove nothing about intent
  • Failures are ambiguous
  • Disputes require humans and guesswork
  • Insurance and audit are impossible

With Pact

  • Negotiation is signed and hash-linked
  • Intent and policy are explicit
  • Settlement outcomes are deterministic
  • Failures are classified with blame
  • Evidence is portable and verifiable

Pact produces evidence for successful transactions, policy aborts, timeouts, and settlement failures. Failure is a first-class outcome.

CLI demo

# Run canonical demo negotiation
tsx demo/negotiate.ts --policy ./policies/default.json

# Verify transcript integrity
pact replay --transcript ./artifacts/transcript.json

# Generate evidence bundle
pact bundle --transcript ./artifacts/transcript.json --output ./artifacts/bundle.json

# Run blame judgment
pact judge --bundle ./artifacts/bundle.json --failure-event settlement_timeout

Evidence (what gets produced) · Verifier (how it's checked) · Constitution (rules of evidence)

What Pact does

  • Signed, hash-linked negotiation transcripts (Proof of Negotiation)
  • Deterministic replay and verification
  • Evidence bundles with integrity checks (auditor-ready)
  • Default Blame Logic (DBL) to attribute responsibility from the signed record

What Pact is not:

  • Not a marketplace
  • Not a payment rail / processor
  • Not a coordination DAO

It sits above existing rails and focuses on evidence, not execution.

Who it's for

Developers

Ship agent commerce without inventing dispute systems.

Security/Risk

Reduce blast radius with deterministic evidence.

General Counsel / Audit / Insurers

Approve and underwrite autonomous workflows.