Formalize `replace-label` compliance model and fixture-backed conformance tests#44981

Merged

pelikhan merged 16 commits into

mainfrom

copilot/formal-spec-replace-label-compliance

Jul 13, 2026

Commits on Jul 11, 2026

Initial plan
Copilot
authored
Add formal replace-label compliance mapping tests

Copilot
and
pelikhan
authored
Address review feedback in formal replace-label docs/tests

Copilot
and
pelikhan
authored
Tighten formal replace-label predicate test coverage

Copilot
and
pelikhan
authored
Improve fixture loader semantics in formal replace-label tests

Copilot
and
pelikhan
authored
Harden formal replace-label fixture path and error predicates

Copilot
and
pelikhan
authored
Address formal test review follow-ups

Copilot
and
pelikhan
authored
fix: align formal tests with production glob semantics and address review feedback

Copilot
and
gh-aw-bot
authored
fix: clarify formalSimpleGlobToRegex escape list and alias resolution comment

Copilot
and
gh-aw-bot
authored
refactor: remove redundant outcome construction from TestFormalStagedMode

Copilot
and
gh-aw-bot
authored

Commits on Jul 13, 2026