Skip to main content
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.
The guided route is a labeled hackathon adapter. It does not create a blockchain transaction or production FCC receipt.

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.
You can inspect every ciphertext hash, deterministic clearing result, evidence commitment, and simulation flag before downloading the packet.

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 and inspect the v0.1 deployment.