Fixes from review of gt-8tmz.25 implementation:
1. Dry-run no longer cooks formulas - added resolveOrDescribe() for
dry-run mode that checks if operand exists without cooking
2. Ephemeral protos now cleaned up after successful bond, not just
on error
3. Unique proto IDs to avoid collision - ephemeral protos use format
"_ephemeral-<formula>-<timestamp>" instead of formula name
4. Removed unused vars parameter from resolveOrCookFormula
5. Added informative output showing formulas will be cooked and
cleaned up
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>