List of all items
Structs
- CanonicalKernelAdapter
- CompileOutput
- CompilerPolicy
- ConformanceGateResult
- ExecutionBudget
- ExecutionReport
- OracleAssessment
- ReasoningOutput
- ScheduledExecution
- canonical_stack::CompileOutput
- canonical_stack::CompilerPolicy
- canonical_stack::ExecutionBudget
- canonical_stack::ExecutionReport
- canonical_stack::GraphGeometryManifest
- canonical_stack::KernelRun
- canonical_stack::OperatorMetadata
- canonical_stack::OracleAssessment
- canonical_stack::ScheduledExecution
- lawful_subtraction::CompactionReceiptV1
- lawful_subtraction::InvariantBudgetV1
- lawful_subtraction::RemovalFrontierV1
- lawful_subtraction::SubtractionPlanV1
- lawful_subtraction::SupportCoreV1
- mechanism::MechanismAdapter
- mechanism::MechanismBundleV1
- mechanism::RefuterSuiteV1
- mechanism::RefuterV1
- regional_decoder::RegionContractV1
- regional_decoder::RegionConvergenceReportV1
- regional_decoder::ResidualEnvelopeV1
- regional_decoder::SyndromeEnvelopeV1
Enums
- ExecutionStopReason
- OracleMode
- canonical_stack::ConstraintDegradation
- canonical_stack::ExecutionStopReason
- canonical_stack::OracleMode
- lawful_subtraction::BudgetType
- lawful_subtraction::SubtractionOperation
- mechanism::MechanismStatus
- mechanism::RefutationResult
- regional_decoder::ConvergenceState
- regional_decoder::ConvergenceStopReason
Functions
- canonical_stack::canonical_operator_metadata
- canonical_stack::compile_batch
- canonical_stack::conformance_gate_ids
- canonical_stack::constraint_compiler_operator
- canonical_stack::evaluate_conservative
- canonical_stack::evaluate_exact_bounded
- canonical_stack::execute_acyclic_baseline
- canonical_stack::execute_message_passing_baseline
- canonical_stack::message_passing_operator
- canonical_stack::schedule_execution
- regional_decoder::classify_convergence