Interface: AggregationEvidence
@kortexya/reasoninglayer / AggregationEvidence
Interface: AggregationEvidence
Section titled “Interface: AggregationEvidence”Defined in: src/types/inference.ts:111
Evidence for the arithmetic step that joins an aggregate’s contributor proofs.
Remarks
Section titled “Remarks”Serialization format: groupValues, inputs and result are tagged
ValueDto values ({"type": ..., "value": ...}).
Properties
Section titled “Properties”descriptor
Section titled “descriptor”descriptor:
AggregationDescriptor
Defined in: src/types/inference.ts:113
What was aggregated.
enumerationComplete
Section titled “enumerationComplete”enumerationComplete:
boolean
Defined in: src/types/inference.ts:124
Whether every contributor was enumerated. false means result is
computed over the contributors found so far, not over all of them.
groupValues
Section titled “groupValues”groupValues:
Record<string,ValueDto>
Defined in: src/types/inference.ts:115
The group key’s values, keyed by feature name (data, not camelCased).
inputs
Section titled “inputs”inputs:
ValueDto[]
Defined in: src/types/inference.ts:117
The contributor values the operator was applied to.
result
Section titled “result”result:
ValueDto
Defined in: src/types/inference.ts:119
The aggregate value.