r319のlatest表示に対応する6input/library pinsをr313-r02/library314-r02へ修復し旧pinsをhistory保持。選定親274・制作32・hold303と原17未受入/30-88/9-19-60は維持。r320beforeと不変MDは内容一致を確認したr319checkpointを再利用、変更後JSONは本checkpointへ保存。r315/r317の有限検証は既存r318checkpointを再利用。コピー・新engine・受入追加なし。
r319のlatest表示に対応する6input/library pinsをr313-r02/library314-r02へ修復し旧pinsをhistory保持。選定親274・制作32・hold303と原17未受入/30-88/9-19-60は維持。r320beforeと不変MDは内容一致を確認したr319checkpointを再利用、変更後JSONは本checkpointへ保存。r315/r317の有限検証は既存r318checkpointを再利用。コピー・新engine・受入追加なし。