Les Specs viennent de devenir plus rapides (et plus intelligentes)

Lorsque nous avons introduit le développement axé sur les Specs, nous savions que le flux de Specs pourrait vous ralentir un peu au début, mais qu'il permettrait d'obtenir une implémentation de meilleure qualité à la fin. Mais avec le temps, nous avons commencé à remettre en question l'idée que la structure et la qualité impliquent nécessairement de la lenteur.

Par exemple, vous avez une Spec de fonctionnalité avec dix tâches. Six d'entre elles sont indépendantes : différents points de terminaison, différents fichiers, aucun état partagé. Mais Kiro les exécute une après l'autre. Ou encore, vous avez une idée claire d'une fonctionnalité dont vous connaissez la portée, les contraintes et les cas limites. Dans ce cas, le flux actuel d'approbation étape par étape peut sembler exiger plus de processus que le problème ne le requiert. L'inverse se produit aussi : une requête de fonctionnalité qui semble simple peut cacher de nombreuses hypothèses non énoncées et des ambiguïtés qui risquent d'orienter l'implémentation dans la mauvaise direction. De petites clarifications faites en amont peuvent faire économiser un temps d'implémentation considérable (et des tokens!). Aujourd'hui, nous introduisons des améliorations dans l'IDE Kiro pour régler tous ces problèmes, afin que vous puissiez démarrer votre flux de Specs plus rapidement, l'implémenter plus rapidement et obtenir la bonne solution dès la première fois. Vous obtenez maintenant de la vitesse là où elle aide, et de la profondeur là où elle compte.

Lorsque vous cliquez sur « Run all Tasks » (Exécuter toutes les tâches) dans une Spec, Kiro analyse maintenant votre liste de tâches et détermine lesquelles peuvent s'exécuter en même temps. La plupart des listes de tâches ne sont pas véritablement séquentielles. Elles ont une structure de dépendances. La tâche 2 et la tâche 3 pourraient toutes deux dépendre de la tâche 1, sans dépendre l'une de l'autre. Les exécuter l'une après l'autre gaspille du temps. Kiro construit un graphe de dépendances à partir de votre liste de tâches, en déterminant quelles tâches écrivent dans les mêmes fichiers, lesquelles testent du code provenant de tâches précédentes, et lesquelles sont véritablement indépendantes. Les tâches qui touchent aux mêmes fichiers ne sont jamais exécutées en parallèle. Le travail de configuration et d'infrastructure s'exécute en premier. Les tests s'exécutent après le code qu'ils valident. Tout le reste s'exécute simultanément, regroupé en vagues qui s'exécutent en même temps. Chaque tâche s'exécute dans son propre contexte isolé, de sorte qu'aucun état ne fuit entre elles. Si une tâche échoue, les autres continuent de s'exécuter. Vous voyez lesquelles ont réussi et lesquelles nécessitent votre attention. Les tâches qui dépendent d'un travail antérieur attendent toujours leur tour. Pour exécuter des tâches en parallèle, vous n'avez rien à configurer. Cliquez sur « Run all Tasks » et Kiro s'occupe du reste. Pour les Specs comportant plusieurs tâches indépendantes, vous sentirez la différence immédiatement. De façon anecdotique, nous avons constaté que les temps d'implémentation complète d'une Spec sont passés de plus d'une heure pour les grandes Specs, à environ un quart de ce temps.

Le flux de Specs standard comporte trois phases : exigences, conception, tâches. Vous approuvez chacune d'elles avant que la suivante ne commence. C'est utile lorsque vous explorez un territoire peu familier. Mais pour les fonctionnalités bien comprises, où vous avez déjà une image claire de la portée, le mode plan rapide vous permet d'avancer plus vite sans sacrifier la justesse.

En fonction de votre requête, Kiro pose d'abord des questions de clarification (portée, contraintes, cas limites), puis génère automatiquement les exigences, la conception et les tâches en une seule passe. Avant de poser des questions, Kiro analyse votre espace de travail pour détecter votre langage, vos frameworks et la structure de votre projet, afin que les questions soient adaptées à votre pile technologique. Les questions ciblent quatre dimensions : la portée et les contraintes, l'ambiguïté dans votre description, les embranchements d'implémentation possibles, et les décisions directionnelles sur la forme de la fonctionnalité. Vous vous retrouvez avec la liste de tâches, prête à être construite. Les artefacts sont toujours créés, enregistrés et utilisés par l'agent pendant l'exécution. Vous pouvez les réviser et les modifier après coup. Si vous demandez de modifier une tâche, seules les tâches sont régénérées. Si vous ajustez la conception, la conception et les tâches sont reconstruites. Si vous modifiez la portée, le pipeline complet est réexécuté à partir des exigences. Kiro ne régénère que ce qui est touché.

Kiro utilise les artefacts de la Spec comme source de vérité pendant l'implémentation, afin que chaque décision qu'il prend puisse être retracée jusqu'à une exigence documentée ou un choix de conception. Le plan rapide est une voie plus rapide vers le même résultat, et non un raccourci qui contourne la structure.

Les exigences peuvent contenir des problèmes subtils, difficiles à détecter à première vue. Deux exigences peuvent sembler sensées individuellement, mais être collectivement impossibles à satisfaire. L'incertitude sémantique — un langage qui produit des implémentations différentes selon qui le lit. Des hypothèses non énoncées que tout le monde croit évidentes, jusqu'à ce qu'elles ne le soient plus.

Une fois que Kiro a généré les exigences à partir de votre requête, vous pouvez sélectionner « Analyze Requirements » (Analyser les exigences) pour lancer une analyse approfondie propulsée par l'IA neurosymbolique, qui combine les LLM et le raisonnement automatisé pour aller au-delà de ce que chacun peut faire seul. Kiro fait ressortir les ambiguïtés et les conflits dans vos exigences au fur et à mesure qu'il les détecte (avec des corrections proposées), afin que vous puissiez passer à la conception et à l'implémentation en toute confiance.

Détection d'ambiguïté. Kiro échantillonne plusieurs interprétations de chaque exigence pour trouver les endroits où le langage pourrait signifier deux choses différentes pour deux développeurs différents. « Supprimer l'enregistrement » — cela signifie-t-il une suppression définitive ou une suppression logique? Lorsque Kiro trouve une véritable ambiguïté, il fait ressortir le désaccord sous la forme d'une simple question à deux options : quel sens vouliez-vous donner?

Analyse logique. Kiro utilise le raisonnement automatisé pour valider si vos exigences sont cohérentes (aucune contradiction entre deux exigences) et pour trouver les lacunes où les exigences sont silencieuses sur ce qui devrait se produire. Il ne s'agit pas d'un LLM qui devine qu'il pourrait y avoir un conflit, mais de l'utilisation de la logique mathématique pour valider qu'aucune implémentation ne peut satisfaire les deux règles simultanément.

Pour voir comment cela fonctionne sous le capot, lisez notre analyse approfondie de l'analyse des exigences.

Ces trois nouvelles fonctionnalités rendent les Specs plus rapides et plus intelligentes. Le mode plan rapide accélère la génération. L'exécution parallèle des tâches accélère l'implémentation. L'analyse des exigences détecte les problèmes qu'une simple relecture peut manquer. La structure devrait rendre le logiciel meilleur sans ralentir le processus — maintenant, elle fait les deux.

Le plan rapide, l'exécution parallèle des tâches et l'analyse des exigences sont disponibles dès maintenant. Commencez avec les Specs Kiro.