@hawkeyexl/manni 4.11.0 → 4.12.0

package/shapes/graph/shapes-1.1.0.ttl

@@ -0,0 +1,785 @@
+# manni graph graph shapes 1.1.0, the published SHACL contract for graphs emitted
+# by `manni graph build`. Consumed by `manni graph check` (and the `manni graph fill`
+# guardrail).
+#
+# 1.1.0 admits one concept scheme fed by the termbase (proposal 0086 §1). It is
+# MINOR, because a graph that used to fail may now pass, and none that passed
+# fails:
+#
+#   - Concept learns skos:hiddenLabel, skos:definition, skos:scopeNote and
+#     skos:topConceptOf. A term's concept carries the first three, and every
+#     concept with no broader concept is a top concept of the scheme.
+#   - ConceptScheme learns skos:hasTopConcept, the other direction.
+#   - Concept learns skos:notation and the five mapping properties,
+#     skos:exactMatch, closeMatch, broadMatch, narrowMatch and relatedMatch,
+#     each an IRI. They come from a term's notation and match keys. A mapping
+#     into the scheme itself is a check-core finding, because SHACL Core cannot
+#     tell a concept of this scheme from one elsewhere without naming the
+#     scheme.
+#   - A term in several languages carries one prefLabel per language, so the
+#     prefLabel collision is sh:uniqueLang now rather than sh:maxCount 1. Two
+#     untagged prefLabels on one concept (one slug, two spellings) are still a
+#     warning, with the same message. SHACL Core cannot say "at most one
+#     untagged value", so graph's check core reports that one.
+#   - The shapes namespace moves with the version: dsh: is now
+#     https://hawkeyexl.github.io/manni/graph/shapes/1.1.0#.
+#   - Document learns graph:sampleQuestion (proposal 0086 §7), a page's
+#     `sample-questions`, each a string or a language-tagged string.
+#
+# 1.0.0 was the first file the three-segment convention in CLAUDE.md bound. It
+# was MAJOR, because a graph that used to validate could fail on the language
+# pattern.
+#
+# 1.0.0 makes language a scope dimension and gives translations a relation
+# (ADR 01037):
+#
+#   - dcterms:language gains a BCP-47 sh:pattern. `lang: English` validated
+#     under 0.7 and does not here. The value is a partition key — scope
+#     filtering, per-language coverage, and the per-locale retrieval artifacts
+#     all group on it — so "a string" is not the contract, any more than it was
+#     for graph:contentHash. A free-text label silently partitions a corpus into
+#     buckets of one.
+#   - Document learns schema:translationOfWork and schema:workTranslation, the
+#     two directions manni graph materializes from one authored `translation-of` key.
+#     Without them the closed shape rejects every translated corpus, which is
+#     the mechanism working, not a bug to route around.
+#
+# There is deliberately no negative-language predicate, and so no sh:disjoint
+# pair as there is for variants and subjects (ADR 01014). A document has one
+# language, which sh:maxCount 1 already says; "not in German" is not a claim an
+# author makes.
+#
+# 0.7 required graph:contentHash on every Document: a lowercase sha256 hex
+# digest of the source file's content (ADR 01036). Required rather than
+# optional because the predicate is unconditional — it is intrinsic like
+# graph:path, not gated behind a derive source — so optional would let a
+# regression that stops emitting it pass `check` in silence. A graph built
+# before 0.7 therefore fails it until rebuilt. There is no older file to pin
+# check.shapes to any more: 0.1 through 0.7 were dockg's published history,
+# which nothing read and which went with that identity (proposal 0051 §7).
+#
+# 0.6 changed no constraint. It existed because the graph: namespace moved to a
+# location that resolves — https://hawkeyexl.github.io/manni/graph/ns# — alongside the
+# vocabulary document that defines every term (ADR 01030). Published shapes
+# are immutable, so a namespace change is a new file rather than an edit. The
+# shapes namespace moves with each version: dsh: is now
+# https://hawkeyexl.github.io/manni/graph/shapes/1.0.0#.
+#
+# 0.5 reified fill provenance (ADR 01015): the graph-fill activity now links to one
+# entry node per filled field via graph:filledFieldEntry, and each entry carries
+# graph:filledField + an optional graph:confidence decimal (replacing the bare
+# graph:filledField literal on the activity). 0.4 added negative scope (ADR
+# 01014); 0.3 added section-level iiRDS typing (ADR 01013); 0.2 added iiRDS
+# Core/Software typing on Documents (ADR 01012).
+#
+# This file is immutable once published: evolve by adding a new version file
+# (shapes-1.2.0.ttl), never by editing this one. Every shape has a named IRI — the
+# only anonymous nodes are the sh:ignoredProperties and sh:in lists the SHACL
+# vocabulary requires — so the file diffs cleanly.
+#
+# Severity contract: these three levels map onto the family scale every manni
+# tool speaks (proposal 0051 §2). sh:Violation → error, and errors exit 1;
+# sh:Warning → warning and sh:Info → notice, both reported at exit 0. Each
+# finding also keeps SHACL's own word, as `shaclSeverity`. Cycle detection
+# (skos:broader loops) and broaderTransitive/related disjointness cannot be
+# expressed in core SHACL and are enforced by graph's check core alongside these
+# shapes.
+
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix graph: <https://hawkeyexl.github.io/manni/graph/ns#> .
+@prefix dsh: <https://hawkeyexl.github.io/manni/graph/shapes/1.1.0#> .
+@prefix foaf: <http://xmlns.com/foaf/0.1/> .
+@prefix iirds: <http://iirds.tekom.de/iirds#> .
+@prefix iirdsSft: <http://iirds.tekom.de/iirds/domain/software#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix schema: <https://schema.org/> .
+@prefix sh: <http://www.w3.org/ns/shacl#> .
+@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+# --- Documents ---------------------------------------------------------------
+# Closed over the full derived predicate set: an unexpected predicate from a
+# new derive source fails loudly (same stance as additionalProperties: false).
+
+dsh:DocumentShape
+  a sh:NodeShape ;
+  sh:targetClass graph:Document ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Document-path ,
+    dsh:Document-contentHash ,
+    dsh:Document-title ,
+    dsh:Document-description ,
+    dsh:Document-creator ,
+    dsh:Document-created ,
+    dsh:Document-modified ,
+    dsh:Document-language ,
+    dsh:Document-primaryTopic ,
+    dsh:Document-subject ,
+    dsh:Document-hasPart ,
+    dsh:Document-references ,
+    dsh:Document-brokenLink ,
+    dsh:Document-brokenSectionRef ,
+    dsh:Document-image ,
+    dsh:Document-codeLanguage ,
+    dsh:Document-sampleQuestion ,
+    dsh:Document-topicType ,
+    dsh:Document-appliesToVariant ,
+    dsh:Document-softwareLifecyclePhase ,
+    dsh:Document-softwareSubject ,
+    dsh:Document-notApplicableToVariant ,
+    dsh:Document-notSoftwareSubject ,
+    dsh:Document-translationOfWork ,
+    dsh:Document-workTranslation ,
+    dsh:Document-wasAttributedTo ,
+    dsh:Document-qualifiedAttribution ,
+    dsh:Document-generatedAtTime ,
+    dsh:Document-wasDerivedFrom ,
+    dsh:Document-wasRevisionOf ,
+    dsh:Document-wasGeneratedBy .
+
+dsh:Document-path
+  a sh:PropertyShape ;
+  sh:path graph:path ;
+  sh:datatype xsd:string ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+# Pattern-checked, not merely typed: the value is a join key other systems index
+# on, so "a string" is not the contract — 64 lowercase hex characters is.
+dsh:Document-contentHash
+  a sh:PropertyShape ;
+  sh:path graph:contentHash ;
+  sh:datatype xsd:string ;
+  sh:pattern "^[0-9a-f]{64}$" ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:Document-title
+  a sh:PropertyShape ;
+  sh:path dcterms:title ;
+  sh:maxCount 1 .
+
+dsh:Document-description
+  a sh:PropertyShape ;
+  sh:path dcterms:description ;
+  sh:maxCount 1 .
+
+# Literal when the provenance derive source is off, agent IRI when it is on —
+# both are valid output, so no nodeKind constraint.
+dsh:Document-creator
+  a sh:PropertyShape ;
+  sh:path dcterms:creator .
+
+dsh:Document-created
+  a sh:PropertyShape ;
+  sh:path dcterms:created ;
+  sh:maxCount 1 .
+
+dsh:Document-modified
+  a sh:PropertyShape ;
+  sh:path dcterms:modified ;
+  sh:maxCount 1 .
+
+# Pattern-checked for the same reason graph:contentHash is: the value is a
+# partition key, not prose. The grammar is BCP-47's common shape —
+# language(2-3) + optional script(4) + optional region(2 alpha or 3 digit) +
+# variants — which accepts de, de-DE, zh-Hans, zh-Hans-CN, pt-BR, und, and
+# rejects English and de_DE.
+dsh:Document-language
+  a sh:PropertyShape ;
+  sh:path dcterms:language ;
+  sh:datatype xsd:string ;
+  sh:pattern "^[A-Za-z]{2,3}(-[A-Za-z]{4})?(-([A-Za-z]{2}|[0-9]{3}))?(-([A-Za-z0-9]{5,8}|[0-9][A-Za-z0-9]{3}))*$" ;
+  sh:maxCount 1 .
+
+# The two directions of one authored `translation-of` (ADR 01037). No
+# sh:maxCount: a source document has as many translations as the corpus
+# carries, and a translation may itself be the source of another.
+# schema:translationOfWork accepts any IRI because a target outside the corpus
+# is a URL manni graph resolves but does not analyze; schema:workTranslation is only
+# ever minted at a corpus document, so it carries the class constraint.
+dsh:Document-translationOfWork
+  a sh:PropertyShape ;
+  sh:path schema:translationOfWork ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-workTranslation
+  a sh:PropertyShape ;
+  sh:path schema:workTranslation ;
+  sh:nodeKind sh:IRI ;
+  sh:class graph:Document .
+
+dsh:Document-primaryTopic
+  a sh:PropertyShape ;
+  sh:path foaf:primaryTopic ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept ;
+  sh:maxCount 1 .
+
+# Warning, not Violation: a dcterms:subject pointing at an untyped node is a
+# half-built concept — worth surfacing, but merged external data may
+# legitimately use other subject vocabularies.
+dsh:Document-subject
+  a sh:PropertyShape ;
+  sh:path dcterms:subject ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept ;
+  sh:severity sh:Warning .
+
+dsh:Document-hasPart
+  a sh:PropertyShape ;
+  sh:path dcterms:hasPart ;
+  sh:nodeKind sh:IRI ;
+  sh:class graph:Section .
+
+dsh:Document-references
+  a sh:PropertyShape ;
+  sh:path dcterms:references ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-brokenLink
+  a sh:PropertyShape ;
+  sh:path graph:brokenLink ;
+  sh:datatype xsd:string .
+
+# A graph.sections key that named no heading (surfaced by stats, gated by --check).
+dsh:Document-brokenSectionRef
+  a sh:PropertyShape ;
+  sh:path graph:brokenSectionRef ;
+  sh:datatype xsd:string .
+
+dsh:Document-image
+  a sh:PropertyShape ;
+  sh:path schema:image ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-codeLanguage
+  a sh:PropertyShape ;
+  sh:path graph:codeLanguage ;
+  sh:datatype xsd:string .
+
+# Tagged with the page's language when it declares one, so either datatype.
+dsh:Document-sampleQuestion
+  a sh:PropertyShape ;
+  sh:path graph:sampleQuestion ;
+  sh:or ( [ sh:datatype xsd:string ] [ sh:datatype rdf:langString ] ) .
+
+# iiRDS Core topic type: exactly the six published Generic* instances.
+dsh:Document-topicType
+  a sh:PropertyShape ;
+  sh:path iirds:has-topic-type ;
+  sh:nodeKind sh:IRI ;
+  sh:maxCount 1 ;
+  sh:in (
+    iirds:GenericTask
+    iirds:GenericConcept
+    iirds:GenericReference
+    iirds:GenericLearning
+    iirds:GenericTroubleshooting
+    iirds:GenericForm
+  ) .
+
+# iiRDS product/variant applicability: minted iirds:ProductVariant nodes.
+dsh:Document-appliesToVariant
+  a sh:PropertyShape ;
+  sh:path iirds:relates-to-product-variant ;
+  sh:nodeKind sh:IRI ;
+  sh:class iirds:ProductVariant .
+
+# iiRDS Software domain — product lifecycle phases (the six published instances).
+dsh:Document-softwareLifecyclePhase
+  a sh:PropertyShape ;
+  sh:path iirds:relates-to-product-lifecycle-phase ;
+  sh:nodeKind sh:IRI ;
+  sh:in (
+    iirdsSft:Administration
+    iirdsSft:Customization
+    iirdsSft:Update
+    iirdsSft:Deployment
+    iirdsSft:Integration
+    iirdsSft:Deinstallation
+  ) .
+
+# iiRDS Software domain — information subjects (the three published instances).
+dsh:Document-softwareSubject
+  a sh:PropertyShape ;
+  sh:path iirds:has-subject ;
+  sh:nodeKind sh:IRI ;
+  sh:in (
+    iirdsSft:Architecture
+    iirdsSft:Interface
+    iirdsSft:SystemRequirement
+  ) .
+
+# Negative scope (ADR 01014): disjoint from the positive relation, so a variant
+# or subject asserted as both applicable and not-applicable on one node fails.
+dsh:Document-notApplicableToVariant
+  a sh:PropertyShape ;
+  sh:path graph:notApplicableToVariant ;
+  sh:nodeKind sh:IRI ;
+  sh:class iirds:ProductVariant ;
+  sh:disjoint iirds:relates-to-product-variant .
+
+dsh:Document-notSoftwareSubject
+  a sh:PropertyShape ;
+  sh:path graph:notSoftwareSubject ;
+  sh:nodeKind sh:IRI ;
+  sh:disjoint iirds:has-subject ;
+  sh:in (
+    iirdsSft:Architecture
+    iirdsSft:Interface
+    iirdsSft:SystemRequirement
+  ) .
+
+dsh:Document-wasAttributedTo
+  a sh:PropertyShape ;
+  sh:path prov:wasAttributedTo ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-qualifiedAttribution
+  a sh:PropertyShape ;
+  sh:path prov:qualifiedAttribution ;
+  sh:nodeKind sh:IRI ;
+  sh:class prov:Attribution .
+
+dsh:Document-generatedAtTime
+  a sh:PropertyShape ;
+  sh:path prov:generatedAtTime ;
+  sh:maxCount 1 .
+
+dsh:Document-wasDerivedFrom
+  a sh:PropertyShape ;
+  sh:path prov:wasDerivedFrom ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-wasRevisionOf
+  a sh:PropertyShape ;
+  sh:path prov:wasRevisionOf ;
+  sh:nodeKind sh:IRI .
+
+dsh:Document-wasGeneratedBy
+  a sh:PropertyShape ;
+  sh:path prov:wasGeneratedBy ;
+  sh:nodeKind sh:IRI ;
+  sh:class prov:Activity .
+
+# --- Product variants --------------------------------------------------------
+# Minted from graph.applies-to. manni graph references iiRDS ProductVariant as a class
+# but only labels the node — the iiRDS vocabulary itself is never re-emitted.
+
+dsh:ProductVariantShape
+  a sh:NodeShape ;
+  sh:targetClass iirds:ProductVariant ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property dsh:ProductVariant-title .
+
+dsh:ProductVariant-title
+  a sh:PropertyShape ;
+  sh:path dcterms:title ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+# --- Sections ----------------------------------------------------------------
+
+dsh:SectionShape
+  a sh:NodeShape ;
+  sh:targetClass graph:Section ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Section-title ,
+    dsh:Section-level ,
+    dsh:Section-order ,
+    dsh:Section-hasPart ,
+    dsh:Section-subject ,
+    dsh:Section-topicType ,
+    dsh:Section-appliesToVariant ,
+    dsh:Section-softwareLifecyclePhase ,
+    dsh:Section-softwareSubject ,
+    dsh:Section-notApplicableToVariant ,
+    dsh:Section-notSoftwareSubject .
+
+dsh:Section-title
+  a sh:PropertyShape ;
+  sh:path dcterms:title ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:Section-level
+  a sh:PropertyShape ;
+  sh:path graph:level ;
+  sh:datatype xsd:integer ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:Section-order
+  a sh:PropertyShape ;
+  sh:path graph:order ;
+  sh:datatype xsd:integer ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:Section-hasPart
+  a sh:PropertyShape ;
+  sh:path dcterms:hasPart ;
+  sh:nodeKind sh:IRI ;
+  sh:class graph:Section .
+
+# Section-level iiRDS typing (ADR 01013) — the same constraints the Document
+# shape carries for these predicates.
+
+# Warning, not Violation, exactly as Document-subject: a subject pointing at an
+# untyped node is a half-built concept, and merged data may use other schemes.
+dsh:Section-subject
+  a sh:PropertyShape ;
+  sh:path dcterms:subject ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept ;
+  sh:severity sh:Warning .
+
+dsh:Section-topicType
+  a sh:PropertyShape ;
+  sh:path iirds:has-topic-type ;
+  sh:nodeKind sh:IRI ;
+  sh:maxCount 1 ;
+  sh:in (
+    iirds:GenericTask
+    iirds:GenericConcept
+    iirds:GenericReference
+    iirds:GenericLearning
+    iirds:GenericTroubleshooting
+    iirds:GenericForm
+  ) .
+
+dsh:Section-appliesToVariant
+  a sh:PropertyShape ;
+  sh:path iirds:relates-to-product-variant ;
+  sh:nodeKind sh:IRI ;
+  sh:class iirds:ProductVariant .
+
+dsh:Section-softwareLifecyclePhase
+  a sh:PropertyShape ;
+  sh:path iirds:relates-to-product-lifecycle-phase ;
+  sh:nodeKind sh:IRI ;
+  sh:in (
+    iirdsSft:Administration
+    iirdsSft:Customization
+    iirdsSft:Update
+    iirdsSft:Deployment
+    iirdsSft:Integration
+    iirdsSft:Deinstallation
+  ) .
+
+dsh:Section-softwareSubject
+  a sh:PropertyShape ;
+  sh:path iirds:has-subject ;
+  sh:nodeKind sh:IRI ;
+  sh:in (
+    iirdsSft:Architecture
+    iirdsSft:Interface
+    iirdsSft:SystemRequirement
+  ) .
+
+# Section-level negative scope (ADR 01014), disjoint from the positive relation.
+dsh:Section-notApplicableToVariant
+  a sh:PropertyShape ;
+  sh:path graph:notApplicableToVariant ;
+  sh:nodeKind sh:IRI ;
+  sh:class iirds:ProductVariant ;
+  sh:disjoint iirds:relates-to-product-variant .
+
+dsh:Section-notSoftwareSubject
+  a sh:PropertyShape ;
+  sh:path graph:notSoftwareSubject ;
+  sh:nodeKind sh:IRI ;
+  sh:disjoint iirds:has-subject ;
+  sh:in (
+    iirdsSft:Architecture
+    iirdsSft:Interface
+    iirdsSft:SystemRequirement
+  ) .
+
+# --- Concepts ----------------------------------------------------------------
+
+dsh:ConceptShape
+  a sh:NodeShape ;
+  sh:targetClass skos:Concept ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Concept-prefLabel ,
+    dsh:Concept-prefLabel-collision ,
+    dsh:Concept-inScheme ,
+    dsh:Concept-altLabel ,
+    dsh:Concept-hiddenLabel ,
+    dsh:Concept-definition ,
+    dsh:Concept-scopeNote ,
+    dsh:Concept-topConceptOf ,
+    dsh:Concept-broader ,
+    dsh:Concept-narrower ,
+    dsh:Concept-related ,
+    dsh:Concept-notation ,
+    dsh:Concept-exactMatch ,
+    dsh:Concept-closeMatch ,
+    dsh:Concept-broadMatch ,
+    dsh:Concept-narrowMatch ,
+    dsh:Concept-relatedMatch .
+
+dsh:Concept-prefLabel
+  a sh:PropertyShape ;
+  sh:path skos:prefLabel ;
+  sh:minCount 1 .
+
+# Warning, not Violation. A term in several languages carries one prefLabel
+# per language, and SKOS wants at most one per language, which sh:uniqueLang
+# says. Concept IRIs also converge on slugified labels, so "Configuration" and
+# "configuration" merge into one concept carrying two untagged spellings.
+# sh:uniqueLang ignores untagged values, so graph's check core reports that
+# case, at the same severity and with the message this shape used to carry.
+dsh:Concept-prefLabel-collision
+  a sh:PropertyShape ;
+  sh:path skos:prefLabel ;
+  sh:uniqueLang true ;
+  sh:severity sh:Warning ;
+  sh:message "concept carries two prefLabels in one language; settle on one spelling" .
+
+dsh:Concept-inScheme
+  a sh:PropertyShape ;
+  sh:path skos:inScheme ;
+  sh:nodeKind sh:IRI ;
+  sh:minCount 1 .
+
+dsh:Concept-altLabel
+  a sh:PropertyShape ;
+  sh:path skos:altLabel .
+
+dsh:Concept-hiddenLabel
+  a sh:PropertyShape ;
+  sh:path skos:hiddenLabel .
+
+dsh:Concept-definition
+  a sh:PropertyShape ;
+  sh:path skos:definition .
+
+dsh:Concept-scopeNote
+  a sh:PropertyShape ;
+  sh:path skos:scopeNote .
+
+dsh:Concept-topConceptOf
+  a sh:PropertyShape ;
+  sh:path skos:topConceptOf ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:ConceptScheme .
+
+dsh:Concept-broader
+  a sh:PropertyShape ;
+  sh:path skos:broader ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept .
+
+dsh:Concept-narrower
+  a sh:PropertyShape ;
+  sh:path skos:narrower ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept .
+
+# One-hop related/broader disjointness; the transitive form lives in the
+# check core's TypeScript walk.
+dsh:Concept-related
+  a sh:PropertyShape ;
+  sh:path skos:related ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept ;
+  sh:disjoint skos:broader .
+
+dsh:Concept-notation
+  a sh:PropertyShape ;
+  sh:path skos:notation ;
+  sh:nodeKind sh:Literal .
+
+dsh:Concept-exactMatch
+  a sh:PropertyShape ;
+  sh:path skos:exactMatch ;
+  sh:nodeKind sh:IRI .
+
+dsh:Concept-closeMatch
+  a sh:PropertyShape ;
+  sh:path skos:closeMatch ;
+  sh:nodeKind sh:IRI .
+
+dsh:Concept-broadMatch
+  a sh:PropertyShape ;
+  sh:path skos:broadMatch ;
+  sh:nodeKind sh:IRI .
+
+dsh:Concept-narrowMatch
+  a sh:PropertyShape ;
+  sh:path skos:narrowMatch ;
+  sh:nodeKind sh:IRI .
+
+dsh:Concept-relatedMatch
+  a sh:PropertyShape ;
+  sh:path skos:relatedMatch ;
+  sh:nodeKind sh:IRI .
+
+dsh:SchemeShape
+  a sh:NodeShape ;
+  sh:targetClass skos:ConceptScheme ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Scheme-title ,
+    dsh:Scheme-hasTopConcept .
+
+dsh:Scheme-title
+  a sh:PropertyShape ;
+  sh:path dcterms:title ;
+  sh:maxCount 1 .
+
+dsh:Scheme-hasTopConcept
+  a sh:PropertyShape ;
+  sh:path skos:hasTopConcept ;
+  sh:nodeKind sh:IRI ;
+  sh:class skos:Concept .
+
+# --- Provenance --------------------------------------------------------------
+
+dsh:PersonShape
+  a sh:NodeShape ;
+  sh:targetClass prov:Person ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property dsh:Agent-name .
+
+dsh:OrganizationShape
+  a sh:NodeShape ;
+  sh:targetClass prov:Organization ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property dsh:Agent-name .
+
+dsh:SoftwareAgentShape
+  a sh:NodeShape ;
+  sh:targetClass prov:SoftwareAgent ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Agent-name ,
+    dsh:SoftwareAgent-version .
+
+dsh:Agent-name
+  a sh:PropertyShape ;
+  sh:path foaf:name ;
+  sh:minCount 1 .
+
+dsh:SoftwareAgent-version
+  a sh:PropertyShape ;
+  sh:path graph:version ;
+  sh:datatype xsd:string ;
+  sh:maxCount 1 .
+
+dsh:ActivityShape
+  a sh:NodeShape ;
+  sh:targetClass prov:Activity ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Activity-wasAssociatedWith ,
+    dsh:Activity-qualifiedAssociation ,
+    dsh:Activity-filledFieldEntry ,
+    dsh:Activity-generated ,
+    dsh:Activity-used ,
+    dsh:Activity-endedAtTime .
+
+dsh:Activity-wasAssociatedWith
+  a sh:PropertyShape ;
+  sh:path prov:wasAssociatedWith ;
+  sh:nodeKind sh:IRI .
+
+dsh:Activity-qualifiedAssociation
+  a sh:PropertyShape ;
+  sh:path prov:qualifiedAssociation ;
+  sh:nodeKind sh:IRI ;
+  sh:class prov:Association .
+
+# The fill activity links to one entry node per filled field (ADR 01015).
+dsh:Activity-filledFieldEntry
+  a sh:PropertyShape ;
+  sh:path graph:filledFieldEntry ;
+  sh:nodeKind sh:IRI .
+
+# Each filled-field entry carries the field name and (when fill recorded one)
+# the model's confidence. Targeted by object position — the entry nodes are not
+# separately typed, keeping the node vocabulary at two classes.
+dsh:FilledFieldEntryShape
+  a sh:NodeShape ;
+  sh:targetObjectsOf graph:filledFieldEntry ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:FilledFieldEntry-name ,
+    dsh:FilledFieldEntry-confidence .
+
+dsh:FilledFieldEntry-name
+  a sh:PropertyShape ;
+  sh:path graph:filledField ;
+  sh:datatype xsd:string ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:FilledFieldEntry-confidence
+  a sh:PropertyShape ;
+  sh:path graph:confidence ;
+  sh:datatype xsd:decimal ;
+  sh:maxCount 1 .
+
+dsh:Activity-generated
+  a sh:PropertyShape ;
+  sh:path prov:generated ;
+  sh:nodeKind sh:IRI .
+
+dsh:Activity-used
+  a sh:PropertyShape ;
+  sh:path prov:used ;
+  sh:nodeKind sh:IRI .
+
+dsh:Activity-endedAtTime
+  a sh:PropertyShape ;
+  sh:path prov:endedAtTime ;
+  sh:datatype xsd:dateTime ;
+  sh:maxCount 1 .
+
+dsh:AttributionShape
+  a sh:NodeShape ;
+  sh:targetClass prov:Attribution ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Qualification-agent ,
+    dsh:Qualification-hadRole .
+
+dsh:AssociationShape
+  a sh:NodeShape ;
+  sh:targetClass prov:Association ;
+  sh:closed true ;
+  sh:ignoredProperties ( rdf:type ) ;
+  sh:property
+    dsh:Qualification-agent ,
+    dsh:Qualification-hadRole .
+
+dsh:Qualification-agent
+  a sh:PropertyShape ;
+  sh:path prov:agent ;
+  sh:nodeKind sh:IRI ;
+  sh:minCount 1 ;
+  sh:maxCount 1 .
+
+dsh:Qualification-hadRole
+  a sh:PropertyShape ;
+  sh:path prov:hadRole ;
+  sh:nodeKind sh:IRI ;
+  sh:maxCount 1 .