instanceofのパターンマッチングは、型判定が成功した範囲でキャスト済みのパターン変数を利用できるJava SE 17の機能です。

obj instanceof String s の条件が真なら、その条件が保証するスコープ内でs.length()を呼べます。判定後に別の明示的キャストを重ねる必要はありません。

この用語は単独で暗記せず、目的、入力、処理、結果、適用できない境界の順に説明できるようにします。実務では前提条件と評価基準を明記し、期待した結果と実測結果を区別します。