めもおきば 技術同人誌と記事のアーカイブ
About

Digital Appendix

『AIエージェントが見つけたサーバーレス』のデジタル付録

A-REVIEW-01 版 0.10.1

設計レビュー台帳——記録の様式と横断照合

設計レビュー台帳——記録の様式と横断照合

対象本文

巻末「設計レビュー台帳」を補います。出荷判定の17問と各章末の問い(全68問)は書籍を正本とし、ここには、レビュー記録の様式、16の代表設計成果物の照合表、横断照合の8項目を置きます。複製して、あなたのリリースのレビューに使ってください。

収集方法

書籍のJIS B5・本文112ページ対応にともない、2026-07-28に書籍巻末から様式と照合表を移設しました。内容は書籍本文と同期しており、外部からの収集値を含みません。書籍の版が進み、成果物の定義や照合項目が変わったときに、この台帳も同じ版で更新します。

現在の答え

台帳の使い方: レビューIDを振って対象リリースを固定し、巻末の17の関所を通し、証拠を以下の16の代表設計成果物と補助証拠から引きます。台帳は、書類の有無ではなく、証拠の接続を判定するためのものです。

レビュー記録——対象と判定を固定する

レビューの最初に、何を判定したのかを固定します。参照アーキテクチャの記入例は次の形です。

項目記入例
レビューIDship-review:r25:01
対象release_id=r25、workflow v7、AI BOM v25
業務境界問い合わせ受領→社内検索→返信案→人承認→チケット書き戻し
対象データ規制対象の問い合わせ。要求は指定法域J1内での処理
証拠の締切判定時点までに署名・取得した構成、試験、契約、観測、評価
判定者プロダクト、基盤、セキュリティ、業務、法務・調達の各責任者
判定条件付き不合格
未解決評価器のJ1外処理。代替評価器の影実行と専門判断が必要
所有者・期限プラットフォーム責任者。次回の出荷判定まで
例外なし。期限付き例外を設ける場合は承認者と失効条件を別記
証跡参照主権マトリクスr25-v3、データフローr25-v4。代替評価試験は未取得
再レビュー代替評価器、契約、データフロー、対象リリースのいずれかを変更したとき

この判定は書籍第16章の記入例を引き継いでいます。保存場所と鍵が満たされても、一つの未解決なデータ経路が残れば出荷しません。条件付きは、解く条件、所有者、期限、再判定の引き金を記録する状態です。

読者用のヘッダーには、この記入例と同じ項目列をそのまま使います。関所と成果物は、すべてこの一枚へ参照を返します。

成果物レビュー——16枚を一つのリリースへ束ねる

関所を通す証拠の中心は、次の16の代表設計成果物です。復旧試験、評価結果、作用記録、拒否試験、演習記録は、版・試験・実行のたびに更新または増加します。こうした補助証拠は16枚の外に置き、対応する代表成果物から参照します。責任の異なるものを一枚の万能表へ押し込まず、共通のrelease_id、run_id、データ分類、承認対象、評価定義で束ねます。

第I・II部——実行と境界

成果物正本章最低限結ぶもの不合格の兆候
実行・依存マップ3.5第1章の作り捨て・外部正本要件、第2章の初期化・復元要件、実行単位、寿命、課金、推論、外部依存、退出の引き金推論先や正本が「既定」のまま
脅威モデル4.8資産、七攻撃面、予防制御、検知、失効、破棄、証拠壁の製品名だけで守る対象がない
ライフサイクル比較表5.4第2章のスナップショット作成前・復元後要件、七軸、契約/ベストエフォート/利用者実装、実測休止、破棄、再割当を同じ矢印で描く
権限・委任マトリクス6.5利用者、ワークロード、対象、scope、承認、証拠、委任封筒の必須項目と検証順序原トークンまたはpayloadのtenant_idだけで認可する

第III部——状態、作用、進行

成果物正本章最低限結ぶもの不合格の兆候
状態台帳7.5正本、再生成性、整合性、保持・削除、法域、復旧目標、別障害境界、最終復元試験、重複キー保持環境が唯一の正本になっている。外部ストアの存在だけで戻せると見なす
リトライ予算8.7責任者、対象失敗、試行・時間、バックオフ、同時実行、再認可、枯渇後、作用記録の参照、処理中の印の期限と結果不明時の突き合わせ各層の既定再試行を掛け合わせていない。結果不明の実行を「処理中」のまま残す
ワークフロー境界表9.6段階、次の一手の主体、進行条件、外部作用、待機・期限、失敗時、証拠読みやすい図が、レビューも版固定もできない正本になっている
耐久フロー図10.4履歴、チェックポイント、環境復元、承認、冪等性、結果参照、補償、履歴の復旧目標リプレイ時に完了済みの作用を再実行する

第IV部——観測、証拠、部品、変更

成果物正本章最低限結ぶもの不合格の兆候
観測設計11.5問い、信号、相関キー、SLO、引き金、停止、担当、保持、費用、証拠保全信号に行動がなく、行動に信号がない
決定証跡エンベロープ12.3入力参照、版、作用、ポリシー、承認、評価、結果、完全性、保持モデルが語った理由を証拠にする
リリース判定のTEVV表12.4用途、必須観点、標本と合格条件、測らない理由、残余リスクの引受先「測らない」を空欄のまま出す
AI BOM13.4コード、モデル、プロンプト、ツール、索引、ポリシー、評価、来歴、署名可変別名を不変版として扱う
ロールアウト・停止計画14.6入口評価、段階、既存実行の版、旧版排出、停止、補償、完了条件ロールバックが新規入口の切替だけで終わる

第V部——退出、主権、物理

成果物正本章最低限結ぶもの不合格の兆候
退出計画15.5持ち出す正本、再生成物、作り直す身元、演習、合格条件、時間、費用、消去エクスポート成功だけで移行合格にする
主権マトリクス16.6所在、法域、運用、鍵と停止権、実行中アクセス、専門家、期限リージョンまたは鍵の一項だけで適合とする
エネルギー・炭素算定境界17.5E、I、M、品質条件つきR、総量、強度、方法版、不確実性請求額からkWhを作り、未知をゼロで埋める

横断照合——一件と一式を切らさない

結合キー・照合条件同じ値または定義で結ぶ成果物確認すること
release_id決定証跡、AI BOM、ロールアウト、退出、算定境界実行した版と評価・移行・算定した版が同じか
run_id状態台帳、作用記録、耐久フロー、観測、決定証跡一件の受付から外部作用と業務結果まで辿れるか
テナント・データ分類脅威モデル、権限表、状態台帳、主権マトリクス壁、権限、保持、法域が同じ対象を指すか
対象ダイジェスト・承認作用記録、耐久フロー、決定証跡、ロールアウト承認後に対象を作り直していないか
評価セット・品質条件実行・依存マップ、決定証跡、AI BOM、ロールアウト、退出、算定境界品質を落として費用や炭素を良く見せていないか
停止権・補償権限表、リトライ予算、ロールアウト、主権マトリクス鍵、外部作用、新規受付、版を別々に止められるか
正本・削除状態台帳、決定証跡、退出計画、主権マトリクス複製、消去、保持、退出後削除の範囲が一致するか
期間・方法版観測設計、成果あたりコスト、算定境界前後比較が同じ境界と方法で計算されているか

16枚が単独で合格しても、結合キーが切れていれば全体は不合格です。AI BOMがr25なのに退出演習がr24、承認対象のダイジェストと書き戻した対象が違う、炭素強度の分母だけが別の品質条件を使う。こうしたずれは、個別チェックリストでは見落とします。

第1章の外部正本一覧と破棄後の復旧試験は、実行・依存マップへ結びます。第2章の状態三分類とスナップショット作成前・復元後の試験は、実行・依存マップとライフサイクル比較表へ結びます。第8章の作用記録は一作用ごとに増える補助証拠であり、17枚目の設計表ではありません。run_id、冪等性キー、対象ダイジェストでリトライ予算とワークフロー境界表へ結び、必要な一件をレビュー台帳から引ける状態にします。一つの関所が複数成果物を要求しても、一つの成果物が複数関所を支えてもかまいません。

一次資料

既知の未知

変更履歴

付録索引へ戻る / 書籍サポートへ戻る