First stable release of the independent Quint–F# integration libraries.
- FsQuint: bounded ITF decoding, schema-v1 replay values and fingerprints, comparison, and an asynchronous Initialize/Apply/Observe driver with cancellation and cleanup reporting.
- FsQuint.Tooling: optional bounded Quint typecheck, named tests and sampled runs. Qualified on Linux x64 with Quint 0.32.0 and Rust evaluator 0.6.0; it does not expose a verifier outcome.
- Targets .NET 10, built with SDK 10.0.401. No FS.GG project or package dependency is required.
- Includes the preview-2 fix rejecting malformed UTF-16 before fingerprinting; valid Unicode and the original SDD canonical identities are preserved.
Install from public NuGet with dotnet add package FsQuint --version 0.1.0. Tooling is a separate optional package. The bounded-queue example restores outside an FS-GG checkout and detects deliberate implementation, projection and input defects.
SDD retains its public CLR types through a thin compatibility facade; Coordination retains its domain models, projections and qualification policy. Generic fixes now have one upstream owner and propagate through versioned package-update PRs.
See the usage guide, compatibility policy, and roadmap for evidence and support boundaries.