| 項目 | 必須 | 型 | 桁溢れ | 範囲/個別 | DB検証 |
|---|---|---|---|---|---|
| 得意先コード数字 | ● | ● | ● | — | code |
| 商品区分1〜3 | — | ● | — | ✎ | item_class |
| 数量数字 | — | ● | ● | — | qty |
| 金額計算 | — | ● | ● | ✎ =数量×単価 | amount |
画面や帳票が無くても、関数の 入出力・分岐・例外・副作用(DB) から同じく逆生成できる。例：calcTax(amount, rate) → 正常／境界(0, 上限)／異常(負値→例外)／丸め仕様、を自動抽出して差分表示。
画面遷移＋DB対応＋モジュール入出力から自動導出。赤=人間が「ここ違う」と直す箇所（暗黙の業務知識はここで補う）。