Implement staged resolution with separated error types for witness resolution#5

Merged

Garciat merged 7 commits into

mainfrom

copilot/implement-staged-resolution

Dec 14, 2025

Commits on Dec 13, 2025

Initial plan
Copilot
committed
Implement staged resolution system with InstantiationPlan, Expr, and staged methods

Copilot
and
Garciat
committed
Split error types into ResolutionError, InstantiationError, and SummonError

Copilot
and
Garciat
committed
Use Either.traverse in interpret and remove Candidate type

Copilot
and
Garciat
committed
Remove instantiate method from WitnessRule and subtypes

Copilot
and
Garciat
committed
Add Either.call helper method for wrapping Callable execution

Copilot
and
Garciat
committed
Use Either.call helper in interpret method

Copilot
and
Garciat
committed