How HORTRAME relates evidence, adversarial review, ethical judgment and accountable revision.
Working synthesis · public process record v07The complete Epistemethics v1.00 constitution is authoritative for this reference. This page is a condensed reading guide and historical process record, not a replacement text. Epistemic and ethical evaluation are coupled, not sequential. Review addresses the claim and its reasoning, not the person. Read the complete English constitution (PDF).
No novelty is claimed for this framework. No component, combination or presentation is offered as original. It is a working synthesis of established epistemic, scientific-review and ethical approaches, selected and combined according to what HORTRAME currently judges most pertinent to its needs. The selection is provisional and may change with evidence, context and use.
Epistemology limits what the available evidence permits us to claim. Adversarial review tests whether those claims survive serious challenge. Ethical evaluation governs what may or should be done under the resulting uncertainty and consequences for affected parties. None substitutes for the others.
Keep definitions, proofs, simulations, software tests, observations, interpretations and hypotheses distinct. Separate intended, implemented and observed behavior. Preserve provenance, assumptions, alternatives and uncertainty in the form in which they matter.
Reconstruct the strongest defensible claim, then test the inference for hidden assumptions, proxy substitution, confounding, circularity and overclaim. Compare realistic alternatives, including simpler mechanisms and inaction. Confidence follows evidence, not agreement or prestige.
Keep empirical claims and normative commitments distinguishable but coupled. Assess purpose, means, consequences, distribution, agency, consent, coercion, privacy, power, reversibility and long-term effects. Severe harm, rights and unequal burdens are not erased by an aggregate score.
When action is required under uncertainty, compare acting, delaying, narrowing, learning and doing nothing. Raise the evidential burden with severity, irreversibility, systemic reach and unequal distribution. Preserve attributable corrections, proportionate access and scrutiny of the evaluator itself.
The workflow is continuous: evidence constrains claims; review applies counterpressure; ethical judgment constrains action; outcomes become new evidence. Additional review or computation is warranted only when it is expected to reduce relevant uncertainty, expose meaningful failure or protect against consequential harm.
The research originated in a modular QBP implementation developed in Simulink/QUARC during a first internship in the second year of an engineering program. Shokoufeh Naderi’s supplied centralized MATLAB simulation was the practical algorithmic reference. Maude J. Blondin supervised the internship, but did not approve the unproved extrapolation to real-time agent addition and removal. She knew the high-level claim and demanded proof; she did not know all additional implementation choices.
The implementation exposed a communication-delay problem. Naderi developed the subsequent refinement, which Maude relayed. Whether that final refinement was installed before the internship ended remains unresolved. The original QBP implementation ran in simulation and on physical QBot robots before the refinement; the current membership formulas and browser implementation have not been tested on physical robots.
The membership exploration arose from system implementation without specialist mathematical or multi-agent expertise. Its exploratory motivation and additional engineering choices do not establish independent invention of the assigned algorithm or priority over the research literature.
Exact counterexamples ruled out unrestricted endpoint preservation. The question became when the prescribed probability-state maps return the original mean after one agent arrives, mixes and leaves.
Theorem 4.1 allows arbitrary nonnegative row-stochastic mixing and characterizes feasibility, uniqueness and zero newcomer influence. Corollary 4.2 adds equal retention and double stochasticity. The controlled browser trial uses the consensus-power specialization, with a prescribed number of updates. Standard final-epoch consensus gives the endpoint interpretation.
Naderi’s priority and delay studies use fixed membership. Zhou et al. already change the length of a global state vector while individual states remain fixed-dimensional. Deplano et al. formulate open operators between changing labeled spaces; variable dimension and state maps in general are not novelty claims here. Hu et al. use mass/count accounting and departure handoffs under their communication assumptions. Here each row allocates probability across active objective identities and departure conditions retained coordinates.
Synthetic message delays use a loss-free central barrier and preserve synchronous logical mixing. The controlled restoration trial is separate from ordinary random arrivals. Robot motion uses a global epoch target and is illustrative. None establishes an asynchronous delayed/open protocol or physical validation of the current formulas.
The latest received review round, R5, evaluated author v05. The current v07 article incorporates subsequent framing, prior-art and disclosure revisions. These records are not journal acceptance or independent human proof approval.
Admissible membership transitions need not wait for priority consensus. They can define state changes for a policy that turns sustained communication loss into deliberate departure and later reconnection into a declared arrival. Detection, coherent membership decisions, connectivity, state transfer and continuing failures remain separate obligations. Restoration still requires its stated conditions; the browser has no loss detector or such fault-management policy.
AI assisted coding during the original internship implementation; research direction and implementation decisions were not delegated to AI. Later assistance included archive and literature analysis, mathematical formulation and proof drafting, counterexamples and tests, adversarial review, manuscript preparation, simulation development and the bilingual companion. The supplied algorithm and original implementation records were inputs to that later process.
The paper places the research-process summary and AI acknowledgment after the mathematics. Responsibility for its claims remains with the author. Numerical checks establish only their tested scope, and the selected venue’s disclosure requirements must be checked at submission.
A current PDF and passing engine tests do not guarantee that every translated page, explanatory card, download and version record is current. This revision checks those surfaces separately and generates the repeated mathematical explanations from one reviewed source-bound record. The ordinary recurrence remains background; the restoration characterization leads the current presentation.
An initial missing-v06-history finding was withdrawn when a complete inspection found the entries in the current-records category. The corrected record distinguishes a partial view from actual absence. Automated bindings and release checks support this process; they do not replace semantic review or mathematical proof.
Reviewer-produced reconstruction of Lemma 2.1; not the original cited supplement or independent human mathematical validation.
Comment HORTRAME articule les éléments probants, l’évaluation contradictoire, le jugement éthique et la révision traçable.
Synthèse de travail · dossier public v07Le texte intégral de l’Épistéméthique v1.00 fait référence. Cette page est un guide condensé et un historique du processus, non un texte de remplacement. Les évaluations épistémique et éthique sont couplées, non séquentielles. L’examen porte sur l’affirmation et son raisonnement, non sur la personne. Lire la constitution française intégrale (PDF).
Ce cadre ne formule aucune revendication de nouveauté. Aucun de ses éléments, aucune combinaison ni aucune présentation n’est proposé comme original. Il s’agit d’une synthèse de travail de démarches épistémiques, d’évaluation scientifique et éthiques existantes, sélectionnées et combinées selon ce que HORTRAME juge actuellement le plus pertinent pour ses besoins. Cette sélection demeure provisoire et peut évoluer selon les éléments probants, le contexte et l’usage.
L’épistémologie limite ce que les éléments probants permettent d’affirmer. L’évaluation contradictoire vérifie si ces énoncés résistent à une critique sérieuse. L’évaluation éthique détermine ce qui peut ou devrait être fait compte tenu de l’incertitude restante et des conséquences pour les parties concernées. Aucune de ces fonctions ne remplace les autres.
Distinguer les définitions, preuves, simulations, tests logiciels, observations, interprétations et hypothèses. Séparer le comportement prévu, implanté et observé. Préserver la provenance, les hypothèses, les solutions de rechange et l’incertitude sous la forme où elles importent.
Reconstruire l’énoncé défendable le plus robuste, puis vérifier l’inférence pour repérer les hypothèses cachées, substitutions de variables, facteurs de confusion, raisonnements circulaires et généralisations excessives. Comparer des solutions réalistes, y compris des mécanismes plus simples et l’inaction. La confiance suit les éléments probants, non l’accord ni le prestige.
Maintenir les énoncés empiriques et les engagements normatifs distincts mais liés. Examiner la finalité, les moyens, les conséquences, leur répartition, l’autonomie, le consentement, la coercition, la vie privée, le pouvoir, la réversibilité et les effets à long terme. Un score global n’efface ni les préjudices graves, ni les droits, ni les charges inégalement réparties.
Lorsqu’une décision s’impose malgré l’incertitude, comparer l’action, le délai, la réduction de portée, l’apprentissage et l’inaction. Relever le niveau de preuve requis selon la gravité, l’irréversibilité, la portée systémique et l’inégalité de la répartition. Préserver des corrections attribuables, un accès proportionné et l’examen de l’évaluateur lui-même.
Le processus est continu : les éléments probants contraignent les énoncés; l’évaluation leur oppose une pression critique; le jugement éthique contraint l’action; les résultats deviennent de nouveaux éléments probants. Un examen ou un calcul supplémentaire n’est justifié que s’il devrait réduire une incertitude pertinente, révéler une défaillance significative ou protéger contre un préjudice conséquent.
La recherche est issue d’une implantation modulaire QBP développée dans Simulink/QUARC lors d’un premier stage en deuxième année d’un programme de génie. La simulation MATLAB centralisée fournie par Shokoufeh Naderi était la référence algorithmique pratique. Maude J. Blondin supervisait le stage, mais n’avait pas approuvé l’extrapolation non démontrée à l’ajout et au retrait d’agents en temps réel. Elle connaissait l’énoncé général et exigeait une preuve, sans connaître tous les choix d’implantation supplémentaires.
L’implantation a révélé un problème de délais de communication. Naderi a développé la modification correspondante, transmise par Maude. Son intégration finale avant la fin du stage demeure incertaine. L’implantation QBP initiale a fonctionné en simulation et sur des QBot physiques avant cette modification; les formules de composition actuelles et leur implantation dans le navigateur n’ont pas été testées sur des robots physiques.
L’exploration des changements de composition est née de l’implantation du système, sans expertise spécialisée en mathématiques ou en systèmes multi-agents. Cette motivation exploratoire et les choix supplémentaires ne constituent pas une invention indépendante de l’algorithme assigné ni une antériorité sur la littérature.
Des contre-exemples exacts ont réfuté la préservation inconditionnelle de la limite. La question est devenue celle des conditions de retour à la moyenne initiale après l’arrivée d’un agent, un mélange et son départ, pour les transformations de probabilité prescrites.
Le théorème 4.1 admet un mélange non négatif stochastique par lignes arbitraire et caractérise l’admissibilité, l’unicité et l’influence nulle du nouvel agent. Le corollaire 4.2 ajoute des masses conservées égales et la double stochasticité. L’essai du navigateur utilise une puissance de la matrice de consensus et un nombre prescrit de mises à jour. Le consensus classique à époque finale fixe donne l’interprétation de la limite.
Les études de Naderi sur les priorités et les délais gardent une composition fixe. Zhou et ses coauteurs modifient déjà la longueur d’un état global, avec des états individuels de dimension fixe. Deplano et ses coauteurs formulent des opérateurs ouverts entre des espaces étiquetés variables; la dimension variable et les transformations d’état en général ne sont donc pas des revendications de nouveauté ici. Hu et ses coauteurs utilisent une comptabilité de masse et de comptage avec transfert au départ, sous leurs hypothèses de communication. Ici, chaque ligne alloue des probabilités aux objectifs actifs et le départ conditionne les coordonnées conservées.
Les délais synthétiques utilisent une barrière centrale sans perte et conservent le mélange logique synchrone. L’essai de rétablissement contrôlé est distinct des arrivées aléatoires ordinaires. Le mouvement utilise une cible globale d’époque et reste illustratif. Aucun de ces éléments n’établit un protocole asynchrone combinant délais et composition ouverte ni une validation physique des formules actuelles.
Le dernier tour reçu, R5, évaluait la version auteur v05. L’article v07 intègre des révisions ultérieures de cadrage, de comparaison à la littérature et de déclaration d’utilisation. Ces dossiers ne constituent ni une acceptation en revue ni une approbation humaine indépendante des preuves.
Les transitions admissibles n’ont pas à attendre le consensus des priorités. Elles peuvent définir les changements d’état d’une politique qui transforme une perte prolongée de communication en départ délibéré, puis une reconnexion en arrivée déclarée. La détection, les décisions cohérentes de composition, la connectivité, le transfert d’état et les défaillances persistantes restent des obligations distinctes. Le rétablissement garde ses conditions; le navigateur ne possède ni détecteur de perte ni cette politique de gestion.
L’IA a assisté la programmation pendant le stage initial; l’orientation de la recherche et les décisions d’implantation ne lui ont pas été déléguées. Son utilisation ultérieure a inclus l’analyse des archives et de la littérature, la formulation mathématique et la rédaction des preuves, les contre-exemples et les tests, l’évaluation contradictoire, la préparation du manuscrit, la simulation et le dossier bilingue. L’algorithme fourni et les archives initiales ont servi de données d’entrée à cette démarche ultérieure.
L’article place le résumé du processus et la déclaration d’utilisation après les mathématiques. La responsabilité des affirmations demeure celle de l’auteur. Les vérifications numériques n’établissent que leur domaine testé; les exigences de déclaration de la revue choisie devront être vérifiées à la soumission.
Un PDF actuel et des tests réussis du moteur ne garantissent pas que chaque traduction, carte explicative, téléchargement et version soit à jour. Cette révision vérifie ces éléments séparément et génère les explications mathématiques répétées à partir d’un même dossier révisé lié aux sources. La récurrence ordinaire reste dans le cadre de base; la caractérisation du rétablissement est présentée en premier.
Une première affirmation d’absence de v06 dans l’historique a été retirée lorsque l’inspection complète a retrouvé les entrées dans la catégorie des versions actuelles. Le dossier corrigé distingue une vue partielle d’une absence réelle. Les liens vérifiés et les contrôles automatisés soutiennent la démarche; ils ne remplacent ni l’examen du sens ni la preuve mathématique.
Démonstration reconstituée par le réviseur pour le lemme 2.1; ce document n’est ni le complément original cité ni une validation mathématique humaine indépendante.
The current public edition is v07, bound to local source-method v08. These are separate lineages. Earlier public editions remain immutable snapshots and may contain superseded wording.
Concise bilingual record. The full methodology is not yet presented as finished research.
SHA-256 · 0982818e6a7eb77525dd6e46bc62db4f75361fc69ad628645d3bf18403a346feConcise bilingual record. The full methodology is not yet presented as finished research.
SHA-256 · fb4df73120fdbfc4a32bf6f058e8316f9e25dc3190bcc2b20f2e51de8c055320Public v01–v02 presentation was withdrawn. Its original bytes and detailed local source snapshots remain in the private project archive; their identities are retained in the metadata.
L’édition publique actuelle est v07, liée à la source méthodologique locale v08. Ce sont des lignées distinctes. Les éditions antérieures restent des instantanés immuables et peuvent contenir des formulations remplacées.
Dossier bilingue concis. La méthodologie complète n’est pas encore présentée comme un travail achevé.
SHA-256 · 0982818e6a7eb77525dd6e46bc62db4f75361fc69ad628645d3bf18403a346feDossier bilingue concis. La méthodologie complète n’est pas encore présentée comme un travail achevé.
SHA-256 · fb4df73120fdbfc4a32bf6f058e8316f9e25dc3190bcc2b20f2e51de8c055320La présentation publique v01–v02 a été retirée. Ses fichiers originaux et les sources locales détaillées restent dans les archives privées du projet; leurs identités sont conservées dans les métadonnées.
Historique complet par catégories et empreintes des prédécesseurs
Evidence types and revision records / types de preuves et révisions