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

# Nautilius documentation

> Understand, test, and verify confidential Lagos land-sale coordination on Flare.

Nautilius is a confidential offer room for serious Lagos land sales. Buyers encrypt parcel-bound offers to a registry-selected Flare TEE. A narrowly scoped FCC result can then authorize FTestXRP testnet escrow and an auditable completion or refund path.

<Warning>
  Nautilius coordinates bidding, escrow state, and evidence commitments. It does not verify ownership, issue a Certificate of Occupancy, obtain Lagos State Governor's Consent, or replace professional due diligence and official registration.
</Warning>

<Columns cols={2}>
  <Card title="Run the guided demo" icon="play" href="/start/guided-demo">
    Complete the six-stage product story and see exactly which operations are real or simulated.
  </Card>

  <Card title="Follow the judge path" icon="badge-check" href="/start/judge-walkthrough">
    Verify the product, deployed contracts, privacy boundary, and current infrastructure blocker.
  </Card>

  <Card title="Understand the architecture" icon="network" href="/concepts/architecture">
    Trace encrypted offers from the browser through FCC to onchain result verification and escrow.
  </Card>

  <Card title="Inspect Coston2 proof" icon="external-link" href="/reference/deployed-v0-1">
    Open the verified contracts, extension registration transaction, and exact claim boundary.
  </Card>
</Columns>

## What the product protects

The browser encrypts buyer identity, offer amount, nonce, and expiry before those fields enter the public FCC instruction. Ciphertext, routing metadata, the selected winner, clearing amount, and settlement state remain public.

<Check>
  The local integration suite has passed browser-generated ECIES ciphertext through the pinned official tee-node `/decrypt` endpoint for create, signed bid, and clear operations.
</Check>

## Current verification state

The `LandDeal` and v0.1 instruction sender contracts are deployed on Coston2. FCC extension `66252` is registered. The registry currently has no active production TEE or approved production code hash for the extension, so Nautilius does not claim a live FCC action, production attestation, parcel transaction, or FTestXRP movement.

<Note>
  The verified v0.1 deployment predates the Nautilius name. Its Solidity artifact and EIP-712 domain retain `SilentLot` as immutable compatibility identifiers. See [deployed v0.1 identifiers](/reference/deployed-v0-1).
</Note>