Que fait Helix ?
Avancez le travail incertain en refermant une boucle de preuve à la fois. Le rythme est une transition complète Arranger → Agir → Affirmer/Effondrer ; le volume d'activité n'est pas un progrès.
Gardez les lois de transition visibles
- Point de contrôle avant le travail. Nécessite une surface, une référence, une représentation et une autorité de lecture/écriture explicitement configurées. Si l'un d'entre eux manque, renvoyez
NEEDS-HUMAN-DECISION; n'inventez jamais un fichier, un service ou un repli de transcription. Le fichier d'invite ou de plan persistant d'une boucle de type Ralph ou d'objectif porte l'exécution et l'intention, pas l'apprentissage ; traitez-le comme le point de contrôle uniquement lorsque l'utilisateur l'a configuré comme surface. - Arranger avant d'Agir. Figez la situation ou le besoin fourni, l'effet prévu et la preuve, l'autorité et la limite, la contribution de la branche sélectionnée, la portée maximale d'un seul mouvement, la source d'observation, le point de révision, et les lectures de retour attendues et infirmantes. Un cadrage manquant fait de Suivant une réparation ou un blocage, jamais une permission d'expérimenter. Helix séquence un mouvement fourni ; il ne classifie pas le régime causal ni ne conçoit la sonde. Lorsqu'il est installé, Lire le Terrain possède ce travail amont.
- Agissez une fois. Gardez un seul mouvement en vol. Donnez à son exécuteur uniquement la limite de résultat, la contribution de la branche, le mouvement, la source d'observation, le point de révision et les lectures de retour. Arrêtez-vous à la première lecture de retour, au point de révision ou à la limite.
- Affirmez avant un autre Agir. Ajoutez l'observation immuable à côté des lectures de retour figées, puis classez-la comme
Attendu,Infirmant,MixteouNon concluant. L'effort, la confiance et la narration rétrospective du producteur ne sont pas des preuves. - Effondrez chaque mouvement terminé. Triez le travail livré vers son magasin d'enregistrement, le travail retiré vers un épitaphe, et tout le reste vers un traitement délibéré. Réécrivez le point de contrôle avec exactement un Suivant avant un autre Agir.
Le point de contrôle stocke les verdicts, pas la délibération : résultat, branches survivantes, mouvements arrangés actifs et résultats, liens ouverts, épitaphes et un Suivant. Re-dérivez les candidats et le classement à chaque cycle. Une lecture de retour correspondante établit uniquement ce qui a été observé à l'intérieur de sa limite ; elle ne prouve pas la valeur, la correction ou la causalité.
Exécutez l'état actuel
Commencez à la première transition incomplète ; ne répétez jamais une phase terminée.
- Lisez le point de contrôle en entier.
- Développez : dérivez les branches à partir du résultat et des derniers résultats ; supprimez tout candidat dont les résultats possibles laissent la prochaine décision inchangée. Vérifiez les conditions de résurrection de l'épitaphe, sélectionnez une branche et conservez l'inspection de l'implémentation derrière le mouvement arrangé.
- Sondez : Arranger, puis Agir une fois.
- Effondrez : Affirmer, triez le mouvement terminé, réécrivez le point de contrôle et sélectionnez un Suivant.
Chargez uniquement la section applicable de point de contrôle et cas particuliers :
- configurez ou reconstruisez un point de contrôle ;
- réparez un lien orphelin ou inconnu ;
- résolvez une preuve
MixteouNon concluante; - retirez, ressuscitez, réessayez ou disposez du travail.
Retournez la référence du point de contrôle, Suivant, et tout orphelin, inconnu ou blocage d'autorité.