Skip to content

Fix fold readiness status gaps - #2662

Merged
Widthdom merged 4 commits into
mainfrom
fix-issue1964-1993-1973
May 25, 2026
Merged

Fix fold readiness status gaps#2662
Widthdom merged 4 commits into
mainfrom
fix-issue1964-1993-1973

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

Summary

  • Add opt-in row-level fold readiness verification so a ready bit with incomplete folded rows degrades with fold_ready_bit_set_but_rows_incomplete.
  • Cover every partial folded-column incomplete state in AllFoldedColumnsBackfilled.
  • Mirror CLI fold remediation context in MCP status output when fold readiness is degraded.

Validation

  • dotnet build CodeIndex.sln -p:UseSharedCompilation=false
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -c Release -p:UseSharedCompilation=false --filter "FullyQualifiedName~DbReaderTests|FullyQualifiedName~McpServerTests.ToolsCall_Status"
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -c Release -p:UseSharedCompilation=false --filter "FullyQualifiedName~DbReaderTests.GetStatus_WithFoldRowVerification"
  • dotnet test CodeIndex.sln -c Release -p:UseSharedCompilation=false was started but did not complete in a bounded local run; it was stopped after prolonged no-progress output.
  • Required adversarial review: codex exec --full-auto ... reported no blocking/actionable issues.

Documentation and Changelog

  • DEVELOPER_GUIDE.md documents the new fold degradation reason and MCP/CLI fold remediation parity.
  • Changelog fragments:
    • changelog.d/unreleased/1964.fixed.md
    • changelog.d/unreleased/1993.internal.md
    • changelog.d/unreleased/1973.fixed.md

Follow-up Candidates

  • Local cdidx full index refresh was attempted twice and returned E012_INTERRUPTED; a partial touched-file refresh completed, but the local ignored .cdidx database remained degraded.

Fixes #1964
Fixes #1993
Fixes #1973

@Widthdom
Widthdom marked this pull request as ready for review May 25, 2026 00:21
@Widthdom
Widthdom merged commit 733da57 into main May 25, 2026
10 checks passed
@Widthdom
Widthdom deleted the fix-issue1964-1993-1973 branch May 25, 2026 00:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant