refactor: replace DDD-jargon tool names with intent-based verbs

Rename MCP tools to use natural developer language:
- get_model + model_health → architecture (merged, includes health)
- query_blast_radius → impact
- can_delete_symbol → safe_to_delete
- check_architectural_invariant → check (supports 'all' mode)
- query_dependency_path → how_connected
- explain_violation → why
- diff_models → drift
- diff_snapshots + list_snapshots → history (merged)
- search_architecture → search
- set_model → define
- scan_model → sync
- refactor_model → refactor
- assert_model → constrain

Reframe desired/actual terminology as planned/current.
Rewrite all tool descriptions to remove DDD/Datalog jargon.
Update prompts, diagnose pipeline, and all 149 tests.

Author: flavioaiello

.DS_Store

@@ -0,0 +1,42 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  check:
+    name: Check & Test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Cache cargo registry & build
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            target
+          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+          restore-keys: ${{ runner.os }}-cargo-
+
+      - name: Build
+        run: cargo build --release
+
+      - name: Run tests
+        run: cargo test
+
+      - name: Clippy
+        run: cargo clippy
+
+      - name: Check formatting
+        run: cargo fmt -- --check

.dendrites/store.db

@@ -177,6 +177,56 @@ Every reasoning tool returns structured results with:
 
 The system never guesses. If it can't prove a claim, it returns `unknown`.
 
+## Example tool outputs
+
+### `model_health`
+
+```json
+{
+  "score": 85,
+  "circular_deps": [],
+  "layer_violations": [],
+  "missing_invariants": [["Catalog", "Category"]],
+  "orphan_contexts": ["Notifications"],
+  "god_contexts": [],
+  "unsourced_events": [],
+  "complexity": [
+    { "context": "Catalog", "entity_count": 3, "service_count": 2, "event_count": 2, "dep_count": 0 },
+    { "context": "Ordering", "entity_count": 2, "service_count": 1, "event_count": 1, "dep_count": 1 }
+  ]
+}
+```
+
+### `can_delete_symbol`
+
+```json
+{
+  "can_delete": false,
+  "aggregates_referencing": [],
+  "events_sourced": ["OrderPlaced", "OrderCancelled"],
+  "repositories_managing": ["OrderRepository"],
+  "import_references": [],
+  "ast_references": [],
+  "call_references": [
+    { "caller": "process_payment", "file": "src/billing/service.rs", "line": 42 }
+  ]
+}
+```
+
+### `diff_models`
+
+```json
+{
+  "status": "diverged",
+  "pending_changes": [
+    { "kind": "context", "action": "add", "context": "", "name": "Notifications" },
+    { "kind": "field", "action": "add", "context": "Catalog", "name": "sku", "owner_kind": "entity", "owner": "Product" },
+    { "kind": "entity", "action": "remove", "context": "Ordering", "name": "LegacyOrder" }
+  ],
+  "pending_change_count": 3
+}
+```
+
 ## Supported languages
 
 | Language | Parser | Coverage |