List of all items

Structs

• CheckResult
• Journal
• RenderedFrame
• TraceEvent
• TraceReport

Enums

• CheckStatus
• EventBody
• JournalError
• SessionOutcome
• ToolStatus

Functions

• check_assembly_budget_honesty
• check_citation_at_use
• check_deterministic_composition
• check_effect_exactly_once
• check_resume_integrity
• check_sequence_integrity
• check_staleness_at_use
• check_turn_loop_pairing
• run_oracles

Constants

• ALL_CHECKS
• CHECK_ASSEMBLY_BUDGET
• CHECK_CITATION
• CHECK_COMPOSITION
• CHECK_EFFECT_ONCE
• CHECK_RESUME
• CHECK_SEQUENCE
• CHECK_STALENESS
• CHECK_TURN_LOOP
• TRACE_FORMAT