List of all items

Structs

• CheckerId
• Evidence
• Signature
• SigningKeyId
• checker::Constant
• checker::Judgement
• compile::CompileChecker
• compile::CompileConfig
• compile::SandboxedCompile
• sandbox::Command
• sandbox::Outcome
• sandbox::Unconfined
• schema::Schema
• schema::SchemaChecker
• schema::Violation
• scope::Change
• scope::DiffScope
• sign::KeyRing
• sign::LocalKey
• sign::PublicKey
• testrun::SandboxedTests
• testrun::TestConfig

Enums

• EvidenceKind
• Verdict
• checker::CheckError
• compile::ProbeError
• sandbox::SandboxError
• schema::SchemaError
• schema::Validation
• scope::ChangeKind
• scope::PatchError
• sign::SignError
• sign::VerifyError

Traits

• checker::Checker
• sandbox::Sandbox
• sign::Sign

Functions

• checker::checker_ceiling
• checker::ensure_model_free
• compile::head
• sandbox::normalise
• sandbox::workspace_grant
• scope::parse_patch
• sign::sign_evidence
• sign::verify
• testrun::failing_tests
• testrun::tail

Constants

• compile::MAX_REASON
• sandbox::DEFAULT_TIMEOUT
• sandbox::MAX_OUTPUT
• schema::DEFAULT_BUDGET
• schema::MAX_DEPTH
• schema::SUPPORTED_KEYWORDS
• scope::MAX_NAMED
• sign::PUBLIC_KEY_LEN
• sign::SEED_LEN
• testrun::MAX_NAMES
• testrun::MAX_REASON