Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: GetQuotientOrderOptions

@kortexya/reasoninglayer

@kortexya/reasoninglayer / GetQuotientOrderOptions

Interface: GetQuotientOrderOptions

Section titled “Interface: GetQuotientOrderOptions”

Defined in: src/types/sorts.ts:1029

Options for reading the Definition IV.9 quotient order.

Properties

Section titled “Properties”

granularity?

Section titled “granularity?”

optional granularity?: SortPreorderGranularity

Defined in: src/types/sorts.ts:1039

Which fuzzy preorder to quotient.

Remarks

Section titled “Remarks”

The engine’s default here is combined — NOT the similarity_deleted default of GetPreorderDegreeRequest.granularity. Under combined a directly-similar pair lands in one class; under similarity_deleted only chain cycles merge.