Identifies binary variables and returns a deterministic mapping for 0/1 coding.
Factors with explicit order (ordered = TRUE) do NOT use heuristics; the highest (last) level is Positive.
Logicals map to Negative = "FALSE", Positive = "TRUE".
Numeric 0/1 (or any 2-value numeric) maps Positive to the numeric maximum.
Characters / unordered factors use minimal heuristics (no race/PWH/sex terms).
