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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://lsteak-protocol.gitbook.io/lsteak-protocol-docs/overview/verification-checklist.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.