feat(intent): implement PolicyCompiler.Compile and formal attribution compliance test suite - #48036

Merged

pelikhan merged 10 commits into

mainfrom

copilot/formal-spec-intent-attribution-compliance

Jul 26, 2026

Commits on Jul 25, 2026

Initial plan
Copilot
authored
feat(intent): add PolicyCompiler.Compile and formal compliance test suite (P1–P10)

Copilot
and
pelikhan
authored
Merge branch 'main' into copilot/formal-spec-intent-attribution-compliance
github-actions[bot]
authored
fix(intent): fail-closed for indeterminate statuses; match Domain/Priority/Risk in policy rules

Copilot
and
gh-aw-bot
authored
fix(intent): deep-copy rule.Set when seeding accumulator; rename autoMergeTrue

Copilot
and
gh-aw-bot
authored
Merge branch 'main' into copilot/formal-spec-intent-attribution-compliance
github-actions[bot]
authored
Merge branch 'main' into copilot/formal-spec-intent-attribution-compliance
github-actions[bot]
authored
fix(intent): stricter-wins for Autonomy/WriteScope; intersect AllowedTools in mergePolicy

Copilot
and
gh-aw-bot
authored
docs(intent): document autonomy/write-scope rank ordering; clarify deny-all intersection semantics

Copilot
and
gh-aw-bot
authored
Merge branch 'main' into copilot/formal-spec-intent-attribution-compliance
github-actions[bot]
authored