Fuaran.Core.Lease
0.23.0
Prefix Reserved
dotnet add package Fuaran.Core.Lease --version 0.23.0
NuGet\Install-Package Fuaran.Core.Lease -Version 0.23.0
<PackageReference Include="Fuaran.Core.Lease" Version="0.23.0" />
<PackageVersion Include="Fuaran.Core.Lease" Version="0.23.0" />
<PackageReference Include="Fuaran.Core.Lease" />
paket add Fuaran.Core.Lease --version 0.23.0
#r "nuget: Fuaran.Core.Lease, 0.23.0"
#:package Fuaran.Core.Lease@0.23.0
#addin nuget:?package=Fuaran.Core.Lease&version=0.23.0
#tool nuget:?package=Fuaran.Core.Lease&version=0.23.0
Fuaran.Core.Lease — a generic lease/claim strand: claims over an abstract resource axis (Claim / Release / Expire) with a total apply / canApply where a conflicting claim is a typed rejection enumerating the current holder and the overlapping resources, a canonical wire codec, and a Fuaran.Core.OpStream StreamWitness — so lease history is an append-only, hash-chained, replayable, tamper-evident stream. The resource axis reuses Fuaran.Core.Tree's IdWitness (no new witness shape); expiry takes time as data (the host supplies "now"; Core reads no clock), so replay is deterministic. Generalises the coordination a multi-agent dispatcher hand-rolls. FSharp.Core only, Fable-clean.
| Product | Versions 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. |
-
net10.0
- FSharp.Core (>= 10.1.300)
- Fuaran.Core.OpStream (>= 0.23.0)
- Fuaran.Core.Tree (>= 0.23.0)
- Fuaran.Core.Wire (>= 0.23.0)
NuGet packages (1)
Showing the top 1 NuGet packages that depend on Fuaran.Core.Lease:
| Package | Downloads |
|---|---|
|
Fuaran.Core.Conformance
Fuaran.Core.Conformance — a property-based law kit a domain runs against its own witness to certify it conforms to the Fuaran.Core op algebra + op-stream: apply totality, canApply≡apply, apply∘invert=identity, verifyChain, and replay determinism. FSharp.Core only (a deterministic uint32-LCG generator, no FsCheck), Fable-clean. |
GitHub repositories
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.23.0 | 39 | 9/13/2026 |
| 0.22.0 | 123 | 9/12/2026 |
| 0.21.0 | 491 | 9/7/2026 |
| 0.20.0 | 308 | 9/5/2026 |
| 0.19.0 | 170 | 9/4/2026 |
| 0.18.0 | 256 | 9/2/2026 |
| 0.17.0 | 101 | 9/2/2026 |
| 0.15.0 | 99 | 8/28/2026 |
| 0.14.0 | 99 | 8/27/2026 |
| 0.13.0 | 125 | 8/26/2026 |
| 0.12.0 | 112 | 8/21/2026 |
| 0.11.0 | 359 | 8/21/2026 |
| 0.6.0 | 121 | 8/21/2026 |
| 0.3.0 | 153 | 8/19/2026 |
| 0.2.1 | 358 | 7/31/2026 |
| 0.2.0 | 234 | 7/26/2026 |
| 0.1.11 | 156 | 7/24/2026 |