From 0a87037edfc2f4ce1f69d63a9123ca53c9f86ba6 Mon Sep 17 00:00:00 2001
From: Pierre Martin <pierre@front-commerce.com>
Date: Mon, 10 Aug 2026 15:48:09 +0200
Subject: [PATCH] =?UTF-8?q?fix(pi):=C2=A0garder=20le=20models.json=20comme?=
 =?UTF-8?q?=20unique=20source=20de=20v=C3=A9rit=C3=A9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 programs/pi.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/programs/pi.nix b/programs/pi.nix
index 81d6af3..3fa1326 100644
--- a/programs/pi.nix
+++ b/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
+    '';
 }