feat: SHACL property paths and full constraint-coverage sweep#1423

Merged

bplatz merged 31 commits into

mainfrom

feature/shacl-property-paths

Jul 5, 2026

Commits on Jul 2, 2026

fix(reasoning): fail closed on followOwlImports with cross-ledger schemaSource
bplatz
committed
feat(reasoning): dataset-path reasoning parity + permissive reasoningModes parsing
bplatz
committed

Commits on Jul 3, 2026

feat(shacl): compile and evaluate sh:path property path expressions
bplatz
committed
docs(shacl): document property paths in the cookbook; drop contributor internals doc
bplatz
committed
feat(shacl): surface sh:message as the violation message
bplatz
committed
fix(shacl): evaluate complex paths in nested shapes; scope unresolvable paths to targets
bplatz
committed
feat(shacl): close the silently-broken constraint gaps
bplatz
committed
fix(shacl): honor sh:severity on node-level structural constraints
bplatz
committed
fix(shacl): match sh:pattern against the lexical form of literals
bplatz
committed
fix(shacl): evaluate sh:class and qualified shapes inside nested members
bplatz
committed
feat(shacl): enforce sh:uniqueLang and sh:languageIn
bplatz
committed
fix(shacl): compare numerics by value in sh:in and sh:hasValue
bplatz
committed
fix(shacl): apply string facets to IRIs via their full decoded IRI
bplatz
committed
feat(shacl): surface sh:message on anonymous nested member shapes
bplatz
committed
feat(shacl): enforce sh:qualifiedValueShapesDisjoint
bplatz
committed
docs(shacl): document that bulk import intentionally bypasses validation
bplatz
committed
chore(shacl): drop needless raw-string hashes in Turtle test fixture
bplatz
committed
fix(shacl): evaluate value-only nested members; unify focus/value string facets
bplatz
committed
feat(shacl): support inverse over any property path; strict path parsing
bplatz
committed
fix(shacl): exclude own qualified shape by value from disjoint siblings
bplatz
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat: SHACL property paths and full constraint-coverage sweep#1423

feat: SHACL property paths and full constraint-coverage sweep#1423
bplatz merged 31 commits into
mainfrom
feature/shacl-property-paths

Commits on Jul 2, 2026

fix(reasoning): fail closed on followOwlImports with cross-ledger schemaSource

feat(reasoning): dataset-path reasoning parity + permissive reasoningModes parsing

Commits on Jul 3, 2026

feat(shacl): compile and evaluate sh:path property path expressions

docs(shacl): document property paths in the cookbook; drop contributor internals doc

feat(shacl): surface sh:message as the violation message

fix(shacl): evaluate complex paths in nested shapes; scope unresolvable paths to targets

feat(shacl): close the silently-broken constraint gaps

fix(shacl): honor sh:severity on node-level structural constraints

fix(shacl): match sh:pattern against the lexical form of literals

fix(shacl): evaluate sh:class and qualified shapes inside nested members

feat(shacl): enforce sh:uniqueLang and sh:languageIn

fix(shacl): compare numerics by value in sh:in and sh:hasValue

fix(shacl): apply string facets to IRIs via their full decoded IRI

feat(shacl): surface sh:message on anonymous nested member shapes

feat(shacl): enforce sh:qualifiedValueShapesDisjoint

docs(shacl): document that bulk import intentionally bypasses validation

chore(shacl): drop needless raw-string hashes in Turtle test fixture

fix(shacl): evaluate value-only nested members; unify focus/value string facets

feat(shacl): support inverse over any property path; strict path parsing

fix(shacl): exclude own qualified shape by value from disjoint siblings

Commits on Jul 5, 2026

perf(shacl): skip empty path/class probes in per-transaction compile

fix(policy): fail closed when cross-ledger policy source selects zero rules

docs(policy): document identity default-graph and trusted-admin write boundaries

refactor(reasoning): one canonical string per reasoning mode

fix(reasoning): reject reasoning on history/changes dataset queries

memory

perf(transact): resolve ledger #config once per SHACL staging pass

refactor(policy): share the identity subject-existence probe

feat(transact): reject unknown f:reasoningModes in #config at write time

Merge remote-tracking branch 'origin/main' into feature/shacl-property-paths

fix(transact): pass config arg to SHACL commit-replay caller after merge