Module registry 

Automatic reduction registration via inventory.

Structs

EdgeCapabilities

Execution capabilities carried by a reduction edge.

ReductionEntry

A registered reduction entry for static inventory registration. Uses function pointers to lazily derive variant fields from Problem::variant().

ReductionParameterContract

Validated parameter metadata for one reduction edge.

ReductionParameterDeclarations

Raw symbolic declaration emitted by the reduction proc macro.

UnavailableParameterField

One target parameter that cannot be propagated through a reduction.

Enums

ParameterContractError

Functions

reduction_entries

Return all registered reduction entries.

validate_reduction_parameter_schemas

Validate reduction parameter expressions against problem-owned endpoint schemas.

Type Aliases

AggregateReduceFn

Aggregate/value reduction executor stored in the inventory.

ReduceFn

Witness/config reduction executor stored in the inventory.