kUSD / USDC market on Euler (Base): a redeemability-verifiable synthetic dollar