Research prototype · Aether MCP

VERITAS Le linter
scientifique

Six couches qui produisent, attestent, font converger et exposent à la critique des claims numériques.

A symbolic linter for numerical scientific claims. It does not prove a claim is true — it checks whether it is internally coherent, properly attested, and defensible against a fixed set of objections.

Prototype de recherche — pas un arbitre de vérité scientifique. Outil pédagogique.
Pipeline

Six couches, six questions

Chaque couche ajoute une question. Une claim ne « passe » pas le stack en répondant oui ; elle passe en survivant à toutes les questions.

  1. 1 · GENESIS 41
    Joseph (le Songe)
    Peut-on produire une claim bien formée ?
  2. 2 · DANIEL 5
    Mané Thékel Pharès
    Le calcul est-il auto-attesté (V mod 7 ≡ P) ?
  3. 3 · APOCALYPSE 6
    Sept Sceaux du Raisonnement
    Le raisonnement est-il structuré en 7 dimensions ?
  4. 4 · COMPOSITION
    VERITAS (cross-link)
    Formule et raisonnement sont-ils scellés ensemble ?
  5. 5 · ACTES 2
    La Pentecôte (12 apôtres)
    12 angles indépendants convergent-ils ?
  6. 6 · DANIEL 7
    Le Tribunal (7 objections)
    La claim survit-elle aux objections principales ?
Démo interactive

Soumets une claim au Tribunal

Encode une claim numérique via les 8 métadonnées. Le Tribunal applique mécaniquement les 7 objections et rend son verdict.

VERDICT N° 001
Sentence rendue

…

…

Cas d'étude · 10 claims

Un papier réaliste passé au pipeline

RCT mindfulness sur stress professionnel, n=2000. Deux claims passent — huit méritent reformulation. Rapport complet.

  1. 1Réduction PSS de 30 % à 12 sem (primary, p<0.001)Acquittée
  2. 2Réduction burnout de 25 % à 12 sem (secondary)Acquittée
  3. 3Effet plus fort chez les femmes (sous-groupe n=1000)Reproductibilité
  4. 4Effet en ≥45 ans (sous-groupe n=400)Généralisation
  5. 5Engagement : 70 % terminent le programme (descriptif)Causalité
  6. 6Effet à 6 mois (sous-échantillon, suivi unique)Reproductibilité
  7. 7Corrélation temps de méditation / réduction stressCausalité
  8. 8Coût-efficacité 200 €/employé pour bénéfice mesuréAlternative
  9. 9« Pas d'événement indésirable sérieux rapporté »Méthode
  10. 10Conclusion : « tous les employeurs devraient adopter »Alternative
Verdicts canoniques

Les 8 issues possibles

Une claim sort soit acquittée, soit condamnée par l'une des 7 objections. Chaque issue a son input minimal.

Avertissement

VERITAS Stack est un prototype de recherche. Il ne lit pas les papiers tout seul. Un humain (ou un extracteur futur) encode les métadonnées numériques ; le stack applique ensuite une grille de décision stable, transparente, reproductible.

En particulier, ce prototype n'est pas :

  • un outil de validation médicale ou juridique
  • un remplacement de la peer review humaine
  • un détecteur de fraude scientifique
  • un arbitre de la vérité d'une claim

Il est :

  • un linter symbolique pour claims numériques
  • un protocole de contrôle de cohérence et de défendabilité
  • une grille d'objections systématiques mécanisable

L'extraction des métadonnées reste subjective. Le Tribunal automatise la conséquence, pas la classification initiale.