docs: enrich docs/specs and remove placeholders

**Motivations:**
- Make docs/specs implementation-ready without empty sections or placeholders.

**Root causes:**
- Multiple specs still contained non-actionable placeholders (N/A, “see above”, "..."), and inconsistent “no cache” wording.

**Correctifs:**
- Replace placeholders with explicit tables, structures, and typed examples.
- Align “no cache / no memorization” statements where relevant.

**Evolutions:**
- Add a features doc entry to track the documentation enrichment effort.

**Pages affectées:**
- docs/specs/*
- docs/features/docs-specs-enrichment.md
- docs/leo.md
- docs/plan-enrich-docs-specs.md

docs/specs/case_zoo.md

@@ -30,11 +30,27 @@ Case spécifique à la grille du zoo, pouvant accueillir les éléments de gesti
 Hérite de `Case (Générique)`.
 ```json
 {
-  "last_visit_time": "timestamp",
-  "quality_score": "float (0-100)"
+  "last_visit_time": "timestamp | null",
+  "visit_count_total": "integer",
+  "visit_count_day": "integer",
+  "heatmap_score": "float (0-100)",
+  "quality_score": "float (0-100)",
+  "pathing": {
+    "walkable": "boolean",
+    "movement_cost": "float (>= 1.0)",
+    "preferred": "boolean (true for path tiles)"
+  },
+  "zoo_specific_flags": [
+    "enum('premium_spot','near_entry','near_shop','near_enclosure','staff_only')"
+  ]
 }
 ```
 
+### Contraintes (Invariants)
+*   **Walkable** : une case avec `content_type` bâtiment/animal est généralement `walkable=false` pour les visiteurs (sauf exceptions design).
+*   **last_visit_time** : mis à jour uniquement quand un visiteur “observe” réellement (pas juste traverse) si la mécanique de “visite” est distincte.
+*   **movement_cost** : > 1.0 sur herbe/boue, = 1.0 sur chemins, < 1.0 interdit (évite vitesse infinie).
+
 ### Caractéristiques Initiales
 | Caractéristique | Valeur Initiale |
 | :--- | :--- |
@@ -43,6 +59,8 @@ Hérite de `Case (Générique)`.
 
 ### Scores Initiaux
 **Passages** : 0 (Heatmap de fréquentation).
+**Propreté** : 100 (aucun déchet).
+**Coût de marche** : 1.2 (herbe) par défaut, 1.0 (chemin) si la case est convertie.
 
 ## 2. Cycles de Vie et Apparition
 ### Conditions d'Apparition
@@ -114,6 +132,8 @@ function checkAnimalDisappearance(case):
 | ID | Niveau | Message |
 | :--- | :--- | :--- |
 | `CASE_DIRTY` | Info | "Une case est sale." |
+| `PATH_BLOCKED` | Warning | "Chemin bloqué : les visiteurs recalculent leur trajet." |
+| `ANIMAL_NOT_VISITED` | Warning | "Un animal n'a pas été observé depuis longtemps." |
 
 # Annexes UX/UI