Expand description
SMT-backed safety and policy assurance for Converge extensions.
Soter produces searched evidence. It does not promote facts directly and it does not turn SMT results into formal proof claims.
Re-exports§
pub use arbiter::ArbiterExpenseCommitInvariant;pub use arbiter::ArbiterExpensePolicyModel;pub use arbiter::EXPENSE_NON_FINANCE_HIGH_VALUE_COMMIT_INVARIANT_ID;pub use backend::FakeSmtBackend;pub use backend::SmtBackend;pub use formation::SoterCapability;pub use formation::formation_capabilities;pub use provenance::SOTER_PROVENANCE;pub use provenance::Soter;pub use suggestor::SmtSuggestor;pub use types::SmtError;pub use types::SmtEvidenceTier;pub use types::SmtQuery;pub use types::SmtReport;pub use types::SmtStatus;