EXTENDS validation with feasibility-pruned partition search - #105

Merged

ericprud merged 16 commits into

linkml:masterfrom

ericprud:extends-validation

Sep 24, 2026

Commits on Sep 24, 2026

EXTENDS validation with feasibility-pruned partition search

authored and
Eric Prud'hommeaux
committed
f7fbe4b
Eliminate shexTest trait-skips: IMPORT, told bnodes, shape maps, relative IRIs

authored and
Eric Prud'hommeaux
committed
269df97
~ update to latest shexTest and normalize EARL report

authored and
Eric Prud'hommeaux
committed
a32aa3c
Windows compatibility (plus CI plumbing and rdflib 7 alignment)

authored and
Eric Prud'hommeaux
committed
7183441
Test harness: sibling shexTest search, per-entry containment, honest outcomes

authored and
Eric Prud'hommeaux
committed
fc68d6d
EXTENDS: selection-local CLOSED via inherited restriction closedness

authored and
Eric Prud'hommeaux
committed
75a8ffd
matches(T, EachOf) rejects triples no subexpression mentions

authored and
Eric Prud'hommeaux
committed
0ebbb9d
EXTENDS: suspend inherited closedness under AND and NOT

authored and
Eric Prud'hommeaux
committed
39c866d
Node constraints: XSD lexical forms, stem semantics, digit facets, regex escapes

authored and
Eric Prud'hommeaux
committed
944f0e1
Test harness: expected-failures ledger, SHEXTEST override, shexTest pin bump

authored and
Eric Prud'hommeaux
committed
9778fac
Semantic actions: Test extension with abort semantics

authored and
Eric Prud'hommeaux
committed
11ba1f4
EXTRA honors valid_remainder: absorbed triples may not match the expression

authored and
Eric Prud'hommeaux
committed
995f943
Preserve bare Turtle numeric lexical forms; empty the expected-failures ledger

authored and
Eric Prud'hommeaux
committed
652470c
Remove duplicate _base_uri (master already defines it)

Eric Prud'hommeaux
and
claude
committed
b049483
Test harness: keep schema redirects as paths when data uses file URIs

Eric Prud'hommeaux
and
claude
committed
f3b8472
Test harness: keep this branch's own Windows handling for redirects

Eric Prud'hommeaux
and
claude
committed
4c4bca8

Navigation Menu

EXTENDS validation with feasibility-pruned partition search - #105

EXTENDS validation with feasibility-pruned partition search#105
ericprud merged 16 commits into
linkml:masterfrom
ericprud:extends-validation

Commits on Sep 24, 2026

EXTENDS validation with feasibility-pruned partition search

Eliminate shexTest trait-skips: IMPORT, told bnodes, shape maps, relative IRIs

~ update to latest shexTest and normalize EARL report

Windows compatibility (plus CI plumbing and rdflib 7 alignment)

Test harness: sibling shexTest search, per-entry containment, honest outcomes

EXTENDS: selection-local CLOSED via inherited restriction closedness

matches(T, EachOf) rejects triples no subexpression mentions

EXTENDS: suspend inherited closedness under AND and NOT

Node constraints: XSD lexical forms, stem semantics, digit facets, regex escapes

Test harness: expected-failures ledger, SHEXTEST override, shexTest pin bump

Semantic actions: Test extension with abort semantics

EXTRA honors valid_remainder: absorbed triples may not match the expression

Preserve bare Turtle numeric lexical forms; empty the expected-failures ledger

Remove duplicate _base_uri (master already defines it)

Test harness: keep schema redirects as paths when data uses file URIs

Test harness: keep this branch's own Windows handling for redirects