Run corpus tests through Lean implementation

[khieta]

Category

Lean formalization

Describe the feature you'd like to request

The Lean implementation is tested in CI against the handwritten integration tests in cedar/cedar-integration-tests/tests. It is not currently tested against the autogenerated corpus tests since the Lean & Rust validators have different precision, potentially leading to different validation results (see #210). This behavior difference does not affect the handwritten tests, but will (likely) affect the autogenerated tests.

To get the Lean formalization running on the corpus tests, we'll need to either update the testing harness to optionally ignore validation differences, or get the Rust & Lean code to parity.

Describe alternatives you've considered

No response

Additional context

No response

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