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

# Deployed v0.1 identifiers

> Explorer-verifiable Coston2 contracts, extension registration, official FTestXRP dependency, and compatibility identifiers.

The verified deployment predates the Nautilius public name. This page separates current branding from immutable v0.1 protocol evidence.

## Nautilius deployment

| Artifact                 | Verified value                                                                                                                                                                       |
| ------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
| Network                  | Coston2, chain `114`                                                                                                                                                                 |
| LandDeal                 | [`0xd0Ba79C80B12fcfd72851FE7ffe08Fd8885C8bf9`](https://coston2-explorer.flare.network/address/0xd0Ba79C80B12fcfd72851FE7ffe08Fd8885C8bf9)                                            |
| v0.1 instruction sender  | [`0xBC39A95F2CD04B3cfF0cD47Aed8596573f731f57`](https://coston2-explorer.flare.network/address/0xBC39A95F2CD04B3cfF0cD47Aed8596573f731f57)                                            |
| FCC extension            | `66252` (`0x102cc`)                                                                                                                                                                  |
| Registration transaction | [`0x8edb1593c6023d4d7903faad5d3eff9d4a8ccb98d9d7dcd624e906d360c92112`](https://coston2-explorer.flare.network/tx/0x8edb1593c6023d4d7903faad5d3eff9d4a8ccb98d9d7dcd624e906d360c92112) |

Live reads verified the LandDeal and sender backlinks, registered extension sender and owner, EVM key support, and owner allowlists.

## Official dependencies

| Dependency       | Verified value                                           |
| ---------------- | -------------------------------------------------------- |
| FlareTeeManager  | `0x1a9C4A0f9D76c0b1D91d22E24E573a9b377618aE`             |
| ContractRegistry | `0xaD67FE66660Fb8dFE9d6b1b4240d8650e30F6019`             |
| AssetManagerFXRP | `0xc1Ca88b937d0b528842F95d5731ffB586f4fbDFA`             |
| FTestXRP         | `0x0b6A3645c240605887a5532109323A3E12273dc7`, 6 decimals |

The FTestXRP address was resolved as `ContractRegistry → AssetManagerFXRP → fAsset()`. It is a test asset, not mainnet XRP.

## v0.1 compatibility identifiers

* Solidity artifact: `SilentLotInstructionSender`
* EIP-712 domain name: `SilentLot`
* generated Go binding package: `tools/pkg/contracts/silentlot`
* historical evidence schema: `silentlot-evidence-v1`

Nautilius preserves these exact values so the existing deployment, signatures, ABI checks, and evidence remain verifiable. A future Nautilius-native contract name and signing domain require a new deployment and new explorer evidence.

## Current production boundary

`getActiveTeeMachines(66252)` returned an empty list, and the extension has no approved production code hash. Nautilius therefore does not claim a selected production TEE, live attestation, FCC action/result, parcel transaction, or FTestXRP movement.

<Check>
  The contracts and extension registration are live and independently readable. The confidential production lifecycle is not claimed.
</Check>