Build trust, evidence by evidence.Construire la confiance, preuve par preuve.
bra0 is a local-first studio for building Knowledge Spaces — structured, sovereign repositories of what your organization knows, encoded in W3C standards (OWL, SHACL, SPARQL, PROV-O). Each fact your Knowledge Space holds is one piece of evidence : sourced, validated, governed. Once enough evidence is in place, AI agents can be required to cite the triples behind every answer they produce — grounded in your verified knowledge, traceable to its source, governed by the policies you author.
The mechanism : topo perception capture commands scan the digital, social, and physical world into your Knowledge Space ; rudof (Rust/WASM SHACL validator) enforces the shapes you author ; oxigraph runs the SPARQL queries that can ground every agent decision. Your data stays on devices you control — no third-party cloud. If bra0 disappears tomorrow, your Knowledge Space remains : every triple is in standard format, every shape is portable.bra0 est un studio local-first pour construire des Knowledge Spaces — des dépôts structurés et souverains de ce que sait votre organisation, encodés dans les standards W3C (OWL, SHACL, SPARQL, PROV-O). Chaque fait que contient votre Knowledge Space est une preuve : sourcée, validée, gouvernée. Une fois assez de preuves en place, les agents IA peuvent être contraints de citer les triplets derrière chaque réponse qu'ils produisent — ancrée dans vos connaissances vérifiées, traçable jusqu'à sa source, gouvernée par les règles que vous éditez.
Le mécanisme : les commandes de perception topo scannent le monde numérique, social et physique vers votre Knowledge Space ; rudof (validateur SHACL Rust/WASM) applique les shapes que vous éditez ; oxigraph exécute les requêtes SPARQL qui peuvent ancrer chaque décision d'agent. Vos données restent sur des appareils que vous contrôlez — pas de cloud tiers. Si bra0 disparaît demain, votre Knowledge Space reste : chaque triplet est dans un format standard, chaque shape est portable.
Policies, identity, trust, audit. Who can? Who did? What's allowed? Is it compliant?Politiques, identité, confiance, audit. Qui peut ? Qui a fait ? Qu'est-ce qui est autorisé ? Est-ce conforme ?
did:ng:o:) → credential gate (VCs) → semantic governance (ODRL). No centralized authority — the owner controls every layer.Le KnowledgeSpace comme frontière de gouvernance. Pile de confiance à 5 couches : transport (P2P E2E — hérité de NextGraph) → application crypto (smart contracts + ReadCap) → identité DID (héritée de NextGraph, did:ng:o:) → porte d'accréditation (VCs) → gouvernance sémantique (ODRL). Aucune autorité centralisée — le propriétaire contrôle chaque couche.asc: ontology + CI validation. Runtime enforcement planned v0.7ontologie + validation CI. Application à l'exécution planifiée v0.7ODRL 2.2 consentStore — Zustand store only, no query-time enforcementStore Zustand uniquement, pas d'application au moment de la requêtecascade.rs::validate_shacl() — rudof CLI, post-merge gate.rudof CLI, porte post-merge. JS: sparqlShaclValidatortopo kspace promote.Étapes du cycle de vie : brouillon → revue → publié. La promotion entre étapes requiert une porte de validation SHACL. Chaque promotion crée une trace d'activité PROV-O. CLI : topo kspace promote.lifecycleService PromotionDialog topo kspace promotePROV-O provenanceEngineDCAT 3 dcatCatalogService — export only, no discoveryexport uniquement, pas de découverteMeaning, reasoning, schema, enrichment. What does it mean? How do concepts relate? Is the model complete?Sens, raisonnement, schéma, enrichissement. Que signifie-t-il ? Comment les concepts sont-ils liés ? Le modèle est-il complet ?
OWL 2 SKOS rdfMutationGeneratorRML rmlEngineShEx static shapes + codegen. Dynamic authoring planned v0.7shapes statiques + codegen. Création dynamique planifiée v0.7owlInference 9 rules, idempotent, 246 lines tests9 règles, idempotent, 246 lignes de testsLFS-MD parser only. Bidirectional sync planned v0.7parseur uniquement. Synchronisation bidirectionnelle planifiée v0.7reactiveQueryStore useReactiveQuery — Store + bridge + hook wired. Needs E2E validation.Store + bridge + hook câblés. Nécessite validation E2E.topo describe.Génération automatique de formulaires d'édition depuis les shapes SHACL/ShEx. Correspondance XSD vers composants (texte, nombre, booléen, IRI, langString, date). InspectorPanel unifié pour tous les types d'entités. CLI : topo describe.InspectorPanel ShapeFormRenderer — Panel mounted via ViewMenu. Needs canvas selection binding.Panneau monté via ViewMenu. Nécessite liaison sélection canvas.topo template list|apply|validate.Lots de modèles pré-construits : TBox + shapes + requêtes + ABox exemple. 3 modèles intégrés : Taxonomie SKOS, Design d'entreprise EDGY, Bibliographie de recherche. CLI : topo template list|apply|validate.TemplateLibraryPanel templateBridge — Panel mounted. Needs E2E apply round-trip test.Panneau monté. Nécessite test E2E d'application aller-retour.Storage, ingestion, query, sync, identity. Where is the data? Who is this? How do I verify?Stockage, ingestion, requêtes, synchronisation, identité. Où sont les données ? Qui est-ce ? Comment vérifier ?
topo import rdfParsertopo query <dir> -q <file.rq|dir/> — batch .rq execution, CSV/JSON/summary output, direct oxigraph access).SELECT, CONSTRUCT, ASK, UPDATE sur Oxigraph WASM. QueryBridge abstrait le backend. Portée par named graph. Double runtime : TypeScript (navigateur/Node) + Rust natif (topo query <dir> -q <file.rq|dir/> — exécution batch de .rq, sortie CSV/JSON/summary, accès direct oxigraph).topo query — TS: oxigraphStore. Rust: cmd_query.rs + raw_query()jsonld.fromRDF over an N-Quads dump (Oxigraph has no native JSON-LD writer); the browser ORM path uses jsonldService.serializeToJsonLd over an OntologyDocument.Sérialisation W3C JSON-LD 1.1 d'un Knowledge Space. Sur le chemin CLI/store, produite via jsonld.fromRDF sur un dump N-Quads (Oxigraph n'a pas d'écrivain JSON-LD natif) ; le chemin ORM navigateur utilise jsonldService.serializeToJsonLd sur un OntologyDocument.topo export --format jsonld jsonldServicerdfSerializer provenanceExporterchunk:EvaluationReport SHACL emission, chunk lineage via token-Jaccard prov:wasRevisionOf, Blake3 idempotence cache. Rust workspace crate bra0-chunking (text-splitter + candle MiniLM-L6-v2 + anno coref). Native build operational; WASM compat unverified per ADR-120 §17.2.Préparation du substrat pour documents non structurés. Surface Évaluateur 5 métriques (SC + BI + ICC + DCC + RC, fidèle à l'article), émission SHACL chunk:EvaluationReport, lignage de chunks par token-Jaccard prov:wasRevisionOf, cache d'idempotence Blake3. Crate Rust workspace bra0-chunking (text-splitter + candle MiniLM-L6-v2 + anno coref). Build natif opérationnel ; compat WASM non vérifiée par ADR-120 §17.2.bra0-chunking eval-cli chunk:EvaluationReport — Rust native, 49 lib tests greenRust natif, 49 tests lib au vertdid:ng:o: identifier at creation. bra0 inherits this as infrastructure.Identifiants décentralisés souverains. Fourni par NextGraph — chaque utilisateur, document et branche reçoit un identifiant did:ng:o: à la création. bra0 en hérite comme infrastructure.did:ng:o: via NextGraph runtimevia le runtime NextGraphdid:ng:o: resolved by NextGraphrésolu par NextGraphtopo did fuseGrounding in reality. What is actually there? Has reality changed? Are we still in sync? Without topo perception, bra0 is a static ontology editor. With it, every agent decision traces back to verified observations of the digital, social, and physical world.Ancrage dans la réalité. Qu'y a-t-il réellement ? La réalité a-t-elle changé ? Sommes-nous encore synchronisés ? Sans perception topo, bra0 est un éditeur d'ontologies statique. Avec elle, chaque décision d'agent remonte à des observations vérifiées du monde numérique, social et physique.
topo capture <dir> — scan any project directory, classify files by format, produce ArchiMate Artifact RDF. Generic adapter: 6 format categories. Outputs ~6 triples per file (label, format, size, date, partOf).scanner n'importe quel répertoire projet, classifier les fichiers par format, produire du RDF ArchiMate Artifact. Adaptateur générique : 6 catégories de formats. Produit ~6 triplets par fichier (label, format, taille, date, partOf).topo capture — generic adapter, tested on 31-file corpus (189 triples)adaptateur générique, testé sur un corpus de 31 fichiers (189 triplets)topo social <dir> — extract EDGY entities (Person, Organisation, Capability) from markdown documents. 2-tier extraction: Tier 1 regex (deterministic, confidence 1.0/0.5) + Tier 2 NER (candle BERT, feature-gated). Structured provenance: re:extractionConfidence + re:extractionOrigin on every entity. topo annotate <dir> -e <entities.ttl> injects LFS-MD annotations ([text]{=iri .Class}) into source documents — protected zones (code blocks, headers, URLs) skipped, first-occurrence mode, confidence threshold filter.extraire les entités EDGY (Person, Organisation, Capability) depuis des documents markdown. Extraction 2 niveaux : Tier 1 regex (déterministe, confiance 1.0/0.5) + Tier 2 NER (candle BERT, activable en option). Provenance structurée : re:extractionConfidence + re:extractionOrigin sur chaque entité. topo annotate <dir> -e <entities.ttl> injecte des annotations LFS-MD ([texte]{=iri .Classe}) dans les documents source — zones protégées (blocs de code, en-têtes, URLs) ignorées, mode première occurrence, filtre de confiance.topo social + topo annotate — Rust native. Validated on 10 docs (84 entities, 51 annotations). NER tier 2 feature-gatedRust natif. Validé sur 10 docs (84 entités, 51 annotations). NER tier 2 activable en optiontopo reflect — Cross-reference IoT traces with domain encounters. Multi-phase SPARQL analysis: corroboration, anomalies, temporal coherence.Croiser les traces IoT avec les rencontres domaine. Analyse SPARQL multi-phase : corroboration, anomalies, cohérence temporelle.topo reflecttopo pipeline new|validate|run.Éditeur visuel DAG pour les pipelines P-Plan. Canvas ReactFlow avec nœuds d'étapes (commande topo, SPARQL, revue humaine). Le Turtle est la source de vérité, l'UI est une projection. CLI : topo pipeline new|validate|run.PipelineCanvas PipelineStepNode — Canvas accessible via ViewMenu. Needs E2E Turtle round-trip.Canvas accessible via ViewMenu. Nécessite aller-retour Turtle E2E.Intelligence across all planes. 100% Rust/WASM compute: oxigraph (SPARQL) + sophia (RDF/OWL) + rudof (ShEx/SHACL) + candle (ML inference). Symbolic first, neural when needed, sovereign always.Intelligence transversale à tous les plans. 100% Rust/WASM : oxigraph (SPARQL) + sophia (RDF/OWL) + rudof (ShEx/SHACL) + candle (inférence ML). Symbolique d'abord, neuronal si nécessaire, souverain toujours.
topo gaps — 10 built-in queries, ASC-scoped. Engine: oxigraph WASM10 requêtes intégrées, portée ASC. Moteur : oxigraph WASMNOW() − generatedAtTime > P90D) and valid-time interval membership both PROVEN at the SPARQL query layer (oxigraph WASM duration arithmetic). Dynamic status-migration constraints BLOCKED on rudof 0.2.8 (sh:sparql not evaluated). Scope arbitrage open: freshness-only vs temporal conceptual modelling.Fraîcheur des connaissances via horodatages PROV-O + intervalles de validité. R&D 2026-05-30 : fraîcheur (NOW() − generatedAtTime > P90D) et appartenance à un intervalle de validité PROUVÉES au niveau requête SPARQL (arithmétique de durées oxigraph WASM). Contraintes dynamiques de migration de statut BLOQUÉES sur rudof 0.2.8 (sh:sparql non évalué). Arbitrage de périmètre ouvert : fraîcheur seule vs modélisation conceptuelle temporelle.experiments/ns6-temporal-validity — R&D probes Q1–Q4 PROVEN, findings 2026-05-30probes R&D Q1–Q4 PROUVÉES, findings 2026-05-30cascade.rs — 5 stages,5 étapes, validate_shacl(), 6 unit tests + T10/T11 acceptance. Feature-gated:6 tests unitaires + T10/T11 d'acceptation. Activable en option : standaloneowl.rs — materialize_owl2rl(), 9 rules, fixpoint, 13 tests. Engine: sophia 0.9 + oxigraph9 règles, point fixe, 13 tests. Moteur : sophia 0.9 + oxigraphner.rs — NerEngine::zero_shot_ner(), sim=0.91, 2 tests. Feature-gated:2 tests. Activable en option : nerprovenance.ts — PROV-O activity recording, 8 tests. Decision provenance planned v0.8enregistrement d'activités PROV-O, 8 tests. Provenance décisionnelle planifiée v0.8cap:Realization).Extraction de claims via tool-use contraint par JSON-schema (T=0.0, graine fixe). Un regex côté schéma impose la discipline d'IRI ; le max-output-tokens auto-calibré avec instrumentation du stop-reason transforme la troncature silencieuse en signal fail-loud. Contrat d'invocation ADR-085 §6 ; agnostique de l'outil à cette couche (le binding API vit sous cap:Realization).bra0-extract --corpus <dir> --schema <json-schema> bra0Extract.invoke()5 Areas → 14 Sub-domains → 40 Leaf Capabilities. Naming follows DATA-IA methodology (nouns, implementation-agnostic).5 Domaines → 14 Sous-domaines → 40 capacités unitaires. Nommage selon méthodologie DATA-IA (noms, indépendant des implémentations).
This map is an Explanation surface (Diátaxis) — the independent witness over the capability model. For per-capability operational detail follow the Reference ↗ links on each card to the Capability Reference; for command signatures, the CLI reference.Cette carte est une surface d'explication (Diátaxis) — le témoin indépendant du modèle de capacités. Pour le détail opérationnel par capacité, suivez les liens Référence ↗ de chaque carte vers la référence des capacités ; pour les signatures de commandes, la référence CLI.
| Area | Sub-domain | Capabilities | # | Status |
|---|---|---|---|---|
| GOV GovernanceGouvernance | Identity and MandatesIdentité et Mandats | GOV-1 Sovereignty BoundariesFrontières de Souveraineté · GOV-6 Agent MandatesMandats des Agents | 2 | partial |
| Compliance and ValidationConformité et Validation | GOV-2 Consent PoliciesPolitiques de Consentement · GOV-4 Graph ValidationValidation de Graphes · GOV-7 LifecycleCycle de Vie | 3 | partial | |
| Traceability and CatalogTraçabilité et Catalogue | GOV-3 Provenance and AuditProvenance et Audit · GOV-5 Catalog and DiscoveryCatalogue et Découverte | 2 | shipped | |
| SL Semantic EngineeringIngénierie Sémantique | Model ConstructionConstruction de Modèles | SL-1 Ontology AuthoringCréation d'Ontologies · SL-5 Data MappingCorrespondance de Données · SL-6 Vocabulary CompositionComposition de Vocabulaires | 3 | shipped |
| Formalization and ReasoningFormalisation et Raisonnement | SL-2 Schema DefinitionDéfinition de Schémas · SL-3 OWL ReasoningRaisonnement OWL · SL-4 Semantic EnrichmentEnrichissement Sémantique | 3 | partial | |
| Projection and AccelerationProjection et Accélération | SL-7 Reactive ProjectionProjection Réactive · SL-8 Shape-Driven FormsFormulaires par Shapes · SL-9 KS TemplatesModèles de KS | 3 | planned | |
| DP Storage and IdentityStockage et Identité | Data OperationsOpérations de Données | DP-1 KG IngestionIngestion de KG · DP-2 SPARQL OperationsOpérations SPARQL · DP-3 JSON-LD SerializationSérialisation JSON-LD · DP-4 Export and InteroperabilityExport et Interopérabilité · DP-8 Document ChunkingDécoupage Documentaire | 5 | shipped |
| Sovereign IdentityIdentité Souveraine | DP-5 Identifier AttributionAttribution d'Identifiants · DP-6 Identifier ResolutionRésolution d'Identifiants · DP-7 Identifier FusionFusion d'Identifiants | 3 | planned | |
| TP PerceptionPerception | Reality CaptureCapture de la Réalité | TP-1 Digital PerceptionPerception Digitale · TP-2 Social PerceptionPerception Sociale · TP-3 Physical PerceptionPerception Physique | 3 | partial |
| OrchestrationOrchestration | TP-4 Continuous ReflectionRéflexion Continue · TP-5 Pipeline AuthoringCréation de Pipelines | 2 | partial | |
| NS Evidence-Driven IntelligenceIntelligence guidée par les preuves | Knowledge QualityQualité du Savoir | NS-1 Gap DetectionDétection de Lacunes · NS-2 Grounding VerificationVérification d'Ancrage · NS-6 Temporal ValidityValidité Temporelle | 3 | partial |
| Symbolic InferenceInférence Symbolique | NS-5 Symbolic CascadeCascade Symbolique · NS-7 OWL MaterializationMatérialisation OWL | 2 | shipped | |
| Neural ExtractionExtraction Neuronale | NS-8 Entity RecognitionReconnaissance d'Entités · NS-9 Sovereign TranscriptionTranscription Souveraine | 2 | partial | |
| AssistanceAssistance | NS-3 Context GenerationGénération de Contexte · NS-4 Auditable ExplanationsExplications Auditables · NS-10 Local InferenceInférence Locale · NS-11 Schema-Constrained LLM ExtractionExtraction LLM contractualisée | 4 | partial | |
| Total: 5 Areas × 14 Sub-domains × 40 Leaf CapabilitiesTotal : 5 Domaines × 14 Sous-domaines × 40 capacités unitaires | 40 | 16 shipped · 12 partial · 6 planned · 6 gap | ||
40 leaf capabilities (16 shipped · 12 partial · 6 planned · 6 gap) · 5 families40 capacités unitaires (16 livrées · 12 partielles · 6 planifiées · 6 gap) · 5 familles
100% Rust/WASM compute: sophia 0.9 + oxigraph + rudof + candle · bra0-kg crate · NextGraph-First · W3C standards (PROF, SHACL 1.2) · EU dataspaces (DCAT-AP, SEMIC)
The platform is generic. The knowledge is specific. The governance is sovereign. The compute is Rust.La plateforme est générique. La connaissance est spécifique. La gouvernance est souveraine. Le calcul est Rust.