Formal evaluation semantics, SPARQL/XPath conformance, XSLT focus, Iterate#25

Open

namedgraph wants to merge 11 commits into

mainfrom

feat/formal-semantics-evaluation

Commits on Jul 12, 2026

Add architecture evaluation with REST-VKG comparison and improvement plan

namedgraph
and
claude
committed
Make formal-semantics.md a real semantics and align implementation and tests

namedgraph
and
claude
committed
Conform string operations to SPARQL 1.1 / XPath F&O — no divergences

namedgraph
and
claude
committed
Sync uv.lock with version 1.5.0

namedgraph
and
claude
committed
Remove the document envelope

namedgraph
and
claude
committed
Add the formal evaluation definition and the XSLT focus (Position, Last)

namedgraph
and
claude
committed
Close Value's focus-item lookup to Binding + mapping

namedgraph
and
claude
committed
Close the remaining semantics gaps: RDF response contract, Result persistence, Value-domain precision

namedgraph
and
claude
committed
Port Iterate from REST-VKG: stateful iteration with parameter passing

namedgraph
and
claude
committed
Bump version to 2.0.0

namedgraph
and
claude
committed
Python code health: exception taxonomy, HTTP-client mixin, honest contracts

namedgraph
and
claude
committed