Interface: TheoryExclusions
@kortexya/reasoninglayer / TheoryExclusions
Interface: TheoryExclusions
Section titled “Interface: TheoryExclusions”Defined in: src/types/ontology.ts:638
What a theory fingerprint left out of both sets.
Remarks
Section titled “Remarks”These counts describe the read; they are not digested. A plugin install changes them without changing either digest.
Properties
Section titled “Properties”engineSorts
Section titled “engineSorts”engineSorts:
number
Defined in: src/types/ontology.ts:640
The tenant’s sorts left out as engine machinery.
pluginRules
Section titled “pluginRules”pluginRules:
number
Defined in: src/types/ontology.ts:644
The tenant’s rule terms left out because a plugin install contributed them.
pluginSorts
Section titled “pluginSorts”pluginSorts:
number
Defined in: src/types/ontology.ts:642
The tenant’s sorts left out because a plugin contributed them.