> ユーザーの中止動作から、実際に TeX に伝わるまでの間に
> タイプセットが完了してしまっている可能性が大きいですね。
そのことは思考から抜け落ちていました．
おっしゃるとおりかもしれません．
ご指摘のとおり，\includegraphicsでpdfの図面を読み込んでいますので，軽いソースということになります．
> ＃TeX worksがシステム側にタイプセット中止を伝えていないのかもしれません（ならばTeX worksのバグ？）
については撤回させていただきます．
ご指摘ありがとうございました．