Type Alias SolverRejectionReason

SolverRejectionReason: "unsupported" | "dimension" | "determinism"

Why "auto" moved past a registered solver (§37).

Type Declaration

"unsupported"
SolverRegistration.isSupported answered false.
"dimension"
The adapter does not declare the world's §21 dimension.
"determinism"
The adapter's §33 determinism tier is weaker than the world asked for.