fix(pi): garder le models.json comme unique source de vérité

programs/pi.nix

@@ -1,4 +1,4 @@
-{ config, pkgs, ... }:
+{ config, pkgs, lib, ... }:
 
 let
   # Ces dotfiles ne sont pas un flake (config par channels) : on résout donc
@@ -49,4 +49,14 @@ in
       defaultModel = "LM-Code";
     };
   };
+
+  # Le wrapper pi ne copie models.json que s'il n'existe pas déjà (garde-fou du
+  # module lukasl-dev/pi.nix, variable modelsPrelude dans coding-agent/options.nix).
+  # Pour que ce fichier nix reste l'unique source de vérité, on supprime le
+  # models.json utilisateur à chaque activation : pi le recréera depuis le store
+  # au prochain lancement.
+  home.activation.pi-models-source-of-truth =
+    lib.hm.dag.entryAfter [ "writeBoundary" ] ''
+      $DRY_RUN_CMD rm -f ${config.home.homeDirectory}/.pi/agent/models.json
+    '';
 }