feat: purity.no_orphan_files — import graph traversal, DI limitation documented

Author: DariuszNewecki

.intent/enforcement/mappings/code/purity.yaml

@@ -118,3 +118,37 @@ mappings:
       check_type: dead_code_check
       tool: "vulture"
       confidence: 80
+
+  # 9. LAW: Production source files MUST be reachable from a declared entry point.
+  # Check type: knowledge_gate (Import graph traversal)
+  # Rationale: vulture detects unused symbols but cannot detect unreachable files.
+  # This check traverses the import graph from entry points and flags orphan files.
+  #
+  # DYNAMIC PLUGIN DIRECTORIES (loaded via pkgutil.iter_modules / importlib):
+  #   - src/mind/logic/engines/   → EngineRegistry (mind/logic/engines/registry.py)
+  #   - src/mind/governance/checks/ → check_registry.py
+  #   - src/will/workers/         → cli/resources/workers/run.py
+  #   - src/will/phases/          → will/orchestration/phase_registry.py
+  #   - src/body/services/        → body/services/service_registry.py
+  # These are convention-loaded at runtime — not reachable via static import graph.
+  purity.no_orphan_files:
+    engine: knowledge_gate
+    params:
+      check_type: orphan_file_check
+      entry_points:
+        # Static entry points
+        - "src/cli/"
+        - "src/body/atomic/"
+        - "src/main.py"
+        - "src/api/main.py"
+        # Dynamic plugin directories — loaded by registry scan, not static imports
+        - "src/mind/logic/engines/"
+        - "src/mind/governance/checks/"
+        - "src/will/workers/"
+        - "src/will/phases/"
+        - "src/body/services/"
+      excludes:
+        - "src/**/__init__.py"
+        - "src/**/__main__.py"
+        - "src/**/conftest.py"
+        - "scripts/**/*.py"

.intent/rules/code/purity.json

@@ -4,7 +4,7 @@
     "metadata": {
         "id": "rules.code.purity",
         "title": "Code Purity Standards (V2.3 Reflexive)",
-        "version": "1.1.0",
+        "version": "1.2.0",
         "authority": "policy",
         "phase": "audit",
         "status": "active"
@@ -69,6 +69,14 @@
             "authority": "policy",
             "phase": "audit",
             "enforcement": "reporting"
+        },
+        {
+            "id": "purity.no_orphan_files",
+            "statement": "Production source files MUST be reachable from at least one declared entry point via the import graph. Files that no entry point can reach are orphans and MUST be removed or integrated.",
+            "authority": "policy",
+            "phase": "audit",
+            "enforcement": "reporting",
+            "rationale": "vulture detects unused symbols within files but cannot detect unreachable files. This rule closes that gap via import graph traversal from declared entry points."
         }
     ]
 }

reports/audit/latest_audit.json

@@ -1,8 +1,8 @@
 {
-  "audit_id": "d076089f-09c8-4461-ada2-ae8defb5181b",
-  "timestamp": "2026-03-10T13:59:31Z",
+  "audit_id": "25c83d2f-5239-4b8e-a6d1-3e63a0d7dfa1",
+  "timestamp": "2026-03-10T20:45:27Z",
   "passed": true,
-  "findings_count": 137,
+  "findings_count": 305,
   "executed_rules": [
     "ai.prompt.artifact.no_provider_leak",
     "ai.prompt.artifact.required_fields",
@@ -91,6 +91,7 @@
     "purity.no_ast_duplication",
     "purity.no_dead_code",
     "purity.no_metadata_decorators",
+    "purity.no_orphan_files",
     "purity.no_semantic_duplication",
     "purity.no_todo_placeholders",
     "purity.stable_id_anchor",

reports/audit_auto_ignored.json

@@ -1,4 +1,4 @@
 {
-  "generated_at": "2026-03-10T13:59:31Z",
+  "generated_at": "2026-03-10T20:45:27Z",
   "items": []
 }

reports/audit_auto_ignored.md

@@ -1,4 +1,4 @@
 # Audit Auto-Ignored Symbols
 
-- Generated: `2026-03-10T13:59:31Z`
+- Generated: `2026-03-10T20:45:27Z`
 - Total auto-ignored: **0**