List of all items
Structs
- Run
- check::TxnView
- check::Verdict
- evidence::Effect
- evidence::Evidence
- evidence::PostureSeen
- live::Plan
- live::Sample
- live::Start
- metrics::Metrics
- sim::Sim
- sim::Unsupported
- site::Assumption
- site::Bypass
- site::Entry
- site::Invariant
- site::Obligation
- site::Opts
- site::Row
- site::Section
- site::Site
- site::Sources
- verification::Report
Enums
Functions
- catalog::entries
- catalog::read_text
- check::actor_is
- check::caller_is
- check::check_incident
- check::check_txn
- check::conditional_none
- check::describe
- check::foreground_spans
- check::gen_named
- check::judge
- check::overlap
- check::position
- check::same_unit
- check::state_name
- check::subsequence
- check::target_of
- check::toml_str
- check::transition_name
- check::txns
- check::value_str
- conformance::contracts
- conformance::fenced_at
- conformance::fresh
- conformance::injected
- conformance::op
- conformance::run
- harness_waivers
- live::begin
- live::build_roots
- live::call
- live::compact_and_save
- live::config
- live::console
- live::die
- live::effects
- live::evidence
- live::hooks_set
- live::is_request
- live::journal_copy
- live::journal_reached
- live::judge
- live::ledger
- live::main
- live::needs_full_window
- live::pause_call
- live::plan
- live::posture_seen
- live::posture_snapshot
- live::probe_defs
- live::probe_ports
- live::read_json
- live::real
- live::record_posture
- live::request
- live::request_as
- live::request_at
- live::run_dir
- live::run_step
- live::s
- live::sample
- live::segment
- live::sh
- live::sh_out
- live::stalls
- live::status_name
- live::statuses
- live::step
- live::steps
- live::unit_cmd
- live::user_for
- live::write_json
- load
- main
- metrics::disruption_name
- run_entry
- serve::apply
- serve::serve
- sim::config
- sim::dur
- sim::gym_admins
- sim::gym_authz
- sim::peer
- sim::unit
- sim::value
- site::about
- site::build
- site::by_number
- site::bypass_refs
- site::cells
- site::change_sections
- site::esc
- site::expectation
- site::global_ids
- site::gym_ref
- site::invariant_refs
- site::kind_of
- site::linkify
- site::locate
- site::main
- site::parse_assumptions
- site::parse_bypasses
- site::rust_files
- site::section_refs
- site::short_title
- site::slug_of
- site::split_sections
- site::write
- steps
- verification::bypasses
- verification::discharge
- verification::discharge_in
- verification::parse_bypasses
- verification::run
- verification::rust_files
- verification::source
- verification::structure_errors
- verification::trust_sites
- window
Statics
Constants
- DEFAULT_CATALOG
- catalog::DIR
- check::TXN_KEYS
- conformance::MATRIX
- conformance::OUTCOMES
- live::HOOKS_DIR
- live::ON_A_TERMINAL
- live::RUN
- live::SAVED
- sim::DAEMON_PID
- sim::TICK
- sim::WATCHDOG_PID
- site::ASSUMPTIONS
- site::BYPASSES
- site::CATALOG
- site::HISTORY
- site::RATIO
- site::SPEC
- site::VERIFIED
- verification::ASSUMPTIONS
- verification::BYPASSES
- verification::CATALOG
- verification::RATIO
- verification::VERIFIED