イミュータブルなデータレジストリの設計とAlloyによる形式検証

前回に引き続き、data-registryサービスを実装していく。 今回はdatasetVersionの生成ロジック周りを設計する。

副作用を持つHTTPエンドポイントに安全性を確保するプラクティス—SeriesToday-I-learned

Idempotency-Keyヘッダがこの目的のために提案されている（確認時点ではまだWG Document）。