Skip to content

Interface: TermRefusal

@kortexya/reasoninglayer


@kortexya/reasoninglayer / TermRefusal

Defined in: src/types/terms.ts:626

A term-lifecycle refusal, read out of the error a term write threw.

Read by termRefusalOf. code is the contract; the prose of message is not. The lists are empty when the body carries none.

code: TermRefusalCode

Defined in: src/types/terms.ts:630

The stable code.


optional derivedBy?: string

Defined in: src/types/terms.ts:642

The rule that derived the term (write_targets_derived_fact).


message: string

Defined in: src/types/terms.ts:632

The refusal in words.


referrers: TermReferrerDto[]

Defined in: src/types/terms.ts:636

Everything that references the term.


repairs: OsfqlRepair[]

Defined in: src/types/terms.ts:638

What to write instead (write_targets_derived_fact, write_targets_rule).


ruleIds: string[]

Defined in: src/types/terms.ts:640

The rules whose term graph holds the term (write_targets_rule).


status: number

Defined in: src/types/terms.ts:628

HTTP status of the refusal (400, 403, 409, 422 or 500).


termId: string

Defined in: src/types/terms.ts:634

The term the refusal is about.