Skip to content

Fix count JSON readiness, find all scans, and format aliases - #3585

Merged
Widthdom merged 3 commits into
mainfrom
fix-issue3566-3560-3446
Jun 12, 2026
Merged

Fix count JSON readiness, find all scans, and format aliases#3585
Widthdom merged 3 commits into
mainfrom
fix-issue3566-3560-3446

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

Summary

  • Add command-specific --format aliases/validation for symbols, map, and inspect.
  • Add explicit bounded find --all repo-wide scans with count scan summaries.
  • Add count-only JSON readiness envelopes and mark partial/truncated counts as non-authoritative.

Validation

Note: the unfiltered full test run is blocked locally by the existing missing .NETCore.App 10.0.8-servicing.26229.119 runtime for RunPublishedTrimmedCli_SerializesQueryJsonAndErrorJson.

Adversarial review

  • Ran the required Codex adversarial review twice. The second round findings were fixed; per workflow, no third round was run without explicit user request.

Fixes #3446
Fixes #3560
Fixes #3566

@Widthdom
Widthdom force-pushed the fix-issue3566-3560-3446 branch from 6a631bd to 56543b7 Compare June 12, 2026 01:26
@Widthdom
Widthdom merged commit 9b65947 into main Jun 12, 2026
10 checks passed
@Widthdom
Widthdom deleted the fix-issue3566-3560-3446 branch June 12, 2026 03:16
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