7-4のJ分岐を攻略wikiで見るとすごいややこしいんですが
Kに行く分岐だけを取り出すと、初手CからDに行く分岐法則と一致してて
逆にLとPに行くやつだけ抜き出すと Eを経由する分岐法則に一致します
ということでFから来た編成は強制Kで、
Eから来た編成は索敵でKかL もしくはKかPに行く ってシンプルに考えていいと思います。
以下 閲覧注意(轟沈表現を含みます)
軽巡2海防艦2航戦1軽空1のC>Dへ行く編成を作り、Jマスで軽巡を轟沈させました
軽巡1海防2だと分岐法則上はLへ行くはずですがKへと分岐しました
軽巡1軽空1航戦1海防2
— ⒸⒸ_Ⓙⓐⓑⓑⓔⓡⓦⓞⓒⓚ (@CC_jabberwock) 2023年1月21日
索敵スコア133.2
JからKへ
分岐法則からはLに行くはずだがKに行った
おそらくFから来た艦隊は強制でK pic.twitter.com/SkOQBMCM4t
この結果からもFから来れば強制でKと考えていいと思います