v0.7.0

What's Changed

• Marks Phase 7 complete by @kommundsen in #57
• Adds draft implementation plans for future capabilities by @kommundsen in #58
• Improves docs site for 1.0 readiness by @kommundsen in #59
• Documents GitHub Issues as canonical work tracking tool in ADR-0039 by @kommundsen in #60
• Fixes outdated project refs and repo links in contributing page of docs by @kommundsen in #85
• Updates Claude instructions and skills to fit new GitHub issues flow by @kommundsen in #90
• Adds DataGen static class for standalone strategy sampling by @kommundsen in #91
• Uses nuget as source for local Conjecture.Mcp registration by @kommundsen in #92
• [76.2] IOutputFormatter + built-in JSON and NDJSON formatters by @kommundsen in #93
• Change implement-cycle skill to use specific agents by @kommundsen in #94
• [76.3] Conjecture.Tool CLI project by @kommundsen in #95
• Fixes .editorconfig violations and updates Claude setup for future implementations by @kommundsen in #96
• [76.4] JSON Plan File for Relational Constraints by @kommundsen in #97
• [76.5] Implements CLI entry point for Conjecture.Tool by @kommundsen in #99
• Adds plan issue skill for claude by @kommundsen in #111
• [72.0] ADR: Repro Export design decisions by @kommundsen in #112
• Bump Microsoft.Extensions.Hosting from 10.0.0 to 10.0.5 by @dependabot[bot] in #113
• Bump Microsoft.Extensions.Logging.Abstractions from 10.0.0 to 10.0.5 by @dependabot[bot] in #114
• Bump Microsoft.NET.Test.Sdk from 18.3.0 to 18.4.0 by @dependabot[bot] in #115
• Bump Microsoft.SourceLink.GitHub from 10.0.102 to 10.0.201 by @dependabot[bot] in #116
• Bump MinVer from 5.0.0 to 7.0.0 by @dependabot[bot] in #117
• Optimize Claude agent/skill definitions for TDD workflow by @kommundsen in #118
• [72.1] ValueRenderer: emit C# literal declarations for counterexample values by @kommundsen in #119
• [72.2] ReproFileBuilder: generate standalone .cs repro file + ConjectureSettings additions by @kommundsen in #120
• [72.3] Conjecture.Xunit: invoke ReproFileBuilder on property failure by @kommundsen in #121
• [72.4] StateMachine: extend ReproFileBuilder for StateMachineRun command sequences by @kommundsen in #122
• [64.0] ADR: Extension Member DSL design decisions by @kommundsen in #128
• [64.1] StrategyExtensions: add C# 14 extension properties for int, string, and IList by @kommundsen in #129
• [64.2] Strategy: add | operator for OneOf composition by @kommundsen in #130
• [64.3] CJ0050: suggest named extension property when common .Where() pattern detected by @kommundsen in #131
• [68] Numeric string shrinking — NumericAwareShrinkPass + Generate factories by @kommundsen in #138
• Restructure docs/site to Diataxis and cover v0.7.0 API by @kommundsen in #139
• Release v0.7.0 by @kommundsen in #141
• Fix NU5118: remove missing README.md reference from Conjecture.Formatters by @kommundsen in #144
• Add Conjecture.Formatters package README by @kommundsen in #145

Full Changelog: v0.6.0-alpha.1...v0.7.0

v0.6.0-alpha.1

What's Changed

• Make Claude use workspace-relative tool calls by @kommundsen in #32
• Adds basics required to encourage recommended community standards by @kommundsen in #33
• Bump actions/deploy-pages from 4 to 5 by @dependabot[bot] in #34
• Bump actions/checkout from 4 to 6 by @dependabot[bot] in #35
• Bump actions/setup-dotnet from 4 to 5 by @dependabot[bot] in #36
• Bump actions/upload-pages-artifact from 3 to 4 by @dependabot[bot] in #37
• Bump coverlet.collector from 6.0.4 to 8.0.1 by @dependabot[bot] in #39
• Bump Microsoft.Data.Sqlite from 9.0.4 to 10.0.5 by @dependabot[bot] in #41
• Bump Microsoft.DotNet.ApiCompat.Task from 9.0.100 to 10.0.201 by @dependabot[bot] in #43
• Bump Microsoft.NET.Test.Sdk from 17.14.1 to 18.3.0 by @dependabot[bot] in #42
• Bump xunit.runner.visualstudio from 3.1.4 to 3.1.5 by @dependabot[bot] in #46
• Bump BenchmarkDotNet and 2 others by @dependabot[bot] in #44
• Bump xunit.v3 from 2.0.1 to 3.2.2 by @dependabot[bot] in #45
• Stateful Testing & Documentation by @kommundsen in #31
• Implements targeted property testing and recursive strategies. by @kommundsen in #49
• Adds Conjecture.Mcp server with three AI-assistant tools by @kommundsen in #50
• Adds per-adapter DocFX tab groups to documentation pages by @kommundsen in #51
• Test observability by @kommundsen in #52
• Renames Conjecture.Tests to Conjecture.Core.Tests by @kommundsen in #53
• Adds Hypothesis attribution headers to 56 derived source files by @kommundsen in #54
• Adds support for publishing nuget packages by @kommundsen in #55
• Part 2 of release flow by @kommundsen in #56

New Contributors

• @kommundsen made their first contribution in #32
• @dependabot[bot] made their first contribution in #34

Full Changelog: https://github.com/kommundsen/Conjecture/commits/v0.6.0-alpha.1