decision-driven-design 

Roslyn analyzers that enforce decision-driven design: every rule they check exists because a decision says so, and the diagnostic names the decision by key. A development-time package; it never... More information

RFC 3987 IRI validation and RFC 3986 reference resolution over UTF-8, without System.Uri.

The RDF 1.1 and 1.2 term model, the abstract quad source contract, and RDF Dataset Canonicalization (RDFC-1.0).

XML Schema 1.1 datatypes with SPARQL 1.1 operator semantics: exact decimal, the integer family, double and float, boolean, the date and time family, and durations, with canonical lexical forms.

SPARQL 1.1 Query and Update, with SPARQL 1.2's additions: an immutable algebra, a parser from UTF-8 or UTF-16 to it, and a serialiser back.

N-Triples and N-Quads, read and written over UTF-8 without allocating per quad.

SPARQL 1.1 query evaluation, with SPARQL 1.2's additions, over any Varve quad source: the optimiser and the evaluator.

The whole-graph reports that a single compilation cannot produce: the tier-3 half of decision-driven design. A .NET tool, run in CI against a built solution.

An event-sourced RDF store: an append-only log of effective deltas, a default quad projection, pinned and as-of reads, checkpoints, subscriptions, and the projection and validator contracts.

JSON-LD 1.1: expansion, toRdf and fromRdf over System.Text.Json's Utf8JsonReader and Utf8JsonWriter, with RDF 1.2's base directions and rdf:JSON literals in canonical form.

The SPARQL result formats — XML, JSON, CSV and TSV — read and written as streams of UTF-8, with RDF 1.2 triple terms and base directions.

RFC 8785, the JSON Canonicalization Scheme, over UTF-8: string escaping, ECMAScript number formatting, member order by UTF-16 code units, and a forward-only writer that refuses anything else.

Varve: the server and the varve command line. An event-sourced RDF store with SPARQL 1.1 Query, Update, Graph Store Protocol and a change feed over HTTP.

SPARQL 1.1 Update over a Varve store: every request pinned, evaluated operation by operation over an overlay, and committed as one commit.

SPARQL 1.1 Protocol, Graph Store Protocol, service description, time travel, change feed and diff over HTTP for a Varve store, as ASP.NET Core endpoint groups.

Browser storage for a Varve store: the origin private file system through synchronous access handles in a dedicated worker, and IndexedDB where they do not exist.

The HTTP client for a Varve server: SPARQL Protocol queries and updates, the Graph Store Protocol, the change feed and the admin API, with the SERVICE handler and the document fetch that federate a query and a... More information

RDF/XML, read and written over System.Xml's streaming reader and writer, with RDF 1.2's triple terms, annotations and base directions.

The application/vnd.varve.delta change-feed format, version 1, read for ever: the reader, the writer and the record model of Varve's commits resource and diff.

A SHACL 1.2 Core validator over any IQuadSource: targets, paths, the core constraint components, recursive shapes by a stated fixpoint, and a deterministic validation report; SHACL-SPARQL plugs in through... More information