v2.4.0-rc.3 — La prueba sigue al candidato
Tercer release candidate de la línea 2.4.0. Si rc.1 hizo que los rechazos fueran accionables, este ajusta la otra mitad del contrato: la prueba tiene que quedar atada al candidato que estás entregando, aunque el repo se te mueva abajo de los pies. Todo queda dentro de 2.4.0, sin ensanchar la API pública de Go ni aflojar la admisión fail-closed.
- Pre-PR sigue bases que se mueven: antes el candidato se ataba al tip de la base, así que un avance no relacionado te invalidaba un candidato intacto. Ahora la identidad de pre-PR se ata al merge base: los avances compatibles preservan el candidato revisado, y las pruebas malformadas o no disponibles siguen fallando cerrado.
- Subsets revisados pueden salir: delivery ya no exige que el árbol staged sea byte a byte idéntico al árbol revisado completo cuando el candidato staged es un subconjunto monotónico. La prueba chequea el merge result real y rechaza resolución de merge no revisada, así que angostar un cambio ya revisado está permitido sin colar bytes nuevos.
- Las salidas de recovery son ejecutables: el rescope consecutivo de SDD mantiene su continuación delimiter-safe y atada al fixture del RC publicado. Los caminos de compact-budget y post-remediación conservan sus contratos nativos en vez de mandarte a una transición imposible.
- Defectos del provider ya no te obligan a reportar: el handoff ofrece tres salidas explícitas — reportar y seguir, seguir sin reportar, o parar. Los dos caminos de continuación reusan la invocación de decline capturada por el provider una sola vez, validan resultado y target, y vuelven a entrar por STATUS negociado. Seguir nunca desactiva receipt-driven development.
- Windows sin módulo ACL de PowerShell: el manejo de permisos de archivos gestionados dependía del módulo ACL opcional; donde no estaba, el check fallaba por motivos ajenos a la propiedad bajo test. Ahora los permisos se afirman sin esa dependencia y la provenance de herencia de ACL se ignora en vez de compararse, porque variaba por política del host.
También viene: el layout mínimo del TUI mantiene visible la acción seleccionada en viewports cortos, se admiten correcciones atómicas de una línea, los PID files vacíos y transitorios de Engram tienen retry acotado, los paths de handoff de linked worktree se canonicalizan en Windows, y la doc de canales stable/prerelease quedó al día.
Ojo con rc.2: se publicó sin binarios y no se pudo reparar — el release es inmutable y borrarlo quemó el nombre del tag para siempre. Este candidato trae todo lo de rc.2 más el laburo de Windows. Usá este.
Known open: el recovery negociado todavía puede imprimir --agent <your-runtime-identity> cuando el runtime está sin bindear; pasarle un rol lógico de orquestador falla cerrado correctamente pero te deja el workflow varado (issue #2885).
Instalación: go install github.com/gentleman-programming/gentle-ai/v2/cmd/[email protected] — y después del upgrade corré gentle-ai sync, que los assets gestionados están atados a la versión del binario.
v2.4.0-rc.3 — Proof follows the candidate
Third release candidate on the 2.4.0 line. Where rc.1 made refusals actionable, this one tightens the other half of the contract: the proof must stay bound to the candidate you're actually delivering, even when the repository moves underneath it. Everything stays inside 2.4.0 — no widening of the public Go API and no weakening of fail-closed admission.
- Pre-PR review follows moving bases: it used to bind the candidate to the base tip, so an unrelated base advance invalidated an otherwise unchanged candidate. Pre-PR identity now binds to the merge base: compatible base advances preserve the reviewed candidate, while malformed or unavailable proofs still fail closed.
- Reviewed subsets can ship: delivery no longer requires the staged tree to be byte-for-byte identical to the full reviewed tree when the staged candidate is a monotonic subset of it. The proof checks the actual merge result and rejects unreviewed merge resolution, so narrowing a reviewed change is allowed without admitting new bytes.
- Recovery exits are executable: consecutive SDD rescope recovery keeps its continuation delimiter-safe and bound to the exact published RC fixture. Compact-budget and post-remediation paths preserve their native contracts instead of pointing the operator at an impossible transition.
- Provider defects no longer force reporting: the handoff offers three explicit outcomes — report and continue, continue without reporting, or stop. Both continuation paths reuse the provider-captured candidate-scoped decline invocation exactly once, validate its result and target, then re-enter through negotiated STATUS. Continuing never disables receipt-driven development.
- Windows drops the PowerShell ACL dependency: managed-file permission handling depended on the optional PowerShell ACL module; where it was absent the check failed for reasons unrelated to the property under test. Permissions are now asserted without that dependency, and ACL inheritance provenance is ignored rather than compared, since it varies by host policy.
Also in this candidate: the minimum TUI layout keeps its selected action visible on short viewports, atomic one-line corrections are admitted, transient empty Engram PID files get a bounded retry, linked-worktree handoff paths are canonicalized on Windows, and stable/prerelease channel documentation is current.
Heads up on rc.2: it was published without binaries and could not be repaired — the release is immutable and deleting it burned the tag name permanently. This candidate carries everything rc.2 contained plus the Windows work. Use this one.
Known open: negotiated recovery can still print --agent <your-runtime-identity> when the runtime is unbound; supplying a logical orchestrator role fails closed correctly but strands the workflow (issue #2885).
Install: go install github.com/gentleman-programming/gentle-ai/v2/cmd/[email protected] — and run gentle-ai sync after upgrading, since managed assets are version-bound to the binary.
v2.4.0-rc.3 — La preuve suit le candidat
Troisième release candidate de la ligne 2.4.0. Là où rc.1 rendait les refus actionnables, celle-ci resserre l'autre moitié du contrat : la preuve doit rester liée au candidat que vous livrez réellement, même quand le dépôt bouge sous vos pieds. Tout reste dans 2.4.0 — sans élargir l'API publique Go ni affaiblir l'admission fail-closed.
- La revue pre-PR suit les bases mobiles : le candidat était lié au tip de la base, donc une avance sans rapport invalidait un candidat pourtant inchangé. L'identité pre-PR se lie désormais à la base de fusion : les avances compatibles préservent le candidat revu, et les preuves malformées ou indisponibles échouent toujours en mode fermé.
- Les sous-ensembles revus peuvent être livrés : la livraison n'exige plus que l'arbre staged soit identique octet par octet à l'arbre revu complet lorsque le candidat staged en est un sous-ensemble monotone. La preuve vérifie le résultat de fusion réel et rejette toute résolution de fusion non revue, donc restreindre un changement revu est permis sans admettre de nouveaux octets.
- Les sorties de recovery sont exécutables : le rescope consécutif SDD garde sa continuation delimiter-safe et liée à la fixture RC publiée exacte. Les chemins de compact-budget et de post-remédiation conservent leurs contrats natifs au lieu d'orienter l'opérateur vers une transition impossible.
- Les défauts du provider n'imposent plus de signalement : le handoff offre trois issues explicites — signaler et continuer, continuer sans signaler, ou arrêter. Les deux chemins de continuation réutilisent exactement une fois l'invocation de decline capturée par le provider, valident son résultat et sa cible, puis rentrent par le STATUS négocié. Continuer ne désactive jamais le receipt-driven development.
- Windows abandonne la dépendance au module ACL PowerShell : la gestion des permissions de fichiers managés dépendait du module ACL optionnel ; en son absence, le contrôle échouait pour des raisons étrangères à la propriété testée. Les permissions sont désormais vérifiées sans cette dépendance, et la provenance d'héritage ACL est ignorée plutôt que comparée, car elle varie selon la politique de l'hôte.
Aussi dans cette candidate : le layout minimal du TUI garde son action sélectionnée visible sur les viewports courts, les corrections atomiques d'une ligne sont admises, les fichiers PID Engram vides et transitoires obtiennent un retry borné, les chemins de handoff de linked worktree sont canonicalisés sous Windows, et la documentation des canaux stable/prerelease est à jour.
Attention à rc.2 : publiée sans binaires et irréparable — la release est immuable et sa suppression a brûlé le nom du tag définitivement. Cette candidate contient tout ce que rc.2 contenait, plus le travail Windows. Utilisez celle-ci.
Known open : le recovery négocié peut encore afficher --agent <your-runtime-identity> quand le runtime n'est pas lié ; fournir un rôle logique d'orchestrateur échoue correctement en mode fermé mais bloque le workflow (issue #2885).
Installation : go install github.com/gentleman-programming/gentle-ai/v2/cmd/[email protected] — et lancez gentle-ai sync après la mise à niveau, les assets managés étant liés à la version du binaire.