fix: report completion within the requested scope - #586

Open

mldangelo-oai wants to merge 23 commits into

mainfrom

mdangelo/codex/scoped-scan-completion

Commits on Aug 20, 2026

fix: report completion for the requested scan scope
mldangelo-oai
committed
7abcd73
fix: synchronize scoped coverage projections
mldangelo-oai
committed
1c10d36
fix: keep scan history coverage consistent
mldangelo-oai
committed
84574be
fix: include exclusions in scan scope summaries
mldangelo-oai
committed
7732b90
Merge main into scoped scan completion
mldangelo-oai
committed
2c6cfa9
fix: preserve large native scan histories
mldangelo-oai
committed
e9c6170
Merge main scan summary updates
mldangelo-oai
committed
2d22c4d
fix: preserve exact paths in scan history
mldangelo-oai
committed
db135fe
fix: disambiguate scan scope summaries
mldangelo-oai
committed
8b9b93c
fix: preserve exact paths in scan reports
mldangelo-oai
committed
f7ca16c

Commits on Aug 21, 2026

Merge main into scoped scan completion
mldangelo-oai
committed
9fbd2fe
fix: simplify requested-scope presentation
mldangelo-oai
committed
e63efdb
fix: refresh bundled guidance and preserve large scan details
mldangelo-oai
committed
4c13fef
Merge main workbench updates
mldangelo-oai
committed
d384888
fix: escape default-ignorable scope path characters
mldangelo-oai
committed
855e95a
Merge main into scoped scan completion
mldangelo-oai
committed
4a377d5
fix: escape Unicode format controls in scope paths
mldangelo-oai
committed
428f664
Merge main into scoped scan completion
mldangelo-oai
committed
696d996
fix: make Unicode path escaping version-stable
mldangelo-oai
committed
6caa6ed
Merge main into scoped scan completion
mldangelo-oai
committed
66954ac
Merge remote-tracking branch 'origin/main' into HEAD
mldangelo-oai
committed
6f8b8bb
Merge remote-tracking branch 'origin/main' into HEAD
mldangelo-oai
committed
0396b99
test: stream scoped history probe through stdin
mldangelo-oai
committed
5e7a0de