> ## 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.

# Guided demo

> Complete the Nautilius land-sale story with explicit real and simulated boundaries.

Open `/demo` from a local Nautilius web instance to evaluate the complete land-sale story when the production FCC extension has no active TEE. This walkthrough is deliberately separate from `/app`, which reads live configuration and fails closed when infrastructure is unavailable.

<Warning>
  The guided route is a labeled hackathon adapter. It does not create a blockchain transaction or production FCC receipt.
</Warning>

## What executes locally

* user-editable Lagos parcel references and evidence metadata;
* browser SHA-256 hashing and salted parcel, title, consent and registry-evidence commitments;
* Go-Ethereum-compatible ECIES encryption of sealed-offer payloads to the displayed demo public key;
* deterministic highest-valid-offer clearing with lowest-offer-ID tie-breaking;
* ciphertext hashes, result commitments and a downloadable JSON evidence packet.

These operations are local cryptographic and product demonstrations. They do not create a blockchain transaction.

## What the adapter simulates

* selection, registration and fresh attestation of a production TEE;
* routing through the live FCC proxy and receipt of a signed `ActionResult`;
* FTestXRP approval, deposit, release or refund;
* licensed escrow, KYC or conveyancing-provider work;
* Lagos registry response, Governor's Consent or legal completion.

Simulated steps use amber labels and explicit status messages. The evidence packet identifies itself as `SIMULATED_HACKATHON_DEMO`, records unavailable integrations as false, and contains no invented transaction hash or explorer URL.

<Check>
  You can inspect every ciphertext hash, deterministic clearing result, evidence commitment, and simulation flag before downloading the packet.
</Check>

## Why the boundary exists

The Coston2 contracts and extension registration are live, but the FCC registry currently returns no active TEE for the extension. A guided adapter lets judges assess the complete workflow without weakening the production code path or misrepresenting unavailable infrastructure. `/app` remains the source of truth for live state and refuses to advance past unmet prerequisites.

For the production claim boundary, follow the [judge walkthrough](/start/judge-walkthrough) and inspect the [v0.1 deployment](/reference/deployed-v0-1).