State and Interfaces
Important State Variables
Section titled “Important State Variables”| Variable | Description |
|---|---|
collateralSupply[token] | Active backing collateral supply per token type |
capitalDivesting[token] | Released collateral available for project pull (capital divesting) |
ftOfferingSupply | FT available for sale to new investors |
ftAllocated | FT currently allocated to active positions |
Terminology Mapping
Section titled “Terminology Mapping”Mechanism docs in this site follow FT implementation terms:
| Mechanism Term | Implementation Term |
|---|---|
| Position | pFT ERC-721 NFT |
| Redeem / exercise PUT | divest / divestUnderlying |
| Withdraw / claim FT | withdrawFT |
| Hold | No transaction (default state) |
| Deposit / invest | invest |
Contract Interfaces
Section titled “Contract Interfaces”Key entry points are listed below. See Contract Map for full contract descriptions.
PutManager — Core Entry Points
Section titled “PutManager — Core Entry Points”invest(token, amount)— deposit collateral and receive positiondivest(id, amount)— redeem position for collateraldivestUnderlying(id, amount)— redeem position for strategy tokens (e.g., aTokens)withdrawFT(id, amount)— claim FT tokens, forfeit protectionenableTransferable()— enable exits via withdraw
ftYieldWrapper — Strategy Interface
Section titled “ftYieldWrapper — Strategy Interface”deposit(amount)— route collateral to strategywithdraw(amount)— withdraw collateral from strategyclaimYield()— trigger yield distribution
CircuitBreaker — Rate Limiting
Section titled “CircuitBreaker — Rate Limiting”checkAndRecordOutflow(amount)— verify and record outflow against limitsrecordInflow(amount)— record inflow for elastic buffer
Events
Section titled “Events”Event signatures are defined in each contract’s source. See Contract Map for contract locations.