Clears the conclusion designation.
Invariant guard (1.0.2): A non-empty argument always has a conclusion designated (E-7). On an argument with one or more premises this method is a no-op — it returns the current (unchanged) role state with an empty changeset rather than leaving the engine in an E-7-violating state. The only path to legitimately end up with no conclusion designated is to remove every premise first. On a zero-premise argument the call still clears (vacuously satisfies the invariant).
The current role state and changeset. If premises exist, the changeset is empty (no-op); if zero premises, the role state is cleared and the changeset reflects the role change.
Returns the conclusion premise, or undefined if none is set.
The conclusion PremiseEngine, or undefined.
Returns the current role assignments (conclusion premise ID only; supporting is derived).
The current argument role state.
Returns all supporting premises (derived: inference premises that are not the conclusion) in lexicographic ID order.
An array of supporting PremiseEngine instances.
Designates a premise as the argument's conclusion.
The ID of the premise to designate.
The updated role state and changeset.
Conclusion and supporting premise role management.