Varve.Derivation 0.1.0-preview.20

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher.
This is a prerelease version of Varve.Derivation. 
dotnet add package Varve.Derivation --version 0.1.0-preview.20
                    


                    

                
NuGet\Install-Package Varve.Derivation -Version 0.1.0-preview.20
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="Varve.Derivation" Version="0.1.0-preview.20" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
<PackageVersion Include="Varve.Derivation" Version="0.1.0-preview.20" />
                    


                            Directory.Packages.props
                        

                    

                
<PackageReference Include="Varve.Derivation" />
                    


                            Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package. 
paket add Varve.Derivation --version 0.1.0-preview.20
                    


                    

                
#r "nuget: Varve.Derivation, 0.1.0-preview.20"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
#:package Varve.Derivation@0.1.0-preview.20
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package. 
#addin nuget:?package=Varve.Derivation&version=0.1.0-preview.20&prerelease
                    


                            Install as a Cake Addin
                        

                    

                
#tool nuget:?package=Varve.Derivation&version=0.1.0-preview.20&prerelease
                    


                            Install as a Cake Tool

Varve.Derivation

Delta-driven maintenance over any graph, at layer 2 (ADR 0172): what Varve.Shacl's incremental validation and, later, Inference share. Generic over the caller's node and edge label, so it knows neither handles nor terms.

  • DependencyGraph<TLabel> and Stratification<TLabel>: vertices with edges labelled by a Polarity; strongly connected components numbered dependencies first; the cycles through a negative or target edge that refuse a stratification (ADR 0150's construction).
  • RegularPath<TLabel> and PathAutomaton<TLabel>: SHACL's paths and SPARQL's property paths, compiled once by Thompson's construction and searched over an IPathGraph<TNode, TLabel>: forwards (Evaluate, the set of nodes reached), backwards (Reverse), and from a changed edge (Anchors, the start nodes whose image it may change). IsBounded says whether the path has a closure.
  • Propagation<TNode, TLabel>: sets of nodes per vertex, closed under the dependencies to the least fixpoint, each new node transferred once along each edge (semi-naive).

Deletion for least fixpoints — delete and re-derive, or counting — is Inference's to add (#95); nothing here uses it yet.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (2)

Showing the top 2 NuGet packages that depend on Varve.Derivation:

Package Downloads
Varve.Shacl

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 Varve.Shacl.Sparql.
Varve.Shacl.Sparql

SHACL-SPARQL for Varve.Shacl: SPARQL-based constraints and SPARQL-based constraint components, evaluated by Varve.Sparql.Evaluation over any IQuadSource, with SHACL 1.2's pre-binding.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
0.1.0-preview.20 64 11/10/2026
0.1.0-preview.19 86 11/6/2026
0.1.0-preview.18 77 11/6/2026
0.1.0-preview.17 84 11/6/2026
0.1.0-preview.16 83 11/3/2026
0.1.0-preview.15 289 10/26/2026
0.1.0-preview.14 80 10/26/2026
0.1.0-preview.13 77 10/26/2026
0.1.0-preview.12 92 10/23/2026