Crate recursive_kernel_core 

Structs

CalibrationReport

CertificateArtifact

ConstraintUnit

KernelRefutationResult

KernelRun

OperatorContract

OperatorMetadata

PerturbationWitness

ResidualArtifact

Syndrome

WitnessArtifact

Enums

ArtifactAuthorityClass

ConvergenceKind

DegradationBehavior

ExactnessClass

KernelArtifactKind

KernelRefutationOutcome

StopRule

Constants

CONSTRAINT_COMPILER_OPERATOR_ID

CONSTRAINT_COMPILER_OPERATOR_NAME

RECURSIVE_MESSAGE_PASSING_OPERATOR_ID

RECURSIVE_MESSAGE_PASSING_OPERATOR_NAME

Functions

constraint_compiler_operator

Returns the canonical metadata for the bounded constraint-compiler operator.

message_passing_operator

Returns the canonical metadata for the bounded recursive message-passing operator.