Current a=b. Current equality is false; prior equality
qualifies. Default propagate requires finite adjacent pairs; skip uses
the most recent jointly finite pair. Missing current pairs and the first
pair return false. Unequal lengths throw RangeError; unknown policies
throw TypeError.
Current a=b. Current equality is false; prior equality qualifies. Default
propagaterequires finite adjacent pairs;skipuses the most recent jointly finite pair. Missing current pairs and the first pair return false. Unequal lengths throw RangeError; unknown policies throw TypeError.