> ## Documentation Index
> Fetch the complete documentation index at: https://docs.xpectrum.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Overview

> The contracts that make up Xpectrum

Xpectrum is a set of independently deployed AML contracts that cover the full NFT lifecycle, from drop deployment through secondary trading. Each is formally verified before deployment; a verification certificate exists for every one.

| Contract        | Role                              | Deployed                                  |
| --------------- | --------------------------------- | ----------------------------------------- |
| XNS1            | Reference XNS-1 implementation    | Once, by the platform                     |
| Xcollection     | Per-drop collection contract (v3) | Once per collection                       |
| Xlist           | Whitelist manager                 | Once per collection, bound to Xcollection |
| Xmarket         | Secondary trading (v3)            | Once, by the platform                     |
| XpectrumGenesis | The founding Xpectra collection   | Once, by the platform                     |

## How they connect

When a creator launches a collection from the Launchpad:

1. A new **Xcollection** is provisioned with the creator's configuration
2. A bound **Xlist** is provisioned alongside it for whitelist management
3. A **Circle** is provisioned to hold the collection's assets on-chain
4. After minting, holders approve **Xmarket** as an operator to settle trades
5. **Xmarket** reads ownership and royalty data from Xcollection via the XNS-1 interface

The creator signs the deployment and owns all of it. The provisioning is handled by a platform factory so the steps are atomic and consistent; the creator never has to wire contracts together by hand.

## Verification

Every contract is compiled to OCTB bytecode and run through Octra's formal verifier before deployment. The verifier enforces a strict dialect: checked arithmetic on value-like storage, guarded subtraction, and checked native transfers.

<CardGroup cols={3}>
  <Card title="Xcollection" icon="box" href="/contracts/xcollection">
    Minting, phases, reveals, royalties, holder index
  </Card>

  <Card title="Xlist" icon="list" href="/contracts/xlist">
    Whitelist management per collection
  </Card>

  <Card title="Xmarket" icon="store" href="/contracts/xmarket">
    Listings, offers, proceeds
  </Card>
</CardGroup>

<CardGroup cols={2}>
  <Card title="XNS-1 Standard" icon="code" href="/standards/xns-1">
    The interface every collection implements
  </Card>

  <Card title="Xpectra" icon="gem" href="/contracts/genesis">
    The founding 222-piece collection
  </Card>
</CardGroup>