Aller au contenu

Spécification Technique : Moteur DevFactory & Project Manager Autonome (LangGraph)

Statut : Validé suite aux sessions d'itération et stress-test d'architecture (Grill-Me)
Principe Cadre : Conforme au document 00-architecture-principles-substitutability.md (Forge Git et LLMs entièrement substituables).
Date : 2026-08-23
Auteur : Équipe Atelier

1. Vision & Rôle du Project Manager (PM) Autonome

Le Moteur DevFactory (atelier-pm-engine) introduit un agent d'orchestration de niveau supérieur au sein d'Atelier :

  1. Parallélisation Intelligente & Découpage Sans Chevauchement (Prompt Injection) :
  2. Lorsque le PM découpe une issue complexe en sous-tâches parallèles (ex: Backend Rust / Frontend React), le système injecte dynamiquement dans le contexte de chaque agent la liste des Workshops actifs, leur périmètre d'action et l'interdiction stricte de toucher aux fichiers appartenant à un autre périmètre, prévenant ainsi les conflits logiques et de code.
  3. Garantie At-Least-Once & Résilience Redis Streams :
  4. Les webhooks d'issues et de PRs sont empilés dans Redis Streams avec accusé de réception explicite (XACK).
  5. En cas de crash du worker atelier-pm-engine, les messages non acquittés sont relus (XAUTOCLAIM) et l'exécution du workflow LangGraph reprend exactement au dernier checkpoint PostgreSQL.
  6. Isolation Multi-Tenant par Row Level Security (RLS) sur pgvector :
  7. Les recherches sémantiques RAG (project_memories) sont protégées par RLS au niveau PostgreSQL (SET LOCAL app.current_tenant), empêchant toute contamination de mémoire ou de code entre entreprises ou organisations clientes distinctes.
  8. Boucle d'Auto-Correction Continue (Bornée par Budget LLM) :
  9. Ré-injection continue des traces d'erreurs jusqu'à réussite des tests ou épuisement du budget maxLlmBudgetUsd.
  10. Mise en Veille Instantanée & Intégrité Git (git-sync) :
  11. Dès l'ouverture de la PR, le PM force la synchronisation Git et déclenche suspend_workshop (snapshot mémoire Firecracker déchargé sur S3) pour libérer CPU/RAM.

2. Architecture de Résilience & Graphe LangGraph

flowchart TB
    subgraph Git_Sources["Fournisseurs Git (Forgejo / GitHub / GitLab)"]
        FJ["Forgejo Webhook"]
    end

    subgraph Messaging["File de Messages Redis Streams (At-Least-Once)"]
        Redis[("Redis Streams\n(Group: pm-engine-workers)")]
    end

    subgraph DevFactory["Moteur DevFactory (atelier-pm-engine)"]
        Consumer["Redis Consumer\n(Ack explicite XACK)"]
        GitAdapter["GitProvider Adapter"]
        LG["Orchestrateur LangGraph\n(Scoping sans chevauchement)"]
        Checkpointer["Checkpointer PostgreSQL\n(État de graphe persistant)"]
        RAG["Moteur RAG & Embeddings (pgvector + RLS)"]
    end

    subgraph Storage["Persistance & Object Storage"]
        PG[("PostgreSQL\n(Base atelier_pm + RLS)")]
        S3[("S3 / RustFS\n(Snapshots RAM Multipart)")]
    end

    subgraph Sandbox["Workshops Firecracker Parallèles"]
        WS1["microVM Backend (Scope: crates/*)"]
        WS2["microVM Frontend (Scope: dashboard/*)"]
    end

    FJ -->|"1. Webhook Issue/PR"| Redis
    Redis -->|"2. XREADGROUP (At-least-once)"| Consumer
    Consumer --> LG
    LG <--> Checkpointer
    Checkpointer <--> PG
    LG <--> RAG
    RAG <--> PG
    LG -->|"3. MCP Tools (Scopes disjoints)"| WS1
    LG -->|"3. MCP Tools (Scopes disjoints)"| WS2
    WS1 -.->|"4. Snapshot RAM Multipart"| S3
    WS2 -.->|"4. Snapshot RAM Multipart"| S3
    LG -->|"5. Succès -> XACK"| Redis