Interface: MeetPreservationDto
@kortexya/reasoninglayer / NeuroSymbolic / MeetPreservationDto
Interface: MeetPreservationDto
Defined in: src/types/neuro-symbolic.ts:102
Meet preservation verification results.
Properties
maxDeviation
maxDeviation:
number
Defined in: src/types/neuro-symbolic.ts:104
Maximum L2 deviation.
meanDeviation
meanDeviation:
number
Defined in: src/types/neuro-symbolic.ts:106
Mean L2 deviation.
pairsWithinTolerance
pairsWithinTolerance:
number
Defined in: src/types/neuro-symbolic.ts:108
Pairs within tolerance.
totalGlbPairs
totalGlbPairs:
number
Defined in: src/types/neuro-symbolic.ts:110
Number of GLB pairs checked.
violationCount
violationCount:
number
Defined in: src/types/neuro-symbolic.ts:112
Number of violations.