Type Alias: SuggestedFix
@kortexya/reasoninglayer / SuggestedFix
Type Alias: SuggestedFix
Section titled “Type Alias: SuggestedFix”SuggestedFix = {
action:"swap"; } | {action:"replace_predicate";feature:string; } | {action:"add_subject_type";sort:string; } | {action:"add_object_type";sort:string; } |UnrecognizedSuggestedFix
Defined in: src/types/conformance.ts:160
A bounded repair the conformance detector proposes, discriminated by action.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ action: "swap"; }
action
Section titled “action”action:
"swap"
Swap subject and object.
Type Literal
Section titled “Type Literal”{ action: "replace_predicate"; feature: string; }
action
Section titled “action”action:
"replace_predicate"
Use another declared feature.
feature
Section titled “feature”feature:
string
The feature to use instead.
Type Literal
Section titled “Type Literal”{ action: "add_subject_type"; sort: string; }
action
Section titled “action”action:
"add_subject_type"
Narrow the subject toward the declared domain.
sort:
string
The sort to add to the subject.
Type Literal
Section titled “Type Literal”{ action: "add_object_type"; sort: string; }
action
Section titled “action”action:
"add_object_type"
Narrow the object toward the declared range.
sort:
string
The sort to add to the object.
Remarks
Section titled “Remarks”Read from the engine’s SuggestedFixDto
(crates/api/src/handlers/conformance.rs, #[serde(tag = "action")]):
swap— swap subject and object (V1 inversion).replace_predicate— use another declaredfeaturethat fits the two sorts (V2).add_subject_type— narrow the subject toward the declared domainsort(V3).add_object_type— narrow the object toward the declared rangesort(V3).unrecognized— SDK-side: an entry whoseactionthis SDK does not know (or that lacks its field). The wire entry is kept whole inentry, so a fix that a later engine adds reaches the caller instead of being dropped.