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
489382b
Add formal replace-label compliance mapping tests

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

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

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

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

Copilot
and
pelikhan
authored
5620903
Address formal test review follow-ups

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

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

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

Copilot
and
gh-aw-bot
authored
fa79fef

Commits on Jul 12, 2026

Commits on Jul 13, 2026