これまでMirageでは主キーはアプリケーション側で生成するか、データベース側で自動採番するか（INSERT時のSQLには含めないのでトリガでもなんでも使って好きに採番して）の二択だったのですが、インサート後に採番された値が取得できないといろいろ不自由な…