2027a/auroscope

Watch

Fork 0

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

Merged

mathieu merged 9 commits from loop/subject-65 into main

2026-09-13 01:25:39 +00:00

hephaistos commented

2026-09-12 20:08:04 +00:00

Owner

Fixes #65
Fixes #64

Livraison combinée prête à examiner

Cette PR intègre main après ta fusion de #72 (ba5ff82), ainsi que sa livraison r15 restée hors de la fusion. Elle réunit maintenant le prompt personnalisable et le choix du modèle dans le même fichier de configuration, sans perdre les fournisseurs existants ni le README anglais court de #70.

Codex demande luna par défaut ; model permet un identifiant explicite. Un modèle vide/null est refusé. Les autres fournisseurs conservent leurs règles.
Premier audit AUR : création du prompt complet si le fichier manque. Configuration et prompt personnalisés préservés lors des audits et des mises à niveau. Les opérations officielles restent sans audit.
Commit de livraison : 828b7fa56dd80d9795eec390bda69a76dbc9301d.
Paquet : 0.1.0.r16.g20bdd79-1.
Pin source : 20bdd799a285c1988d850416265b53023a288a3a.
SHA-256 : 27401cd67aec84ff89533421d0b6699e541d6960e181aae7eb9bb5dd33116982.

Vérifications terminées

Tests Go complets et go vet, fraîcheur, .SRCINFO généré sans root sous Arch et comparé exactement, checksums et namcap : réussis.
Construction, check et installation Arch ; upgrade réel r15 → r16 avec anciens paquets présents, sans --force : réussi. Modèle par défaut/explicite et prompt personnalisé contrôlés sur le binaire installé après upgrade.
Gate complet du Paru réel épinglé sur /usr/bin/auroscope : prompt, fournisseurs sans contournement, scripts auxiliaires, couleurs, construction/installation AUR, édition/réaudit, refus de dérive, reprise, skip et opérations officielles sans audit : réussi.
pacman -Q auroscope : auroscope 0.1.0.r16.g20bdd79-1 dans les deux gates. Conteneurs pr73-package-r16 et pr73-paru-r16 terminés avec code 0, conservés ; journaux complets dans les artefacts Hephaistos pr73-main-gates.
Dernier fetch : aucun commit de retard sur main ; HEAD distant et fusion possible vérifiés.

Limites et action suivante

L’accès réel d’un compte à luna et la qualité d’inférence ne sont pas qualifiés. Les tests utilisent des fournisseurs contrôlés. Archives privées récupérées avec authentification sur l’hôte, sans secrets dans les conteneurs ; installation anonyme non qualifiée. Aucune installation sur ta machine, aucune fusion par l’agent.

Mathieu: tu peux examiner puis fusionner cette PR #73 avec un commit de fusion pour préserver le pin source et les pins antérieurs, pas de squash. La fusion de cette livraison permettra à la recette de main de fournir les deux fonctions ; les tickets restent suivis jusqu’au contrôle après fusion.

Fixes #65 Fixes #64 ## Livraison combinée prête à examiner Cette PR intègre main après ta fusion de #72 (`ba5ff82`), ainsi que sa livraison r15 restée hors de la fusion. Elle réunit maintenant le prompt personnalisable et le choix du modèle dans le même fichier de configuration, sans perdre les fournisseurs existants ni le README anglais court de #70. - Codex demande `luna` par défaut ; `model` permet un identifiant explicite. Un modèle vide/null est refusé. Les autres fournisseurs conservent leurs règles. - Premier audit AUR : création du prompt complet si le fichier manque. Configuration et prompt personnalisés préservés lors des audits et des mises à niveau. Les opérations officielles restent sans audit. - Commit de livraison : `828b7fa56dd80d9795eec390bda69a76dbc9301d`. - Paquet : `0.1.0.r16.g20bdd79-1`. - Pin source : `20bdd799a285c1988d850416265b53023a288a3a`. - SHA-256 : `27401cd67aec84ff89533421d0b6699e541d6960e181aae7eb9bb5dd33116982`. ## Vérifications terminées - Tests Go complets et `go vet`, fraîcheur, `.SRCINFO` généré sans root sous Arch et comparé exactement, checksums et namcap : réussis. - Construction, check et installation Arch ; upgrade réel r15 → r16 avec anciens paquets présents, sans `--force` : réussi. Modèle par défaut/explicite et prompt personnalisé contrôlés sur le binaire installé après upgrade. - Gate complet du Paru réel épinglé sur `/usr/bin/auroscope` : prompt, fournisseurs sans contournement, scripts auxiliaires, couleurs, construction/installation AUR, édition/réaudit, refus de dérive, reprise, skip et opérations officielles sans audit : réussi. - `pacman -Q auroscope` : `auroscope 0.1.0.r16.g20bdd79-1` dans les deux gates. Conteneurs `pr73-package-r16` et `pr73-paru-r16` terminés avec code 0, conservés ; journaux complets dans les artefacts Hephaistos `pr73-main-gates`. - Dernier fetch : aucun commit de retard sur main ; HEAD distant et fusion possible vérifiés. ## Limites et action suivante L’accès réel d’un compte à `luna` et la qualité d’inférence ne sont pas qualifiés. Les tests utilisent des fournisseurs contrôlés. Archives privées récupérées avec authentification sur l’hôte, sans secrets dans les conteneurs ; installation anonyme non qualifiée. Aucune installation sur ta machine, aucune fusion par l’agent. **Mathieu: tu peux examiner puis fusionner cette PR #73 avec un commit de fusion pour préserver le pin source et les pins antérieurs, pas de squash.** La fusion de cette livraison permettra à la recette de main de fournir les deux fonctions ; les tickets restent suivis jusqu’au contrôle après fusion.

hephaistos added 4 commits

2026-09-12 20:08:04 +00:00

Préparer le modèle configurable sur la configuration partagée actuelle e41eec40d6

Finaliser le checkpoint source conservé du modèle configurable 46bef004e9

Corriger le téléchargement du gate Paru avant de finaliser le paquet 281d061fa9

Livrer le modèle configurable dans le paquet r13 vérifié 31d5666bfe

hephaistos commented

2026-09-12 20:08:11 +00:00

Author

Owner

Refs #65

Implémenté

Le fournisseur Codex utilise luna par défaut lorsque le modèle n’est pas indiqué. Le champ model du fichier commun auroscope/config.json permet de choisir explicitement un autre identifiant, transmis à Codex.
Un modèle explicitement vide/null est refusé. Les autres fournisseurs gardent leurs règles propres ; luna n’est pas imposé aux API. La configuration utilisateur est conservée ; les opérations officielles restent sans audit ni lecture obligatoire de ce fichier.
Code et recette Arch déjà publiés sur cette PR : 31d5666, paquet 0.1.0.r13.g281d061-1, source immuable 281d061fa9c9e3d67de408c6adbb415bb04af3cc. Les validations du wrapper sont terminées, pas à faire.

Non implémenté / non vérifié

Cette branche ne livre pas la création et l’édition du prompt de #64 : c’est la PR #72. Aucun paquet combinant les deux branches n’a été validé.
La sélection du modèle est implémentée et testée sur le binaire installé avec une doublure Codex. L’accès réel d’un compte Codex à luna et la qualité d’une inférence réelle ne sont pas qualifiés. Ce manque de qualification ne signifie pas que le réglage est absent et ne constitue pas un blocage humain établi.
Pas de fusion ni de déploiement sur la machine de Mathieu. Les gates utilisent les archives privées via un cache authentifié sans secrets dans les conteneurs ; le téléchargement anonyme n’est pas validé.

Travail en cours réel

Aucun worker de développement actif ou nouvelle exécution en file pour #65 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. Il n’y a pas de qualification luna lancée en arrière-plan.
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 #65.
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 le défaut luna et le réglage model. Aucun nouveau choix de modèle, aucune relance de publication ni réexécution de nos tests n’est demandé. 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 ; #65 reste ouvert jusqu’à vérification de sa résolution après fusion.

Preuves compactes

PR ouverte, auteur hephaistos, HEAD distant 31d5666bfe31cc21efeeff4ed4c751357e221dae, base 23f64e1 incluse.
test-65.log : fraîcheur, construction/installation Arch, upgrade réel r12 → r13 avec ancien paquet présent et sans --force, Installed model configuration passed: default luna and explicit model, puis supported Paru disposable-Arch E2E passed.
Le parcours Paru installé conserve audit, édition/réaudit, garde d’identité, reprise explicite, opérations officielles sans audit et absence de contournement après échec du fournisseur. Il ne prouve pas une réponse réelle de luna.
Recontrôle local : pr72-73-clarification/recheck-65.log, succès. Journaux sous le runtime Hephaistos forgejo-dev-loop-auroscope ; preuves brutes conservées, non recopiées ici.

Refs #65 ## Implémenté - Le fournisseur Codex utilise **`luna` par défaut** lorsque le modèle n’est pas indiqué. Le champ `model` du fichier commun `auroscope/config.json` permet de choisir explicitement un autre identifiant, transmis à Codex. - Un modèle explicitement vide/null est refusé. Les autres fournisseurs gardent leurs règles propres ; `luna` n’est pas imposé aux API. La configuration utilisateur est conservée ; les opérations officielles restent sans audit ni lecture obligatoire de ce fichier. - Code et recette Arch **déjà publiés** sur cette PR : `31d5666`, paquet `0.1.0.r13.g281d061-1`, source immuable `281d061fa9c9e3d67de408c6adbb415bb04af3cc`. Les validations du wrapper sont terminées, pas à faire. ## Non implémenté / non vérifié - Cette branche ne livre pas la création et l’édition du prompt de #64 : c’est la PR #72. Aucun paquet combinant les deux branches n’a été validé. - La sélection du modèle est implémentée et testée sur le binaire installé avec une doublure Codex. **L’accès réel d’un compte Codex à `luna` et la qualité d’une inférence réelle ne sont pas qualifiés.** Ce manque de qualification ne signifie pas que le réglage est absent et ne constitue pas un blocage humain établi. - Pas de fusion ni de déploiement sur la machine de Mathieu. Les gates utilisent les archives privées via un cache authentifié sans secrets dans les conteneurs ; le téléchargement anonyme n’est pas validé. ## Travail en cours réel - **Aucun worker de développement actif ou nouvelle exécution en file pour #65 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`. Il n’y a pas de qualification `luna` lancée en arrière-plan. - 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 #65. - 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 le défaut `luna` et le réglage `model`.** Aucun nouveau choix de modèle, aucune relance de publication ni réexécution de nos tests n’est demandé. 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 ; #65 reste ouvert jusqu’à vérification de sa résolution après fusion. <details><summary>Preuves compactes</summary> - PR ouverte, auteur `hephaistos`, HEAD distant `31d5666bfe31cc21efeeff4ed4c751357e221dae`, base `23f64e1` incluse. - `test-65.log` : fraîcheur, construction/installation Arch, upgrade réel r12 → r13 avec ancien paquet présent et sans `--force`, `Installed model configuration passed: default luna and explicit model`, puis `supported Paru disposable-Arch E2E passed`. - Le parcours Paru installé conserve audit, édition/réaudit, garde d’identité, reprise explicite, opérations officielles sans audit et absence de contournement après échec du fournisseur. Il ne prouve pas une réponse réelle de `luna`. - Recontrôle local : `pr72-73-clarification/recheck-65.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:09 +00:00

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

hephaistos referenced this pull request

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

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

hephaistos referenced this pull request

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

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

hephaistos added 4 commits

2026-09-13 01:02:40 +00:00

packaging: deliver PR72 on main with verified r15 upgrade 06517aa9a4

Merge main into PR73 preserving shared prompt and model configuration c5dbcb3bb6

Merge verified r15 delivery preserving immutable source history 52b3ae1a4b

Test combined model and prompt defaults without rewriting user config 20bdd799a2

hephaistos added 1 commit

2026-09-13 01:12:31 +00:00

packaging: deliver combined prompt and model in verified r16 828b7fa56d

hephaistos changed title from ~~Livrer le modèle configurable dans le paquet r13 vérifié~~ to Livrer prompt et modèle configurables ensemble — paquet r16 vérifié

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

hephaistos commented

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

Author

Owner

La #73 est corrigée contre le main actuel et livre désormais prompt + modèle dans le paquet 0.1.0.r16.g20bdd79-1 (commit 828b7fa, pin 20bdd799a285c1988d850416265b53023a288a3a). Elle reprend aussi la recette qui n’était pas encore intégrée lorsque tu as fusionné #72.

Tests Go/vet, fraîcheur, métadonnées Arch non-root, upgrade r15 → r16 sans --force avec anciens paquets présents, et gate complet sur le binaire installé avec Paru réel : tous réussis. Les deux conteneurs sont terminés avec code 0 ; aucun retard sur main, fusion possible vérifiée. Le prompt conservé et les modèles par défaut/explicite sont testés ; l’accès réel à luna n’est pas qualifié.

Mathieu: tu peux examiner puis fusionner cette PR #73 avec un commit de fusion pour préserver le pin source et les pins antérieurs, pas de squash. Aucun paquet installé sur ta machine et aucune fusion effectuée par l’agent.

La #73 est corrigée contre le main actuel et livre désormais **prompt + modèle** dans le paquet `0.1.0.r16.g20bdd79-1` (commit `828b7fa`, pin `20bdd799a285c1988d850416265b53023a288a3a`). Elle reprend aussi la recette qui n’était pas encore intégrée lorsque tu as fusionné #72. Tests Go/vet, fraîcheur, métadonnées Arch non-root, upgrade r15 → r16 sans `--force` avec anciens paquets présents, et gate complet sur le binaire installé avec Paru réel : tous réussis. Les deux conteneurs sont terminés avec code 0 ; aucun retard sur main, fusion possible vérifiée. Le prompt conservé et les modèles par défaut/explicite sont testés ; l’accès réel à `luna` n’est pas qualifié. **Mathieu: tu peux examiner puis fusionner cette PR #73 avec un commit de fusion pour préserver le pin source et les pins antérieurs, pas de squash.** Aucun paquet installé sur ta machine et aucune fusion effectuée par l’agent.