maskshell/solidforge

---

name: recherche-art-antérieur description: recherche-art-antérieur — un détecteur de collisions en lecture seule, ancré dans la recherche, pour chaque revendication de nouveauté qui PARCOURT le corpus d'art antérieur à la recherche des revendications de nouveauté d'un document et statue sur la collision avec l'art antérieur (collision / pertinent non cité / clair après recherche / non concluant), en émettant une divulgation honnête de couverture (collisions_sous_couverture_connue). Utilisez-le lorsque les revendications de NOUVEAUTÉ d'un document doivent être vérifiées pour des collisions avec l'art antérieur — « ce document surestime-t-il sa nouveauté », « ce cadrage existe-t-il déjà dans la littérature ». Produit un paquet de collision par revendication + un enregistrement de collision ; JAMAIS nouveauté_confirmée. PAS pour la revue de code (développement parallèle), la rédaction de spécifications (création de plans), la convergence de processus de document (revue multi-source), la vérification des sources CITÉES (vérification de source primaire — psv rétro-cité, recherche-art-antérieur rétro-non-cité), ou la collecte de recherche prospective (recherche de création de plans). Ne juge PAS si la nouveauté du document est RÉELLE ou significative (axe de résultat — humain). Phase A : invocation EXPLICITE (/recherche-art-antérieur).

Couverture de Nouveauté

Un détecteur de collisions en lecture seule, ancré dans la recherche, pour chaque revendication de nouveauté d'un artefact en forme de document (un article de conception, un document de recherche, une spécification). Il ouvre la surface de nouveauté de l'axe RÉSULTAT que ni la revue-multi-source (rms), la vérification-source-primaire (vsp), ni le chercheur de création de plans n'atteignent : rms converge l'axe PROCESSUS d'un document mais ne recherche pas l'art antérieur ; vsp RÉCUPÈRE chaque source citée (rétro, citée) mais ne chasse pas l'art antérieur non cité ; le chercheur COLLECTE des sources prospectives pour la rédaction (la direction opposée). recherche-art-antérieur est le contrôle de collision rétro, non cité manquant — il PARCOURT le corpus d'art antérieur pour chaque revendication de nouveauté et signale les collisions honnêtement.

Positionnement Central

Ancré dans la recherche, pas basé sur le rappel

Une conclusion de collision / pertinent-non-cité DOIT citer une CITATION récupérée de l'art antérieur trouvé, pas un rappel du modèle. Une conclusion qui ne peut pas justifier une citation récupérée du texte d'art antérieur trouvé est rétrogradée à non-concluant, jamais affirmée. C'est l'invariant porteur (règle d'espace de travail 3 + L1), appliqué par une auto-porte (NC-I5). Le texte trouvé est lui-même extrait par modèle des résultats de recherche — un oracle plus faible que la source faisant autorité récupérée par vsp (voir l'avertissement à deux couches ci-dessous).

Couverture de collision par revendication, pas un verdict de nouveauté

recherche-art-antérieur n'émet JAMAIS nouveauté_confirmée ou « le document est nouveau ». Son seul signal principal est collisions_sous_couverture_connue : C clair après recherche, N collisions, U pertinent non cité, I non concluant sur M revendications de nouveauté extraites. Les revendications I (et le cas M=0 — pas de surface de nouveauté) SONT TRANSMISES à un humain. Il s'agit d'une divulgation honnête de couverture, PAS d'un verdict de nouveauté. La limite irréductible d'absence de preuve : vous ne pouvez pas prouver une négative (« aucun art antérieur n'existe »), donc un document sans collision trouvée signifie « aucune collision trouvée dans le corpus recherché », PAS « nouveau ». Une compétence symétrique de « convergence de nouveauté » qui boucle vers un booléen nouveauté_confirmée est une erreur catégorielle — elle aplatit une divulgation de COUVERTURE (« aucune collision trouvée dans le corpus recherché ») en un VERDICT (« nouveau »), c'est-à-dire que l'absence de preuve est traitée comme une preuve d'absence ; recherche-art-antérieur n'est explicitement PAS cela. (Le cadre plus large à deux axes — processus × résultat — est l'article sur le gaming de spécifications §4.2 ; recherche-art-antérieur vit entièrement sur l'axe résultat, donc son erreur est interne au résultat, pas une confusion processus/résultat.)

Additif à rms et vsp ; un pipeline unique

recherche-art-antérieur est ADDITIF à rms (axe processus) et vsp (vérification des sources citées) ; il ne fusionne avec aucun des deux. Contrairement au débat multi-tours de rms (même famille + famille différente), recherche-art-antérieur est un pipeline UNIQUE — extraire les revendications de nouveauté → rechercher l'art antérieur → verdict de collision par revendication → divulgation de couverture. L'oracle est le corpus d'art antérieur interrogeable, pas un modèle de famille différente, donc il n'importe PAS le substrat hétérogène de rms. vsp et recherche-art-antérieur se composent : un document à enjeux élevés peut exécuter vsp (les sources citées sont-elles exactes ?) ET recherche-art-antérieur (les revendications de nouveauté sont-elles exemptes de collisions par rapport à l'art antérieur trouvable ?). Ils ne fusionnent pas.

Faiblesse d'oracle à deux couches, énoncée honnêtement (règle d'espace de travail 3)

L'oracle de recherche-art-antérieur est le corpus d'art antérieur interrogeable, PLUS FAIBLE que la source primaire récupérée par vsp à DEUX couches (l'avertissement d'honnêteté porteur, proposition §3 / ADR §8 Q4) :

1. Faiblesse côté comparaison (partagée avec vsp). La comparaison revendication-vs-art-antérieur est jugée par modèle — clair-après-recherche signifie que le modèle n'a trouvé aucune collision, pas qu'il n'en existe pas. C'est la faiblesse de comparaison partielle de niveau 2 de vsp.
2. Faiblesse côté sélection (propre à recherche-art-antérieur). Un résultat de recherche ajoute une faiblesse de sélection par-dessus la faiblesse de comparaison : biais de classement, limites de rappel (vous ne pouvez pas rechercher l'ensemble du corpus), et le texte d'art antérieur trouvé est lui-même extrait par modèle du résultat de recherche, pas une plage d'octets faisant autorité récupérée.

Donc recherche-art-antérieur est plus faible à deux couches, pas « oracle faible vs oracle fort ». C'est précisément POURQUOI il n'émet JAMAIS nouveauté_confirmée et pourquoi son signal principal est une déclaration de couverture, pas un verdict. clair-après-recherche signifie « aucune collision dans ce qui a été recherché », pas « nouveau ». L'oracle plus faible est la limite irréductible de la vérification de nouveauté sans intervention humaine.

Deux angles morts, énoncés honnêtement (règle d'espace de travail 3)

Les étapes effectuées par le modèle de recherche-art-antérieur comportent des angles morts divulgués plutôt que cachés : (1) l'extraction des revendications de nouveauté hérite des angles morts de l'extracteur — les revendications que ni l'auteur ni l'extracteur n'identifient comme « nouveauté » sont absentes de M ; (2) la comparaison revendication-vs-art-antérieur est jugée par modèle — clair-après-recherche signifie que le modèle n'a trouvé aucune collision, pas qu'il n'en existe pas. Les comptes C/N/U/I/M sont conditionnels à ce qui a été extrait, recherché et comparé, pas une garantie d'exhaustivité. Une étape d'extraction de famille différente est une atténuation différée (partielle).

Portée

• Inclus : extraire les revendications de nouveauté atomiques d'un document (chacune : emplacement + cible de recherche) ; rechercher le corpus d'art antérieur par revendication ; émettre un verdict de collision par revendication (collision/pertinent-non-cité/clair-après-recherche/non-concluant) ancré dans une citation récupérée de l'art antérieur trouvé pour les collisions ; émettre un enregistrement de collision (collisions_sous_couverture_connue) + un paquet de résultats de collision.
• Exclus : revue de code (développement-parallèle) ; rédaction de spécifications/conception d'architecture (création-de-plans) ; convergence de processus de document (revue-multi-source) ; vérification des sources CITÉES (vérification-source-primaire) ; collecte de recherche (chercheur de création de plans) ; un verdict de nouveauté — si la nouveauté du document est RÉELLE ou significative — (humain).

Garde de Portée (détection à l'entrée)

• Le livrable est du code source/test → orienter vers développement-parallèle.
• Le livrable est la rédaction/réécriture d'une spécification, d'une conception d'architecture, d'un plan d'itération ou d'une recherche → orienter vers création-de-plans.
• La demande est « piloter une revue multi-tours contradictoire jusqu'à convergence sur ce document » → orienter vers revue-multi-source (axe processus).
• La demande est « les revendications CITÉES de ce document tiennent-elles face à leurs sources ? » → orienter vers vérification-source-primaire (vsp = rétro-CITÉ ; recherche-art-antérieur = rétro-NON-CITÉ).
• La demande est « ce document SURESTIME-t-il sa nouveauté — entre-t-il en collision avec un art antérieur qu'il n'a pas cité ? » → recherche-art-antérieur (cette compétence).
• La demande est « est-ce nouveau / significatif / la bonne contribution ? » → axe résultat, humain uniquement.

La garde est douce (rappeler + orienter, pas refuser). La Phase A repose sur l'invocation explicite (/recherche-art-antérieur).

Démarrage Rapide

Vous êtes l'orchestrateur. Les étapes sont en lecture seule ; le pilote exécute le pipeline unique (PAS un débat multi-tours). Exécutez dans l'ordre.

1. Cadrer — identifier l'artefact + sa surface de nouveauté. Énumérer les revendications de nouveauté centrales (les assertions porteuses « X est nouveau / le premier / n'a pas d'art antérieur » à vérifier pour les collisions). Déclarer la portée.

2. Extraction des revendications de nouveauté (NC-I2) — lancer solidforge:extracteur-revendications-nouveauté (contexte frais) ; il lit l'artefact et énumère les revendications de nouveauté atomiques, chacune liée à un emplacement et à une cible de recherche. Atomique = une proposition de nouveauté par revendication (composé divisé). Une revendication de nouveauté est une assertion de nouveauté (« X est un nouveau cadrage », « Y est le premier à », « Z n'a pas d'art antérieur »). Distinguer des revendications factuelles/de citation (domaine de vsp — vérifier, ne pas vérifier les collisions) et des revendications interprétatives (« ceci est significatif » — PAS justiciable par recherche ; transmettre à l'humain, étiqueté inadmissible). (Avertissement sur l'angle mort de l'extracteur : les revendications qu'aucune des deux parties n'identifie comme « nouveauté » sont absentes de M.)

3. Recherche multi-source + verdict de collision (NC-I3) — pour chaque revendication de nouveauté, rechercher le corpus d'art antérieur (arXiv, web, dépôts publics) pour des travaux qui ont DÉJÀ fait cette revendication, puis comparer la revendication avec l'art antérieur trouvé et attribuer l'un des statuts suivants :

   • collision — l'art antérieur trouvé fait déjà cette revendication (la nouveauté du document est surestimée) ; citer la source en collision + CITER le texte d'art antérieur trouvé (gravité bloquant ; preuve DOIT citer l'art antérieur trouvé).
   • pertinent-non-cité — travail pertinent trouvé que le document n'a pas cité (pas une collision directe, mais un manque de couverture) ; CITER le texte d'art antérieur trouvé (gravité avertissement).
   • clair-après-recherche — aucune collision trouvée DANS LE CORPUS RECHERCHÉ (PAS nouveau ; juste aucune collision remontée). Compté seulement, pas une conclusion.
   • non-concluant — la recherche n'a pas pu couvrir la revendication (corpus payant, requête ambiguë, rien de trouvable) ; transmettre à l'humain (gravité couverture). Les sources ouvertes (résumés arXiv, dépôts publics) sont recherchées sans justificatif ; les API de recherche Web utilisent une surface HTTP nommée séparément (PAS le namespace de jeton LLM _ANTHROPIC_AUTH_TOKEN de rms — voir install.md). (Avertissement sur l'angle mort de comparaison + la faiblesse côté sélection.)

4. Divulgation de couverture (NC-I4) — émettre un enregistrement-de-collision : collisions_sous_couverture_connue = C clair après recherche / N collisions / U pertinent non cité / I non concluant sur M = C+N+U+I revendications de nouveauté extraites ; plus un paquet de résultats de collision (conclusions de collision / pertinent non cité / non concluant ; les revendications clair-après-recherche sont comptées, pas listées). M=0 (aucune revendication de nouveauté extractible — un document ne faisant aucune assertion de nouveauté, ou toutes les revendications de nouveauté interprétatives) et I>0 SONT TOUS DEUX TRANSMIS à un humain. JAMAIS nouveauté_confirmée. Une conclusion de collision/pertinent-non-cité sans citation récupérée est rétrogradée à non-concluant.

Le signal honnête est la divulgation de couverture — exactement ce qui a été recherché et ce qui est entré en collision, et ce qui n'a pas pu être couvert. Si le document est véritablement NOUVEAU reste une décision humaine.

Chaîne d'Autorité

• docs/proposition.md = conception faisant autorité (maître ; rms axe-PROCESSUS CONVERGÉ-SUBSTANTIELLEMENT + vsp N=9/K=0 vérifié, 2026-07-31).
• docs/plan-itération.md = plan d'exécution (éléments de travail Phase A NC-I0–NC-I6 ; en cas de conflit, proposition.md l'emporte).
• docs/décisions-conception.md = journal ADR (les décisions non évidentes : jamais-nouveauté_confirmée, pipeline-unique-pas-débat, le proxy structurel faux-positif, la faiblesse d'oracle de recherche à deux couches, la relation avec vsp/chercheur, la surface de justificatifs).
• docs/proposition.convergence.md = la piste de revue croisée de la proposition.

Coordination avec revue-multi-source / vérification-source-primaire / création-de-plans / développement-parallèle

• revue-multi-source reste le moteur de convergence de l'axe PROCESSUS. recherche-art-antérieur est ADDITIF et non fusionnant : le convergence_substantielle de rms n'implique pas la couverture de recherche-art-antérieur, et vice versa.
• vérification-source-primaire est la branche complémentaire de l'axe résultat. vsp = rétro-CITÉ (récupérer chaque source citée) ; recherche-art-antérieur = rétro-NON-CITÉ (rechercher l'art antérieur que le document n'a PAS cité). Ils se composent (un document peut exécuter les deux) ; ils ne fusionnent pas. recherche-art-antérieur réutilise le modèle de champs de schéma de vsp (les résultats de collision étendent les résultats de document de vsp — un sur-ensemble strict) et le RAISONNEMENT de justificatif de install.md — copie de motifs, PAS de code (règle d'espace de travail 7).
• création-de-plans reste pur (axe processus). Son chercheur est PROSPECTIF (« trouver des sources sur X pour la rédaction ») — la direction opposée à la collision rétrospective de recherche-art-antérieur. Ils ne fusionnent pas.
• développement-parallèle possède la revue de code. recherche-art-antérieur est en forme de document, pas de code.
• Limite fichiers_touchés : cette compétence possède recherche-art-antérieur/ + agents/extracteur-revendications-nouveauté.agent.md à la racine du dépôt (en miroir de solidforge:extracteur-revendications de vsp). Elle ne modifie pas la logique centrale de rms, vsp, cd ou dp (recherche-art-antérieur est additif). Terminologie (règle d'espace de travail 10) : collisions_sous_couverture_connue est le terme principal unique ; nouveauté_confirmée est le terme interdit et n'apparaît jamais comme un champ émis.

Auto-Vérifications (Définition de Terminé)

Note de maturité (construction Phase A) : toutes les auto-portes ci-dessous sont livrées et passent en vert (NC-I0–NC-I6 convergés ; docs/plan-itération.dossier-exécution.json porte le verdict). Le dogfood N≥3 en direct a eu lieu le 2026-08-01 sur 3 artefacts réels, dont le long article sur le gaming de spécifications — profil de couverture à docs/dogfood-run-2026-08-01.md : 2 conclusions de pertinent non cité remontées via l'art antérieur récupéré (spéc-gaming NC34 ↔ SWE-ABS ; vsp NC2 ↔ Audit de Citation Alimenté par IA), et le paradoxe d'auto-certification connu est revenu clair après recherche sous l'oracle arXiv uniquement — démontrant la faiblesse à deux couches en production (un résultat zéro collision signifie « aucune collision dans ce qui a été recherché », PAS « nouveau »). La porte dogfood.py hors ligne couvre uniquement le montage canonique (chemin de saut règle-1 quand pas de réseau). Report restant : une étape d'extraction de famille différente (atténuation partielle de l'angle mort de l'extracteur). Le nom recherche-art-antérieur est PROPOSÉ, en attente de VERROUILLAGE humain (proposition §8 Q1).

Un changement de compétence n'est pas terminé tant qu'une auto-vérification échoue (règle d'espace de travail 1). Exécuter avant le commit :

python3 skills/prior-art-search/infra/test/disconnect_check.py        # structure + chaîne de chargement
python3 skills/prior-art-search/infra/test/plugin_layout.py           # plugin.j

…

[tronqué pour la traduction]