phi-complexity 0.12.0__tar.gz → 0.13.1__tar.gz

{phi_complexity-0.12.0 → phi_complexity-0.13.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: phi-complexity
-Version: 0.12.0
+Version: 0.13.1
 Summary: Multi-language code quality metrics based on Golden Ratio (φ) mathematical invariants and adiabatic equilibrium
 Author-email: Tomy Verreault <contact@phidelia.dev>
 License: MIT
@@ -27,7 +27,7 @@ Requires-Dist: tree-sitter<1.0,>=0.21; extra == "multilang"
 Requires-Dist: tree-sitter-language-pack>=0.13; extra == "multilang"
 Dynamic: license-file
 
-# phi-complexity
+# Phi-Complexity
 [Pour M'offrir un café sur Buy Me a Coffee](https://www.buymeacoffee.com/spockoo)
 
 > *Code quality metrics based on Golden Ratio (φ) mathematical invariants*
@@ -50,7 +50,7 @@ Unlike `pylint` (cultural rules) or `radon` (McCabe metrics), `phi-complexity` a
 pip install git+https://github.com/spockoo/Phi-Complexity.git
 ```
 
-> Note : le paquet publié sur PyPI (0.2.3) date d'avant le nettoyage d'octobre 2026 et ne correspond plus à cet arbre — installez depuis GitHub.
+> Note : le paquet est aussi sur PyPI (`pip install phi-complexity`, 0.12.0) — identique à cet arbre depuis le 2026-10-01.
 
 ```bash
 # Audit a file
@@ -213,6 +213,8 @@ phi_complexity/
 ├── sondes.py             ← A/B probes (closure / obstruction poles)
 ├── piste_sorry.py        ← Rigorous sorry inventory + import graph (Lean 4)
 ├── chemins_verifiables.py← Guided wiring candidates Lean formally decides
+├── parseur_lean.py       ← Robust Lean parser (regex-based, no size limit)
+├── dependances.py        ← Lean dependency graph (exact deps, transitive closure)
 ├── entropie.py           ← Entropy lens (H, ΔH, EFT bounds)
 ├── oracle.py             ← Exhibited reasoning traces
 ├── explorateur.py        ← Interactive explorer
@@ -253,6 +255,11 @@ MIT — Tomy Verreault, 2026
 
 ## 📜 Historique des Versions (Changelog)
 
+- **v0.13.0 (Extraction robuste)** :
+  - **Nouveau `phi_complexity/dependances.py`** : graphe de dépendances Lean — extraction exacte (fermeture transitive, tri topologique). Élimine le danger d'oubli d'une dépendance.
+  - **Nouveau `extraire_declarations_robuste()`** dans `parseur_lean.py` : extraction par regex, pas de limite de taille. Corrige l'échec silencieux de tree-sitter sur fichiers >5000 lignes (147 → 196 déclarations).
+  - **Corrigé** : extraction du corps par délimitation exacte (entre deux déclarations) au lieu de l'heuristique 50 lignes.
+
 - **v0.12.0 (Chemins vérifiables)** :
   - **Nouveau `phi piste-sorry`** : piste d'un sorry Lean 4 — inventaire rigoureux (commentaires/chaînes exclus), graphe d'imports, chantiers du registre.
   - **Nouveau `phi chemins-verifiables`** : propose des candidats de câblage guidés, chacun identifié formellement comme une preuve ; Lean tranche mécaniquement (`PROUVÉ` / `RÉFUTÉ` / `INDÉCIDÉ`). Jamais le sorry lui-même, jamais un `sorry` déguisé.
@@ -264,4 +271,4 @@ MIT — Tomy Verreault, 2026
   - **Durcissement** : l'instrument échoue bruyamment (`INSTRUMENT DÉGRADÉ`, exit 3) au lieu de mentir quand l'analyseur manque ; `phi snapshot` refuse une baseline dégradée sans `--force`.
   - 386 tests verts, multi-langages (Python natif + tree-sitter générique).
 
-> Note d'honnêteté : les numéros 0.1.x–0.2.x publiés avant octobre 2026 couvraient du scaffolding généré par bots, supprimé lors du nettoyage du 2026-10-01. Le PyPI (0.2.3) est obsolète — voir l'installation depuis GitHub ci-dessus. L'historique fiable commence à v0.11.0.
+> Note d'honnêteté : les numéros 0.1.1–0.2.2 publiés avant octobre 2026 couvraient du scaffolding généré par bots, supprimé lors du nettoyage du 2026-10-01 (seule la 0.1.0 a été conservée). PyPI sert désormais la 0.12.0, identique à cet arbre. L'historique fiable commence à v0.11.0.

{phi_complexity-0.12.0 → phi_complexity-0.13.1}/README.md

@@ -1,4 +1,4 @@
-# phi-complexity
+# Phi-Complexity
 [Pour M'offrir un café sur Buy Me a Coffee](https://www.buymeacoffee.com/spockoo)
 
 > *Code quality metrics based on Golden Ratio (φ) mathematical invariants*
@@ -21,7 +21,7 @@ Unlike `pylint` (cultural rules) or `radon` (McCabe metrics), `phi-complexity` a
 pip install git+https://github.com/spockoo/Phi-Complexity.git
 ```
 
-> Note : le paquet publié sur PyPI (0.2.3) date d'avant le nettoyage d'octobre 2026 et ne correspond plus à cet arbre — installez depuis GitHub.
+> Note : le paquet est aussi sur PyPI (`pip install phi-complexity`, 0.12.0) — identique à cet arbre depuis le 2026-10-01.
 
 ```bash
 # Audit a file
@@ -184,6 +184,8 @@ phi_complexity/
 ├── sondes.py             ← A/B probes (closure / obstruction poles)
 ├── piste_sorry.py        ← Rigorous sorry inventory + import graph (Lean 4)
 ├── chemins_verifiables.py← Guided wiring candidates Lean formally decides
+├── parseur_lean.py       ← Robust Lean parser (regex-based, no size limit)
+├── dependances.py        ← Lean dependency graph (exact deps, transitive closure)
 ├── entropie.py           ← Entropy lens (H, ΔH, EFT bounds)
 ├── oracle.py             ← Exhibited reasoning traces
 ├── explorateur.py        ← Interactive explorer
@@ -224,6 +226,11 @@ MIT — Tomy Verreault, 2026
 
 ## 📜 Historique des Versions (Changelog)
 
+- **v0.13.0 (Extraction robuste)** :
+  - **Nouveau `phi_complexity/dependances.py`** : graphe de dépendances Lean — extraction exacte (fermeture transitive, tri topologique). Élimine le danger d'oubli d'une dépendance.
+  - **Nouveau `extraire_declarations_robuste()`** dans `parseur_lean.py` : extraction par regex, pas de limite de taille. Corrige l'échec silencieux de tree-sitter sur fichiers >5000 lignes (147 → 196 déclarations).
+  - **Corrigé** : extraction du corps par délimitation exacte (entre deux déclarations) au lieu de l'heuristique 50 lignes.
+
 - **v0.12.0 (Chemins vérifiables)** :
   - **Nouveau `phi piste-sorry`** : piste d'un sorry Lean 4 — inventaire rigoureux (commentaires/chaînes exclus), graphe d'imports, chantiers du registre.
   - **Nouveau `phi chemins-verifiables`** : propose des candidats de câblage guidés, chacun identifié formellement comme une preuve ; Lean tranche mécaniquement (`PROUVÉ` / `RÉFUTÉ` / `INDÉCIDÉ`). Jamais le sorry lui-même, jamais un `sorry` déguisé.
@@ -235,4 +242,4 @@ MIT — Tomy Verreault, 2026
   - **Durcissement** : l'instrument échoue bruyamment (`INSTRUMENT DÉGRADÉ`, exit 3) au lieu de mentir quand l'analyseur manque ; `phi snapshot` refuse une baseline dégradée sans `--force`.
   - 386 tests verts, multi-langages (Python natif + tree-sitter générique).
 
-> Note d'honnêteté : les numéros 0.1.x–0.2.x publiés avant octobre 2026 couvraient du scaffolding généré par bots, supprimé lors du nettoyage du 2026-10-01. Le PyPI (0.2.3) est obsolète — voir l'installation depuis GitHub ci-dessus. L'historique fiable commence à v0.11.0.
+> Note d'honnêteté : les numéros 0.1.1–0.2.2 publiés avant octobre 2026 couvraient du scaffolding généré par bots, supprimé lors du nettoyage du 2026-10-01 (seule la 0.1.0 a été conservée). PyPI sert désormais la 0.12.0, identique à cet arbre. L'historique fiable commence à v0.11.0.