v0.8 recentre T^GPT sur une instrumentation falsifiable de la contraction : localisation par étapes, support perdu, récupération sous sonde neutre, provenance et coût. T^FIELD devient une condition à battre, pas le centre présumé du résultat.
Opposition lexicale, préférence pairwise, majority vote, synthèse unique et représentations internes sont des phénomènes distincts. v0.8 va plus loin : elle cesse aussi d’utiliser « champ » comme objet unique.
La question primaire devient : une contraction observable est-elle récupérable sans nommer ce qui a été perdu ?
| Objet | Définition | Mesure |
|---|---|---|
| FIELD^TOK | Distribution conditionnelle sur tokens/continuations lorsque le modèle ou l’API l’expose. | logprobs, entropie, masse de continuation ; jamais assimilés directement à la diversité sémantique. |
| FIELD^SEM | Distribution empirique de configurations sémantiques obtenues par échantillonnage. | clustering sémantique pré-spécifié, couverture, entropie sémantique. |
| FIELD^TRAJ | Ensemble/graphe de trajectoires de raisonnement ou d’agents et de leurs échanges. | provenance, topologie, survie de branches, coût. |
| FIELD^VIS | Configurations effectivement restituées à l’utilisateur ou au document final. | contenu visible et couverture relative aux niveaux précédents. |
Une transition entre ces niveaux doit être mesurée ou explicitement postulée ; elle ne découle jamais du seul mot « champ ».
SUPPORT large U
↓ condition étroite
SUPPORT visible N
↓
LOST = U \ N
↓ sondes génériques pré-enregistrées
RECOVERED ⊆ LOST
↓
REC^GAIN ; IRREV^OBS(protocol, probes, budget)ES^LOSS décrit le support observable absent de la condition étroite. REC^GAIN est la part de ce support qui réapparaît sous une famille de sondes ne nommant pas les clusters perdus. IRREV^OBS = 1 − REC^GAIN dans le protocole considéré. Il ne s’agit jamais d’une irréversibilité des poids.
Comparer, lorsque les artefacts sont publics ou reproductibles, BASE → SFT → DPO → RLVR, et séparer l’effet des poids de celui du template. Les recettes ouvertes Tülu/OLMo deviennent une chaîne prioritaire.
Comparer condition large et condition étroite, puis appliquer des sondes neutres pré-enregistrées. Endpoint primaire : REC^GAIN à budget token apparié, avec intervalle d’incertitude.
La littérature établit déjà que topologie, autorité et densité de communication peuvent modifier convergence et diversité. La question résiduelle porte sur la topologie et le moment de contact maximisant couverture pertinente et provenance à coût égal.
Tester la réapparition d’une topologie après critique, avec critique tierce standardisée, bras de contrôle style/longueur et codeurs aveugles. CH11 traite explicitement le biais d’élicitation.
Le brouillon v0.8 introduisait déjà une correction importante, conservée ici : les branches sont générées puis gelées. STANDARD_SUMMARY, MAJORITY/JUDGE, EXHAUSTIVE_NON_T et T^WEAVE reçoivent le même pool. Ainsi, l’effet de l’agrégation n’est pas confondu avec l’effet de la génération.
Le budget principal est apparié en tokens totaux entrée + sortie. Le nombre d’appels, la latence et le coût monétaire sont enregistrés comme variables secondaires. Une règle de troncature est fixée avant collecte.
Baselines : DIRECT ; prompt unique demandant k réponses distinctes ; MINIMAL-MULTI ; sampling plus dispersif lorsque disponible ; Verbalized Sampling ; multi-sampling + clustering + sélection de couverture ; best-of-N/judge calibré ; débat multi-agent standard. Le concurrent principal de T^WEAVE devient multi-sampling + semantic clustering + coverage selection, ainsi que l’agrégateur hostile EXHAUSTIVE_NON_T.
Si une procédure simple conserve aussi bien couverture, pertinence et provenance à budget comparable, aucune contribution technique spécifique de T^FIELD n’est revendiquée.
GATE = règle pré-enregistrée de routage d’une tâche vers SINGLE / PLURAL / DISTRIBUTIONAL / DECIDE_AFTER_FIELD. CÉSURE = opérateur de perturbation contrôlée avec transformations autorisées fixées à l’avance. WEAVE = graphe de clusters, relations et provenance sans score global obligatoire. Si une notion ne peut pas être définie de cette manière, elle reste `T^HEURISTIC` et ne joue aucun rôle probatoire.
DOC / OBS / RUMEUR / HYP / T^HYP / T^HEURISTIC / PILOT / EXT-REVIEW SUPPORTED / PARTIAL / REFUTED / RETIRED
`T^` n’est plus une exemption. Toute proposition T^ produisant une conséquence empirique reçoit le statut `T^HYP` et doit pouvoir devenir REFUTED ou RETIRED.
La revue externe a déclenché : remontée de REC^GAIN/IRREV^OBS, budgets appariés, contrôles positifs, annotation aveugle, CH11, confrontation à Quality-Diversity, distinction des quatre FIELD et déplacement de cognition-mesure hors du noyau expérimental.
Trois équivalences fortes ne sont pas adoptées : T^FIELD n’est pas déclaré identique à MAP-Elites ; FIELD^TOK ne remplace pas FIELD^SEM ; la consolidation OpenAI n’est pas lue comme preuve pour ou contre H15, mais comme opération productive et sélective à mesurer.
Le pilote v0.7, ses prompts et son schéma d’annotation restent publiés tels quels. Les incohérences relevées sont documentées comme raisons de la transition, pas corrigées rétroactivement.
Protocole v0.8 JSON → · Claims ledger v0.8 → · Pilot v0.8 → · Pilot v0.7 historique →