feat: name_deny で文字列リテラルをチェック (StringLiteral) (#72)

* [test] add NameKind::StringLiteral + ParsedNames::string_literals because of name_deny must check string literals

Phase 1: Domain型追加。ParsedNames のコンパイルタイムガードにより
全パーサーでコンパイルエラーが発生する状態（RED）。

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [test] add StringLiteral naming violation tests because of name_deny must cover string literals

- string literal が name_deny でマッチしたとき NamingViolation が出るテスト
- name_targets に StringLiteral を含めないとスキップされるテスト

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [fix] implement StringLiteral extraction in all 8 parsers because of name_deny must check string literals

- partition_names に StringLiteral 分岐追加
- strip_string_delimiters ヘルパー追加（クォート除去）
- Rust/Go/Python/TypeScript/Java/Kotlin/PHP/C パーサーに文字列リテラル抽出追加
- mille.toml の domain/usecase で name_targets から string_literal を除外（自己dogfood対応）

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] update docs for StringLiteral name_deny support because of PR workflow checklist

- README.md: name_targets に string_literal 追加、対応言語に C 追加
- Website (ja/en): name_targets テーブル・対応言語テーブル更新
- docs/TODO.md: 実装状況サマリー更新
- tasks/ TODO.md + timeline.md 更新

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] remove emoji checkmark grids and ASCII art from README/website because of zero information density

- Feature matrix: 全セル ✅ の表を「Languages + Check/Description」形式に変更
- ASCII art レイヤー図を削除（website は SVG hero で代替済み）
- Naming 対応言語表を一文に置き換え（全言語・全ターゲット対応）

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] move language-specific logic out of domain/usecase because of clean architecture

- ResolvedImport に package_name フィールド追加、各 resolver で設定
- violation_detector から拡張子ベースのパッケージ名抽出を削除（domain に言語知識が漏れていた）
- extract_ts_package_name を infrastructure/resolver/typescript に移動
- ext_to_language を infrastructure/parser に移動（usecase/init.rs から参照）
- mille.toml: name_deny_ignore でテストコード含むファイルを除外

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] replace language names in test strings with neutral alternatives because of name_deny false positives

- domain layer: name_deny_ignore 完全撤廃（テスト内の "rust" → "mylang"、"go" → "bad" 等に置換）
- usecase layer: init.rs のみ name_deny_ignore 残置（言語検出テストが正当に言語名を使用するため）
- check_architecture.rs: テストファイルパスから "go" を除去

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] introduce LanguageDetector trait to decouple usecase from infrastructure because of clean architecture

- domain/repository/language_detector.rs: LanguageDetector trait 追加
- infrastructure/parser/mod.rs: ExtensionLanguageDetector として実装
- usecase/init.rs: detect_languages が trait 経由で言語検出（infrastructure 直接参照を排除）
- runner.rs: ExtensionLanguageDetector を注入

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [refactor] make init.rs tests language-agnostic and remove all name_deny_ignore because of dogfood strictness

- StubResolveGen を言語名に依存しない設計に変更（resolve_output/internal_pkgs を直接指定）
- generate_toml テスト: 実言語名 → "lang_a"/"lang_b"/"lang_c"/"lang_d" に置換
- detect_languages テスト: FakeDetector で infrastructure 依存を排除
- assertion メッセージの "got" → "found" に変更（"go" の部分一致回避）
- mille.toml: name_deny_ignore を全レイヤーから完全撤廃

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

* [test] add language-specific resolve tests to infrastructure because of test coverage moved from usecase

- module_path が Go 以外で無視されることを検証
- package_prefix が Java/Kotlin 以外で無視されることを検証
- Kotlin でも package_prefix resolve が動作することを検証
- monorepo での package_names 重複排除を検証
- package_prefix_name なしで resolve セクションが出力されないことを検証

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: makinzm

.claude/rules/no-tmp.md

@@ -0,0 +1,6 @@
+# /tmp を使わない
+
+一時ファイルやスクリプトを作成するとき `/tmp` を使わない。
+カレントディレクトリ（プロジェクトルート）に作成し、不要になったら削除する。
+
+`/tmp` はあなたの作業場所ではない。

README.md

@@ -2,28 +2,20 @@
 
 > Like a mille crêpe — your architecture, one clean layer at a time.
 
-```
-  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━  presentation
-  · · · · · · · · · · · · · · · · · ·  (deps only flow inward)
-  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━  infrastructure
-  · · · · · · · · · · · · · · · · · ·
-  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━  usecase
-  · · · · · · · · · · · · · · · · · ·
-  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━  domain
-```
-
 `mille` is a static analysis CLI that enforces **dependency rules for layered architectures** — Clean Architecture, Onion Architecture, Hexagonal Architecture, and more.
 
 One TOML config. Rust-powered. CI-ready. Supports multiple languages from a single config file.
 
 ## What it checks
 
-| Check | Rust | Go | TypeScript | JavaScript | Python | Java | Kotlin | PHP | C |
-|---|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|
-| Layer dependency rules (`dependency_mode`) | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
-| External library rules (`external_mode`) | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
-| DI method call rules (`allow_call_patterns`) | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
-| Naming convention rules (`name_deny`) | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
+**Languages:** Rust, Go, TypeScript, JavaScript, Python, Java, Kotlin, PHP, C
+
+| Check | Description |
+|---|---|
+| `dependency_mode` | Layer dependency rules — control which layers can import from which |
+| `external_mode` | External library rules — restrict third-party package usage per layer |
+| `allow_call_patterns` | DI method call rules — limit which methods may be called on injected types |
+| `name_deny` | Naming convention rules — forbid infrastructure keywords in domain/usecase |
 
 ## Install
 
@@ -435,7 +427,7 @@ Exit codes:
 | `external_deny` | Forbidden external packages (when `external_mode = "opt-out"`) |
 | `name_deny` | Forbidden keywords for naming convention check (case-insensitive partial match) |
 | `name_allow` | Substrings to strip before `name_deny` check (e.g. `"category"` prevents `"go"` match inside it) |
-| `name_targets` | Targets to check: `"file"`, `"symbol"`, `"variable"`, `"comment"` (default: all) |
+| `name_targets` | Targets to check: `"file"`, `"symbol"`, `"variable"`, `"comment"`, `"string_literal"` (default: all) |
 | `name_deny_ignore` | Glob patterns for files to exclude from naming checks (e.g. `"**/test_*.rs"`) |
 
 #### Naming Convention Check (`name_deny`)
@@ -454,7 +446,7 @@ external_deny = []
 # Usecase layer must not reference specific infrastructure technologies
 name_deny    = ["gcp", "aws", "azure", "mysql", "postgres"]
 name_allow   = ["category"]   # "category" contains "go" but should not be flagged
-name_targets = ["file", "symbol", "variable", "comment"]  # default: all targets
+name_targets = ["file", "symbol", "variable", "comment", "string_literal"]  # default: all targets
 name_deny_ignore = ["**/test_*.rs", "tests/**"]  # exclude test files from naming checks
 ```
 
@@ -468,7 +460,8 @@ name_deny_ignore = ["**/test_*.rs", "tests/**"]  # exclude test files from namin
   - `"symbol"`: function, class, struct, enum, trait, interface, type alias names
   - `"variable"`: variable, const, let, static declaration names
   - `"comment"`: inline comment content
-- Supported languages: Rust, TypeScript, JavaScript, Python, Go, Java, Kotlin, PHP
+  - `"string_literal"`: string literal content
+- Supported languages: Rust, TypeScript, JavaScript, Python, Go, Java, Kotlin, PHP, C
 - Severity is controlled by `severity.naming_violation` (default: `"error"`)
 
 ### `[[layers.allow_call_patterns]]`

docs/TODO.md

@@ -31,6 +31,7 @@
 - ✅ ネーミング規則チェック (`name_deny` / `name_targets` / `name_allow` / `name_deny_ignore`) — レイヤーごとに禁止キーワードを設定し、ファイル名・シンボル名・変数名・コメントに禁止キーワードが含まれる場合に `NamingViolation` を報告（大文字小文字区別なし・部分一致）。`name_allow` で false positive を抑制、`name_deny_ignore` でグロブパターンにマッチするファイルを除外可能。対応言語: Rust/TypeScript/Python/Go/Java/Kotlin/PHP。`severity.naming_violation` で重大度設定可（PR #65）
 - ✅ `ParsedNames` 構造体によるコンパイルタイムガード — `Parser::parse_names` の戻り値を `ParsedNames` に変更し、新しい `NameKind` 追加時に全パーサーでコンパイルエラーが発生するよう保証。PHP/Python に Variable 抽出を追加（PR #68）
 - ✅ C 言語サポート — `.c`/`.h` ファイルの `#include` パース、`"..."` → Internal / `<stdlib>` → Stdlib / `<other>` → External 分類、Symbol/Variable/Comment naming 抽出、E2E テスト追加（PR #69）
+- ✅ `name_deny` 文字列リテラルチェック — `NameKind::StringLiteral` / `NameTarget::StringLiteral` 追加、全8言語パーサーで文字列リテラル抽出、`name_targets` で `"string_literal"` のオプトアウト可能（PR #71）
 - ✅ PHP 言語サポート — `.php` ファイルの `use` 文パース（simple/aliased/grouped/function/const）・Internal/External/Stdlib 分類、`[resolve.php] namespace` 設定、`composer.json` `autoload.psr-4` 自動検出、PHP stdlib クラス（DateTime/PDO/Exception 等）の Stdlib 自動分類
 
 以下は **設定ファイルにフィールドが存在しても、まだ動作していない** 項目です（README に掲載しないよう修正済み）：

src/domain/entity/config.rs

@@ -77,7 +77,7 @@ mod tests {
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "domain"
@@ -96,7 +96,7 @@ external_mode = "opt-in"
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "usecase"
@@ -123,7 +123,7 @@ name_deny = ["aws", "gcp"]
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "usecase"
@@ -154,7 +154,7 @@ name_targets = ["file", "symbol"]
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "usecase"
@@ -180,7 +180,7 @@ name_deny = ["aws"]
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "usecase"
@@ -208,7 +208,7 @@ naming_violation = "error"
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "usecase"
@@ -229,7 +229,7 @@ external_mode = "opt-out"
 [project]
 name = "myproject"
 root = "."
-languages = ["rust"]
+languages = ["mylang"]
 
 [[layers]]
 name = "domain"

src/domain/entity/layer.rs

@@ -10,6 +10,7 @@ pub enum NameTarget {
     Symbol,
     Variable,
     Comment,
+    StringLiteral,
 }
 
 impl NameTarget {
@@ -19,6 +20,7 @@ impl NameTarget {
             NameTarget::Symbol,
             NameTarget::Variable,
             NameTarget::Comment,
+            NameTarget::StringLiteral,
         ]
     }
 
@@ -28,6 +30,7 @@ impl NameTarget {
             NameTarget::Symbol => NameKind::Symbol,
             NameTarget::Variable => NameKind::Variable,
             NameTarget::Comment => NameKind::Comment,
+            NameTarget::StringLiteral => NameKind::StringLiteral,
         }
     }
 }

src/domain/entity/name.rs

@@ -22,6 +22,8 @@ pub enum NameKind {
     Variable,
     /// Inline comment content.
     Comment,
+    /// String literal content.
+    StringLiteral,
 }
 
 /// Parsed names grouped by kind.
@@ -36,16 +38,23 @@ pub struct ParsedNames {
     pub variables: Vec<RawName>,
     /// Inline comment contents.
     pub comments: Vec<RawName>,
+    /// String literal contents.
+    pub string_literals: Vec<RawName>,
 }
 
 impl ParsedNames {
     /// Flatten all parsed names into a single `Vec<RawName>`.
     pub fn into_all(self) -> Vec<RawName> {
-        let mut out =
-            Vec::with_capacity(self.symbols.len() + self.variables.len() + self.comments.len());
+        let mut out = Vec::with_capacity(
+            self.symbols.len()
+                + self.variables.len()
+                + self.comments.len()
+                + self.string_literals.len(),
+        );
         out.extend(self.symbols);
         out.extend(self.variables);
         out.extend(self.comments);
+        out.extend(self.string_literals);
         out
     }
 }

src/domain/entity/resolved_import.rs

@@ -8,6 +8,9 @@ pub struct ResolvedImport {
     /// Normalised file-system path for `Internal` imports (e.g. `src/domain/entity/config`).
     /// `None` when the path could not be resolved (wildcards, grouped imports, `super::` etc.).
     pub resolved_path: Option<String>,
+    /// Top-level package/crate name for `External` imports (e.g. `"serde"`, `"matplotlib"`, `"@scope/pkg"`).
+    /// Set by the resolver so that domain logic does not need to know language-specific separators.
+    pub package_name: Option<String>,
 }
 
 #[derive(Debug, PartialEq, Eq, Clone)]

src/domain/repository/language_detector.rs

@@ -0,0 +1,4 @@
+/// Maps a file extension to a language name.
+pub trait LanguageDetector {
+    fn detect_from_extension(&self, ext: &str) -> Option<String>;
+}

src/domain/repository/mod.rs

@@ -1,4 +1,5 @@
 pub mod config_repository;
+pub mod language_detector;
 pub mod parser;
 pub mod resolve_config_generator;
 pub mod resolver;