> For the complete documentation index, see [llms.txt](https://lsteak-protocol.gitbook.io/lsteak-protocol-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://lsteak-protocol.gitbook.io/lsteak-protocol-docs/overview/verification-checklist.md).

# Verification checklist

This protocol is designed to be verified, not trusted.

### Verify the published addresses

Check the live contracts and protocol-controlled wallets on-chain:

Use these addresses to verify the live LSteak deployment on **Base**.

* LSTEAK token: `0x39Cd7417080695f4e49b64F6F243b7804a0ea8EF`
* LSTEAK / ETH liquidity pair: `0xC67BfB30Fed057AE16627457E71B1E29753B2F80`
* xl-LSTEAK token: `0x032963337b837415209Ca53A46946a73cceB53aa`
* Hedge Reserve contract: `0x4a237e0589B57F61eDE8ad623DE05B9eD57C1C33`
* Gold (xAUT) holdings wallet: `0xeadecca3e777b836e637d41c479aaac3531a533d`
* Liquidity Stack wallet: `0xc69e6ab1f4ac5be6d03f8df75d0f6fe501c7856b`

### Verify the economic invariants

* No emissions.
* No rebasing.
* Minting is backing-first.
* Backing is non-redeemable in normal operation.

Source of truth:

* [Technical Appendix — Immutable Protocol Invariants](/lsteak-protocol-docs/technical-appendix/section-b-immutable-protocol-invariants.md)

### Verify the accounting

* Compute **BPT = Backing ÷ Effective supply**.
* Confirm which balances are excluded from effective supply.

Source of truth:

* [Technical Appendix — Definitions & Accounting Glossary](/lsteak-protocol-docs/technical-appendix/section-a-definitions-and-accounting-glossary.md)

### Verify the deterministic flows

Spot-check that implementation matches these flows:

* External entry flow
* Internal action flow
* Yield processing
* xl redemption (contract-only)
* Emergency pause & liquidation

Source of truth:

* [Technical Appendix — Deterministic System Flows](/lsteak-protocol-docs/technical-appendix/section-c-deterministic-system-flows.md)

### Verify the parameter bounds

* Deadband bounds
* Guardrails
  * `LSTEAK_price >= 0.98 × BPT` for VTL-style loops that mint LSTEAK
  * LSaaS VTL RR drawdown limit: `≤ 0.5%` per execution
* Treasury skim fixed at 5%

Source of truth:

* [Technical Appendix — Parameter Registry](/lsteak-protocol-docs/technical-appendix/section-d-parameter-registry.md)

### Verify the security posture

* Audit firm and report links.
* Admin keys, timelocks, and pause permissions.

Next:

* [Security & audits](/lsteak-protocol-docs/overview/security-and-audits.md)