fix(hygiene): the Task validator rejected the repo's own ZetaId and 57% of real usage - #10629

Snapshot successfully created at 2026-08-14T15:56:57.511Z

{ "manifests": { "src/Core.FSharp.Z3Verify/Z3Verify.fsproj": { "resolved": { "pkg:nuget/FSharp.Core@10.1.302": { "package_url": "pkg:nuget/FSharp.Core@10.1.302", "relationship": "direct", "scope": "runtime", "dependencies": [] } }, "name": "src/Core.FSharp.Z3Verify/Z3Verify.fsproj", "file": { "source_location": "src/Core.FSharp.Z3Verify/Z3Verify.fsproj" } }, "src/Core/Core.fsproj": { "resolved": { "pkg:nuget/FSharp.Core@10.1.302": { "package_url": "pkg:nuget/FSharp.Core@10.1.302", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/System.IO.Hashing@10.0.10": { "package_url": "pkg:nuget/System.IO.Hashing@10.0.10", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/FSharp.Analyzers.Build@0.5.0": { "package_url": "pkg:nuget/FSharp.Analyzers.Build@0.5.0", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/System.Numerics.Tensors@10.0.10": { "package_url": "pkg:nuget/System.Numerics.Tensors@10.0.10", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/Apache.Arrow@23.0.0": { "package_url": "pkg:nuget/Apache.Arrow@23.0.0", "relationship": "direct", "scope": "runtime", "dependencies": [ "pkg:nuget/Apache.Arrow.Scalars@23.0.0" ] }, "pkg:nuget/System.Reactive@7.0.0": { "package_url": "pkg:nuget/System.Reactive@7.0.0", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/MessagePackAnalyzer@3.1.8": { "package_url": "pkg:nuget/MessagePackAnalyzer@3.1.8", "relationship": "indirect", "scope": "runtime", "dependencies": [] }, "pkg:nuget/FsPickler@5.3.2": { "package_url": "pkg:nuget/FsPickler@5.3.2", "relationship": "direct", "scope": "runtime", "dependencies": [ "pkg:nuget/FSharp.Core@10.1.302" ] }, "pkg:nuget/Microsoft.NET.StringTools@17.11.4": { "package_url": "pkg:nuget/Microsoft.NET.StringTools@17.11.4", "relationship": "indirect", "scope": "runtime", "dependencies": [] }, "pkg:nuget/Ionide.Analyzers@0.15.0": { "package_url": "pkg:nuget/Ionide.Analyzers@0.15.0", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:nuget/MessagePack@3.1.8": { "package_url": "pkg:nuget/MessagePack@3.1.8", "relationship": "direct", "scope": "runtime", "dependencies": [ "pkg:nuget/MessagePackAnalyzer@3.1.8", "pkg:nuget/Microsoft.NET.StringTools@17.11.4", "pkg:nuget/MessagePack.Annotations@3.1.8" ] }, "pkg:nuget/MessagePack.Annotations@3.1.8": { "package_

Submitting snapshot...