Publications et dépôts

« This repository contains reproducible finite computations and checks. The status of each statement is stated locally: exact finite arithmetic, floating-point finite verification, truncated numerical evaluation, conjectural prediction, or conditional interpretation.

No novelty claim is made for the mathematical mechanisms included in this release. Named open problems are context only; this repository does not claim to resolve or advance them.

The G30 registry/linter project, HOL-01 certificate, and unresolved anteriority items are not part of this public release. Their absence is intentional. They require a separate audit and publication decision. »

« Scope correction in 1.1.1. The exact p = 7 certificate is unchanged. Version 1.1.1 withdraws the v1.1.0 wording that presented a theorem for every odd prime and an extension "verbatim" to every congruence level. The additional primes and the p^3 -> p^2 checks are now labelled exactly as what they are: finite regression/exploratory computations. Version 1.1.0 was an internal release candidate and was not published.

This release:

• certifies the finite p = 7 statements above;
• proves algebraically the Heisenberg identification for the subgroup generated by BABC and BABAA from explicit affine formulas;
• reports p = 3, 5, 11, 13 only as finite regression checks;
• reports p³ → p² at p = 3, 5, 7 only as exploratory exact checks;
• does not claim Mon_p ≅ F_p² ⋊ D_2p for every odd prime;
• does not claim the same monodromy at every level pⁿ⁺¹ → pⁿ;
• does not claim a new general theory of graph monodromy, holonomy, curvature, or Pythagorean triples;
• makes no claim concerning RH or Hilbert-Pólya. »

« The unit of observation is a sourced claim-state transition. Epistemic, documentary, diffusion and workflow states remain separate. Publication is not proof; documentary correction is not automatically mathematical correction.

This package claims neither a new general ontology of provenance nor a representative estimate of AI reliability. It does not demonstrate causal learning, superiority of a model family, or progress toward the Riemann hypothesis. Originality of the protocol/corpus combination remains subject to prior-art review.

The case-B numerical values are reported historical values. The raw permutation experiment has not been replayed here. N=2310 has a source-specific historical mention; the separate Barning–Hall certificates announced in later documents are not bundled or newly replayed here. Private conversations, email and internal reports are not redistributed. Availability identifiers are not hashes of those private originals.

HOL-01 remains a separate public finite certificate at p=7 [...] Its later uniform explanation is treated as classical context and does not enlarge the public v1.1.1 claim. The independent-research label describes affiliation; it does not claim an external replication of every result. »

« Calculs reproductibles de course de nombres premiers jusqu'à 90 millions et contrôle par crible segmenté sur quatre fenêtres disjointes. L'ancien seuil de projection exploratoire de 5% échoue sur deux des quatre fenêtres ultérieures. Les calculs de covariance pondérée par caractères de Dirichlet concernent un modèle limite logarithmique distinct et ne doivent pas être assimilés aux statistiques sur fenêtres finies. Aucun théorème des nombres premiers, p-valeur, seuil universel, priorité ou nouveauté mathématique n'est revendiqué. »

« Deux pilotes finis distincts étudient les erreurs d'observation, les changements d'état sous-jacents, la fraîcheur des versions de validation et l'utilisation atomique des certificats. La phase 1 inclut un exemple synthétique à coût de Poisson ; la phase 2 ajoute des validations exactes finies et des exemples négatifs. Les protocoles pilotes ont été spécifiés après les exemples exploratoires et ne prouvent pas la robustesse dans des systèmes d'IA réels ni des politiques globalement optimales. »

« Énumère exactement les 56 sous-ensembles à trois éléments des unités modulo 30 et distingue 10 classes spectrales d'adjacence complexe non étiquetées de la partition 24/32 en normes au carré. La fibre spectrale étiquetée T_C possède cinq supports mais une seule classe d'isomorphisme de digraphe de Cayley abstrait. Énumération exacte Python et certificat fini Lean inclus. Ce calcul fini n'établit aucune nouveauté, aucun résultat asymptotique sur les nombres premiers ni de théorème général de Cayley. »

« Procédures de décision oraculaires exactes finies pour reconstruire des supports de triplets cycliques de Cayley avec au plus une fausse réponse contradictoire globale, conditionnellement à un carré d'adjacence correct et librement accessible. Contient calculs minimax finis, code, données de test et contre-validation algorithmique indépendante au sein du workflow de recherche. Aucune garantie de sécurité sur oracle réel, relecture par les pairs, nouveauté ou priorité n'est revendiquée. »

« Audit mathématique borné et reproduction computationnelle finie concernant la forte connectivité de supports de triplets cycliques de Cayley à partir du carré d'adjacence complet. La condition suffisante interne proposée est n impair ou 4 divisant n. Hors de ce cadre, un contre-exemple n=22 peut avoir des carrés égaux et des traces cubiques égales alors que la connectivité diffère. L'état de l'art antérieur, les limites et les transitions d'affirmations sont préservés ; aucune nouveauté ni théorème général au-delà des hypothèses déclarées n'est affirmé. »

« Démonstrations rationnelles exactes de non-identifiabilité et de reconstruction pour des dynamiques de perte à noyau semi-défini positif fixé, incluant le repliement discret et une reconstruction classique de Prony à deux modes à partir de quatre moments. Un supplément de robustesse vérifié distinct est inclus. Ces énoncés finis ne modélisent pas de noyaux profonds réellement appris et changeants et n'affirment aucune nouveauté. »

« Exemples rationnels de dimension 2 avec des noyaux SDP variables dans le temps prescrits, montrant l'insuffisance des spectres par étape et des mesures spectrales initiales pour déterminer la perte. Comprend des contre-exemples discrets et continus, un relèvement d'état quadratique et un résultat borné d'oracle à réinitialisation. Les séquences sont prescrites après construction plutôt qu'ajustées comme noyaux d'apprentissage profond. Aucune priorité, pré-enregistrement, version stable ou relecture par les pairs n'est affirmée. »