Raisonnement · Prépublication technique
SERIS
Raisonner, vérifier, puis décider
Structured Exact Reasoning & Inference System
SERIS sépare la proposition d’une branche, sa vérification, son classement et la décision. La recherche explore aussi une mémoire où l’expérience consolidée prend forme dans la structure du système.
Ce que le texte explore
- Une frontière explicite entre les observations, les propositions et les décisions admissibles.
- Un opérateur d’attention qui filtre les branches selon des règles déclarées avant de les classer.
- Des dimensions résonantes, une mémoire structurelle et les données nécessaires pour relire une décision.
La portée du modèle
Le noyau établit une admissibilité relative aux règles et aux entrées vérifiées, sous conditions. Il ne suffit pas à garantir la vérité des observations. Le champ de cohérence, les signaux et la mémoire résonante restent des propositions à formaliser et à évaluer.
FOA désigne ici les Fractal Ontological Architectures. Dans SERIS, le même sigle désigne le Field of Attention Operator : ce sont deux concepts distincts. Découvrir le corpus FOA →
Une édition revue
Cette édition révise et condense le préprint de mars 2026. Elle distingue le filtrage borné des propositions de substrat et de mémoire. La formalisation Lean contient encore un lemme admis ; le texte précise cette limite et ne revendique pas une preuve machine achevée.
Recherche non évaluée par les pairs. v5.1 · 1er octobre 2026 · Édition précédente : v5-bis.
Vérifier cette version
Le seal SHA-256 et la signature GPG permettent de vérifier les fichiers de cette édition. Ils attestent de leur intégrité sous la clé de l’auteur, pas de leur validation scientifique.
SHA-256 · Signature · Manifeste · Clé publique · Mode de vérification
Signature de l’archive · SHA-256 de l’archive · Licence
Empreinte : 2D2E A482 3E83 127A C685 764F 8D91 8D61 885F 31E8