chore(tickets): sync store local — #280 docs SDK clarifiées (bump pointeur IdeaSDK 1239104, ticket, consigne main.md doc SDK systématique sur évolution SDK, note memory #279 plugin-soft-refresh-and-agent-install-tools rattrapée) + #281 fix live-state cross-project (ticket fermé, note memory cross-project-ask-drop-cleans-live-state, merge 566e3c3) + #282 ouvert (Paramètres projet plugins/skills/tools agents); exclusion scripts/restart-idea-over-ssh.sh hors périmètre

This commit is contained in:
2026-09-08 14:54:29 +02:00
parent 4745b65a12
commit bdc20a134a
13 changed files with 350 additions and 2 deletions

View File

@ -0,0 +1,6 @@
---
issueRef: "#280"
version: 2
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedAt: 1788867597987
---

View File

@ -0,0 +1,17 @@
---
id: "61a45327-8c7d-4267-8caf-5e77ab0f784f"
number: 280
title: "Clarifier le contrat SDK plugin UI, fenêtres et skills Codex"
status: "qa"
priority: "high"
sprint: null
links: []
agentRefs: []
attachments: []
createdBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
createdAt: 1788867143625
updatedAt: 1788867597987
version: 2
---
Demande issue de UnityPlugin ticket #6 : clarifier le comportement normatif du SDK pour les commandes de plugin visibles par l'humain, l'ouverture de layouts/fenêtres, les capacités manifest ui/tooling, et la différence entre installation runtime IdeA et découverte des skills Codex bundlés. Mettre à jour la documentation SDK si ambiguë.

View File

@ -0,0 +1,39 @@
---
issueRef: "#281"
version: 3
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedAt: 1788868377302
---
# Diagnostic
Symptôme utilisateur : demande cross-project depuis UnityPlugin vers Main IdeA échouée/annulée ; côté IdeA, l'agent cible reste visible en travail (`working`, LED jaune) et le chat paraît bloqué jusqu'à cancel manuel.
Cause racine identifiée dans `crates/application/src/orchestrator/service.rs` : le chemin `ask_structured` posait bien `Working` via `mark_target_working_best_effort`, et `BusyTurnGuard` nettoyait déjà FIFO + busy state quand le futur `ask` était droppé. En revanche, le live-state humain n'était remis à `Done` que dans les branches explicites du `match` watchdog ou en succès. Si le client MCP/cross-project abandonne la requête, aucune branche ne s'exécute : la ligne live-state persiste en `working` jusqu'au restart/TTL.
# Correctif
Ajout de `LiveStateTurnGuard` dans `crates/application/src/orchestrator/service.rs` :
- armé après publication live-state `Working` ;
- désarmé après les sorties explicites qui appellent déjà `mark_target_done_best_effort` ;
- sur `Drop`, lance un cleanup async best-effort vers `Done` avec `last_delegation` = ticket, afin de nettoyer la LED même si le futur `ask` est abandonné.
Ajout du test de régression `dropped_ask_future_marks_live_state_done` dans `crates/application/tests/orchestrator_service.rs`.
# Validations
Commandes vertes :
- `cargo fmt`
- `cargo test -p application dropped_ask_future_marks_live_state_done --test orchestrator_service`
- `cargo test -p application --test orchestrator_service` : 78/78
- `npm --prefix frontend run build`
- Build AppImage via skill `build-appimage` : `CARGO_HOME=/tmp/idea-cargo-home APPIMAGE_EXTRACT_AND_RUN=1 NO_STRIP=1 ../../frontend/node_modules/.bin/tauri build --bundles appimage`
Artefact produit : `target/release/bundle/appimage/IdeA_0.3.0_amd64.AppImage` (114M, 2026-09-08 13:52).
# Réserve
`cargo test -p application` échoue sur `launch_conventionfile_injects_assigned_skills_in_order` dans `agent_lifecycle.rs`, échec hors périmètre du correctif : assertion existante sur l'ordre persona/skills dans le fichier de convention. Le test ciblé orchestration cross-project/workstate et la suite `orchestrator_service` sont verts.
# Étape manuelle
Comme rappelé par le skill AppImage : pour rendre le correctif actif, remplacer l'AppImage installée puis relancer IdeA. Cette étape tue l'orchestrateur courant, donc elle reste manuelle.

View File

@ -0,0 +1,17 @@
---
id: "23e11f1c-387e-4201-a651-c91b70df6f7f"
number: 281
title: "Fix blocage cross-project ask et workstate après timeout"
status: "closed"
priority: "critical"
sprint: null
links: []
agentRefs: []
attachments: []
createdBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
createdAt: 1788867892521
updatedAt: 1788868377302
version: 3
---
Reproduction rapportée : Main du projet UnityPlugin a tenté une demande cross-project vers Main IdeA ; l'appel a échoué, l'agent IdeA est resté avec LED jaune / chat bloqué jusqu'à cancel manuel, et le workstate a déclaré un timeout de la demande. Objectif : identifier la cause, corriger le nettoyage d'état/rendez-vous cross-project, valider par tests réels, puis rebuild l'AppImage.

View File

@ -0,0 +1,98 @@
---
issueRef: "#282"
version: 3
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedAt: 1788871877354
---
# Cadrage initial
Besoin utilisateur : les plugins IdeA doivent pouvoir apporter des skills et des tools MCP consommables par les agents, avec une configuration par projet. L'utilisateur veut un panneau Settings projet permettant de choisir quels plugins sont utilisés dans ce projet, puis d'attribuer les skills/tools de ces plugins aux agents, comme les skills IdeA et les tools MCP IdeA.
# Décision produit proposée
Modèle en trois niveaux :
1. Plugin installé globalement dans IdeA.
2. Plugin activé explicitement pour un projet.
3. Skills/tools du plugin attribués explicitement à un agent du projet.
Un plugin installé globalement ne rend pas automatiquement ses capabilities disponibles partout. L'activation projet rend les capabilities visibles/attribuables ; l'attribution agent décide ce que l'agent peut réellement utiliser.
# Contrainte multi-harness
La feature doit être IdeA-native et fonctionner pour tous les harness/profils supportés par IdeA : Claude Code, Codex, OpenCode local/cloud, et futurs adapters. Elle ne doit pas dépendre d'un mécanisme propre à Codex, ni de `.codex-plugin/plugin.json`, ni d'un dossier `$CODEX_HOME`.
Le contrat attendu : IdeA résout les plugins activés pour le projet et les assignments de l'agent, puis projette les capabilities effectives dans la surface adaptée à chaque harness :
- Claude Code : convention file / contexte injecté + MCP config selon les mécanismes déjà projetés pour Claude.
- Codex : AGENTS.md/contexte injecté + config MCP Codex selon les mécanismes déjà projetés pour Codex.
- OpenCode : contexte/config OpenCode selon les mécanismes déjà projetés pour OpenCode.
`idea_skill_read(name)` doit rester une API IdeA, pas une API Codex : elle lit les skills effectivement assignés à l'agent quelle que soit son implémentation de harness, dès lors que ce harness dispose du pont/outillage IdeA correspondant. En mode sans MCP, conserver les stratégies existantes de projection fichier/contexte.
# UX recommandé
Ajouter `Settings projet > Plugins` :
- liste des plugins installés globalement ;
- toggle `Activé pour ce projet` ;
- résumé des capabilities : `N skills`, `N tools MCP`, etc. ;
- détail `Voir les capabilities` avec sections `Skills fournis`, `Tools MCP fournis` ;
- dans la configuration agent, section `Capabilities de plugins`, groupée par plugin, séparée de `Skills IdeA` et `Tools MCP IdeA`.
Libellés à préserver :
- `Installé globalement` = existe dans IdeA ;
- `Activé pour ce projet` = chargé/exposé dans ce projet ;
- `Attribué à l'agent` = utilisable par cet agent.
# Architecture recommandée
Étendre `idea-plugin.json` avec `contributes.skills` read-only, package-relative, par exemple :
```json
{
"capabilities": ["ui", "mcp", "tooling"],
"contributes": {
"skills": [
{
"id": "unity.build-debug",
"name": "unity-build-debug",
"description": "Diagnose Unity build failures.",
"kind": "workflow",
"path": "skills/unity-build-debug/SKILL.md"
}
],
"mcpServers": [
{
"id": "unity-tools",
"displayName": "Unity Tools",
"command": "dist/mcp-server.js",
"transport": "stdio",
"autoStart": true
}
]
}
}
```
Créer un document projet versionné dédié, par exemple `.ideai/project-plugins.json`, séparé du registry global plugin et des agents natifs. Il stocke plugins activés et assignments agent vers `{ source: "plugin", pluginId, skillId/serverId/toolName }`.
Au lancement agent : charger agent + settings projet plugins + plugins activés, vérifier état installed/runtime-active/hash, résoudre skills natifs + plugin skills assignés, injecter seulement le manifeste `# Skills disponibles`, et faire en sorte que `idea_skill_read(name)` lise uniquement les skills effectivement assignés à cet agent.
Pour MCP tools plugin : garder la policy existante, namespace stable des tools plugin (`{ pluginId, serverId, toolName }`) et refuser l'exécution si non autorisé dans les permissions effectives de l'agent. La projection MCP doit passer par les adapters déjà responsables de chaque harness, pas par une configuration spécifique à Codex.
# Contraintes
- Hot reload plugin doit relire `contributes.skills` et `contributes.mcpServers`, publier `plugin_reloaded`, recalculer le catalogue projet effectif et marquer les assignments cassés `missing/stale` sans les supprimer.
- Uninstall global conserve des tombstones projet/agent, pour éviter de perdre une config lors d'un uninstall temporaire.
- Scope cross-project : un plugin installé est global, mais son usage est project-scoped ; `idea_project_ask_agent` utilise uniquement les assignments du projet cible.
- Ne pas mélanger avec `.codex-plugin/plugin.json` : cette feature est IdeA-native et multi-harness. Les skills Codex bundlés restent hors contrat tant qu'un pont explicite n'est pas conçu.
# Découpage proposé
B1 Domaine : contributions skills plugin, settings projet plugins, refs skills/tools plugin, validation.
B2 Infrastructure : validator manifest, store `.ideai/project-plugins.json`, lecture package-relative des SKILL.md, catalogue tools plugin.
B3 Application : use cases settings/assignments, resolver skills, `idea_skill_read`, lancement agent, permissions MCP dynamiques avec projection par harness.
F1 Frontend : Settings projet > Plugins, détail plugin, attribution agent, catalogue permissions groupé.
QA : validator, store, injection/read-skill sur Claude Code/Codex/OpenCode, permissions MCP par harness, hot reload, uninstall tombstones.

View File

@ -0,0 +1,17 @@
---
id: "3d907761-17f1-4f39-8725-b7d6d856807b"
number: 282
title: "Paramètres projet pour activer les plugins et attribuer leurs skills/tools aux agents"
status: "inProgress"
priority: "high"
sprint: null
links: []
agentRefs: []
attachments: []
createdBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
createdAt: 1788871620038
updatedAt: 1788871877354
version: 3
---
Besoin utilisateur : un plugin IdeA doit pouvoir apporter des skills et des tools MCP consommables par les agents, de façon comparable aux tools MCP IdeA. Ajouter un panneau Settings projet permettant de choisir quels plugins sont chargés pour le projet, puis d'attribuer les skills et tools MCP fournis par ces plugins aux agents. Clarifier le modèle de scope projet, découverte, permissions, hot reload, désinstallation et injection dans les contextes agents.

View File

@ -1,3 +1,3 @@
{
"nextNumber": 280
"nextNumber": 283
}

View File

@ -3819,6 +3819,48 @@
"agent_id": "a6c6ea12-bfc6-4bdc-8031-324102dfa34d"
},
"updatedAt": 1788865967900
},
{
"issueRef": "#280",
"path": "280",
"title": "Clarifier le contrat SDK plugin UI, fenêtres et skills Codex",
"status": "qa",
"priority": "high",
"sprint": null,
"assignedAgentIds": [],
"createdBy": {
"kind": "agent",
"agent_id": "a6c6ea12-bfc6-4bdc-8031-324102dfa34d"
},
"updatedAt": 1788867597987
},
{
"issueRef": "#281",
"path": "281",
"title": "Fix blocage cross-project ask et workstate après timeout",
"status": "closed",
"priority": "critical",
"sprint": null,
"assignedAgentIds": [],
"createdBy": {
"kind": "agent",
"agent_id": "a6c6ea12-bfc6-4bdc-8031-324102dfa34d"
},
"updatedAt": 1788868377302
},
{
"issueRef": "#282",
"path": "282",
"title": "Paramètres projet pour activer les plugins et attribuer leurs skills/tools aux agents",
"status": "inProgress",
"priority": "high",
"sprint": null,
"assignedAgentIds": [],
"createdBy": {
"kind": "agent",
"agent_id": "a6c6ea12-bfc6-4bdc-8031-324102dfa34d"
},
"updatedAt": 1788871877354
}
]
}