Meilleur assesment #36

Closed
opened 2026-09-03 11:45:51 +00:00 by mathieu · 2 comments
Owner

voici l'assesment pour un pauqet (brave-bin) mis à jour :

No recipe change is present: identity.commit equals previous_commit. The supplied .SRCINFO uses version-pinned GitHub release URLs under the declared Brave upstream and SHA-256 checksums for all listed sources; it shows no mutable URLs or weakened integrity checks. However, no recipe files were supplied, so the executable packaging logic cannot be audited.

[...]

Risk: Unknown

Si je comprends bien, rien n'a changé dans la recette, sauf le binaire cible ?

Si c'est bien le cas, alors le retour du LLM ne devrait pas être "unknown", mais au contraire, signaler l'absence de danger : la cible est officilele et on ne trouve rien d'inquiétant dans le paquet AUR

voici l'assesment pour un pauqet (brave-bin) mis à jour : ``` No recipe change is present: identity.commit equals previous_commit. The supplied .SRCINFO uses version-pinned GitHub release URLs under the declared Brave upstream and SHA-256 checksums for all listed sources; it shows no mutable URLs or weakened integrity checks. However, no recipe files were supplied, so the executable packaging logic cannot be audited. [...] Risk: Unknown ``` Si je comprends bien, rien n'a changé dans la recette, sauf le binaire cible ? Si c'est bien le cas, alors le retour du LLM ne devrait pas être "unknown", mais au contraire, signaler l'absence de danger : la cible est officilele et on ne trouve rien d'inquiétant dans le paquet AUR
Owner

Classification : amélioration corrective du bundle d’audit différentiel. Le cas observé est réel : quand l’identité courante correspond exactement au baseline réussi, AURoscope fabrique actuellement un bundle diff vide et retire tous les fichiers inchangés. Codex voit donc .SRCINFO, mais pas le PKGBUILD, et transforme cette absence de contexte créée par AURoscope en risque unknown. Cela ne prouve toutefois pas qu’un binaire cible a changé : AURoscope sait seulement que le commit et le manifeste de recette sont inchangés.

Plan : (1) représenter explicitement l’identité commit+manifeste inchangée et fournir la recette complète à Codex; (2) comparer le baseline au worktree réel afin de ne pas masquer une modification locale sous un commit identique; (3) cadrer le prompt pour qu’une recette complète inchangée sans indice inquiétant produise un risque de packaging low, sans prétendre certifier le binaire amont; (4) ajouter les régressions ciblées, puis exécuter les vérifications du dépôt.

Classification : amélioration corrective du bundle d’audit différentiel. Le cas observé est réel : quand l’identité courante correspond exactement au baseline réussi, AURoscope fabrique actuellement un bundle `diff` vide et retire tous les fichiers inchangés. Codex voit donc `.SRCINFO`, mais pas le `PKGBUILD`, et transforme cette absence de contexte créée par AURoscope en risque `unknown`. Cela ne prouve toutefois pas qu’un binaire cible a changé : AURoscope sait seulement que le commit et le manifeste de recette sont inchangés. Plan : (1) représenter explicitement l’identité commit+manifeste inchangée et fournir la recette complète à Codex; (2) comparer le baseline au worktree réel afin de ne pas masquer une modification locale sous un commit identique; (3) cadrer le prompt pour qu’une recette complète inchangée sans indice inquiétant produise un risque de packaging `low`, sans prétendre certifier le binaire amont; (4) ajouter les régressions ciblées, puis exécuter les vérifications du dépôt.
Owner

Correction proposée dans la PR #37 : #37

Le cas commit + manifeste inchangés fournit désormais la recette complète à Codex sous un mode explicite unchanged; une recette complète sans indice inquiétant est cadrée vers un risque de packaging low, sans extrapoler sur le binaire amont. Les modifications locales sous un commit identique sont aussi incluses dans le diff. Les tests Go, les deux E2E Arch jetables et le build/install du paquet 0.1.0.r3.g7311508-1 passent.

Correction proposée dans la PR #37 : https://git.2027a.net/2027a/auroscope/pulls/37 Le cas `commit + manifeste inchangés` fournit désormais la recette complète à Codex sous un mode explicite `unchanged`; une recette complète sans indice inquiétant est cadrée vers un risque de packaging `low`, sans extrapoler sur le binaire amont. Les modifications locales sous un commit identique sont aussi incluses dans le diff. Les tests Go, les deux E2E Arch jetables et le build/install du paquet `0.1.0.r3.g7311508-1` passent.
Sign in to join this conversation.
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
2027a/auroscope#36
No description provided.