Expand description
Upgrade-safety primitives for Soroban contracts.
The crate inspects the metadata and contract specification embedded in Soroban WASM binaries. It never signs or submits a transaction.
Structs§
- Artifact
- Evidence
Coverage - Evidence
Item - Export
Call Evidence - Finding
- Function
Import - Historical
Field - Impact
Step - Interface
Entry - Invariant
Check - Migration
- Migration
Call - Plan
Input Paths - Plan
Operations - Plan
Step - Policy
- Public
Impact - Public
Type Boundary - Schema
History - Storage
Entry - Storage
Schema - Type
History - Type
Reference - Upgrade
Plan - Validation
Context - Validation
Report