bra0  /  Blueprint  /  Knowledge Space Lifecycle ManagementGestion du cycle de vie d'un Knowledge Space

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.

OverviewVue d'ensemble

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

R Iteration ratchetCliquet d'itération
Every phase close must add at least one new ratchet step. The cumulative counter only grows ; no phase can decrement it.Chaque clôture de phase doit ajouter au moins un nouveau pas de cliquet. Le compteur cumulé ne peut que croître ; aucune phase ne peut le décrémenter.
N Non-regressionNon-régression
Every phase close must pass 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.
I No interop rupturePas de rupture d'interop
Downstream consumers (SPARQL queries, UI projections, derived KSes) must keep working across the phase boundary. Breaking changes require explicit migration.Les consommateurs en aval (requêtes SPARQL, projections UI, KSes dérivés) doivent continuer à fonctionner par-delà la frontière de phase. Les ruptures exigent une migration explicite.
The four lifecycle phasesLes quatre phases du cycle
Operational capabilities involvedCapacités opérationnelles impliquées
cap:KSLM
shippedlivré SEALEDSCELLÉ
Knowledge Space Lifecycle ManagementGestion du cycle de vie d'un Knowledge Space
End-to-end multi-session capability — scaffolding through sealing — under iteration-ratchet (R), non-regression (N), and no-interop-rupture (I). Sealed at Session 5 Phase 7 on 2026-05-01, proven recursively on the team KS 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.
SealedScellée
cap:KSLM · family GOV
cap:KSLM-QA-PRELOAD-1
shippedlivré PROVENPROUVÉ
Preload Integrity GateGarde-fou d'intégrité du préchargement
Headless puppeteer harness over any ?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.
ExistsExiste
ks-preload-diagnostic.mjs · family GOV
The invariants, visible to SPARQLLes invariants, visibles à SPARQL

The 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.

SPARQL — count the ratchet steps on the team KSSPARQL — compter les pas de cliquet sur le KS d'équipe
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.

Registered external toolsOutils externes enregistrés

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.

rudof 0.2.8MIT · SHACL + ShEx validator (Rust). The only validator used for the N invariant gate ; no JS fallback.validateur SHACL + ShEx (Rust). Seul validateur utilisé pour la porte de l'invariant N ; pas de repli JS.

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.

The contracts behind this pageLes contrats derrière cette page
ADR-090 · Tool-agnostic capability text — every capability statement stays tool-agnostic ; tool binding lives in the realization mapping.Texte de capacité indépendant des outils — chaque énoncé de capacité reste indépendant ; le couplage aux outils vit dans le mapping de réalisation.
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.

Back to BlueprintRetour au Blueprint