Skip to content

Fix watch JSON summaries and dry-run mutation estimates - #3579

Merged
Widthdom merged 11 commits into
mainfrom
fix-issue3568-3569
Jun 11, 2026
Merged

Fix watch JSON summaries and dry-run mutation estimates#3579
Widthdom merged 11 commits into
mainfrom
fix-issue3568-3569

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

Summary

Validation

  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --filter "FullyQualifiedName~Run_DryRun_WithFiles_NormalizesUnicodeDbPathForEstimates|FullyQualifiedName~Run_DryRun_WithFiles_ReportsChecksumRenamePurgeWithoutWriting|FullyQualifiedName~Run_DryRun_WithFiles_ReportsSupportedExtensionRenamePurgeWithoutWriting|FullyQualifiedName~Run_DryRun_WithFiles_ReportsUnsupportedExtensionRenamePurgeWithoutWriting" -p:UseSharedCompilation=false
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --filter "FullyQualifiedName~IndexWatchRunnerTests|FullyQualifiedName~Run_DryRun_WithFiles_ReportsProjectedUpdatesDeletesAndUnknowns|FullyQualifiedName~Run_DryRun_WithFiles_NormalizesUnicodeDbPathForEstimates|FullyQualifiedName~Run_DryRun_WithFiles_ReportsChecksumRenamePurgeWithoutWriting|FullyQualifiedName~Run_DryRun_WithFiles_ReportsSupportedExtensionRenamePurgeWithoutWriting|FullyQualifiedName~Run_DryRun_WithFiles_ReportsUnsupportedExtensionRenamePurgeWithoutWriting|FullyQualifiedName~Run_DryRun_FullScan_ReportsProjectedPurgesWithoutWriting|FullyQualifiedName~Run_DryRun_FullScan_DoesNotProjectUnreadableSubtreePurge|FullyQualifiedName~Run_DryRun_FullScan_ReportsUnreadableDirectory" -p:UseSharedCompilation=false
  • dotnet run --project tools/CodeIndex.Changelog -- check
  • git diff --check
  • dotnet build CodeIndex.sln -c Release -p:UseSharedCompilation=false
  • dotnet ./src/CodeIndex/bin/Debug/net8.0/cdidx.dll index . --changed-between origin/main HEAD --json
  • dotnet ./src/CodeIndex/bin/Debug/net8.0/cdidx.dll status --check --json
  • codex exec --full-auto ... adversarial review: No blocking/actionable issues found.

Fixes #3568
Fixes #3569

@Widthdom
Widthdom merged commit c388093 into main Jun 11, 2026
10 checks passed
@Widthdom
Widthdom deleted the fix-issue3568-3569 branch June 14, 2026 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Index dry-run should estimate projected deletes and table mutations Watch mode JSON should expose batch summaries, parse gaps, and overflow recovery

1 participant