生成成果物

生成される成果物の全体像

Formula AIが生成するのは、画面のモックではなく、実際の業務で運用できる一式です。

生成される成果物

画面・API・データベースだけでなく、権限・テスト・各種設計書まで、一括で生成されます。設計書はExcel形式でダウンロードできます。

業務システム

仕様書から、画面・API・データベース・権限・監査ログを組み込んだ業務システムを生成します。

ER図（データモデル）

DBマイグレーションとあわせて、データモデルの図が生成されます。テーブルと項目は、仕様書のIDと対応しています。

証跡レポート

DB・API・画面の検証結果を、レポートとして記録します。「仕様どおりに動いたか」に、後から答えられます。

業務フロー図

スイムレーン形式の業務フロー図が自動で描かれます。工程・担当・ルールが一望でき、仕様の説明資料としてそのまま使えます。

生成コード（抜粋）

生成されるのは、標準技術（SvelteKit / F#(.NET) / PostgreSQL）の読めるコードです。特定ベンダーの実行基盤に依存しません。

画面仕様書

画面ごとに、概要・項目定義・バリデーション・権限までを一つの仕様書として記載します。

API定義書

エンドポイントごとに、入出力の項目・型・処理フロー・利用できるロールを記載します。

IF定義書

外部システムとの連携は、項目のマッピングまで定義書として残ります。

バッチ設計書

起動条件・前提条件から処理の流れまで、バッチ処理も設計書とセットで扱います。

権限設定情報（ロール・権限マスタ）

誰がどの画面・APIを使えるかを、ロール×機能のマトリクスで記載します。

テスト仕様

ケース一覧と判定基準が表で残るため、検収時のテスト計画にそのまま使えます。

メッセージ定義

エラー・警告・情報の文言をIDで台帳管理します。画面・APIからの参照もIDで辿れます。

操作マニュアル

操作手順からエラー時の対処まで、利用部門に配れるマニュアルの形で残ります。

標準装備の統制機能

管理画面・監査ログ・証跡レポートは、案件ごとの追加開発ではなく、製品に組み込まれた統制機能です（提供範囲・条件は契約時に個別に定めます）。

管理画面 製品標準

ユーザーとロール（RBAC）を管理する画面です。誰が何をできるかを、IT部門が統制できます。

監査ログ 製品標準

APIリクエストと、データ変更の前後（before/after）の2軸で記録します。「いつ・誰が・何を変えたか」に答えられます。

証跡レポート 製品標準

生成のたびに検証の証跡が残ります。監査やレビューの際に、後から検証結果を提示できます。