OptionalforcedOptionalincludeInclude inference diagnostics in premise results.
OptionalincludeInclude per-expression truth maps in premise results (may be verbose).
OptionalpremisePremise-set satisfiability computed by the caller. Supplying it skips
the search — checkArgumentValidity computes it once and threads it
through its truth-table rows, where the surviving set never varies.
OptionalsatisfiabilityVariable IDs pinned true in the premise-set satisfiability search,
when that set differs from forcedTrueVariableIds. Defaults to it.
The two are separate because a citation belongs in one and not the
other. Asking whether the premises can hold at all takes a cited claim
at its source's word, so a citation is pinned here. But a reader may
disagree with a source, and their assignment on a citation-bound
variable is their own assertion — so a citation must stay out of
forcedTrueVariableIds, which is what decides that.
OptionalstrictReject assignment keys that are not referenced by the evaluated premises.
OptionalvalidateRun argument/premise evaluability validation before evaluating.
Variable IDs the reader did not assign and cannot be credited with — typically axiomatic-bound variables, which the engine forces true. They are never treated as reader assertions and are left out of the reached-without-assertion counterfactual. Unless
satisfiabilityForcedTrueVariableIdsis given, they are also pinnedtruein every row of the premise-set satisfiability search.