Skip to content

Interface: MeetPreservationDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / MeetPreservationDto

Defined in: src/types/neuro-symbolic.ts:102

Meet preservation verification results.

maxDeviation: number

Defined in: src/types/neuro-symbolic.ts:104

Maximum L2 deviation.


meanDeviation: number

Defined in: src/types/neuro-symbolic.ts:106

Mean L2 deviation.


pairsWithinTolerance: number

Defined in: src/types/neuro-symbolic.ts:108

Pairs within tolerance.


totalGlbPairs: number

Defined in: src/types/neuro-symbolic.ts:110

Number of GLB pairs checked.


violationCount: number

Defined in: src/types/neuro-symbolic.ts:112

Number of violations.