bra0 / Docs / Concepts / GROP
Concept

GROP — the runtime protocol of Knowledge SpacesGROP : le protocole runtime des Knowledge Spaces

The Generic Runtime Operating Protocol: the minimal shared interaction contract every Knowledge Space is designed to speak natively, so that Knowledge Spaces built by strangers, on incompatible schemas, still interoperate at runtime. Le Generic Runtime Operating Protocol : le contrat d'interaction minimal partagé que chaque Knowledge Space est conçu pour parler nativement, afin que des Knowledge Spaces construits par des inconnus, sur des schémas incompatibles, interopèrent quand même à l'exécution.

FORTHCOMING DRAFT 0.1.1 — audited and published. The kernel ontology passed a six-dimension ontology-quality audit (2026-07-11, all nine floor invariants) and is published with an Audited badge on the terminology server. The native-protocol constitutive invariant it proposes remains forthcoming doctrine: a candidate addition to the Knowledge Space baseline, tracked as open question O-D of the KS Snapshot Format specification, not yet sealed into that baseline. DRAFT 0.1.1, audité et publié. L'ontologie du noyau a passé un audit de qualité ontologique en six dimensions (2026-07-11, les neuf invariants plancher) et est publiée avec le badge Audited sur le serveur de terminologies. L'invariant constitutif de protocole natif qu'il propose reste une doctrine à venir : un ajout candidat à la ligne de base des Knowledge Spaces, suivi comme question ouverte O-D de la spécification du format de snapshot KS, pas encore scellé dans cette ligne de base.
In plain terms

Every mail server on Earth speaks SMTP — a protocol so small and so stable that supporting it costs almost nothing, which is why everyone supports it natively. Everything richer (attachments, encryption, filtering) is layered on top, optional, pluggable. GROP is that SMTP floor for Knowledge Spaces: three interaction phases (ask → propose → commit), two separated lanes (addressing vs payload), two poles (asking side, offering side), and trust by verifiable attestation instead of a central authority. A KS speaks that natively — and nothing more. Two KS built by strangers, with incompatible schemas, can still interoperate: they align through the kernel without ever merging their schemas, the way two apps exchange mail without sharing a database. Tous les serveurs mail du monde parlent SMTP : un protocole si petit et si stable que le supporter ne coûte presque rien, raison pour laquelle tout le monde le supporte nativement. Tout ce qui est plus riche (pièces jointes, chiffrement, filtrage) vient par-dessus, optionnel, enfichable. GROP est ce plancher SMTP pour les Knowledge Spaces : trois phases d'interaction (demander → proposer → s'engager), deux voies séparées (adressage et contenu), deux pôles (côté qui demande, côté qui offre), et une confiance portée par attestation vérifiable plutôt que par une autorité centrale. Un KS parle cela nativement, et rien de plus. Deux KS construits par des inconnus, aux schémas incompatibles, peuvent quand même interopérer : ils s'alignent à travers le noyau sans jamais fusionner leurs schémas, comme deux applications échangent du courrier sans partager de base de données.

1Two layers: how a KS is packaged vs what a KS speaksDeux couches : comment un KS s'emballe et ce qu'un KS parle

The idea

A git project has a tarball format AND a wire protocol — one freezes it for shipping, the other lets two copies talk. A Knowledge Space has the same split: a snapshot format (the container) and GROP (the runtime language). They are different layers, and they meet only in the KS itself. Un projet git a un format d'archive ET un protocole réseau : l'un le fige pour l'expédier, l'autre permet à deux copies de dialoguer. Un Knowledge Space connaît la même séparation : un format de snapshot (le contenant) et GROP (la langue d'exécution). Ce sont deux couches différentes, et elles ne se rejoignent que dans le KS lui-même.

LayerQuestion it answersStatus
Container How is one KS serialized, typed, conformance-graded and lifecycle-tracked so a downstream consumer can verify it without out-of-band coordination? Specified by the KS Snapshot Format.Comment un KS est-il sérialisé, typé, gradué en conformité et suivi en cycle de vie, pour qu'un consommateur aval le vérifie sans coordination hors-bande ? Spécifié par le format de snapshot KS. Working Draft, published.Working Draft, publié.
Runtime What minimal contract does every KS speak natively so heterogeneous KS interoperate at runtime? Defined by the GROP kernel (this page).Quel contrat minimal chaque KS parle-t-il nativement pour que des KS hétérogènes interopèrent à l'exécution ? Défini par le noyau GROP (cette page). DRAFT 0.1.1, audited (six-dimension audit) and published; the constitutive invariant stays open (O-D).DRAFT 0.1.1, audité (audit six dimensions) et publié ; l'invariant constitutif reste ouvert (O-D).

Neither layer subsumes the other. The snapshot format has no conformance gate touching GROP; the kernel references no container construct. Their shared subject is the Knowledge Space: the snapshot serializes the KS at a moment; GROP is what the KS speaks at runtime. Aucune couche ne subsume l'autre. Le format de snapshot n'a aucune porte de conformité touchant GROP ; le noyau ne référence aucune construction du contenant. Leur sujet commun est le Knowledge Space : le snapshot sérialise le KS à un instant ; GROP est ce que le KS parle à l'exécution.

2The coupling lawLa loi de couplage

In one sentence

Align through the kernel; never merge schemas. S'aligner à travers le noyau ; ne jamais fusionner les schémas.

The kernel source states the law canonically: La source du noyau énonce la loi canoniquement (énoncé canonique en anglais) :

“The only thing a KS couples to NATIVELY is this minimal generic kernel; everything richer or contextual is loosely coupled and pluggable. Native coupling costs ~0 BECAUSE the kernel is minimal and stable. Heterogeneous KS align THROUGH the kernel without fusing (family resemblance, not isomorphism).” « The only thing a KS couples to NATIVELY is this minimal generic kernel; everything richer or contextual is loosely coupled and pluggable. Native coupling costs ~0 BECAUSE the kernel is minimal and stable. Heterogeneous KS align THROUGH the kernel without fusing (family resemblance, not isomorphism). » GROP kernel source, coupling law (DRAFT 0.1.1)Source du noyau GROP, loi de couplage (DRAFT 0.1.1)

Each clause of the law is backed by a machine-checked gate in our graph, not asserted in prose: kernel minimality (the phase set is closed at three), native conformance (a KS binds to the one canonical kernel), loose derivation (every richer protocol carries an explicit derivation edge back to the kernel), and no-fusion (a probe verifies that zero edges fuse two heterogeneous models). The no-fusion property is proven today on controlled fixtures; verification on production KS pairs is scheduled, not claimed. Chaque clause de la loi est adossée à une porte vérifiée par machine dans notre graphe, jamais affirmée en prose : minimalité du noyau (l'ensemble des phases est clos à trois), conformité native (un KS se lie à l'unique noyau canonique), dérivation lâche (tout protocole plus riche porte une arête de dérivation explicite vers le noyau), et non-fusion (une sonde vérifie que zéro arête ne fusionne deux modèles hétérogènes). La propriété de non-fusion est prouvée aujourd'hui sur des montages contrôlés ; la vérification sur des paires de KS en production est planifiée, non revendiquée.

3The kernel at a glanceLe noyau en un coup d'œil

Made of borrows

The kernel invents almost nothing. It is deliberately characterized by borrow: W3C verbs and roles, a W3C trust model, and one design pattern credited to its source. What is ours is the assembly — and the discipline of keeping it minimal. Le noyau n'invente presque rien. Il est délibérément caractérisé par emprunt : des verbes et des rôles W3C, un modèle de confiance W3C, et un motif de conception crédité à sa source. Ce qui est à nous, c'est l'assemblage, et la discipline de le garder minimal.

ConstructWhat it isProvenance
Phases (triad) Request → Offer → Commit: the demand → proposition → binding lifecycle. The phase set is closed at exactly three — growing it is how a generic kernel silently becomes a heavy domain protocol.Request → Offer → Commit : le cycle demande → proposition → engagement. L'ensemble des phases est clos à exactement trois : l'élargir est la manière dont un noyau générique devient silencieusement un lourd protocole métier. Each phase derived from an ActivityStreams 2.0 verb (Question, Offer, Accept). Derived from, not equivalent to — the exact subtyping is an open question.Chaque phase dérivée d'un verbe ActivityStreams 2.0 (Question, Offer, Accept). Dérivée de, non équivalente à : le sous-typage exact reste une question ouverte.
Roles Who acts, on what, toward whom.Qui agit, sur quoi, vers qui. ActivityStreams 2.0 actor / object / target, reused directly, nothing re-minted.ActivityStreams 2.0 actor / object / target, réutilisés directement, rien de re-frappé.
Two lanes A governing/addressing lane (routing, identity, provenance — shielded from personal data) kept orthogonal to the payload lane (the substantive content).Une voie de gouvernance et d'adressage (routage, identité, provenance, protégée des données personnelles) maintenue orthogonale à la voie de contenu (la substance échangée). Own kernel term; design credit to the Beckn context/message pattern, which ships as an OpenAPI convention, not as an importable RDF primitive.Terme propre au noyau ; crédit de conception au motif context/message de Beckn, livré comme convention OpenAPI, non comme primitive RDF importable.
Polarity The two poles a party plays: demand side and offer side.Les deux pôles qu'une partie joue : côté demande et côté offre. Abstraction of the Beckn BAP/BPP topology, with no commercial or accounting frame attached.Abstraction de la topologie BAP/BPP de Beckn, sans aucun cadre commercial ou comptable attaché.
Trust Trust by verifiable attestation, never by a central authority. The kernel names the hook only; the credential and proof machinery is supplied by the borrowed layer.Confiance par attestation vérifiable, jamais par autorité centrale. Le noyau ne nomme que le point d'accroche ; la mécanique de justificatifs et de preuves vient de la couche empruntée. Borrowed from W3C Verifiable Credentials 2.0.Empruntée à W3C Verifiable Credentials 2.0.
Native conformance A KS binds to the one canonical kernel by declaring that it speaks it — the constitutive membership the forthcoming invariant would seal.Un KS se lie à l'unique noyau canonique en déclarant qu'il le parle : l'appartenance constitutive que l'invariant à venir scellerait. Own kernel term.Terme propre au noyau.

The kernel's namespace is schema.bra0.org/cross-domain/grop. Like every bra0 vocabulary, its publication is gated by the ontology-quality whitelist of the terminology server; the kernel passed its six-dimension audit (2026-07-11) and is published there with an Audited badge, byte-identical to the canonical source and pinned by content hash. L'espace de noms du noyau est schema.bra0.org/cross-domain/grop. Comme tout vocabulaire bra0, sa publication est conditionnée par la liste blanche de qualité ontologique du serveur de terminologies ; le noyau a passé son audit six dimensions (2026-07-11) et y est publié avec le badge Audited, identique octet pour octet à la source canonique et épinglé par empreinte de contenu.

4Concrete protocols: the floor, not the buildingProtocoles concrets : le plancher, pas l'immeuble

Why so small

The kernel is deliberately too small to do real work. Real work lives in concrete protocols: richer, contextual protocols derived from the kernel per domain or terrain, which a KS opts into loosely, by resolvable pointer. This is the familiar core → application-profile pattern of the EU SEMIC practice, applied at runtime. Le noyau est délibérément trop petit pour faire le vrai travail. Le vrai travail vit dans les protocoles concrets : des protocoles plus riches, contextuels, dérivés du noyau par domaine ou par terrain, auxquels un KS adhère de manière lâche, par pointeur résolvable. C'est le motif familier cœur → profil d'application de la pratique SEMIC européenne, appliqué à l'exécution.

The first registered concrete protocol is ValueFlows, the economic-network vocabulary (REA lineage): its Intent → Proposal → Commitment lifecycle maps one-to-one onto ask → propose → commit, while all of its economic and accounting weight stays in its own vocabulary, outside the kernel. Derivation is necessary but not sufficient: a profile's own interactions must also respect the closed phase triad — a relation machine-checked in our graph, not asserted in prose. Le premier protocole concret enregistré est ValueFlows, le vocabulaire des réseaux économiques (filiation REA) : son cycle Intent → Proposal → Commitment se projette un pour un sur demander → proposer → s'engager, tandis que tout son poids économique et comptable reste dans son propre vocabulaire, hors du noyau. La dérivation est nécessaire mais non suffisante : les interactions propres d'un profil doivent aussi respecter la triade close des phases, une relation vérifiée par machine dans notre graphe, jamais affirmée en prose.

5GROP and known protocolsGROP et les protocoles connus

In plain terms

Nobody asks whether SMTP competes with Gmail: a protocol floor and the systems built on it or beside it are different kinds of thing. GROP relates to known protocols in three distinct ways: what it is made of (borrows), what plugs into it (derived profiles), and what it stands beside (peers we learn from). Personne ne demande si SMTP concurrence Gmail : un plancher protocolaire et les systèmes construits dessus ou à côté sont des choses de nature différente. GROP se rapporte aux protocoles connus de trois manières distinctes : ce dont il est fait (emprunts), ce qui s'y branche (profils dérivés), et ce à côté de quoi il se tient (pairs dont nous apprenons).

What GROP is made of (the W3C floor)Ce dont GROP est fait (le plancher W3C)

What plugs into GROP (derived profiles)Ce qui se branche sur GROP (profils dérivés)

What stands beside GROP (peers we learn from)Ce qui se tient à côté de GROP (pairs dont nous apprenons)

RelationWhoIn a word
Made ofActivityStreams 2.0, Verifiable Credentials 2.0; Beckn at design levelActivityStreams 2.0, Verifiable Credentials 2.0 ; Beckn au niveau conceptionThe kernel borrows its parts and carries their provenance.Le noyau emprunte ses pièces et en porte la provenance.
Plugs intoValueFlows (registered); ICNLI (candidate)ValueFlows (enregistré) ; ICNLI (candidat)Richer profiles derive from the kernel, loosely.Des profils plus riches dérivent du noyau, de manière lâche.
Stands besideSysFEATPeers we learn from, never rivals to beat.Des pairs dont nous apprenons, jamais des rivaux à battre.

Each of these relations is machine-checked in our graph, not asserted in prose. And the convergence across sources is family resemblance around a shared invariant, not strict isomorphism: SEMIC, Beckn and GROP are not the same construct. Chacune de ces relations est vérifiée par machine dans notre graphe, jamais affirmée en prose. Et la convergence entre sources est un air de famille autour d'un invariant partagé, non un isomorphisme strict : SEMIC, Beckn et GROP ne sont pas la même construction.

6Holonic and alignable: whole and part at onceHolonique et alignable : tout et partie à la fois

In plain terms

A Knowledge Space estate is not an org chart with one root; it is a federation. Each KS is a whole (its own vocabulary, shapes, data, gates) and simultaneously a part (a member of larger portfolios). The name for such a unit is a holon — whole and part at once. Un parc de Knowledge Spaces n'est pas un organigramme à racine unique ; c'est une fédération. Chaque KS est un tout (son vocabulaire, ses shapes, ses données, ses portes) et simultanément une partie (membre de portefeuilles plus larges). Le nom d'une telle unité est un holon : tout et partie à la fois.

A candidate W3C frame, stated at its true status The W3C Holon Graph Community Group proposes four graph layers (knowledge, context, boundary, projection) plus portals and holarchy. Several of its ideas resemble machinery this estate already runs; whether to adopt its envelope or only align with its vocabulary is an open decision we track — the group is young and its terms have no stable IRIs yet. We evaluate; we have not adopted. Le groupe communautaire W3C Holon Graph propose quatre couches de graphe (connaissance, contexte, frontière, projection) plus des portails et une holarchie. Plusieurs de ses idées ressemblent à la mécanique que ce parc fait déjà tourner ; adopter son enveloppe ou seulement s'aligner sur son vocabulaire est une décision ouverte que nous suivons : le groupe est jeune et ses termes n'ont pas encore d'IRIs stables. Nous évaluons ; nous n'avons pas adopté.

7How this relates to what is already publishedRapport à ce qui est déjà publié

The container layer is published: the KS Snapshot Format is a live Working Draft. The runtime layer now stands in two distinct states. The ontology is audited and published: the GROP kernel is DRAFT 0.1.1, it passed its six-dimension ontology-quality audit (all nine floor invariants, 2026-07-11) and its namespace resolves on the terminology server with an Audited badge. The doctrine stays forthcoming: the native-protocol invariant is held in the snapshot specification's open-questions block as O-D, in its own words “not yet sealed into this baseline”. When that question closes, this page sheds its banner; until then, nothing published outruns its source. La couche contenant est publiée : le format de snapshot KS est un Working Draft en ligne. La couche runtime tient désormais en deux états distincts. L'ontologie est auditée et publiée : le noyau GROP est en DRAFT 0.1.1, il a passé son audit de qualité ontologique en six dimensions (les neuf invariants plancher, 2026-07-11) et son espace de noms résout sur le serveur de terminologies avec le badge Audited. La doctrine reste à venir : l'invariant de protocole natif est tenu dans le bloc des questions ouvertes de la spécification comme O-D, selon ses propres termes « pas encore scellé dans cette ligne de base ». Quand cette question se fermera, cette page perdra son bandeau ; d'ici là, rien de publié ne dépasse sa source.

Related bra0 surfaces