Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: OsfqlChainStatement

@kortexya/reasoninglayer

@kortexya/reasoninglayer / OsfqlChainStatement

Type Alias: OsfqlChainStatement

Section titled “Type Alias: OsfqlChainStatement”

OsfqlChainStatement = "chain" | "retract" | "update" | "insert" | "derive_bulk" | "prove" | "lifetime_cleanup"

Defined in: src/types/osfql.ts:254

The statement whose execution ran a forward chain.

Remarks

Section titled “Remarks”

chain is an explicit CHAIN; retract, update and insert are the re-derivation a write ran; derive_bulk a bulk DERIVE; prove the forward pass a PROVE ran; lifetime_cleanup the re-derivation after a lifetime expiry removed terms.