Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: SortPreorderGranularity

@kortexya/reasoninglayer

@kortexya/reasoninglayer / SortPreorderGranularity

Type Alias: SortPreorderGranularity

Section titled “Type Alias: SortPreorderGranularity”

SortPreorderGranularity = "similarity_deleted" | "combined"

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

Which of the paper’s two fuzzy preorders a degree is read from.

Remarks

Section titled “Remarks”
  • similarity_deleted — Definition IV.5, the dotted preorder. Every DIRECTLY-similar pair is deleted from the combined preorder, the crisp order is unioned back, and the result re-closed. A directly-similar pair therefore answers 0: two similar sorts meet through their GLB, not through each other. This is the relation the graded GLB and term substitutability are computed from.
  • combined — Definition IV.1, where a similarity edge IS a step, so a directly-similar pair answers its similarity degree. The coarse retrieval reading, and the one equivalence classes use.

The same two spellings name the granularity of GET /api/v1/sorts/quotient-order. Any other value is rejected with 400.