Choose Your Path

The TREA Book is both a guided learning resource and a complete reference. You do not need to read every page in order. Choose the path that matches the result you need.

Write Your First TREA Contract

Outcome: compile, run, publish, and call a small contract, then inspect its receipt.

1. What Is TREA?
2. A Simple Contract
3. Compile And Run Locally
4. Publish And Call Through AtlasDB
5. TREA Dev Chain Runner
6. Simulation (Dry-Run)
7. Execution Receipts

Continue with Source Layout when you need the complete language model.

Integrate External Infrastructure

Outcome: observe chain state, authenticate a request, simulate it, submit a transaction, and consume the persisted result safely.

1. External Infrastructure Quickstart
2. REST Submission
3. Simulation (Dry-Run)
4. Execution Receipts
5. Operational Interoperability
6. Error And Diagnostic Surfaces

Use this path for gateways, oracle networks, custodians, payment processors, indexers, and other systems that operate outside consensus.

Build And Test A Product

Outcome: develop a production-shaped contract with repeatable local tests.

1. TREA CLI
2. TREA Dev Chain Runner
3. TREA JS Test Runner
4. Testing Contracts
5. Authoring Checklist
6. Common Pitfalls

The Examples and Contract Library sections are patterns to consult as needed, not prerequisites to read sequentially.

Review Runtime And Ledger Internals

Outcome: understand how source becomes deterministic execution and how effects become committed ledger state.

1. Parser And Verifier
2. IR And Runtime
3. Storage Encoding
4. Cost Model
5. Accounting Safety

Use The Reference

The Reference section is lookup material. Go directly to syntax, intrinsics, transaction payloads, or error codes when implementing tooling and clients.