Accueil

ATLAS · Research Universe

Conserver beaucoup de questions. N'en montrer que quelques-unes. Les tester vraiment.

Le registre privé compte 622 entrées adressables. Ce nombre ne signifie ni 622 découvertes, ni 622 résultats. Il signifie qu'une question peut être retrouvée, réouverte, testée ou abandonnée sans dépendre d'un chat oublié.

Ici, cinq tiroirs suffisent. Chaque dossier garde la même grammaire : question → test → résultat → ce qui a cassé → next.

Le circuit

Le monde produit un signal. SPECTRA le voit. ATLAS décide s'il mérite une enquête.

Circulation publiqueWORLD / SOURCES → SPECTRA → ATLAS → LAB → EVIDENCE → MÉMOIRE
01VoirUn signal, une anomalie, une source.
→
02QuestionnerQuelle inconnue réelle reste ouverte ?
→
03TesterUn protocole qui peut perdre.
→
04ConserverRésultat, contradiction, prochain gate.

Cette circulation décrit la méthode. Elle ne publie ni le corpus privé, ni les sources sous restriction, ni la topologie interne de SYSTASYS.

Cinq dossiers

Cinq domaines. Une seule discipline de preuve.

La couleur change avec le terrain. La discipline de preuve ne change pas.

MathsÉcritureSourcesTerrainPatrimoine
01Maths

XENO / Gerver · 2 oct. 2026

Comment être saturé en progressions de longueur 4 tout en bloquant la longueur 5 ?

Question. Pour les entiers dont les chiffres base 5 sont dans {0,1,2,3}, quelles différences communes de 4-AP sont réellement possibles ?

Test. Automate de retenues, comparaison à un automate indépendant, contrôle négatif et brute force indépendante jusqu'à L=6.

Résultat. À chaque échelle finie testée et certifiée par l'automate, toutes les différences théoriquement possibles jusqu'à (5^L-1)/4 sont réalisées.

Ce qui reste ouvert : preuve humaine simplifiée et audit de littérature plus profond. Novelty not claimed.

Voir la trace publique →
Planche 01 · structureSpectre des différences
AL = { n : chiffres5(n) ∈ {0,1,2,3} }
a+da+d+da+2d+da+3d

d = 1 … (5L − 1) / 4

Reconstruction publique de la structure testée, pas une preuve humaine complète.
02Écriture

Proto-Élamite · F-012

Une hypothèse de fonction peut-elle survivre au corpus primaire ?

Question. Les signes M157 et M388 ont-ils des distributions structurelles compatibles avec les fonctions proposées ?

Test. Contrôles appariés en fréquence, permutations intra-tablette, sensibilité aux lectures incertaines et held-out non utilisé pour choisir les candidats.

État. M157 a survécu au held-out dans la lecture actuelle du dossier. M388 a été défavorisé. La méthode est soutenue, la lecture sémantique reste ouverte.

Ce qui a cassé : l'idée qu'une même provenance de découverte suffisait comme autorité. La source indépendante reste un lead, pas une preuve.

Voir la trace publique →
Planche 02 · held-outLa fonction proposée doit survivre au corpus
M157survit au held-out
M388défavorisé
Candidat→Contrôles→Held-out
Lecture publique de l’état du dossier. Aucune valeur sémantique n’est déclarée comme résolue.
03Sources

Source Ghost · F-019

Peut-on reconstruire une source arabe perdue sans inventer les morceaux manquants ?

Question. Une source disparue peut-elle être approchée par les citations, dépendances et témoins qui lui survivent ?

Test. Une branche Abu al-Fida a été gelée sur des claims précis, tandis qu'une branche Yaqut indépendante sert de contre-appui.

État. La méthode de reconstruction est la pièce importante ; la reconstruction elle-même reste partielle et doit continuer à distinguer témoin, inférence et manque.

Next : renforcer les témoins indépendants avant toute synthèse plus ambitieuse.

Voir la trace publique →
Planche 03 · témoinsReconstruire sans combler le vide
Abu al-Fida
source perdue
Yaqut

témoin ≠ inférence ≠ manque

Le centre reste volontairement en pointillé : ce qui manque n’est pas dessiné comme connu.
04Football

Football Lab · P0

Une intuition tactique peut-elle survivre à un match qu'elle n'a pas vu ?

Question. Trouver un mécanisme mesurable qui prédit une propriété du prochain état sur des matches historiques publics.

Test. Règle gelée avant holdout, comparaison à une baseline simple, aucune donnée payante, aucun betting.

État. Le laboratoire possède maintenant des tests de possession et de géométrie, mais la valeur du dossier reste la discipline : choisir avant de regarder le match scellé.

Ce qui peut casser : un motif séduisant qui disparaît hors échantillon. Dans ce cas, le bon résultat est de le tuer proprement.

Voir la trace publique →
Planche 04 · aveugleChoisir avant d’ouvrir le match
RÈGLE GELÉEHOLDOUT SCELLÉ
Le visuel représente le protocole. Il ne simule ni prédiction, ni résultat de match.
05Patrimoine

Virtual Joins / Vesuvius

Quand un objet est fragmenté, plusieurs indices faibles valent-ils mieux qu'un seul fort ?

Question. Réassocier des fragments historiques avec plusieurs familles d'indices sans utiliser le ground truth comme feature.

Test. Virtual Joins calibre d'abord sur RePAIR puis sur des fragments Genizah held-out. Vesuvius teste de son côté la valeur causale de corrections d'annotation plutôt que leur simple taille.

Résultat utile. Un premier Genizah held-out a donné un signal MIXED, et Vesuvius a déjà montré qu'une grosse correction de labels peut avoir une valeur d'apprentissage quasi nulle.

Leçon : quantité de correction ou nombre d'indices ≠ information utile. La valeur doit apparaître dans le test aval.

Voir la trace publique →
Planche 05 · fusionPlus d’indices ne veut pas dire plus d’information
formetexturebordcontexte
→
JOIN
→
test avalMIXED
La valeur est jugée en aval. Le nombre d’indices ou la taille d’une correction ne vaut pas résultat.

Ce que 622 veut vraiment dire

Une mémoire d'inconnues, pas une collection de trophées.

91

fronts consolidés

Des familles de questions maintenues comme territoires de travail.

144

chantiers TERRIER

Backlog historique, y compris des pistes dormantes.

21

hypothèses H

Des hypothèses nommées, donc falsifiables et retrouvables.

36

Ghost Works

Des œuvres ou sources perdues conservées comme fronts de reconstruction.

Le score du backlog est un tri de travail, pas un verdict scientifique ni une priorité canonique.

Revenir aux Travaux →