upgrade flow is partially documented, but the safety gate and rollback/migration invariants are not implemented end-to-end in the contract and tests.
- Impacted files:
app/contract/contracts/Folder/src/storage.rs, app/contract/contracts/Folder/src/upgrade_test.rs, app/contract/contracts/Folder/src/lib.rs, app/contract/UPGRADE_SAFETY_GATE_IMPLEMENTATION.md, app/contract/UPGRADE_SAFETY_GATE_TEST_GUIDE.md, `app/contract/docs/UPGRADE_SAFETY_GATE.md
upgrade flow is partially documented, but the safety gate and rollback/migration invariants are not implemented end-to-end in the contract and tests.
app/contract/contracts/Folder/src/storage.rs,app/contract/contracts/Folder/src/upgrade_test.rs,app/contract/contracts/Folder/src/lib.rs,app/contract/UPGRADE_SAFETY_GATE_IMPLEMENTATION.md,app/contract/UPGRADE_SAFETY_GATE_TEST_GUIDE.md, `app/contract/docs/UPGRADE_SAFETY_GATE.md