/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.
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.
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_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.