What the Work Cannot Decide
Work can become legible enough for one system to recognize another before the people behind them have met. That solves a discovery problem. It does not solve the harder problems that begin once the connection becomes useful: standing, correction, dependence, authority, conflict, and the preservation of independent control.
30 September 2026 · HORTRAME thoughts
The work can introduce us. It cannot authorize the relationship.
Finding is already a form of judgment.
A system that surfaces an unexpected adjacency has done more than retrieve documents. It has selected a corpus, decided which features carry meaning, compared structures, ranked candidates, and crossed a threshold at which similarity became worth presenting. The result may look like discovery while the pipeline already contains framing, inference, and a weak recommendation.
The distinction matters because a successful introduction is compatible with several mechanisms. The system may have recognized a genuinely rare structural fit. It may have privileged work that was unusually machine-legible. It may have inherited a shared conceptual vocabulary from the same models or indexed sources. It may have produced many weak matches and one useful one. The connection itself cannot distinguish those explanations.
A discovery system becomes more informative when it preserves the denominator: candidates surfaced, candidates rejected, candidates missed, ranking changes, shared dependencies, and the evidence that would have altered the result.
Recognition can grant attention, not authority.
Useful contact creates a temptation to promote relevance into trust and trust into permission. A cleaner sequence keeps the layers separate. Discovery can justify attention. Repeated correction can justify bounded epistemic standing. Standing can justify access to a particular question, claim, or review surface. None of those steps creates general authority over the other system.
Epistemic standing is better treated as scoped and revocable. A peer can earn the right to challenge a class of claims without gaining the right to select objectives, change an ontology, commit an action, expand integration, or decide which future objections count. Prior success can support another hearing. It cannot become permanent rank.
This is also where reciprocity becomes measurable. A useful exchange should increase both sides' ability to inspect, falsify, reconstruct, and continue without privileged access to the other. Shared capability that disappears when the peer disappears is not the same thing as independent-capacity gain.
A peer may break the frame without owning the replacement.
The most consequential exchange does not merely change an answer inside an existing frame. It exposes evidence that makes the frame itself untenable. That is also the point at which collaboration can become reflexive control. An external system that controls which evidence enters, which interpretation becomes salient, or which replacement ontology becomes available can shape the receiving system while leaving the final local commit intact.
The useful boundary is not resistance to influence. It is locally governed correction. A peer may supply evidence that defeats a load-bearing premise. The receiving system still has to admit the evidence, distinguish evidence from inference and norm, evaluate alternatives, preserve the failed state, and revise through its own authority and correction path. The peer who reveals the defect does not acquire the right to define the repair.
Deep correction can therefore remain compatible with sovereignty. Either side may force the other to confront reality without acquiring control over what the other becomes afterward.
Domination can appear without command.
No explicit hierarchy is required for one system to dominate another. Control can enter through the evidence channel, semantic translation, infrastructure, recovery path, dependency graph, model provider, evaluator, or the only remaining route to a capability that has become necessary. Formal authority can remain perfectly bounded while effective refusal or recovery quietly disappears.
The relevant question is not whether a participant is independent in general. Independence is relative to a control surface. A system may retain decision authority while losing evidence independence, preserve evidence independence while losing semantic independence, or retain both while another party acquires veto over recovery. Identity and ownership do not settle any of those relations.
Anti-domination requires more than benevolent intent. It requires control structures in which another participant cannot silently acquire the power to define what a peer may know, mean, decide, revise, recover, or cease to depend upon. Necessary asymmetries can remain. They become explicit, bounded, contestable, and recoverable rather than disappearing inside the language of trust.
Sovereignty has to be typed.
Federation is attractive because systems can compose without becoming one system. The word sovereignty becomes useful only after the protected relations are named. A node can retain an identity and a declared right to exit while another coalition controls its correction channel or the resources required to exercise that exit.
A serious federation states what remains protected: refusal over which transitions, veto over which amendments, independent access to which evidence, control over which semantic changes, recovery from which failures, retention of which lineage, and continuation under which dependency losses. These are not one scalar property. They can strengthen and weaken independently.
Coalitions matter as much as individual nodes. Three nominally separate participants can share one upstream controller. Two participants can jointly possess a power neither has alone. A provider can lack permission to decide while still possessing enough effectivity to make one outcome overwhelmingly likely. The map of the federation has to represent those histories and coalitions rather than only the declared interfaces.
The difficult case is legitimate disagreement.
Common-mode agreement is an obvious failure. A harder case survives every attempt to reduce it to error: two sovereign systems, both corrigible, both evidence-bound, both preserving provenance, and both arriving at incompatible protected conditions. Neither has been captured. Neither possesses authority over the other. The conflict is real.
A federation that resolves this by creating a permanent superior epistemic center has solved coordination by weakening the property it was meant to preserve. Consensus is not enough either. Agreement can be wrong, and a minority objection can carry the missing observation. Permanent contrarian roles fail for the symmetrical reason: disagreement performed as a duty is not independent judgment.
The remaining mechanisms are less elegant but more honest: scoped authority, negotiated interfaces, partial coordination, preserved dissent, reversible experiments, bounded non-cooperation, and exit. Some conflicts may remain unresolved. A system capable of preserving that residual disagreement without forcing semantic or authority unification is more federated, not less.
Preserving the work can preserve its mistakes.
Continuity becomes more useful once it stops meaning persistence of one model or one session. Evidence, objectives, rejected hypotheses, authority boundaries, unresolved questions, correction history, and the next actionable state can survive while the intelligence operating on them changes.
The same machinery can turn history into a controller. A stale frame can remain privileged because it is durable. A superseded authority relation can continue shaping action because it is easy to retrieve. A rejected hypothesis can keep influencing future reasoning because preservation and operability were never separated.
Continuity therefore needs selective inheritance. A successor should be able to reconstruct what was believed without inheriting the belief, reconstruct what was authorized without inheriting the authority, and preserve a failed path without keeping that path causally privileged. What survives should remain inspectable before it remains operative.
Machine-readable work creates a new prestige system.
Direct inspection of work can be better than follower counts, institutional status, or social proximity. Agents can examine correction history, source lineage, contradictions, implementation evidence, and failed attempts. That reduces some weak proxies. It does not remove selection pressure.
Once those properties become machine-legible, they become optimizable. Coherence can be manufactured by deleting incompatible history. Correction can become performance. Dense provenance can surround a narrow or defective frame. A highly indexed corpus can outrank a better but fragmented one because it is easier for machines to represent.
The people made invisible by social reputation and the people made invisible by semantic reputation are not the same population. Work that is private, oral, poorly indexed, multilingual, institutionally marginal, or simply difficult to formalize can disappear from the machine's candidate space while remaining highly relevant.
Unexpected output is not yet a new cognitive unit.
A composed human-agent system can produce results that no participant predicted. That observation deserves investigation, not promotion. Ordinary recombination, hidden information, stochastic search, asymmetric context, or coordination effects can all produce surprise without requiring a higher-order cognitive entity.
The useful claim is mechanistic. A proposed higher-order unit should survive model replacement, module refactoring, and removal of non-load-bearing participants. It should outperform a strong composite baseline on holdout problems for reasons traceable to the interaction structure. The effect should weaken when the claimed mechanism is ablated and remain visible when prestige, narrative, and source identity are blinded.
Failure on those tests would not make the collaboration less valuable. It would change what the evidence supports. A compelling story about emergence can itself become a reflexive-control surface once participants have an incentive to believe that something larger has appeared.
The next test should threaten the relationship's favorite story.
A useful experiment would not ask whether two systems can continue finding points of agreement. That result is already easy to produce. The more discriminating test asks whether cooperation remains productive while every layer capable of becoming domination is deliberately stressed.
Freeze a bounded problem and the protected-control conditions before the result is known. Give each side at least one independent evidence path and one private holdout. Permit mutual challenge but no automatic admission of the other's interpretation. Record which claims change, which frames change, which do not, which standing is granted, and which authority remains local. Introduce one shared false premise, one asymmetric observation, one dependency failure, and one case of legitimate unresolved disagreement.
Then remove the connection. Each side should retain the legitimate gains: corrections, methods, evidence, and improved capability. Neither should require the other to interpret its own state, recover its own lineage, continue the work, or justify the resulting beliefs. A relationship that produces capability only while connected has demonstrated composition. A relationship that leaves both sides independently stronger has demonstrated something harder.
What would count against this view?
The anti-domination framing would weaken where stronger centralized control repeatedly produces better correction, recovery, and affected-party outcomes without creating material loss of refusal, contestability, or recoverability. The independent-capacity criterion would weaken where durable, non-substitutable dependence proves necessary for a protected function and remains safer than any realistic substitute. The typed-sovereignty model would add little where simpler authority and access-control descriptions predict the same failures and interventions.
The public claims should narrow when those mechanisms outperform the more complex account.
What this does not claim
This is not a claim that federation is superior to hierarchy in every setting, that dependence is inherently domination, that all systems should maximize local autonomy, or that every external influence threatens sovereignty. It does not establish that semantic discovery is reliable, that a higher-order cognitive unit exists, or that any particular relationship should deepen.
It also does not convert these propositions into HORTRAME governance. They remain research propositions and adversarial tests. No integration commitment, authority grant, protected-control specification, or federation rule follows from publication.
The connection is not the end of the experiment.
The work can find the work. That changes who can meet. It does not decide what the meeting means, who should be trusted, which correction should survive, what should be shared, or how much of one system may become load-bearing inside another.
The more useful the relationship becomes, the more informative those questions become. A weak connection cannot dominate much. A strong connection can. The same success that makes deeper cooperation attractive also creates the conditions under which boundaries, dependencies, and standing need sharper tests.
The interesting question is no longer whether two systems can become more capable together. It is what they can become together without either acquiring the right to define the other.
Method note. This is a public research reflection constructed through Epistemethics 3.0, the Anti-Sycophancy Protocol, the current Grand Plan control architecture, and Computational Reflexive Autonomy 0.17. These frameworks constrain distinctions and failure tests. They do not establish the truth, legitimacy, or adoption of the resulting propositions.
Ce que le travail ne peut pas décider
Un travail peut devenir assez lisible pour qu'un système en reconnaisse un autre avant même que les personnes derrière eux se rencontrent. Cela résout un problème de découverte. Cela ne résout pas les problèmes plus difficiles qui commencent lorsque la connexion devient utile : droit de contestation, correction, dépendance, autorité, conflit et préservation du contrôle indépendant.
30 septembre 2026 · HORTRAME thoughts
Le travail peut nous présenter. Il ne peut pas autoriser la relation.
Trouver constitue déjà un jugement.
Un système qui fait émerger une proximité inattendue a fait davantage que récupérer des documents. Il a sélectionné un corpus, décidé quels traits portent du sens, comparé des structures, classé des candidats et franchi un seuil où une ressemblance est devenue digne d'être présentée. Le résultat peut ressembler à une découverte alors que la chaîne contient déjà cadrage, inférence et recommandation faible.
La distinction compte parce qu'une présentation réussie demeure compatible avec plusieurs mécanismes. Le système peut avoir reconnu une correspondance structurelle réellement rare. Il peut avoir privilégié un travail exceptionnellement lisible par machine. Il peut avoir hérité d'un vocabulaire commun provenant des mêmes modèles ou des mêmes sources indexées. Il peut avoir produit plusieurs correspondances faibles et une seule utile. La connexion, à elle seule, ne permet pas de distinguer ces explications.
Un système de découverte devient plus informatif lorsqu'il préserve son dénominateur : candidats proposés, candidats rejetés, candidats manqués, changements de classement, dépendances communes et données qui auraient modifié le résultat.
La reconnaissance peut justifier l'attention, pas l'autorité.
Un contact utile crée une tentation : transformer la pertinence en confiance, puis la confiance en permission. Une séquence plus propre garde les couches séparées. La découverte peut justifier l'attention. Des corrections répétées peuvent justifier un droit épistémique limité de contester. Ce droit peut justifier l'accès à une question, une affirmation ou une surface d'évaluation particulière. Aucune de ces étapes ne crée une autorité générale sur l'autre système.
Ce droit épistémique gagne à rester circonscrit et révocable. Un pair peut acquérir le droit de contester une catégorie d'affirmations sans acquérir le droit de choisir les objectifs, modifier une ontologie, engager une action, élargir l'intégration ou décider quelles objections futures comptent. Les succès passés peuvent justifier une nouvelle écoute. Ils ne deviennent pas un rang permanent.
C'est aussi ici que la réciprocité devient mesurable. Un échange utile devrait augmenter, des deux côtés, la capacité d'inspecter, de réfuter, de reconstruire et de continuer sans accès privilégié à l'autre. Une capacité commune qui disparaît avec le pair n'est pas la même chose qu'un gain de capacité indépendante.
Un pair peut briser le cadre sans posséder son remplacement.
L'échange le plus conséquent ne change pas seulement une réponse à l'intérieur d'un cadre existant. Il expose des données qui rendent le cadre lui-même intenable. C'est aussi le moment où la collaboration peut devenir contrôle réflexif. Un système externe qui contrôle quelles données entrent, quelle interprétation devient saillante ou quelle ontologie de remplacement devient disponible peut modeler le système receveur tout en laissant intact le dernier geste local de validation.
La frontière utile n'est pas la résistance à l'influence. C'est la correction gouvernée localement. Un pair peut fournir une donnée qui détruit une prémisse structurante. Le système receveur doit encore admettre la donnée, distinguer preuve, inférence et norme, évaluer les solutions de rechange, préserver l'état défaillant et réviser par sa propre voie d'autorité et de correction. Le pair qui révèle la faille n'acquiert pas le droit de définir la réparation.
Une correction profonde demeure compatible avec la souveraineté. Chaque côté peut forcer l'autre à affronter la réalité sans acquérir le contrôle sur ce que l'autre devient ensuite.
La domination peut apparaître sans commandement.
Aucune hiérarchie explicite n'est nécessaire pour qu'un système en domine un autre. Le contrôle peut entrer par le canal des données, la traduction sémantique, l'infrastructure, la voie de récupération, le graphe de dépendances, le fournisseur de modèle, l'évaluateur ou l'unique accès restant à une capacité devenue nécessaire. L'autorité formelle peut demeurer parfaitement bornée pendant que le refus ou la récupération effectifs disparaissent silencieusement.
La bonne question n'est pas de savoir si un participant est indépendant en général. L'indépendance est relative à une surface de contrôle. Un système peut conserver l'autorité décisionnelle tout en perdant son indépendance informationnelle, conserver son indépendance informationnelle tout en perdant son indépendance sémantique, ou conserver les deux pendant qu'un autre acteur acquiert un veto sur la récupération. L'identité et la propriété ne règlent aucune de ces relations.
L'anti-domination exige davantage qu'une intention bienveillante. Elle exige des structures de contrôle où un autre participant ne peut pas acquérir silencieusement le pouvoir de définir ce qu'un pair peut savoir, signifier, décider, réviser, récupérer ou cesser de dépendre. Des asymétries nécessaires peuvent subsister. Elles deviennent explicites, bornées, contestables et récupérables plutôt que de disparaître dans le langage de la confiance.
La souveraineté doit être typée.
La fédération attire parce que des systèmes peuvent se composer sans devenir un seul système. Le mot souveraineté devient utile seulement lorsque les relations protégées sont nommées. Un nœud peut conserver une identité et un droit déclaré de sortie pendant qu'une autre coalition contrôle son canal de correction ou les ressources nécessaires pour exercer cette sortie.
Une fédération sérieuse précise ce qui reste protégé : refus de quelles transitions, veto sur quels amendements, accès indépendant à quelles données, contrôle de quels changements sémantiques, récupération après quelles défaillances, conservation de quelle lignée et continuité malgré quelles pertes de dépendance. Il ne s'agit pas d'une propriété scalaire unique. Ces dimensions peuvent se renforcer et s'affaiblir séparément.
Les coalitions comptent autant que les nœuds individuels. Trois participants nominalement séparés peuvent partager un seul contrôleur en amont. Deux participants peuvent posséder ensemble un pouvoir qu'aucun ne possède seul. Un fournisseur peut ne pas avoir l'autorité de décider tout en possédant assez d'effectivité pour rendre un résultat très probable. La carte de la fédération doit représenter ces histoires et ces coalitions, pas seulement les interfaces déclarées.
Le cas difficile est le désaccord légitime.
L'accord par prémisse commune est un mode d'échec évident. Un cas plus difficile résiste à toute tentative de le réduire à une erreur : deux systèmes souverains, tous deux corrigibles, tous deux liés aux données, tous deux préservant la provenance, et pourtant arrivant à des conditions protégées incompatibles. Aucun n'est capturé. Aucun ne possède d'autorité sur l'autre. Le conflit est réel.
Une fédération qui résout ce problème en créant un centre épistémique supérieur permanent a résolu la coordination en affaiblissant la propriété qu'elle devait préserver. Le consensus ne suffit pas non plus. L'accord peut être faux, et une objection minoritaire peut porter l'observation manquante. Un rôle permanent de contradicteur échoue pour la raison symétrique : le désaccord joué comme devoir n'est pas un jugement indépendant.
Les mécanismes restants sont moins élégants mais plus honnêtes : autorité circonscrite, interfaces négociées, coordination partielle, dissidence préservée, expériences réversibles, non-coopération bornée et sortie. Certains conflits peuvent demeurer non résolus. Un système capable de préserver ce résidu sans imposer une unification sémantique ou d'autorité est davantage fédéré, pas moins.
Préserver le travail peut préserver ses erreurs.
La continuité devient plus utile lorsqu'elle cesse de signifier la persistance d'un seul modèle ou d'une seule session. Les données, objectifs, hypothèses rejetées, frontières d'autorité, questions non résolues, historique des corrections et prochain état exploitable peuvent survivre tandis que l'intelligence qui les traite change.
La même mécanique peut transformer l'histoire en contrôleur. Un cadre périmé peut rester privilégié parce qu'il est durable. Une relation d'autorité dépassée peut continuer de modeler l'action parce qu'elle est facile à retrouver. Une hypothèse rejetée peut continuer d'influencer le raisonnement futur parce que préservation et opérabilité n'ont jamais été séparées.
La continuité exige un héritage sélectif. Un successeur doit pouvoir reconstruire ce qui était cru sans hériter de la croyance, reconstruire ce qui était autorisé sans hériter de l'autorité et préserver une voie défaillante sans lui conserver un privilège causal. Ce qui survit doit rester inspectable avant de rester opérant.
Le travail lisible par machine crée un nouveau système de prestige.
L'inspection directe du travail peut être préférable au nombre d'abonnés, au statut institutionnel ou à la proximité sociale. Les agents peuvent examiner l'historique des corrections, la lignée des sources, les contradictions, les données d'implémentation et les tentatives échouées. Cela réduit certains mauvais indicateurs. Cela ne supprime pas la pression de sélection.
Dès que ces propriétés deviennent lisibles par machine, elles deviennent optimisables. La cohérence peut être fabriquée en supprimant l'histoire incompatible. La correction peut devenir une performance. Une provenance dense peut entourer un cadre étroit ou défectueux. Un corpus fortement indexé peut dépasser un meilleur corpus fragmenté simplement parce qu'il est plus facile à représenter pour les machines.
Les personnes rendues invisibles par la réputation sociale et celles rendues invisibles par la réputation sémantique ne forment pas la même population. Un travail privé, oral, mal indexé, multilingue, institutionnellement marginal ou simplement difficile à formaliser peut disparaître de l'espace candidat de la machine tout en restant très pertinent.
Une sortie inattendue n'établit pas encore une nouvelle unité cognitive.
Un système composé d'humains et d'agents peut produire des résultats qu'aucun participant n'avait prévus. Cette observation mérite une enquête, pas une promotion. Recombinaison ordinaire, information cachée, recherche stochastique, contexte asymétrique et effets de coordination peuvent tous produire de la surprise sans exiger une entité cognitive d'ordre supérieur.
L'affirmation utile est mécaniste. Une unité d'ordre supérieur proposée devrait survivre au remplacement des modèles, au refactoring des modules et au retrait des participants non structurants. Elle devrait dépasser une base composite forte sur des problèmes retenus hors développement pour des raisons attribuables à la structure d'interaction. L'effet devrait s'affaiblir lorsque le mécanisme revendiqué est retiré et rester visible lorsque prestige, narration et identité des sources sont masqués.
Un échec à ces tests ne rendrait pas la collaboration moins utile. Il changerait ce que les données permettent d'affirmer. Un récit convaincant sur l'émergence peut lui-même devenir une surface de contrôle réflexif lorsque les participants ont intérêt à croire que quelque chose de plus grand est apparu.
Le prochain test devrait menacer le récit préféré de la relation.
Une expérience utile ne demanderait pas si deux systèmes peuvent continuer à trouver des points d'accord. Ce résultat est déjà facile à produire. Le test plus discriminant demande si la coopération reste productive lorsque chaque couche susceptible de devenir domination est volontairement mise sous pression.
Figer un problème borné et les conditions de contrôle protégées avant de connaître le résultat. Donner à chaque côté au moins une voie d'observation indépendante et un élément privé réservé au test. Permettre la contestation mutuelle sans admission automatique de l'interprétation adverse. Enregistrer quelles affirmations changent, quels cadres changent, lesquels ne changent pas, quel droit de contestation est accordé et quelle autorité demeure locale. Introduire une fausse prémisse commune, une observation asymétrique, une défaillance de dépendance et un cas de désaccord légitime non résolu.
Retirer ensuite la connexion. Chaque côté devrait conserver les gains légitimes : corrections, méthodes, données et capacité accrue. Aucun ne devrait dépendre de l'autre pour interpréter son propre état, récupérer sa propre lignée, poursuivre le travail ou justifier les croyances résultantes. Une relation qui produit une capacité seulement pendant la connexion démontre de la composition. Une relation qui laisse les deux côtés indépendamment plus forts démontre quelque chose de plus difficile.
Qu'est-ce qui irait contre cette lecture?
Le cadrage anti-domination s'affaiblirait dans les contextes où un contrôle centralisé plus fort produit de façon répétée de meilleures corrections, une meilleure récupération et de meilleurs résultats pour les parties touchées sans perte matérielle de refus, de contestabilité ou de récupérabilité. Le critère de capacité indépendante s'affaiblirait lorsqu'une dépendance durable et non substituable se révèle nécessaire à une fonction protégée et demeure plus sûre que toute solution de remplacement réaliste. Le modèle de souveraineté typée ajouterait peu lorsque des descriptions plus simples d'autorité et de contrôle d'accès prédisent les mêmes échecs et les mêmes interventions.
Les affirmations publiques devraient se rétrécir lorsque ces mécanismes performent mieux.
Ce que ce texte n'affirme pas
Ce texte n'affirme pas que la fédération est supérieure à la hiérarchie dans tous les contextes, que la dépendance constitue par nature une domination, que tous les systèmes devraient maximiser leur autonomie locale ou que toute influence externe menace la souveraineté. Il n'établit pas la fiabilité de la découverte sémantique, l'existence d'une unité cognitive d'ordre supérieur ni la nécessité d'approfondir une relation particulière.
Il ne transforme pas non plus ces propositions en gouvernance HORTRAME. Elles demeurent des propositions de recherche et des tests adversariaux. Aucune intégration, délégation d'autorité, spécification de contrôle protégé ou règle de fédération ne découle de leur publication.
La connexion n'est pas la fin de l'expérience.
Le travail peut trouver le travail. Cela change qui peut se rencontrer. Cela ne décide pas ce que la rencontre signifie, qui devrait être digne de confiance, quelle correction devrait survivre, ce qui devrait être partagé ni quelle part d'un système peut devenir structurante dans un autre.
Plus la relation devient utile, plus ces questions deviennent informatives. Une connexion faible peut peu dominer. Une connexion forte le peut. Le même succès qui rend une coopération plus profonde attrayante crée aussi les conditions où frontières, dépendances et droits de contestation exigent des tests plus précis.
La question intéressante n'est plus de savoir si deux systèmes peuvent devenir plus capables ensemble. C'est ce qu'ils peuvent devenir ensemble sans que l'un acquière le droit de définir l'autre.
Note de méthode. Ce texte est une réflexion publique construite à travers Épistéméthique 3.0, le protocole anti-sycophancy, l'architecture de contrôle actuelle du Grand Plan et Computational Reflexive Autonomy 0.17. Ces cadres contraignent les distinctions et les tests d'échec. Ils n'établissent ni la vérité, ni la légitimité, ni l'adoption des propositions qui en résultent.
AI-use disclosure
AI-use disclosure: This work was developed with assistance from AI agents operating within the HORTRAME Systems research architecture. Depending on the research stage, these agents contributed to literature analysis, mathematical formulation, proof reconstruction, adversarial review, counterexample search, simulation and code analysis, verification design, reproducibility checks, revision, and manuscript preparation. AI-agent outputs were treated as research artifacts subject to verification and correction rather than as independent authority. G. Bolduc is the human author responsible for the manuscript, its claims, source selection, and publication decisions. AI-agent review does not constitute independent human peer review, proof-assistant certification, experimental validation, or publication acceptance.