Source Checking
Validate syntax, types, imports, and verifier-surface legality without SMT solving. This is the fast feedback command for development iteration.
Verification
Prove that your contracts hold using formal verification with an SMT solver.
Viper Output
Emit Viper code for manual inspection, debugging, or understanding how Sector9 translates contracts and permissions.
Compilation
Compile Sector9 source code to WebAssembly for deployment on the Internet Computer.
Interpretation
Run programs for development and testing without producing WebAssembly.