Interface: TheoryFingerprint
@kortexya/reasoninglayer / TheoryFingerprint
Interface: TheoryFingerprint
Section titled “Interface: TheoryFingerprint”Defined in: src/types/ontology.ts:658
Digests of the tenant’s own formal theory: its sort declarations and its rules, with plugin and engine contributions excluded.
Remarks
Section titled “Remarks”Two fingerprints are comparable only when their definition values are
equal. Under one definition, equal digests mean the covered declarations (or
rules) are equal. Plugin contributions are excluded, so a plugin install
changes only the TheoryExclusions counts. The read changes nothing:
the engine does not hydrate the tenant’s facts to compute it.
Properties
Section titled “Properties”declarationSet
Section titled “declarationSet”declarationSet:
TheoryDigestCount
Defined in: src/types/ontology.ts:662
The tenant’s own sort declarations, plugin and engine sorts excluded.
definition
Section titled “definition”definition:
string
Defined in: src/types/ontology.ts:660
The fingerprint definition, e.g. domain-theory-v1.
excluded
Section titled “excluded”excluded:
TheoryExclusions
Defined in: src/types/ontology.ts:669
What was left out.
ruleSet
Section titled “ruleSet”ruleSet:
TheoryDigestCount
Defined in: src/types/ontology.ts:667
The tenant’s own rules with the rule graph of each (the terms the rule owns, not the facts it points at), plugin rules excluded.