The test suite is expected to hold these statements. They are documentation of intent; the contracts remain the authority.

Issuance

• A market is created on exactly one path, RH Launch or Crowdfund.
• Graduation is irreversible for that market.
• Supply accounted on the curve or campaign equals supply that can graduate, minus explicit burns configured in the contract.

Lock

• LP minted at graduation is deposited in the lock module before the market is marked graduated.
• Withdrawal from the lock module is only possible through its stated unlock path.

Vesting

• Crowdfund positions are held by the vesting module until the schedule releases them.
• Released amounts cannot exceed vested amounts.

Referral

• Only a registered platform can write referral records.
• List referral and per-trade referral are distinct records.

Treasury

• Opening tax at listing is routed to the configured treasury destination.
• Parameter readers used by frontends must match factory storage.

Disclosure

If you believe an invariant is false on a deployment, see Disclosure.