protocol

Vault source is in the repo. Addresses are not.

Foundry project at contracts/. forge test: 13 passed (math, vault, locker). Mainnet addresses unpublished. Demo locker is on the local / VPS Anvil chain only.

What is in source

• TrancheMath.sol — w, D(P), X(P), write-off, probe elasticity.
• ClaimToken.sol — mint/burn only from the vault.
• CleaveVault.sol — split / join / restrike. Pricing is a view.
• FeeLocker.sol — take(notional) pulls 0.5% USDG; 70% buys $CLEAVE on a market; 30% stays as insurance. Split is immutable.

What is not in source yet

• Wiring the ticket into vault split/join (demo still calls locker separately).
• Oracle window (stale curve read).
• Pons curve adapter / Uniswap buy instead of the 1:1 mock market.
• Mainnet addresses. Do not send funds.

What will not live here

• An EOA treasury that credits an internal USDG balance.
• A “will be immutable later” buyback.
• A second bonding-curve factory. Issuance stays on Pons.

Formulas on Core concepts are the spec. The tests in contracts/test are the check. Addresses land on Reference when they exist.

← Reference