Repository navigation

Formal evaluation semantics aligned with REST-VKG: flat sequences, XSLT focus, SPARQL/XPath conformance - #25

Merged

namedgraph merged 15 commits into

mainfrom

feat/formal-semantics-evaluation

Oct 3, 2026

Merged

Formal evaluation semantics aligned with REST-VKG: flat sequences, XSLT focus, SPARQL/XPath conformance#25
namedgraph merged 15 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
  2d70a17
- Make formal-semantics.md a real semantics and align implementation and tests
  
  namedgraph
  and
  claude
  committed
  601b1aa
- Conform string operations to SPARQL 1.1 / XPath F&O — no divergences
  
  namedgraph
  and
  claude
  committed
  708386e
- Sync uv.lock with version 1.5.0
  
  namedgraph
  and
  claude
  committed
  166a8db
- Remove the document envelope
  
  namedgraph
  and
  claude
  committed
  291804b
- Add the formal evaluation definition and the XSLT focus (Position, Last)
  
  namedgraph
  and
  claude
  committed
  d7382db
- Close Value's focus-item lookup to Binding + mapping
  
  namedgraph
  and
  claude
  committed
  a5b4b4e
- Close the remaining semantics gaps: RDF response contract, Result persistence, Value-domain precision
  
  namedgraph
  and
  claude
  committed
  9f7b3fb
- Port Iterate from REST-VKG: stateful iteration with parameter passing
  
  namedgraph
  and
  claude
  committed
  35989e7
- Bump version to 2.0.0
  
  namedgraph
  and
  claude
  committed
  175e25c
- Python code health: exception taxonomy, HTTP-client mixin, honest contracts
  
  namedgraph
  and
  claude
  committed
  c34c022
Commits on Oct 1, 2026
- Flat sequences, Filter by name, graph-queried SELECT/CONSTRUCT/DESCRIBE, result-document rule; drop Execute
  
  namedgraph
  and
  claude
  committed
  d02980a
- A refused write is an error; If-Match is transport
  
  namedgraph
  and
  claude
  committed
  f5935c9
- Extension families carry their own namespace; the result-document rule is per iteration
  
  namedgraph
  and
  claude
  committed
  44ae672
Commits on Oct 3, 2026
- The Python algebra catches up with REST-VKG; §5 says what each serialization owes
  
  namedgraph
  and
  claude
  committed
  2698d97

Commits

Commits on Jul 12, 2026

Commits on Oct 1, 2026

Commits on Oct 3, 2026