Blockchain developer Solidity

What I want:

1. Not to sell my NFTs, but to lease out the "rights to use the value of the collection."

2. To have a system of three contracts:

- CoreNFT—the current ERC-721 collection with a fixed supply of 10,000 and approximately 9,300 unminified tokens that serve as a reserve.

- SyntheticToken (ERC-20)**—a synthetic token without governance, with a hard issuance limit: a maximum of \(9,300 \times 100,000\) tokens. This token is issued to renters for a fee in WETH, operates for 30 days (rental), has a LeaseInfo {balance, leaseExpiry} account, a payRent function, effectiveBalanceOf (0 after expiration), and terminateLease (the owner can instantly reset the lease and burn the balance if desired). Token transfers to ordinary people are prohibited: only mint/burn and transfers to whitelisted DeFi pools (Yearn/Arcade/Aave, etc.) are allowed.
- MintCreditVault is a module that ensures that the total supply of SyntheticTokens is no greater than "the number of unminced NFTs x 100,000" and implements burnForMint: only the owner (Wayne/his multisig) can burn a strictly defined number of synthetics and, in exchange, mint the corresponding number of real NFTs from CoreNFT to the desired address.

3. "Rental" economic model: the renter pays WETH for 30-day access to the SyntheticToken, uses these tokens as collateral in DeFi, but never gains the right to mint or take the NFTs—this right remains forever with the owner via burnForMint.
4. Additionally, outside of smart contracts: a multi-sig wallet for security, a Telegram/WhatsApp bot with alerts (collection price, liquidation risk, gas, etc.), a position dashboard, and, in the future, the use of external platforms (Arcade, BendDAO, NFTfi, etc.) for "50/50 vault lending," but this is an operational layer on top of the synthetic token.

What's already available:

1. A ready-to-use CoreNFT contract on mainnet — ExposedWallsBanksy with:
- MAX_SUPPLY = 10_000,
- correct implementation of totalSupply() via a pool of unissued tokenIds,
- standard ERC-721, Ownable, ReentrancyGuard, paused.
It actually manages the Banksy collection and is fully compatible as a basic CoreNFT, but it doesn't expose maxSupply() as a function out of the box and doesn't provide a deterministic mintTo(to, tokenId)—this needs to be added (or wrapped) to link it to MintCreditVault.

2. A detailed text specification for the rest of the architecture, which clearly describes:

- formulas for maxMintingCredits() and maxSyntheticSupply(),
- behavior of mint, burnForMint, payRent, effectiveBalanceOf, terminateLease,
- requirements for P2P transfer locking and governance lock (any delegate() must always `revert`).

3. Understanding Wayne's business logic from the conversation: he owns ~93% of the collection, considers the floor "controllable," and wants multiple independent income streams from the NFT collateral, without sales or dependence on third-party pools. He's prepared for a multi-sig scheme, regular alerts, and a phased launch (first a small test volume, then scaling).

What's missing:

- The SyntheticToken contract itself with rental logic.

- The MintCreditVault module itself and the burnForMint implementation.

- Minor improvements to CoreNFT (maxSupply() as a view and deterministic mintTo).

- Specific integration parameters (WETH address, owner wallet for receiving fees, list of whitelisted pools, and the exact WETH → SyntheticToken ratio in payRent).