feat(plugins): soft refresh UI des contributions plugins après install/reload — frontend #279 (PluginRuntimeProvider refreshRuntime sur événements pluginInstalled/pluginReloaded, dispose de l'ancien registry, catalogue listRuntimeContributions, gateway mock; QA verte ré-exécutée: 35/35 tests features/plugins dont nouveau PluginRuntimeProvider.test, typecheck OK)

This commit is contained in:
2026-09-08 13:08:54 +02:00
parent 979965aef3
commit 44dc67722c
6 changed files with 259 additions and 80 deletions

View File

@ -282,6 +282,14 @@ export interface EmbeddedServerStatus {
/** A domain event relayed from the backend (tagged union on `type`). */
export type DomainEvent =
| { type: "projectCreated"; projectId: string }
| { type: "pluginInstalled"; pluginId: string; version: string }
| {
type: "pluginReloaded";
pluginId: string;
oldContentHash: string;
newContentHash: string;
changed: boolean;
}
| { type: "agentLaunched"; agentId: string; sessionId: string }
| { type: "agentExited"; agentId: string; code: number }
| {