Knowledge Space Lifecycle ManagementGestion du cycle de vie d'un Knowledge Space
A multi-session capability that moves a Knowledge Space from scaffolding through batched enrichment, recursive-dogfood proof, and sealing — under three invariants that every phase must satisfy.Une capacité multi-sessions qui amène un Knowledge Space depuis le démarrage jusqu'au scellement, en passant par l'enrichissement par lots et la preuve par dogfood récursif — sous trois invariants que chaque phase doit satisfaire.
What KSLM isCe qu'est KSLM
A Knowledge Space (KS) is not a one-shot artefact. It grows across multiple authoring sessions, accumulates evidence, and must remain consistent under SHACL gates between every close. Knowledge Space Lifecycle Management (cap:KSLM) is the capability that orchestrates that growth — phase by phase — without losing what previous phases established.
Un Knowledge Space (KS) n'est pas un artefact à usage unique. Il croît sur plusieurs sessions de création, accumule des preuves, et doit rester cohérent sous les portes SHACL entre chaque clôture. La gestion du cycle de vie d'un Knowledge Space (cap:KSLM) est la capacité qui orchestre cette croissance — phase par phase — sans perdre ce que les phases précédentes ont établi.
The capability was sealed at KSLM Session 5 P7 on 2026-05-01 — proven recursively on the team Knowledge Space bra0_meta itself. The same lifecycle that authored the KS doctrine was used to lifecycle the doctrine, accumulating ~64 ratchet steps (4× the floor of 15+) across five sessions.
La capacité a été scellée à KSLM Session 5 P7 le 2026-05-01 — prouvée récursivement sur le Knowledge Space d'équipe bra0_meta lui-même. Le même cycle qui a créé la doctrine du KS a servi à cycliser la doctrine, accumulant ~64 pas de cliquet (4× le plancher de 15+) sur cinq sessions.
The three invariants — master §0.0Les trois invariants — maître §0.0
rudof shacl-validate. A SHACL violation blocks the close until resolved ; previously valid shapes stay valid.Chaque clôture de phase doit passer rudof shacl-validate. Une violation SHACL bloque la clôture jusqu'à résolution ; les shapes précédemment valides le restent.rudof shacl-validate passes on the empty-ABox configuration.
Le KS reçoit son squelette TBox, son agencement de graphes nommés, son équipe d'agents et ses shapes SHACL initiales. La phase se ferme dès que rudof shacl-validate passe sur la configuration ABox vide.
bra0_meta across ~64 cumulative ratchet steps.Capacité multi-sessions de bout en bout — du démarrage au scellement — sous cliquet d'itération (R), non-régression (N) et absence de rupture d'interop (I). Scellée à la Session 5 Phase 7 le 2026-05-01, prouvée récursivement sur le KS d'équipe bra0_meta sur ~64 pas de cliquet cumulés.cap:KSLM · family GOV?demo=<slug> preload path. Nine SPARQL + UI parity probes verify that the preload pipeline injected the expected triple volume, that the projection layer is faithful to its own WHERE clause, and that the synthetic concept sweep covers every ABox type. Wired as CI gate G-KS-1.Harnais puppeteer headless sur tout chemin de préchargement ?demo=<slug>. Neuf sondes de parité SPARQL + UI vérifient que la pipeline de préchargement a injecté le volume de triplets attendu, que la couche de projection est fidèle à sa propre clause WHERE, et que le balayage de concepts synthétiques couvre tous les types ABox. Câblée comme porte CI G-KS-1.ks-preload-diagnostic.mjs · family GOVThe R invariant — iteration ratchet — is enforced as graph data, not as prose. Every phase close records a prov:Activity on the KS, with the phase that generated it. Counting them is a one-line SPARQL query, which is exactly what the lifecycle gate runs at every close.L'invariant R — cliquet d'itération — est appliqué comme donnée de graphe, pas comme prose. Chaque clôture de phase enregistre une prov:Activity sur le KS, avec la phase qui l'a générée. Les compter est une requête SPARQL d'une ligne — c'est exactement ce que la porte du cycle exécute à chaque clôture.
SELECT (COUNT(DISTINCT ?step) AS ?ratchetSteps) WHERE { ?step a prov:Activity ; prov:wasAssociatedWith ?agent ; prov:wasGeneratedBy ?phase . ?phase prov:atLocation <urn:bra0-meta:team-ks-mvks> . } # Floor : 15 per KSLM cycle. Sealed value on bra0_meta : ~64 across S1..S5.
The N invariant — non-regression — is delegated to rudof shacl-validate. The phase close cannot complete while a SHACL violation is open. Previously-valid shapes are re-checked against the new ABox ; if any starts failing, the close blocks.L'invariant N — non-régression — est délégué à rudof shacl-validate. La clôture de phase ne peut aboutir tant qu'une violation SHACL est ouverte. Les shapes précédemment valides sont revérifiées contre le nouveau ABox ; si l'une se met à échouer, la clôture bloque.
The I invariant — no interop rupture — is verified by the KSLM-QA-PRELOAD-1 gate (see §3). Its nine SPARQL + UI parity probes catch the case where the KS still parses but downstream consumers (UI projection, derived KSes) no longer agree on its contents.L'invariant I — pas de rupture d'interop — est vérifié par la porte KSLM-QA-PRELOAD-1 (voir §3). Ses neuf sondes de parité SPARQL + UI attrapent le cas où le KS se parse encore mais où les consommateurs en aval (projection UI, KSes dérivés) ne s'accordent plus sur son contenu.
The lifecycle gate delegates one critical step to an external tool. Pinned at a specific version in the project's component registry so the gate result stays reproducible across sessions.La porte du cycle délègue une étape critique à un outil externe. Épinglée à une version précise dans le registre de composants du projet pour que le résultat de la porte reste reproductible entre sessions.
The Preload Integrity Gate (KSLM-QA-PRELOAD-1) ships in-house — Rust + a small puppeteer harness in scripts/qa/ks-preload-diagnostic.mjs. No external dependency beyond rudof.La porte d'intégrité du préchargement (KSLM-QA-PRELOAD-1) est livrée en interne — Rust + un petit harnais puppeteer dans scripts/qa/ks-preload-diagnostic.mjs. Pas de dépendance externe au-delà de rudof.
ADR-091 · Realization mapping — every capability binds to its realization via
fno:Mapping ; the binding is the audit trail.Mapping de réalisation — chaque capacité se lie à sa réalisation via fno:Mapping ; le couplage est la piste d'audit.ADR-095 · Upstream-standard concepts (SKOS, SHACL, BFO, PROV-O) are used verbatim with citation — never paraphrased.Les concepts des standards en amont (SKOS, SHACL, BFO, PROV-O) sont utilisés verbatim avec citation — jamais paraphrasés.
ADR-116 · Two status badges on every capability — delivery status (gap, planned, partial, shipped) and doctrine stage (DRAFT, PROPOSED, PROVEN, SEALED).Deux badges de statut sur chaque capacité — statut de livraison (lacune, planifié, partiel, livré) et étape doctrinale (BROUILLON, PROPOSÉ, PROUVÉ, SCELLÉ).
ADR-117 · Visual primitives — the
.cap blocks, data-cap-iri binding, and status badges used throughout this drill-down.Primitives visuelles — les blocs .cap, le binding data-cap-iri et les badges de statut utilisés tout au long de ce drill-down.KSLM S5 P7 sealScellement KSLM S5 P7 · Recursive-dogfood proof — bra0_meta lifecycled by KSLM, ~64 ratchet steps across S1..S5, sealed 2026-05-01.Preuve par dogfood récursif — bra0_meta cyclé par KSLM, ~64 pas de cliquet sur S1..S5, scellé 2026-05-01.