Interface: AntiUnifyBatchRequest
@kortexya/reasoninglayer / Operations / AntiUnifyBatchRequest
Interface: AntiUnifyBatchRequest
Defined in: src/types/operations.ts:42
Anti-unify a batch of Ψ-terms (2..=64) into one LGG — request body for
POST /api/v1/operations/anti-unify-batch.
The terms are folded left into a running LGG. All must already be registered in the tenant’s term store.
Properties
termIds
termIds:
string[]
Defined in: src/types/operations.ts:44
Ψ-term ids to generalize, in fold order (2..=64).