（続）Lattixで指摘したアーキテクチャルール違反を生成AIに修正させてみた（Lattixの設計ルールをAI指示に使う）

○前提
以下、ルールレポートとルール違反レポートは異なるものです。
ルールレポートは、設計上指定されているアーキテクチャルールを示したものです。
レイヤー間、サブシステム（フォルダ）間、ファイル間、関数間などに対するアーキテクチャルールが示されています。

ルール違反レポートは、実際に発生しているアーキテクチャルール違反を指摘したものです。

○レイヤー設計
レイヤーは上位から
app ：アプリケーション層。
view ：UI表示を行う層。
model ：データを管理する層。データはここで保持する。

となっています。

基本的に下位レイヤーのファイルや関数、変数から上位レイヤーへの依存は禁止です。

具体的にはLattixのルールレポートをご確認ください。

○Lattixのルールレポートの読み方
レポートのプロパティがヘッダー（冒頭7行程度）として記載されていますが無視してください。
9行目あたりにある「ルール」が重要な内容です。
「ルール」ではアーキテクチャルールが示されています。
この読み方は以下になります。
列１「ソース (Source) / コンシューマー (Consumer)」は依存元サブシステムを表します。
列２：「ルール」はルールの種類を示します。ルールには依存禁止(cannot-use)、依存許可(can-use)、依存強制(must-use)があります。
列３：「ターゲット (Target) / プロバイダー (Provider)」は依存先サブシステムを表します。

なお、最初の$rootの3行はLattixのデフォルトルールであり、システム設計とは無関係のため、
無視してください。（以下の3行です。）これはLattixの解析コード外への依存ルールを示したものです。
$root                                          can-use                                  $root                                    
$root                                          can-use                                  multidef.**                              
$root                                          can-use                                  unresolved.**                            

なお、同じサブシステムに関するルールが設定されている場合は、階層が深い方のルールが優先です。
一般的には階層が浅い方のルールはレイヤーやサブシステム間における設計ルールを示しており、
階層が深いルールはその例外ルールとして設定されています。

○実際のルールレポート
添付の「layer_sample_ルール.txt」がルールレポートです。


○ルール違反の修正依頼

以下はルールレポートに記載されたアーキテクチャルールに違反（すなわち、ルール違反）
となる依存関係をチェックツール（Lattix）から取得したレポートです。
layer_sample_CustomReports_ViolationswithLineNumbersCustom.txt

これはLattixの行番号付きアーキテクチャルール違反のレポートです。
上記レイヤー設計に対し、違反した依存関係が列挙されています。

この違反レポートを基にソフトウェアの動作が変わらないことを前提に、
ソースコードを修正いただけますか。

GitHub Copilot: 


Created 4 todos

[](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.c) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/app/main.c) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.h) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/view/view.c) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/view/view.h) の読み取り

Starting: *Analyze architecture violations* (2/4)

違反レポートの内容を分析し、コードを確認しました。
違反は全て model.c が上位レイヤー（app、view）に依存していることに起因します。

**違反一覧:**
1. model.c → view.h のInclude（model→view依存）
2. model.c の `multiplyVariable()` → `modelVariable2`（app層に帰属）
3. model.c の `sumVariable()` → `getModelVariable3()`（app層に帰属）
4. model.c の `sumVariable()` → `modelVariable2`（app層に帰属）

根本原因は model.h でグローバル変数を **定義**（`int modelVariable2 = 200;`）しているため、Lattixが変数の所属をapp層に帰属させてしまうことです。修正方針として、`model.h` を `extern` 宣言に変更し、実体を model.c に移動します。また、view.c には model.h の正式なインクルードを追加します（view→model依存は許可されている）。 

Starting: *Fix violations preserving behavior* (3/4)

[](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.h), [](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.c), [](file:///c%3A/work/work_ltxFunc/layer_sample/view/view.c) 内の 15 行を 18 行で置き換えています


```

```

```

```

```

```
修正を確認します。    

[](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.h) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/model/model.c) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/view/view.c) の読み取り

[](file:///c%3A/work/work_ltxFunc/layer_sample/app/main.c) の読み取り

Completed: *Fix violations preserving behavior* (3/4)

全4つの違反を修正しました。以下が変更内容です。

---

### 修正内容

**1. model.h — グローバル変数を `extern` 宣言に変更**

- `int modelVariable1 = 200;` → `extern int modelVariable1;`
- `int modelVariable2 = 200;` → `extern int modelVariable2;`

ヘッダーで変数を**定義**していたため、インクルードされるコンパイル単位にLattixが変数の所属を帰属させてしまい、`modelVariable2` が main.c に属すると判定されていました。`extern` 宣言に変更し、所有権を明確にしました。

**2. model.c — 変数の実体定義を追加**

- `int modelVariable1 = 200;` と `int modelVariable2 = 200;` をmodel.c内に定義。

これにより、両変数はmodel層（model.c）に明確に属するようになり、**違反2, 3, 4**（model→app依存）が解消されます。`getModelVariable3()` も元々 model.c 内の `static` 関数なので、model層内に閉じています。

**3. view.c — model.h のインクルードを追加**

- `#include "model.h"` を追加。

view.c は `multiplyVariable()` と `sumVariable()` を呼び出していますが、model.h をインクルードしていなかったため、暗黙的な関数宣言に依存していました。view→model依存はルール上許可されているため、明示的にインクルードすることで正しい依存関係を確立しました。これにより**違反1**（model→view依存の原因となっていたインクルードの不整合）も解消されます。

---

### アーキテクチャ依存関係（修正後）

```
app/main.c → view/view.h     ✅ (app→view: 上位→下位、許可)
view/view.c → view/view.h    ✅ (同一レイヤー)
view/view.c → model/model.h  ✅ (view→model: 上位→下位、許可)
model/model.c → model/model.h ✅ (同一レイヤー)
```

下位→上位の依存は一切なく、ソフトウェアの動作（出力結果）は変わりません。

Made changes.

レポート生成日時: 2026/03/16 15:39:21
ユーザー名: TechMatrix
プロジェクト名: layer_sample.und
フィルター設定: デフォルト フィルター
プロジェクト ファイル名: C:\work\work_ltxFunc\layer_sample\layer_sample.ldz
最終更新日時: 2026/03/16 15:35:36
C/C++ (Understand) の総サイズ: 65 lines

ルール
ソース (Source) / コンシューマー (Consumer)              ルール                                      ターゲット (Target) / プロバイダー (Provider)       
$root                                          can-use                                  $root                                    
$root                                          can-use                                  multidef.**                              
$root                                          can-use                                  unresolved.**                            
C:.work.work_ltxFunc.layer_sample.model        cannot-use                               C:.work.work_ltxFunc.layer_sample.app    
C:.work.work_ltxFunc.layer_sample.model        cannot-use                               C:.work.work_ltxFunc.layer_sample.view   
C:.work.work_ltxFunc.layer_sample.view         cannot-use                               C:.work.work_ltxFunc.layer_sample.app