{
  "schema_version": 1,
  "date": "2026-09-17",
  "scope": "Relecture de traductions/transcriptions accessibles et de travaux d’auteurs. Audit du fragment ensembliste NOT/AND/OR de Nanty, comparaison à la référence propositionnelle FDE et deux prolongements explicitement choisis du complément de NR20. Ni logique UMMO complète reconstituée, ni expertise des originaux, ni preuve quantifiée certifiée, ni test entre évaluateurs.",
  "passages": [
    {
      "reference": "D59-5",
      "source": "preface",
      "supplied": "Annonce d’un préalable logique à l’exposé physique.",
      "missing": "Aucun calcul tétravalent ni règle d’inférence dans ce passage."
    },
    {
      "reference": "D59-2",
      "source": "d59",
      "supplied": "Quatre vocables : vrai, faux, vrai hors du WAAM, et un terme déclaré intraduisible.",
      "missing": "L’explication par les deux / aucun relève ici des annotations renvoyant à NR20 ; les opérateurs ne sont pas définis."
    },
    {
      "reference": "D77 / D75-81",
      "source": "d77",
      "supplied": "Rejet de certains principes classiques dans des domaines revendiqués ; maintien d’un usage quotidien bivalent.",
      "missing": "Pas de table de calcul ni de critère complet de validité."
    },
    {
      "reference": "NR20",
      "source": "nr20",
      "supplied": "Quatre régions, complémentation d’un état, stratégie d’exploration des branches.",
      "missing": "Le texte invoque des opérateurs restrictifs sans les spécifier ; aucun langage et système de preuve complet n’est livré."
    }
  ],
  "models": [
    {
      "name": "Belnap–Dunn / FDE",
      "objects": "Un couple de bits pour chaque proposition.",
      "operation": "La négation échange les bits ; ET et OU ont des tables à quatre valeurs.",
      "scope": "Logique de référence, définie extérieurement aux lettres."
    },
    {
      "name": "NR20 — règle explicite",
      "objects": "Un état Xi dans une liste de quatre états.",
      "operation": "Son complément est l’ensemble des trois autres.",
      "scope": "Une règle partielle ; sa composition exige de préciser les types manipulés."
    },
    {
      "name": "Nanty — fragment recalculé",
      "objects": "Des ensembles T, F, B et N qui ne sont pas tous disjoints.",
      "operation": "Complément, intersection et union dans un univers fixé.",
      "scope": "Reconstruction d’auteur. La fermeture de ce fragment contient seize ensembles."
    }
  ],
  "evaluations": [
    {
      "proposition": "Le texte principal de la traduction accessible de D59-2 explique AIOOYAU par vrai et faux à la fois.",
      "nature": "Textuelle",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Réfuté",
        "favorable": "La page affiche cette explication à proximité immédiate du vocable.",
        "unfavorable": "Elle figure dans une annotation éditoriale renvoyant à NR20 ; le corps traduit le déclare intraduisible. Ce constat n’expertise pas l’original de 1967."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "D59-2, corps de texte et annotations ndw4/ndw5 ; consultation du 17 septembre 2026.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "Le complément d’un état dans NR20 est la même opération que la négation de FDE sur quatre valeurs.",
      "nature": "Documentaire",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Réfuté",
        "favorable": "Les deux systèmes emploient quatre états et un signe de négation.",
        "unfavorable": "NR20 donne trois possibilités restantes ; FDE renvoie une seule valeur et fixe B comme N. Une identité directe de ces opérations échoue ; un autre encodage reste une question distincte."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "NR20, exemple de X₁ ; définition FDE et quatre comparaisons exhaustives dans reproduire.py.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "Le fragment complément / ET / OU de la reconstruction de Nanty admet une réalisation ensembliste finie.",
      "nature": "Scientifique",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Étayé",
        "favorable": "Le modèle à quatre régions reproduit les 36 entrées des tables de complément, intersection et union.",
        "unfavorable": "Quatre égalités ailleurs dans l’article diffèrent de ce modèle ; l’implication et la logique quantifiée ne sont pas validées par ce contrôle."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "Article 8 de Nanty, version affichée du 7 mai 2017 ; représentation par ensembles et recalcul intégral des trois tables.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "Les quatre ensembles nommés par Nanty suffisent à contenir tous les résultats de son fragment ensembliste.",
      "nature": "Scientifique",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Réfuté",
        "favorable": "Le vocabulaire initial emploie quatre noms principaux.",
        "unfavorable": "Avec les quatre régions supposées non vides, la fermeture sous complément, union et intersection comporte 16 ensembles. L’auteur utilise déjà des valeurs composites ; ce résultat ne réfute pas la cohérence du modèle élargi."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "Fermeture calculée jusqu’au point fixe ; argument : les quatre régions sont isolables, puis toutes leurs unions.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "Toutes les réécritures locales contrôlées dans l’article de Nanty concordent avec ses propres tables.",
      "nature": "Documentaire",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Réfuté",
        "favorable": "Les trois tables de base concordent avec la réalisation ensembliste.",
        "unfavorable": "Trois lignes préparatoires au OU et l’entrée F ↔ F donnent des résultats différents. L’écart porte sur la version consultée, sans attribuer une cause ou une intention à l’auteur."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "Sections ET/OU et implication/équivalence de l’article 8 ; quatre contre-exemples finis publiés.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "Dans la référence FDE retenue, p et sa négation n’impliquent pas une conclusion arbitraire q.",
      "nature": "Scientifique",
      "testability": "Vérifiable documentairement",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Étayé",
        "favorable": "Avec p=B et q=F, les prémisses sont désignées et la conclusion ne l’est pas. L’élimination de ET reste valide sur les 16 couples.",
        "unfavorable": "Ce résultat dépend des opérations et des valeurs désignées T et B ; il n’est pas attribué automatiquement à NR20."
      },
      "dossier": {
        "confidence": "Élevée",
        "independence": "Mixte",
        "strength": "Forte",
        "provenance": "FDE, tables de référence et définition de la conséquence ; énumération de toutes les valuations à deux variables.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    },
    {
      "proposition": "La grille tétravalente de l’Atlas améliore l’accord entre plusieurs évaluateurs indépendants.",
      "nature": "Scientifique",
      "testability": "Testable en principe",
      "chronology": "Sans objet",
      "evidence": {
        "state": "Indéterminé",
        "favorable": "La séparation des éléments favorables et défavorables rend les désaccords plus explicites.",
        "unfavorable": "Aucune étude en aveugle avec plusieurs évaluateurs n’a été réalisée dans ce chantier. Un calcul logique ne mesure pas l’efficacité éditoriale."
      },
      "dossier": {
        "confidence": "Moyenne",
        "independence": "Mixte",
        "strength": "Non établie",
        "provenance": "Protocole Tester la grille tétravalente ; distinction entre audit formel réalisé et étude d’usage encore à conduire.",
        "reviewStatus": "Validée manuellement",
        "assessedAt": "2026-09-17"
      }
    }
  ],
  "corrections": [
    {
      "subject": "Attribution à D59-2",
      "before": "L’Atlas attribuait directement les quatre sens de Belnap au texte de 1967.",
      "after": "Quatre noms sont bien énumérés, mais les précisions les deux / aucun sont distinguées des annotations de la version accessible.",
      "scope": "Correction de notre attribution, sans conclure à une falsification du document ancien."
    },
    {
      "subject": "Évolution d’AIOOYAU",
      "before": "L’ancienne page déclarait réfutée l’identité exacte de sens entre 1967 et 2004.",
      "after": "La continuité exacte reste indéterminée : une désignation annoncée comme intraduisible ne suffit pas à démontrer un changement de sens.",
      "scope": "La reformulation de NR20 est documentée ; l’intention initiale ne l’est pas complètement."
    },
    {
      "subject": "Travaux de reconstruction",
      "before": "Le lecteur pouvait retenir surtout l’absence d’un calcul dans les lettres.",
      "after": "Le calcul ensembliste de Nanty est décrit et reproduit, avec ses résultats corrects et ses écarts locaux.",
      "scope": "La cohérence d’un fragment reconstruit n’est pas une authentification de la lettre."
    },
    {
      "subject": "La grille documentaire de l’Atlas",
      "before": "Les vocables du corpus pouvaient donner l’impression d’un équivalent exact de nos quatre étiquettes.",
      "after": "Les états de preuve de l’Atlas restent une adaptation éditoriale. Ils ne valent ni probabilité, ni superposition quantique, ni validation de l’ontologie du corpus.",
      "scope": "L’utilité pour plusieurs évaluateurs demande encore une étude distincte."
    }
  ],
  "sources": [
    {
      "id": "d59",
      "label": "D59-2 — quatre noms et annotations",
      "url": "https://www.ummo-sciences.org/fr/D59-2.htm",
      "locator": "Parenthèse méthodologique, point 1°, après la critique du tiers exclu ; annotations ndw4 et ndw5 de la page HTML.",
      "note": "Notice : 6 mai 1967 ; traduction espagnol–français. La page consultée distingue le texte et les infobulles éditoriales. Aucun original matériel n’a été expertisé ici."
    },
    {
      "id": "preface",
      "label": "D59-5 — préalable mathématique",
      "url": "https://www.ummo-sciences.org/fr/D59-5.htm",
      "locator": "Paragraphe commençant par Nous avons cependant résisté.",
      "note": "La notice corrige une ancienne lecture de la date : 6 mai, et non 6 juin 1967."
    },
    {
      "id": "d77",
      "label": "D77–D78 — logique et ontologie",
      "url": "https://www.ummo-sciences.org/fr/D75-D78.htm",
      "locator": "Fin du chapitre D77, puis début de D78.",
      "note": "Rapport attribué à 1969, reçu par fragments. La page contient aussi des annotations ; une page de notes est signalée manquante."
    },
    {
      "id": "nr20",
      "label": "NR20 — annexe de raisonnement formel",
      "url": "https://www.ummo-sciences.org/fr/NR-20.htm",
      "locator": "Annexe : quatre intersections, paragraphes de branchement, puis exemple de complémentation de X₁.",
      "note": "Notice : postée le 17 janvier 2004, communiquée le 13 février. Original non publié ; l’éditeur déclare avoir changé un mot pour servir de marqueur. Cette étude porte sur la transcription accessible."
    },
    {
      "id": "manuel",
      "label": "Manuel R. — interprétation philosophique (2003)",
      "url": "https://www.ummo-sciences.org/activ/analyses/ana6.htm",
      "locator": "Fin du développement sur AIOOYAU et section 6, Formalización lógica.",
      "note": "Source primaire de l’interprétation de cet auteur, distincte des lettres qu’il cite. Il propose une lecture par d’autres formes de conscience et appelle à définir les opérateurs."
    },
    {
      "id": "collectif",
      "label": "Louys, Pollion, Geûens et Denocla — concepts d’existence",
      "url": "https://www.ummo-sciences.org/activ/analyses/ana9.htm",
      "locator": "Tableau récapitulatif des termes existentiels.",
      "note": "Analyse attribuée à mai 2003 dans l’index. Interprétation sémantique des vocables ; ce n’est pas une table de calcul du corpus."
    },
    {
      "id": "nanty",
      "label": "Alban Nanty — Essai de Logique Tétravalente",
      "url": "https://www.ummo-sciences.org/activ/art/art8.htm",
      "locator": "Valeurs de vérité ; Négation ; opérateurs ET/OU ; implication et équivalence.",
      "note": "Version affichée : 7 mai 2017. L’index mentionne un travail commencé en 2003 et révisé en 2010 : les passages actuels citant NR20 ne sont pas datés automatiquement de 2003. Audit limité au fragment ensembliste et à quatre égalités locales ; les démonstrations quantifiées ne sont pas certifiées."
    },
    {
      "id": "galli",
      "label": "Rémy Galli — analyse historique et philosophique (juin 2026)",
      "url": "https://www.ummo-sciences.org/activ/analyses/ana49%20-%20Tetravalente.pdf",
      "locator": "Page 2 pour D59-2 ; annexe 1 pour la présentation du travail de Nanty.",
      "note": "PDF consulté. Source primaire de l’appréciation de Galli ; les affirmations mathématiques de Nanty sont contrôlées dans son propre article, pas déduites de cette synthèse."
    },
    {
      "id": "belnap",
      "label": "Belnap — A Useful Four-Valued Logic (1977)",
      "url": "https://link.springer.com/chapter/10.1007/978-94-010-1161-7_2",
      "locator": "Notice de l’éditeur ; Modern Uses of Multiple-Valued Logic, p. 5–37.",
      "note": "Repère bibliographique. Le texte intégral sous abonnement n’est pas revendiqué comme consulté ; les définitions utilisées sont contrôlées dans les publications ouvertes ci-dessous."
    },
    {
      "id": "prenosil",
      "label": "Přenosil — quatre valeurs, plusieurs relations de conséquence",
      "url": "https://arxiv.org/html/2111.09978v1",
      "locator": "Introduction et sections 2.3–2.4.",
      "note": "Article paru en 2020, manuscrit déposé en 2021. Distingue notamment préserver le vrai et préserver le vrai seulement : les tables seules ne déterminent pas toute la logique."
    },
    {
      "id": "coniglio",
      "label": "Coniglio, Gomez-Pereira et Figallo — tables de Belnap–Dunn",
      "url": "https://arxiv.org/html/2212.01677v1",
      "locator": "Section 2, exemple 2.2, table 1 (PDF p. 4), définition 2.8 et théorème 2.9.",
      "note": "Prépublication de 2022. Nous utilisons la table 1, qui fixe B et N sous négation. Une phrase de l’introduction du PDF les échange ; cette phrase n’est pas la convention retenue par les tables et la définition formelle."
    }
  ],
  "consulted_copy_sha256": {
    "d59": "4e03779aed2955b9a5967d740c9a3fd01de7911f5404c8cef1c7118668c06144",
    "nr20": "15710c84686aa255e859141e84c7ca6375d70e58a7cbd9d73f6f0fa576dba068",
    "nanty": "06ef712ff11db64cb8b7e0de65e622a4e28a77de0ccddd174310028e30e1a396",
    "galli": "32246bf6fda5b7b04c078dbfd8002ef81e205a3496095b500cb3c1f7d14b6f48"
  },
  "fingerprint_note": "Empreintes des copies de consultation (HTML/PDF), sans redistribution de leur contenu. Une empreinte ne prouve pas une date de circulation historique."
}