# Ward

> Adversarial assurance for x402 payment facilitators on Algorand.

## Docs

- [Introduction](https://docs.algoward.xyz/index.md): Adversarial assurance for x402 payment facilitators on Algorand.
- [Quickstart](https://docs.algoward.xyz/quickstart.md): Fund accounts, boot a facilitator, and run the full invariant suite.
- [Installation](https://docs.algoward.xyz/installation.md): Detailed setup options for running Ward locally, via Docker, or as a global CLI.
- [Architecture](https://docs.algoward.xyz/architecture.md): How Ward's chain-agnostic core, Algorand adapter, and invariants fit together.
- [How Verification Works](https://docs.algoward.xyz/invariants/overview.md): The eight correctness guarantees Ward checks, and where each one comes from.
- [CLI Overview](https://docs.algoward.xyz/cli/overview.md): The ward command-line tool: init, test, fuzz, and report.
- [Verification API Overview](https://docs.algoward.xyz/server/overview.md): A hosted, x402-gated HTTP endpoint that runs Ward against any facilitator URL you submit.
- [Verify/Settle Consistency](https://docs.algoward.xyz/invariants/u1-verify-settle-consistency.md): A facilitator must never settle terms it never actually verified.
- [Retry Safety](https://docs.algoward.xyz/invariants/u2-retry-safety.md): Retrying an unresolved settlement must never mint more than one on-chain transaction.
- [Concurrent Double-Settle](https://docs.algoward.xyz/invariants/u3-concurrent-double-settle.md): Simultaneous settlement races must never mint more than one on-chain transaction.
- [Allowlist Enforcement](https://docs.algoward.xyz/invariants/u4-allowlist-enforcement.md): GET /supported must be authoritative over what /settle will actually move.
- [Gas Abuse Resubmission](https://docs.algoward.xyz/invariants/u5-gas-abuse-resubmission.md): Rejecting a doomed payment must stay a bounded-cost operation, every time.
- [Atomic Group Integrity](https://docs.algoward.xyz/invariants/a1-atomic-group-integrity.md): Ward's headline invariant: the facilitator's own safety check must catch a rewritten fee-payer leg.
- [ASA Opt-In Precheck](https://docs.algoward.xyz/invariants/a2-asa-optin-precheck.md): A doomed-to-fail settlement should be caught at /verify, not burn a real on-chain fee at /settle.
- [Rekey Authorization](https://docs.algoward.xyz/invariants/a3-rekey-authorization.md): A signature from a key that is no longer the account's spending authority must not settle.
- [ward init](https://docs.algoward.xyz/cli/init.md): Boot the self-hosted facilitator, fund test accounts, and verify one real payment end-to-end.
- [ward test](https://docs.algoward.xyz/cli/test.md): Run the full invariant suite and write a JSON report.
- [ward fuzz <id>](https://docs.algoward.xyz/cli/fuzz.md): Run one invariant in isolation with full, verbose evidence output.
- [ward report](https://docs.algoward.xyz/cli/report.md): Re-render the last ward test run — works without a live facilitator.
- [API Reference](https://docs.algoward.xyz/server/api-reference.md): Every endpoint the hosted verification service exposes.
- [Deployment](https://docs.algoward.xyz/server/deployment.md): Deploying your own instance of the hosted verification service to Render.
- [Environment Variables](https://docs.algoward.xyz/guides/environment-variables.md): Every variable Ward's CLI, self-hosted facilitator, and hosted verification server read.
- [Self-Hosting the Facilitator](https://docs.algoward.xyz/guides/self-hosting-facilitator.md): How docker-compose.yml builds and runs a real, unmodified x402-avm facilitator.
- [Adding a Chain Adapter](https://docs.algoward.xyz/guides/adding-a-chain-adapter.md): What a second chain would need — Algorand today, anything with a ChainAdapter tomorrow.
- [Troubleshooting](https://docs.algoward.xyz/guides/troubleshooting.md): Common failure modes across setup, ward init, ward test, and the hosted API.
- [Project Structure](https://docs.algoward.xyz/reference/project-structure.md): A directory-by-directory map of the Ward repository.
- [Decision Log](https://docs.algoward.xyz/reference/decision-log.md): Every judgment call made while building Ward, in the order it was made.
- [FAQ](https://docs.algoward.xyz/reference/faq.md): Answers to questions that come up when evaluating or adopting Ward.

## Optional

- [GitHub](https://github.com/debojyoti10CC/alg402)
- [X](https://x.com/algorandward)
- [x402 Protocol](https://x402.gitbook.io/x402)