Fuaran.Core.Propagation
0.31.0
Prefix Reserved
See the version list below for details.
dotnet add package Fuaran.Core.Propagation --version 0.31.0
NuGet\Install-Package Fuaran.Core.Propagation -Version 0.31.0
<PackageReference Include="Fuaran.Core.Propagation" Version="0.31.0" />
<PackageVersion Include="Fuaran.Core.Propagation" Version="0.31.0" />
<PackageReference Include="Fuaran.Core.Propagation" />
paket add Fuaran.Core.Propagation --version 0.31.0
#r "nuget: Fuaran.Core.Propagation, 0.31.0"
#:package Fuaran.Core.Propagation@0.31.0
#addin nuget:?package=Fuaran.Core.Propagation&version=0.31.0
#tool nuget:?package=Fuaran.Core.Propagation&version=0.31.0
Fuaran.Core.Propagation — change propagation over a reference DAG + tree-level dirty recomputation for a domain tree whose cross-node references are declared bindings on permanent ids. Derives the dependency map from a per-call readsOf function (no witness field), the dependency order + reference-cycle enumeration (Tarjan SCC, cycles as data), and the minimal dirty set from a value change or a structural SkeletonOp (reverse-reachability closure). Owns no evaluator (recompute stays domain-side); staleness is a returned Set. The third incremental-recomputation surface after DataFrame.evalFrom (columnar) and CapabilityPipeline.evalFrom (capability-DAG). 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.Ops (>= 0.31.0)
- Fuaran.Core.Tree (>= 0.31.0)
NuGet packages (44)
Showing the top 5 NuGet packages that depend on Fuaran.Core.Propagation:
| Package | Downloads |
|---|---|
|
Fuaran.Core.Validator
Fuaran.Core.Validator — the rule-family framework: defect record, severity, family registration, walker scaffolding, the PackRule (pack, ruleId) content-pack extension point, and the cross-host defect-code byte-parity discipline. All rule content stays domain-side. FSharp.Core only. |
|
|
Fuaran.Core.Function
Fuaran.Core.Function — the artifact-function protocol (Phase 181): generic signature / apply / curry / compose over a domain-witness record, under the three laws — totality (bounded iteration only), hygiene (lexical hole-addressing, capture-avoiding), and a mandatory two-axis effect/determinism signature joined componentwise through composition. FSharp.Core only. |
|
|
Fuaran.UI
Fuaran – AI-emittable F# UI language. An emission is bounded data over a closed vocabulary rather than code or markup, so a malformed tree is a typed refusal with a stable code and a path rather than a plausible-looking render. Fuaran.UI.WireLimits expresses the wire format's normative resource limits (node depth, JSON depth, string and array length, total node count) that keep a decode of untrusted input bounded. Apache-2.0 licensed. |
|
|
Fuaran.UI.Ops.Abstractions
Fuaran tree-op apply engine — the pure type contract (the TreeOp DU + ErrorPayload + ApplyHint, §4g). FSharp.Core-only and Fable-portable: the shared types every op-stream / telemetry / renderer consumer needs WITHOUT pulling in the apply engine + JSON decoder (which are themselves Fable-portable, but belong at the host seam rather than in every consumer's graph). Apache-2.0 licensed. |
|
|
Fuaran.UI.Ops
Fuaran tree-op apply engine — §4g op vocabulary + Result-returning apply against typed Node<'Msg> trees, with §4d AI-recovery-shaped error payloads. The JSON decoder is default-deny by shape: an undeclared or malformed emission is refused with a typed DecodeError carrying a stable code and a path, and a payload breaching the wire format's §21 resource limits is refused as LIMIT_EXCEEDED before the recursion that would breach them. Apache-2.0 licensed. |
GitHub repositories
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.40.3 | 0 | 10/23/2026 |
| 0.40.2 | 67 | 10/22/2026 |
| 0.40.1 | 84 | 10/21/2026 |
| 0.40.0 | 72 | 10/21/2026 |
| 0.39.0 | 108 | 10/20/2026 |
| 0.38.1 | 928 | 10/16/2026 |
| 0.37.0 | 213 | 10/12/2026 |
| 0.36.0 | 3,205 | 10/8/2026 |
| 0.35.2 | 141 | 10/7/2026 |
| 0.35.1 | 788 | 10/6/2026 |
| 0.34.0 | 1,354 | 10/2/2026 |
| 0.33.0 | 156 | 10/1/2026 |
| 0.32.0 | 692 | 9/26/2026 |
| 0.31.0 | 136 | 9/26/2026 |
| 0.30.0 | 672 | 9/23/2026 |
| 0.29.0 | 135 | 9/21/2026 |
| 0.28.0 | 259 | 9/20/2026 |
| 0.27.0 | 126 | 9/19/2026 |
| 0.26.0 | 320 | 9/17/2026 |
| 0.25.0 | 117 | 9/15/2026 |