ATLAS DES CONCEPTS · 156 CONCEPTS

Explorer GenOS
par ses concepts.

Chaque fiche relie ses fondements scientifiques, son modèle, sa source GenOS et ses niveaux d'implémentation, d'intégration et de preuve.

UNE CARTE DE GENOS

Chaque famille relie ses concepts, leur état d'implémentation et les composants voisins du runtime.

Parcourir les familles →
01Identité et développement02Cognition et contrôle03Connaissances et preuves04Mémoire et apprentissage05Intelligence collective06Orchestration07Évolution et écologie08Physiologie et perception09Immunité et médecine10Vérification formelle11Runtime et infrastructure

156 concepts affichés sur 156

FAMILLE · 09 CONCEPTS

Identité et développement

04 / CONCEPT PartielOntogenèseL'ontogenèse biologique inspire l'idée de continuité et de changement. Le contrôleur de projet est un workflow persistant, non un organisme vivant.biologiemathinteractif06 / CONCEPT PartielGénomeLe génome biologique est une séquence d'ADN ; le génome GenOS est une spécification logicielle versionnée de traits et contraintes.biologiemathinteractif07 / CONCEPT PartielÉpigénétiqueL'épigénétique régule l'expression cellulaire sans modifier la séquence ADN. GenOS emploie une règle contextuelle de configuration, sans marques biochimiques.biologiemathinteractif08 / CONCEPT PartielAgentDNAAgentDNA est un format de sérialisation et d'identité. Le nom ADN n'implique ni molécule ni démarrage automatique d'un agent.mathinteractif09 / CONCEPT PartielPhénotypeEn biologie, le phénotype résulte du génotype et de l'environnement. En logiciel, il désigne le profil runtime observable.biologiemathinteractif10 / CONCEPT ExpérimentalInstinctL'instinct biologique est une notion complexe. Une règle dite instinctive dans GenOS est une politique écrite, sans cognition innée.biologiemathinteractif11 / CONCEPT ExpérimentalReproductionLa reproduction biologique associe héritage, variation et développement. GenOS transforme des modèles de données ; créer un worker reste une opération distincte.biologiemathinteractif12 / CONCEPT ProposéSpéciation et greffeSpéciation et greffe sont des analogies évolutives et horticoles pour proposer de nouvelles lignées ou capacités logicielles.biologiemathinteractif156 / CONCEPT PartielStabilité génomiqueLa stabilité génomique suit taux de mutation, anomalies et seuils Stable, Compromised ou Critical dans des génomes logiciels versionnés. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.biologiemathinteractifsimulation
FAMILLE · 22 CONCEPTS

Cognition et contrôle

03 / CONCEPT ConceptuelCortexLe cortex n'est ici qu'une métaphore d'architecture pour des fonctions réparties de recherche et d'association, sans cerveau artificiel unifié.biologiemathinteractif13 / CONCEPT PartielAGOWAGOW est un espace de travail logiciel où des représentations candidates sont sélectionnées sous politique. Les seuils neuronaux offrent un précédent abstrait, sans équivalence cognitive.biologiemathinteractifsimulationbenchmark14 / CONCEPT PartielGVXGVX suit une logique expérimentale de changements isolés, observations et promotion conditionnée aux preuves ; ce n'est pas une évolution biologique.biologiemathinteractifbenchmark15 / CONCEPT ExpérimentalAuto-modèleL'auto-modèle contient des données sur identité, capacités et limites. Il permet l'inspection du système, sans preuve de conscience de soi.mathinteractif16 / CONCEPT ExpérimentalThéorie du soiLa théorie du soi nomme une description fonctionnelle d'identité et de continuité, sans établir un soi humain ou une expérience subjective.mathinteractif17 / CONCEPT PartielSystème prédictifPrédire consiste à confronter une attente à une observation résolue. Les théories de traitement prédictif ne décrivent pas automatiquement le runtime.mathinteractif18 / CONCEPT PartielPlan de contrôle de la recherche naturelleCe plan de contrôle surveille recherche et hypothèses avec des décisions d'arrêt explicites. Les métaphores biologiques ne prouvent aucune adaptation efficace.biologiemathinteractif19 / CONCEPT PartielTest de pensée endogèneETT opérationnalise une question fonctionnelle étroite : une boucle peut-elle transformer un signal interne en question falsifiable, proposition bornée et verdict indépendant ? Ces états observables ne prouvent ni expérience subjective, ni intention, ni conscience.mathinteractifsimulationbenchmark20 / CONCEPT PartielAttention et saillanceL'attention humaine sélectionne sous capacité limitée. Un score de priorité logiciel n'est ni un mécanisme neuronal ni une mesure de conscience.biologiemathinteractif21 / CONCEPT ConceptuelTaxonomie de l'esprit et de la conscienceLes recherches sur la conscience séparent accès fonctionnel, rapport verbal et expérience subjective. Un indicateur logiciel teste une fonction, sans établir une phénoménologie.mathinteractif22 / CONCEPT ConceptuelIndicateurs fonctionnelsUn indicateur opérationnel mesure une capacité observable dans un test défini. Il ne permet pas d'inférer une expérience subjective.mathinteractif118 / CONCEPT ConceptuelEspritL’esprit reste une référence philosophique pour discuter de cognition ; GenOS n’implémente aucune substance mentale et ne revendique aucune expérience subjective. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif119 / CONCEPT ConceptuelMentalLe mental désigne l’ensemble des états et processus discutés en philosophie de l’esprit, et non une capacité GenOS exécutable unique. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif120 / CONCEPT ConceptuelConscienceLa conscience désigne l’expérience subjective au sens phénoménal ; le registre GenOS la traite comme une notion de référence, non comme une propriété logicielle vérifiable. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif121 / CONCEPT ImplémentéConscience opérationnelleLa conscience opérationnelle désigne une régulation interne de cohérence par dissonance, budget et signaux d’arrêt bornés ; ce n’est pas une conscience phénoménale. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation122 / CONCEPT PartielConscience fonctionnelleLa conscience fonctionnelle regroupe des indicateurs mesurables d’accès, d’attention, d’auto-modèle et de métacognition sans les présenter comme preuve d’expérience subjective. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifbenchmark125 / CONCEPT ImplémentéImaginationL’imagination recombine des fragments mémorisés en scénarios candidats bornés ; ces possibilités restent des simulations et non des observations. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation126 / CONCEPT ImplémentéSimulation interneLa simulation interne prédit des issues possibles avant exécution au moyen d’une trace explicite ; son résultat reste consultatif et ne prouve jamais l’issue réelle. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation127 / CONCEPT PartielRéflexionLa réflexion surveille confiance déclarée et erreurs afin de réviser ou de s’abstenir ; elle ne démontre aucune réflexivité phénoménale. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifbenchmark128 / CONCEPT ImplémentéMétacognitionLa métacognition mesure confiance, discrimination et surconfiance sur un historique d’attributions résolues ; c’est une évaluation fonctionnelle, non une méta-conscience. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifbenchmark130 / CONCEPT ImplémentéDissonance cognitiveLa dissonance cognitive est un signal logiciel d’incohérence dérivé des erreurs, répétitions, dérives et états de santé ; ce n’est ni un diagnostic clinique ni subjectif. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation132 / CONCEPT ConceptuelÉtats de conscienceLes états de conscience restent une taxonomie de référence ; GenOS peut exposer des niveaux fonctionnels mais ne mesure aucun état phénoménal. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif
FAMILLE · 31 CONCEPTS

Connaissances et preuves

05 / CONCEPT PartielOntologieL'ontologie formelle décrit catégories et relations. Les mondes possibles GenOS sont des structures de données, sans preuve d'existence externe.mathinteractif23 / CONCEPT PartielÉpistémologieL'épistémologie étudie connaissance, justification et croyance. Le registre logiciel représente des affirmations, sources et règles d'inférence.mathinteractif24 / CONCEPT PartielCroyancesLa révision des croyances étudie les changements d'un ensemble de propositions. Un enregistrement GenOS est une assertion auditée, non un état mental humain.mathinteractif25 / CONCEPT PartielAffirmationsUne affirmation est une proposition évaluable. La distinguer de ses preuves permet l'examen des désaccords et des limites de portée.mathinteractif26 / CONCEPT PartielPreuvesUne preuve est interprétée relativement à une affirmation, une collecte et une règle ; provenance et contre-observations comptent.mathinteractif27 / CONCEPT PartielContradictionsDeux affirmations incompatibles peuvent différer par portée, temps ou source. Conserver le conflit évite une résolution tacite trompeuse.mathinteractif28 / CONCEPT PartielProvenanceLa provenance retrace l'origine et les transformations des données. Une attribution améliore l'audit sans garantir la fiabilité.mathinteractif29 / CONCEPT ExpérimentalCalibration de BrierLe score de Brier évalue des prévisions probabilistes confrontées à des résultats résolus. Un seul cas ne démontre pas une bonne calibration.mathinteractif30 / CONCEPT ConceptuelProblèmes de GettierLes cas de Gettier montrent qu'une croyance vraie et justifiée peut rester accidentellement correcte. Il n'en découle pas de test API binaire du savoir.mathinteractif31 / CONCEPT PartielConnaissancesUn système de connaissances organise sources, affirmations et inférences. La connexion du graphe n'établit pas la vérité des conclusions.mathinteractif32 / CONCEPT PartielPhilosophie GenOSLe registre philosophique conserve 420 notions, théories, méthodes et normes avec leurs sources et interprétations. Chaque entrée possède un audit logiciel borné sur onze primitives partagées : une donnée absente reste non observée, une condition fausse est violée. L'Ontogenèse revalide les audits explicitement demandés avant intégration, sans leur accorder d'autorité de promotion. Les 15 120 observations simulées ne prouvent ni la vérité des théories, ni une conscience subjective, ni leur utilité sur missions réelles.mathinteractif129 / CONCEPT ImplémentéCalibrationLa calibration compare la confiance déclarée aux résultats résolus et l’actualise prudemment ; elle ne rend jamais la preuve plus permissive à elle seule. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifbenchmark133 / CONCEPT ConceptuelLimite métrique–expérienceLa limite métrique–expérience empêche de présenter des scores fonctionnels comme preuve d’expérience subjective. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif134 / CONCEPT ImplémentéHypothèse falsifiableUne hypothèse falsifiable est une proposition explicite accompagnée d’observations susceptibles de la contredire. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif135 / CONCEPT PartielRegistre d’hypothèsesLe registre d’hypothèses conserve hypothèses, falsifications et révisions dans un historique append-only au lieu de remplacer silencieusement les états antérieurs. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif136 / CONCEPT PartielPrédictionUne prédiction énonce une issue observable attendue depuis un modèle ou une hypothèse avant sa résolution. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif137 / CONCEPT ImplémentéContre-exempleUn contre-exemple est une observation qui satisfait les préconditions d’une affirmation tout en contredisant sa conséquence prédite. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif138 / CONCEPT ImplémentéPreuve directeUne preuve directe est un reçu, une sortie de test ou un artefact explicitement associé à une affirmation ; l’association seule n’établit pas sa vérité métier. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif139 / CONCEPT PartielPreuve indépendanteUne preuve indépendante provient d’un producteur suffisamment distinct de l’auteur de l’affirmation selon une politique d’indépendance déclarée. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif140 / CONCEPT ImplémentéRéception de preuveLa réception de preuve valide et normalise un rapport entrant avant de l’attacher au dossier d’un worker ou d’une affirmation. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif141 / CONCEPT ImplémentéAncrage opérationnelL’ancrage opérationnel relie une affirmation symbolique aux observations ou artefacts qui la rattachent à un contexte d’exécution. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif142 / CONCEPT PartielÉtat épistémiqueUn état épistémique enregistre qualité des preuves, confiance dérivée, phase et dette épistémique non résolue d’une affirmation ou croyance. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif144 / CONCEPT ImplémentéRésultat non vérifiéUn résultat non vérifié est archivé comme provisoire avec une dette épistémique explicite et ne peut soutenir une promotion. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif145 / CONCEPT ImplémentéÉligibilité à la promotionL’éligibilité à la promotion est une décision explicite vraie seulement lorsque toutes les obligations de politique du candidat sont satisfaites. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif146 / CONCEPT PartielRévision de croyanceLa révision de croyance actualise une affirmation versionnée lorsque de nouvelles preuves pertinentes arrivent, tout en conservant l’état antérieur et les preuves contraires. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif147 / CONCEPT PartielDissonance épistémiqueLa dissonance épistémique consigne le conflit entre croyances et preuves ou entre croyances incompatibles sans le résoudre silencieusement. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif148 / CONCEPT PartielBiaisLe biais désigne une erreur systématique de steering ou de calibration détectée par une sonde déclarée ; le motif observé exige une interprétation bornée. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifbenchmark149 / CONCEPT ImplémentéIndicateur d’hallucinationLe concept d’hallucination marque des conditions logicielles observables comme affirmations sans preuve, code non testé, placeholders ou valeurs vides ; ce n’est pas un diagnostic médical. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif150 / CONCEPT ImplémentéSurveillance des hallucinationsLa surveillance des hallucinations enregistre en continu les indicateurs déclarés d’affirmations non étayées et leur contexte sans transformer les comptes en jugement de vérité. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif153 / CONCEPT ImplémentéBarrière d’évidenceUne barrière d’évidence vérifie que chaque affirmation et artefact cité appartient bien au dossier source attribué avant qu’un résultat collectif avance. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif154 / CONCEPT ImplémentéPorte de promotionUne porte de promotion applique les politiques déclarées de rejeu, vérification indépendante, approbation et conservation avant toute intégration. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif
FAMILLE · 10 CONCEPTS

Mémoire et apprentissage

02 / CONCEPT PartielMémoireLa mémoire GenOS combine épisodes, index, classement et maintenance. Les mots de neurosciences expriment une inspiration et ne prouvent aucune équivalence avec le cerveau.biologiemathinteractif33 / CONCEPT PartielMémoire épisodiqueLa mémoire épisodique humaine situe les événements vécus dans un contexte temporel. GenOS stocke des enregistrements contextualisés sans souvenir autobiographique.biologiemathinteractif34 / CONCEPT PartielMémoire sémantiqueLa mémoire sémantique concerne des connaissances générales plutôt que des épisodes précis. GenOS indexe propositions et relations sans modèle cognitif humain validé.mathinteractif35 / CONCEPT ExpérimentalMémoire vectorielleLa recherche vectorielle rapproche des représentations apprises dans un espace géométrique ; une proximité sémantique peut récupérer un élément faux.mathinteractif36 / CONCEPT PartielMémoire procéduraleLa mémoire procédurale humaine concerne les habiletés apprises. Ici, une procédure est une instruction logicielle versionnée dont les préconditions et résultats doivent être contrôlés.mathinteractif37 / CONCEPT ExpérimentalPlasticité synaptiqueUne synapse biologique varie selon activité et état cellulaire. Une association logicielle ajustée par GenOS est une analogie qu'il faut évaluer sur des tâches.biologiemathinteractif38 / CONCEPT ExpérimentalSTDPLes expériences de Bi et Poo montrent une dépendance au temps entre impulsions pré- et postsynaptiques. Une règle logicielle simplifiée ne reproduit pas le neurone.biologiemathinteractif39 / CONCEPT PartielFossilisation de la mémoireUn fossile conserve une trace d'un organisme passé. L'analogie logicielle archive une lignée close et sa provenance, sans réactiver son processus.biologiemathinteractif40 / CONCEPT PartielRécupération de la mémoireUn rappel associatif peut retrouver un élément avec un indice partiel. Les index GenOS diffèrent des réseaux neuronaux à mémoire adressée par contenu.mathinteractif131 / CONCEPT PartielMémoire autobiographiqueLa mémoire autobiographique conserve épisodes saillants, leçons et rappels conditionnels ; cet historique reste faillible et doit être revalidé avant usage. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif
FAMILLE · 19 CONCEPTS

Intelligence collective

41 / CONCEPT PartielMorphogenèseLa morphogenèse biologique produit des formes par interactions locales et contraintes. GenOS transpose ce principe à la composition explicite de graphes d'exécution.biologiemathinteractifsimulation42 / CONCEPT PartielMéristème épistémiqueLe méristème végétal est une zone de croissance. L'analogie désigne l'extension contrôlée d'une couverture de connaissances dont la lacune a été vérifiée.mathinteractif43 / CONCEPT PartielSpirale de déblocageUne recherche adaptative peut changer de représentation ou de méthode après des échecs répétés. La spirale est une politique d'escalade, sans garantie de progrès.mathinteractif44 / CONCEPT PartielCambium des contre-exemplesUn contre-exemple réfute une proposition universelle sous ses hypothèses. Le cambium évoque un registre qui s'accroît tout en conservant les conditions de validité.mathinteractif45 / CONCEPT PartielChronotaxie apériodiqueUn échantillonnage temporel peut manquer un événement bref. Les échéances apériodiques et les reçus montrent les fenêtres réellement observées.mathinteractif46 / CONCEPT PartielRisque statistique sous contratLes décisions statistiques répétées consomment un budget d'erreur déclaré. Un registre ne borne le risque que si hypothèses, dépendances et règles sont explicites.mathinteractif47 / CONCEPT PartielOrganisations dynamiquesLes sciences des organisations et les algorithmes distribués étudient l'effet des règles de coordination. Les dix-neuf schémas GenOS déclarent rôles et transitions.biologiemathinteractif48 / CONCEPT PartielTypes de workersUn système de rôles typés associe les besoins d'une tâche aux capacités déclarées. Cette compatibilité ne prouve pas la réussite du worker.mathinteractif49 / CONCEPT PartielDaemons résidentsUn daemon est un processus de longue durée dont le cycle de vie, les ressources et l'autorité doivent être supervisés. La métaphore d'organisme n'ajoute aucune propriété biologique.mathinteractif50 / CONCEPT PartielRelations entre agentsLa science des réseaux distingue nœuds et liens. Un lien déclaré entre agents indique une communication possible, pas son activité effective.mathinteractif51 / CONCEPT PartielPhysiologie relationnelleLes dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.mathinteractif52 / CONCEPT PartielÉcologie de la communicationUne communication dépend du canal, du temps et du bruit. GenOS emploie des signaux typés et des canaux bornés ; l'écologie est une analogie.mathinteractif53 / CONCEPT PartielPlan de signalisation sans texteUne messagerie fiable distingue persistance, traitement et accusé de réception. Une livraison au moins une fois peut produire des doublons.mathinteractif54 / CONCEPT PartielG-CIRUn contrat rend explicites les obligations restantes avant un appel au modèle. L'admission typée et les reçus de visibilité ne prouvent pas la compréhension du prompt.mathinteractif55 / CONCEPT PartielContinuité de missionLa persistance permet de reprendre après la perte d'un processus, à condition d'arbitrer les propriétaires et d'éviter les effets dupliqués.mathinteractif56 / CONCEPT PartielAgentGitLe contrôle de version conserve un historique et des branches immuables. Appliqué à un agent, il ne permet de rejouer que l'état inclus dans la frontière enregistrée.mathinteractif57 / CONCEPT PartielEspaces de travail contrefactuelsUne expérience contrôlée isole les changements candidats. L'isolement améliore l'attribution, mais dépendances communes et biais d'évaluation subsistent.mathinteractif151 / CONCEPT PartielConsensus pondéréLe consensus pondéré agrège des contributions attribuées en conservant dépendances et incertitude ; l’accord n’est pas automatiquement vrai. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation152 / CONCEPT ImplémentéQuorum avec abstentionLe quorum avec abstention refuse une décision collective lorsque intégrité, confiance ou incertitude ne permettent pas de trancher. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation
FAMILLE · 08 CONCEPTS

Orchestration

58 / CONCEPT PartielTrinityComparer des mondes candidats ressemble à une expérience contrôlée. Le choix dépend d'une tâche commune, de contrôles et d'une barrière de preuves.mathinteractifsimulation59 / CONCEPT PartielA-TeamLa décomposition du travail et le parallélisme peuvent accroître le débit si dépendances et coût d'intégration sont explicites. La métaphore d'équipe ne garantit rien.mathinteractifsimulation60 / CONCEPT PartielBiocénoseUn jugement collectif peut agréger des évaluations, mais les erreurs corrélées et les incitations faussent une majorité simple. Un vote n'est pas vérité.biologiemathinteractifsimulation61 / CONCEPT PartielHolobionteUn holobionte biologique associe hôte et organismes liés. GenOS utilise l'image pour un hôte qui compose des services spécialisés sous contrat.biologiemathinteractifsimulation62 / CONCEPT PartielSyncytiumUn syncytium biologique est une structure cellulaire fusionnée. La topologie GenOS partage plutôt un état versionné entre workers.biologiemathinteractifsimulation63 / CONCEPT ImplémentéRhizomeLe rhizome est une métaphore botanique et philosophique des connexions non hiérarchiques. Le runtime reste un graphe explicite de capacités et permissions.biologiemathinteractifsimulation64 / CONCEPT PartielMétapopulationUne métapopulation biologique relie des populations locales par dispersion, extinction et recolonisation. Les régions logicielles sont des abstractions.biologiemathinteractifsimulation65 / CONCEPT PartielBiomeUn biome écologique combine niches, ressources et populations. GenOS modélise une allocation bornée, sans écosystème autonome complet.biologiemathinteractifsimulation
FAMILLE · 11 CONCEPTS

Évolution et écologie

66 / CONCEPT ExpérimentalMutationUne mutation biologique modifie une séquence héréditaire. GenOS modifie des modèles de génome ou des registres simulés, sans changer automatiquement un agent actif.biologiemathinteractif67 / CONCEPT ExpérimentalSélectionLa théorie évolutionnaire étudie des stratégies dont le succès dépend de la fréquence. La sélection logicielle suit des objectifs et contraintes choisis.biologiemathinteractif68 / CONCEPT ExpérimentalPlasmidesLes plasmides bactériens sont des éléments génétiques mobiles qui transportent des traits. GenOS transpose l'idée à un paquet de capacité soumis à compatibilité et autorisation.biologiemathinteractif69 / CONCEPT ExpérimentalTransfert horizontalLe transfert horizontal de gènes passe entre lignées sans filiation parent-enfant. GenOS en retient la structure pour déplacer une capacité logicielle gouvernée.biologiemathinteractif70 / CONCEPT ExpérimentalIntelligence en essaimDes règles d'interaction locales peuvent produire un comportement collectif. Le graphe, les délais et l'environnement déterminent les résultats.biologiemathinteractif71 / CONCEPT ExpérimentalStigmergieLa stigmergie coordonne par des modifications de l'environnement, observée dans la construction de nids de termites. Les traces logicielles n'en sont qu'une analogie.biologiemathinteractif72 / CONCEPT PartielNichesUne niche écologique associe conditions et rôle d'une espèce. L'analogie partitionne les contextes de travail selon ressources et capacités pertinentes.biologiemathinteractif73 / CONCEPT ExpérimentalPopulationsLes modèles de population suivent la composition et la variation des groupes. Les populations runtime exigent règles de membres, échantillonnage et cycle de vie.biologiemathinteractif74 / CONCEPT ExpérimentalCryptobiose et dormanceLa cryptobiose réduit fortement l'activité métabolique dans certaines conditions. GenOS transpose l'idée à une dormance explicite avec état préservé et réveil contrôlé.biologiemathinteractif75 / CONCEPT PartielÉcologie créative naturelleLa recherche évolutionnaire combine variation, héritage et sélection sous contraintes. Une mesure de nouveauté favorise l'exploration sans garantir une innovation utile.biologiemathinteractif155 / CONCEPT PartielÉcosystème agentiqueUn écosystème agentique relie agents, niches et biomes par des contraintes explicites de capacité et de ressources ; il s’agit d’une analogie d’écologie logicielle. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.biologiemathinteractifsimulation
FAMILLE · 12 CONCEPTS

Physiologie et perception

76 / CONCEPT ExpérimentalSensoriumLa perception animale combine plusieurs modalités avec incertitude. Le sensorium GenOS est une interface d'observations typées où simulation et mesure restent distinctes.biologiemathinteractif77 / CONCEPT PartielMétabolismeLe métabolisme biologique transforme matière et énergie. GenOS emploie ce mot pour la comptabilité et l'allocation de ressources.biologiemathinteractif78 / CONCEPT PartielHoméostasie et allostasieL'homéostasie régule autour d'une plage viable. Un garde de ressources emprunte la boucle de rétroaction sans modéliser une physiologie.biologiemathinteractif79 / CONCEPT PartielRésilience et repriseLa résilience concerne le rétablissement après perturbation. En logiciel, elle exige une mesure de service restauré sous faute et budget déclarés.biologiemathinteractif80 / CONCEPT PartielDéveloppementLe développement biologique transforme forme et fonction par étapes régulées. Une lignée logicielle reprend l'idée comme automate explicite, sans ontogenèse vivante.biologiemathinteractif81 / CONCEPT PartielSymbiontesLa symbiose désigne une interaction durable entre organismes, bénéfique ou non. Les symbiotes GenOS sont des services spécialisés admis sous contrat.biologiemathinteractif82 / CONCEPT ExpérimentalExploration web par recherche de ressourcesLe théorème de valeur marginale explique quand un chercheur idéal quitte une source aux rendements décroissants. Une recherche web exige ses propres mesures.biologiemathinteractif83 / CONCEPT ExpérimentalFovéationLa vision concentre une haute résolution près de la fovéa et observe le reste avec moins de détail. GenOS sélectionne une région à inspecter sous budget.biologiemathinteractif84 / CONCEPT ProposéSens animauxLes sens animaux transforment des stimuli physiques au moyen de récepteurs propres à chaque modalité. GenOS n'a que des entrées logicielles déclarées.biologiemathinteractif85 / CONCEPT ExpérimentalPrimitives de contrôle animalCertains comportements animaux reposent sur des boucles locales stimulus-réponse. Les primitives logicielles reprennent cette structure sous gardes et mesures.biologiemathinteractif123 / CONCEPT PartielPerceptionLa perception est un pont borné entre observations canoniques, mémoire et contrôle ; elle n’établit ni sensation biologique ni accès direct au monde. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif124 / CONCEPT PartielIntéroceptionL’intéroception lit des signaux logiciels internes comme le budget, la dissonance et la santé pour la planification allostatique ; ce n’est pas une sensation viscérale. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractifsimulation
FAMILLE · 14 CONCEPTS

Immunité et médecine

01 / CONCEPT PartielMaladies logiciellesCette nosologie est une taxonomie de défaillances logicielles inspirée du raisonnement clinique. Les catégories exigent des signaux observables et ne diagnostiquent personne.biologiemathinteractif86 / CONCEPT PartielImmunité épistémique adaptativeL'immunité adaptative distingue reconnaissance, mémoire et réponse. L'analogie logicielle contrôle une affirmation suspecte sans garantir une détection parfaite.biologiemathinteractif87 / CONCEPT PartielSystème immunitaireL'immunité biologique combine plusieurs couches de reconnaissance et de réponse. Un système logiciel de détection n'en reproduit que la logique de contrôle borné.biologiemathinteractif88 / CONCEPT PartielNosologieLa nosologie médicale classe les maladies selon observations et causes. Une taxonomie logicielle emprunte cette discipline sans devenir un diagnostic médical.biologiemathinteractif89 / CONCEPT PartielPathologies computationnellesLe catalogue emprunte des catégories cliniques pour organiser des échecs de logiciels. Il ne représente ni maladie humaine ni traitement médical.biologiemathinteractif90 / CONCEPT PartielDéfaillance auto-immuneL'auto-immunité biologique vise des composants du soi. L'analogie décrit une protection logicielle qui bloque une activité légitime.biologiemathinteractif91 / CONCEPT PartielDéfaillance dégénérativeLa dégénérescence est une perte progressive de structure ou de fonction. La catégorie logicielle suit une baisse de qualité sans en déduire automatiquement la cause.biologiemathinteractif92 / CONCEPT PartielDéfaillance infectieuseUne infection se propage par des voies de transmission. L'analogie suit un artefact ou état fautif entre workspaces, sans agent pathogène.biologiemathinteractif93 / CONCEPT PartielDéfaillance génétiqueDes variantes génétiques héritées peuvent modifier une fonction biologique. Ici, la catégorie vise des traits nuisibles dans un modèle agent versionné.biologiemathinteractif94 / CONCEPT PartielDéfaillance de type cancéreuxLe cancer implique une prolifération cellulaire dérégulée. L'analogie logicielle vise une croissance de processus ou d'artefacts non autorisée.biologiemathinteractif95 / CONCEPT PartielDéfaillance métaboliqueUne maladie métabolique perturbe des transformations biologiques. En logiciel, la catégorie décrit une consommation de ressources non soutenable.biologiemathinteractif96 / CONCEPT PartielDéfaillance cardiovasculaireLa circulation cardiovasculaire déplace le sang dans un réseau. L'analogie logicielle vise un goulot de flux d'information, sans physiologie sanguine.biologiemathinteractif97 / CONCEPT PartielDéfaillance psychiatriqueLes troubles psychiatriques concernent des personnes et exigent une évaluation clinique. Le terme GenOS ne décrit que des décisions logicielles instables.biologiemathinteractif98 / CONCEPT PartielDéfaillance environnementaleDes expositions environnementales influencent la santé biologique. Les défaillances logicielles peuvent dépendre de charge, réseau ou configuration.biologiemathinteractif
FAMILLE · 08 CONCEPTS

Vérification formelle

99 / CONCEPT PartielVérification LeanUn assistant de preuve contrôle un terme dans un noyau logique. La réussite porte sur la proposition formalisée et les axiomes, non sur toutes les prémisses informelles.mathinteractif100 / CONCEPT ProposéArtefact de preuveUn artefact de preuve associe proposition, preuve vérifiable et métadonnées du contrôleur. Sa validité est relative à la formalisation.mathinteractif101 / CONCEPT PartielVérification déterministeDes contrôles répétables soutiennent la reproductibilité si entrées et versions sont fixées. Le déterminisme seul ne prouve pas que le bon critère est testé.mathinteractif102 / CONCEPT ConceptuelOrganisme mathématiqueL'organisme mathématique est une abstraction définie par états, transitions et observations, non un organisme biologique.mathinteractif103 / CONCEPT PartielRegistre de vérificationUn registre rend les contrats de vérification accessibles et comparables. L'enregistrement ne signifie pas que toute exécution est correctement vérifiée.mathinteractif104 / CONCEPT PartielCouche de solveur SMTUn solveur SMT vérifie la satisfaisabilité de formules dans des théories déclarées. SAT ou UNSAT dépend de l'encodage et du contrôleur.mathinteractif105 / CONCEPT PartielProcédures déterministesUn algorithme déterministe produit le même résultat avec les mêmes entrées sous les mêmes règles d'exécution.mathinteractif143 / CONCEPT ImplémentéRésultat formelUn résultat formel est produit par une procédure déterministe avec reçu lié et sémantique de vérification déclarée. La distinction entre un indicateur logiciel observable et le construit scientifique ou philosophique plus large doit rester explicite.mathinteractif
FAMILLE · 12 CONCEPTS

Runtime et infrastructure

106 / CONCEPT PartielInstantanésUn snapshot capture un état à un instant donné. Sa complétude dépend des magasins, ressources externes et processus effectivement inclus.mathinteractif107 / CONCEPT PartielSystème de fichiers virtuelUn système de fichiers virtuel sépare chemins logiques et stockage réel. La résolution doit appliquer les droits, y compris face aux traversées de chemin.mathinteractif108 / CONCEPT ImplémentéPersistance SQLiteSQLite est un moteur relationnel embarqué avec stockage transactionnel local. Il ne définit pas seul isolation des locataires, sauvegarde ou logique métier.mathinteractif109 / CONCEPT PartielPersistanceLa persistance conserve un état entre appels ou redémarrages et impose cohérence, migration et règles de rétention.mathinteractif110 / CONCEPT PartielÉtat partagéUn état partagé distribué exige des règles de visibilité, d'ordre et de résolution des conflits. Un magasin commun ne garantit pas la cohérence.mathinteractif111 / CONCEPT PartielRoutage des modèlesLe routage choisit un fournisseur selon capacité, disponibilité, coût et politique. Son résultat dépend de contraintes et fournisseurs actuels.mathinteractif112 / CONCEPT PartielInterfaces MCPUn protocole définit messages et règles entre client et serveur. MCP est un contrat d'interface, pas une théorie scientifique de la cognition.mathinteractif113 / CONCEPT PartielBac à sableUne sandbox limite les effets du processus et des outils. Sa robustesse dépend des primitives d'isolation et de leur configuration.mathinteractif114 / CONCEPT PartielObservabilitéL'observabilité utilise journaux, mesures et traces pour inférer le comportement du système. La télémétrie absente limite la conclusion.mathinteractif115 / CONCEPT PartielIdentité et autoritéL'identification lie acteurs et droits dans une portée. Un identifiant ne prouve que ce que garantissent son émetteur et son vérificateur.mathinteractif116 / CONCEPT PartielGouvernanceLa gouvernance définit autorité, revue et responsabilité. Un workflow d'approbation n'agit que si la frontière d'exécution applique la politique.mathinteractif117 / CONCEPT PartielWorkflows et tâchesUn workflow coordonne des tâches par dépendances et transitions explicites. Reprises, idempotence et annulation déterminent sa fiabilité.mathinteractif