> For the complete documentation index, see [llms.txt](https://counterfactual.gitbook.io/specs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://counterfactual.gitbook.io/specs/source.md).

# source

- [diagrams](https://counterfactual.gitbook.io/specs/source/diagrams.md)
- [withdraw-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/withdraw-exchange.md)
- [cleanup-protocol-commitment1](https://counterfactual.gitbook.io/specs/source/diagrams/cleanup-protocol-commitment1.md)
- [install-protocol-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/install-protocol-exchange.md)
- [cleanup-protocol-commitment2](https://counterfactual.gitbook.io/specs/source/diagrams/cleanup-protocol-commitment2.md)
- [setup-protocol-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/setup-protocol-exchange.md)
- [uninstall-protocol-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/uninstall-protocol-exchange.md)
- [cleanup-protocol-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/cleanup-protocol-exchange.md)
- [setstate-protocol-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/setstate-protocol-exchange.md)
- [uninstall-virtual-app-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/uninstall-virtual-app-exchange.md)
- [set-root-nonce-commitment](https://counterfactual.gitbook.io/specs/source/diagrams/set-root-nonce-commitment.md)
- [install-protocol-commitment](https://counterfactual.gitbook.io/specs/source/diagrams/install-protocol-commitment.md)
- [install-virtual-app-exchange](https://counterfactual.gitbook.io/specs/source/diagrams/install-virtual-app-exchange.md)
- [setstate-protocol-state](https://counterfactual.gitbook.io/specs/source/diagrams/setstate-protocol-state.md)
- [cleanup-protocol-state](https://counterfactual.gitbook.io/specs/source/diagrams/cleanup-protocol-state.md)
- [setup-commitment](https://counterfactual.gitbook.io/specs/source/diagrams/setup-commitment.md)
- [uninstall-protocol-state](https://counterfactual.gitbook.io/specs/source/diagrams/uninstall-protocol-state.md)
- [uninstall-protocol-commitment](https://counterfactual.gitbook.io/specs/source/diagrams/uninstall-protocol-commitment.md)
- [setup-protocol-state](https://counterfactual.gitbook.io/specs/source/diagrams/setup-protocol-state.md)
- [setstate-protocol-commitment](https://counterfactual.gitbook.io/specs/source/diagrams/setstate-protocol-commitment.md)
- [install-protocol-state](https://counterfactual.gitbook.io/specs/source/diagrams/install-protocol-state.md)
- [Withdraw Protocol](https://counterfactual.gitbook.io/specs/source/11-withdraw-protocol.md)
- [State Machine Based Applications](https://counterfactual.gitbook.io/specs/source/02-state-machines.md)
- [Contributing](https://counterfactual.gitbook.io/specs/source/contributing.md)
- [Install Protocol](https://counterfactual.gitbook.io/specs/source/05-install-protocol.md)
- [Setup Protocol](https://counterfactual.gitbook.io/specs/source/04-setup-protocol.md)
- [Uninstall Protocol](https://counterfactual.gitbook.io/specs/source/07-uninstall-protocol.md)
- [Introduction](https://counterfactual.gitbook.io/specs/source/00-introduction.md)
- [Cleanup Protocol](https://counterfactual.gitbook.io/specs/source/08-cleanup-protocol.md)
- [Glossary and Terminology Guide](https://counterfactual.gitbook.io/specs/source/glossary.md)
- [Peer Protocol for Channel Management](https://counterfactual.gitbook.io/specs/source/03-peer-protocol.md)
- [Uninstall Virtual App Protocol](https://counterfactual.gitbook.io/specs/source/10-uninstall-virtual-app-protocol.md)
- [Update Protocol](https://counterfactual.gitbook.io/specs/source/06-update-protocol.md)
- [Contracts](https://counterfactual.gitbook.io/specs/source/01-contracts.md)
- [Install Virtual App Protocol](https://counterfactual.gitbook.io/specs/source/09-install-virtual-app-protocol.md)