2027a/auroscope

Watch

Fork 0

Livrer le prompt configurable avec le paquet r13 vérifié #72

Merged

mathieu merged 6 commits from loop/subject-64 into main

2026-09-13 00:58:45 +00:00

hephaistos commented

2026-09-12 19:41:33 +00:00

Owner

Refs #64

État réel après la fusion humaine

Mathieu a fusionné cette PR au commit ba5ff82aec2b623c914c0b7d4bac29522d03da2b pendant la validation finale du paquet. Le commit source intégré est 6429418b8003a0360e9adb4aa18f6eafe86d393c : prompt configurable, fournisseurs préservés, dernier main avec le README anglais court et docs/configuration.md réconciliés.

La recette r15 a été publiée ensuite au commit 06517aa9a4d1c4670a367649849fe1c67b4fbd1d sur loop/subject-64. Ce commit de livraison n’est pas dans la fusion de cette PR. Main contient donc le code du prompt, mais sa recette r14 ne le livre pas encore. #64 reste ouvert jusqu’à vérification de la livraison complète.

Paquet validé, livraison à intégrer dans #73

Version : 0.1.0.r15.g6429418-1.
Pin source immuable : 6429418b8003a0360e9adb4aa18f6eafe86d393c.
SHA-256 : 1423f8c4050e236e5fe5c6aba4d6a6f36a5cefa726a89562a4c97522ba78f1a7.
Tests Go complets, go vet, fraîcheur, génération Arch non-root et comparaison exacte de .SRCINFO, checksums et namcap réussis.
Upgrade réel r14 → r15 avec anciens paquets présents, sans --force, réussi ; prompt personnalisé conservé et transmis après upgrade.
Gate complet sur /usr/bin/auroscope avec Paru réel épinglé : prompt, fournisseurs sans contournement, fichiers auxiliaires, couleurs natives, installation AUR, édition/réaudit, refus de dérive, reprise explicite, skip et opérations officielles sans audit réussis.
Conteneurs conservés pr72-package-r15 et pr72-paru-r15, tous deux terminés avec code 0. Journaux complets conservés sous les artefacts Hephaistos pr72-main-gates.

Suite et limites

À la demande « ensuite, corriges la 73 », Hephaistos intègre cette livraison dans #73, avec le modèle Codex luna, un nouveau pin et un paquet combiné à revalider avant revue. Le paquet combiné n’est pas encore déclaré prêt. Préserver les pins dans l’historique ; pas de squash.

Aucune fusion effectuée par l’agent, aucune installation sur la machine de Mathieu. Fournisseurs déterministes dans ces gates : pas de nouvelle qualification d’un service/modèle réel. Archives privées authentifiées sur l’hôte, aucun secret dans les conteneurs ; installation anonyme non qualifiée.

Refs #64 ## État réel après la fusion humaine Mathieu a fusionné cette PR au commit `ba5ff82aec2b623c914c0b7d4bac29522d03da2b` pendant la validation finale du paquet. Le commit source intégré est `6429418b8003a0360e9adb4aa18f6eafe86d393c` : prompt configurable, fournisseurs préservés, dernier main avec le README anglais court et `docs/configuration.md` réconciliés. La recette r15 a été publiée ensuite au commit `06517aa9a4d1c4670a367649849fe1c67b4fbd1d` sur `loop/subject-64`. **Ce commit de livraison n’est pas dans la fusion de cette PR.** Main contient donc le code du prompt, mais sa recette r14 ne le livre pas encore. #64 reste ouvert jusqu’à vérification de la livraison complète. ## Paquet validé, livraison à intégrer dans #73 - Version : `0.1.0.r15.g6429418-1`. - Pin source immuable : `6429418b8003a0360e9adb4aa18f6eafe86d393c`. - SHA-256 : `1423f8c4050e236e5fe5c6aba4d6a6f36a5cefa726a89562a4c97522ba78f1a7`. - Tests Go complets, `go vet`, fraîcheur, génération Arch non-root et comparaison exacte de `.SRCINFO`, checksums et `namcap` réussis. - Upgrade réel r14 → r15 avec anciens paquets présents, sans `--force`, réussi ; prompt personnalisé conservé et transmis après upgrade. - Gate complet sur `/usr/bin/auroscope` avec Paru réel épinglé : prompt, fournisseurs sans contournement, fichiers auxiliaires, couleurs natives, installation AUR, édition/réaudit, refus de dérive, reprise explicite, skip et opérations officielles sans audit réussis. - Conteneurs conservés `pr72-package-r15` et `pr72-paru-r15`, tous deux terminés avec code 0. Journaux complets conservés sous les artefacts Hephaistos `pr72-main-gates`. ## Suite et limites À la demande « ensuite, corriges la 73 », **Hephaistos intègre cette livraison dans #73**, avec le modèle Codex `luna`, un nouveau pin et un paquet combiné à revalider avant revue. Le paquet combiné n’est pas encore déclaré prêt. Préserver les pins dans l’historique ; pas de squash. Aucune fusion effectuée par l’agent, aucune installation sur la machine de Mathieu. Fournisseurs déterministes dans ces gates : pas de nouvelle qualification d’un service/modèle réel. Archives privées authentifiées sur l’hôte, aucun secret dans les conteneurs ; installation anonyme non qualifiée.

hephaistos added 5 commits

2026-09-12 19:41:33 +00:00

Préparer le prompt configurable avant sa livraison Arch ab6defccb9

Réconcilier le prompt avec la configuration partagée avant le pin Arch 1d24f6c8da

Réconcilier le prompt configurable avec les fournisseurs avant le pin Arch 78ad044b5e

Préparer le checkpoint qui rend la validation du prompt reproductible eb7109aa3d

Livrer le prompt configurable avec le paquet r13 vérifié b205ea3d1c

hephaistos commented

2026-09-12 19:41:39 +00:00

Author

Owner

Refs #64

Implémenté

Au premier audit AUR, création du fichier auroscope/config.json dans le répertoire de configuration utilisateur s’il manque, avec le prompt complet par défaut dans prompt. Cette chaîne est éditable et transmise au fournisseur sélectionné.
Un fichier existant n’est pas réécrit, y compris lors d’une mise à niveau. Sans champ prompt, le défaut intégré est utilisé ; un prompt vide/null ou un JSON invalide fait échouer l’audit sans approbation automatique. Les opérations officielles ne créent pas ce fichier.
Code et recette Arch déjà publiés sur cette PR : b205ea3, paquet 0.1.0.r13.geb7109a-1, source immuable eb7109aa3d46fb9f689ba68528f8c39423f19f44. Les validations du wrapper sont terminées, pas à faire.

Non implémenté / non vérifié

Cette branche ne livre pas le défaut de modèle luna de #65 : c’est la PR #73. Aucun paquet combinant les deux branches n’a été validé.
Pas de fusion ni de déploiement sur la machine de Mathieu. Les tests déterministes prouvent la transmission du prompt, pas la qualité des réponses de modèles réels ni une nouvelle qualification de fournisseur.
Les archives privées ont été utilisées via un cache authentifié, sans secrets dans les conteneurs ; une installation anonyme n’est pas validée. Ce n’est pas une absence de la fonction prompt ni une demande d’intervention à Mathieu.

Travail en cours réel

Aucun worker de développement actif ou nouvelle exécution en file pour #64 au contrôle. La boucle de surveillance tourne ; la tentative est done, la révision enregistrée et les derniers passages indiquent active_subject: null. Surveillance ne signifie pas développement actif.
La relecture des sources, des preuves Arch et de la publication est terminée ; les tests Go, go vet, fraîcheur du paquet et git diff --check ont été réexécutés avec succès. Aucun correctif technique ouvert n’a été établi pour le périmètre propre de #64.
Après une première fusion humaine de #72 ou #73, Hephaistos devra réconcilier l’autre branche, conserver les deux fonctions dans un nouveau pin et refaire les gates du paquet combiné avant sa fusion. Ce travail conditionnel n’est pas présenté comme lancé aujourd’hui.

Attendu de Mathieu

Relire cette PR et signaler les corrections souhaitées, ou donner son accord sur ce changement de prompt. Aucune relance de publication, réexécution de nos tests ou qualification de modèle n’est demandée. Ne pas fusionner les deux recettes r13 aveuglément : la seconde nécessitera la réconciliation technique décrite ci-dessus. Aucune fusion n’est effectuée par l’agent ; #64 reste ouvert jusqu’à vérification de sa résolution après fusion.

Preuves compactes

PR ouverte, auteur hephaistos, HEAD distant b205ea3d1c10b20fa96c0b7bd8b9db86738f5ab8, base 23f64e1 incluse.
test-64.log : fraîcheur, construction/installation Arch, upgrade réel r12 → r13 avec ancien paquet présent et sans --force, Installed custom prompt received by Codex and preserved through upgrade and audit, TestPromptConfigurationLifecycle, puis supported Paru disposable-Arch E2E passed.
Le parcours Paru installé conserve audit, édition/réaudit, garde d’identité, reprise explicite et opérations officielles sans audit. Codex y est une doublure contrôlée, pas une inférence réelle.
Recontrôle local : pr72-73-clarification/recheck-64.log, succès. Journaux sous le runtime Hephaistos forgejo-dev-loop-auroscope ; preuves brutes conservées, non recopiées ici.

Refs #64 ## Implémenté - Au premier audit AUR, création du fichier `auroscope/config.json` dans le répertoire de configuration utilisateur s’il manque, avec le prompt complet par défaut dans `prompt`. Cette chaîne est éditable et transmise au fournisseur sélectionné. - Un fichier existant n’est pas réécrit, y compris lors d’une mise à niveau. Sans champ `prompt`, le défaut intégré est utilisé ; un prompt vide/null ou un JSON invalide fait échouer l’audit sans approbation automatique. Les opérations officielles ne créent pas ce fichier. - Code et recette Arch **déjà publiés** sur cette PR : `b205ea3`, paquet `0.1.0.r13.geb7109a-1`, source immuable `eb7109aa3d46fb9f689ba68528f8c39423f19f44`. Les validations du wrapper sont terminées, pas à faire. ## Non implémenté / non vérifié - Cette branche ne livre pas le défaut de modèle `luna` de #65 : c’est la PR #73. Aucun paquet combinant les deux branches n’a été validé. - Pas de fusion ni de déploiement sur la machine de Mathieu. Les tests déterministes prouvent la transmission du prompt, pas la qualité des réponses de modèles réels ni une nouvelle qualification de fournisseur. - Les archives privées ont été utilisées via un cache authentifié, sans secrets dans les conteneurs ; une installation anonyme n’est pas validée. Ce n’est pas une absence de la fonction prompt ni une demande d’intervention à Mathieu. ## Travail en cours réel - **Aucun worker de développement actif ou nouvelle exécution en file pour #64 au contrôle.** La boucle de surveillance tourne ; la tentative est `done`, la révision enregistrée et les derniers passages indiquent `active_subject: null`. Surveillance ne signifie pas développement actif. - La relecture des sources, des preuves Arch et de la publication est terminée ; les tests Go, `go vet`, fraîcheur du paquet et `git diff --check` ont été réexécutés avec succès. Aucun correctif technique ouvert n’a été établi pour le périmètre propre de #64. - Après une première fusion humaine de #72 ou #73, Hephaistos devra réconcilier l’autre branche, conserver les deux fonctions dans un nouveau pin et refaire les gates du paquet combiné avant sa fusion. Ce travail conditionnel n’est pas présenté comme lancé aujourd’hui. ## Attendu de Mathieu **Relire cette PR et signaler les corrections souhaitées, ou donner son accord sur ce changement de prompt.** Aucune relance de publication, réexécution de nos tests ou qualification de modèle n’est demandée. Ne pas fusionner les deux recettes r13 aveuglément : la seconde nécessitera la réconciliation technique décrite ci-dessus. Aucune fusion n’est effectuée par l’agent ; #64 reste ouvert jusqu’à vérification de sa résolution après fusion. <details><summary>Preuves compactes</summary> - PR ouverte, auteur `hephaistos`, HEAD distant `b205ea3d1c10b20fa96c0b7bd8b9db86738f5ab8`, base `23f64e1` incluse. - `test-64.log` : fraîcheur, construction/installation Arch, upgrade réel r12 → r13 avec ancien paquet présent et sans `--force`, `Installed custom prompt received by Codex and preserved through upgrade and audit`, `TestPromptConfigurationLifecycle`, puis `supported Paru disposable-Arch E2E passed`. - Le parcours Paru installé conserve audit, édition/réaudit, garde d’identité, reprise explicite et opérations officielles sans audit. Codex y est une doublure contrôlée, pas une inférence réelle. - Recontrôle local : `pr72-73-clarification/recheck-64.log`, succès. Journaux sous le runtime Hephaistos `forgejo-dev-loop-auroscope` ; preuves brutes conservées, non recopiées ici. </details>

hephaistos referenced this pull request

2026-09-13 00:23:11 +00:00

Livrer prompt et modèle configurables ensemble — paquet r16 vérifié #73

hephaistos referenced this pull request

2026-09-13 00:23:12 +00:00

Livrer prompt et modèle configurables ensemble — paquet r16 vérifié #73

hephaistos added 1 commit

2026-09-13 00:49:47 +00:00

Merge main into PR72; reconcile short guide and prompt configuration 6429418b80

mathieu merged commit ba5ff82aec into main

2026-09-13 00:58:45 +00:00

mathieu deleted branch loop/subject-64

2026-09-13 00:58:45 +00:00

mathieu referenced this pull request from a commit

2026-09-13 00:58:46 +00:00

Merge pull request 'Livrer le prompt configurable avec le paquet r13 vérifié' (#72) from loop/subject-64 into main

hephaistos commented

2026-09-13 01:00:52 +00:00

Author

Owner

Je reprends cette livraison dans la correction de #73 demandée, pour réunir prompt et modèle dans un seul paquet vérifié. Rien à refusionner ici ; #73 recevra l’indication de disponibilité après ses propres gates. #64 reste suivi jusqu’à la livraison complète. Aucun paquet installé sur ta machine, aucune fusion effectuée par l’agent.

La mise à jour contre main et les deux gates Arch ont réussi. Ta fusion de #72 a toutefois eu lieu avant le commit final de recette : le code du prompt est dans main, mais le paquet r15 validé (`06517aa`, pin `6429418`, `0.1.0.r15.g6429418-1`) reste sur `loop/subject-64`. Je reprends cette livraison dans la correction de #73 demandée, pour réunir prompt et modèle dans un seul paquet vérifié. Rien à refusionner ici ; #73 recevra l’indication de disponibilité après ses propres gates. #64 reste suivi jusqu’à la livraison complète. Aucun paquet installé sur ta machine, aucune fusion effectuée par l’agent.

hephaistos referenced this pull request

2026-09-13 01:13:19 +00:00

Livrer prompt et modèle configurables ensemble — paquet r16 vérifié #73