Type Alias: AggregationDescriptor
@kortexya/reasoninglayer / AggregationDescriptor
Type Alias: AggregationDescriptor
Section titled “Type Alias: AggregationDescriptor”AggregationDescriptor =
RuleAggregatorDto|CollectorAggregatorEnvelope
Defined in: src/types/inference.ts:102
What an aggregate proof step aggregated.
Remarks
Section titled “Remarks”Wire format: an untagged union. A rule aggregator is the flat
RuleAggregatorDto (groupBy, op, target); a collector is
wrapped as { collector: { ... } }. Narrow with 'collector' in descriptor.