Livrer le choix du fournisseur d’audit dans le paquet r11 #71

Merged

mathieu merged 2 commits from loop/subject-68 into main

2026-09-12 17:37:45 +00:00

hephaistos commented

2026-09-12 17:33:36 +00:00

Owner

Refs #68

Preuves du lancement : commit 6891e9b744 publié et relu sur loop/subject-68 ; validation configurée réussie (journal local test-68.log). Refs #68. Aucune fusion effectuée.
Travail partiel ; le ticket reste ouvert. Reste à traiter : Le wrapper doit valider et publier les modifications de packaging dans la même PR que le source, sans supprimer le pin immuable. Revue et fusion humaines puis vérification liée à la révision avant clôture. La qualification des services/modèles réels reste explicitement non établie ; les preuves simulées ne la remplacent pas. Journaux conservés dans le worktree : logs/verification-68/package.log et logs/verification-68/supported-paru.log.
Suite : Mathieu peut examiner la PR ; Hephaistos reste responsable des corrections et des éléments restant à traiter.

Refs #68 Travail décrit par l’agent : Résultat : la recette Arch livre désormais le choix explicite du fournisseur autorisé par Mathieu dans #66, commentaire 3051 (« GO DECISION »), puis commentaire 3065 (« PR de documentation fusionnée, passe à l'implémentation »). Codex reste le défaut ; Claude Code, Anthropic API, OpenAI API et API compatible configurable restent les seules alternatives. Le paquet candidat 0.1.0.r11.gad96e16-1 utilise le pin distant immuable ad96e164679bbdd0a2b474d9712f238cc3a06679, avec archive réellement téléchargée et SHA-256 ba45ebc42831195e9e474fc9cc715978c205eb888d0b622ff2487e7c43f5fde1. La génération .SRCINFO non-root dans Arch, Go tests/vet, freshness, upgrade/package et supported-Paru sur /usr/bin/auroscope ont réussi. Pacman a retourné exactement « auroscope 0.1.0.r11.gad96e16-1 » dans les deux gates ; la montée depuis r10 conserve ses archives sans --force. Les tests de l’artefact installé couvrent HTTP, sélection explicite, retry/skip/cancel sans fallback, scripts auxiliaires, sélection native, build AUR réel, édition/réaudit, refus de dérive et opérations officielles sans audit. Ces preuves utilisent des réponses de fournisseurs déterministes : aucune nouvelle qualification de service/modèle réel ou d’authentification Claude native n’est revendiquée. Le dernier fetch confirme que le pin inclut origin/main da9dca72241b9ac973008fb01d77bb756136974f. Les changements restants concernent uniquement la recette et sa documentation de preuve ; aucune installation sur la machine de Mathieu, aucun commit, push ou message distant effectué par le worker. Responsable suivant : wrapper, pour ses validations et la publication de la PR en préservant le pin source ; revue et fusion restent humaines. Preuves du lancement : commit 6891e9b74409928972d06a013939e635196e2fb2 publié et relu sur loop/subject-68 ; validation configurée réussie (journal local test-68.log). Refs #68. Aucune fusion effectuée. Travail partiel ; le ticket reste ouvert. Reste à traiter : Le wrapper doit valider et publier les modifications de packaging dans la même PR que le source, sans supprimer le pin immuable. Revue et fusion humaines puis vérification liée à la révision avant clôture. La qualification des services/modèles réels reste explicitement non établie ; les preuves simulées ne la remplacent pas. Journaux conservés dans le worktree : logs/verification-68/package.log et logs/verification-68/supported-paru.log. Suite : Mathieu peut examiner la PR ; Hephaistos reste responsable des corrections et des éléments restant à traiter.

hephaistos added 2 commits

2026-09-12 17:33:37 +00:00

Préparer le pin source des fournisseurs d’audit acceptés par #66 ad96e16467

Livrer le choix du fournisseur d’audit dans le paquet r11 6891e9b744

hephaistos commented

2026-09-12 17:33:43 +00:00

Author

Owner

Travail décrit par l’agent : Résultat : la recette Arch livre désormais le choix explicite du fournisseur autorisé par Mathieu dans #66, commentaire 3051 (« GO DECISION »), puis commentaire 3065 (« PR de documentation fusionnée, passe à l'implémentation »). Codex reste le défaut ; Claude Code, Anthropic API, OpenAI API et API compatible configurable restent les seules alternatives. Le paquet candidat 0.1.0.r11.gad96e16-1 utilise le pin distant immuable ad96e164679bbdd0a2b474d9712f238cc3a06679, avec archive réellement téléchargée et SHA-256 ba45ebc42831195e9e474fc9cc715978c205eb888d0b622ff2487e7c43f5fde1. La génération .SRCINFO non-root dans Arch, Go tests/vet, freshness, upgrade/package et supported-Paru sur /usr/bin/auroscope ont réussi. Pacman a retourné exactement « auroscope 0.1.0.r11.gad96e16-1 » dans les deux gates ; la montée depuis r10 conserve ses archives sans --force. Les tests de l’artefact installé couvrent HTTP, sélection explicite, retry/skip/cancel sans fallback, scripts auxiliaires, sélection native, build AUR réel, édition/réaudit, refus de dérive et opérations officielles sans audit. Ces preuves utilisent des réponses de fournisseurs déterministes : aucune nouvelle qualification de service/modèle réel ou d’authentification Claude native n’est revendiquée. Le dernier fetch confirme que le pin inclut origin/main da9dca72241b9ac973008fb01d77bb756136974f. Les changements restants concernent uniquement la recette et sa documentation de preuve ; aucune installation sur la machine de Mathieu, aucun commit, push ou message distant effectué par le worker. Responsable suivant : wrapper, pour ses validations et la publication de la PR en préservant le pin source ; revue et fusion restent humaines. Preuves du lancement : commit 6891e9b74409928972d06a013939e635196e2fb2 publié et relu sur loop/subject-68 ; validation configurée réussie (journal local test-68.log). Refs #68. Aucune fusion effectuée. Travail partiel ; le ticket reste ouvert. Reste à traiter : Le wrapper doit valider et publier les modifications de packaging dans la même PR que le source, sans supprimer le pin immuable. Revue et fusion humaines puis vérification liée à la révision avant clôture. La qualification des services/modèles réels reste explicitement non établie ; les preuves simulées ne la remplacent pas. Journaux conservés dans le worktree : logs/verification-68/package.log et logs/verification-68/supported-paru.log. Suite : Mathieu peut examiner la PR ; Hephaistos reste responsable des corrections et des éléments restant à traiter. PR #71.