Compare validation warnings

[khieta]

Category

DRT infrastructure

Describe the feature you'd like to request

We currently ignore validation warnings during DRT. It maybe be useful to take into account some warnings when comparing the Lean against the Rust. For example: in cases where Lean returns an "impossiblePolicy" error (which should, more or less, match when Rust returns an ImpossiblePolicy warning), we can guarantee that the policy evaluates without type errors and that it evaluates to false.

Describe alternatives you've considered

No response

Additional context

This issue is related to #69, where we decided to compare the ids of policies that error during authorization, but not the errors themselves.

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this feature request
• ⚠️ This feature might incur a breaking change