Once SDK 0.1.10
·
769 commits
to main
since this release
Protect now explains the safe next steps for adapter-required operations: a controlled local proof versus a real provider integration. Automatic rewriting remains unavailable for those callsites.