Align the residual error-free method with the Lean model

[luxas]

Description of changes

Align the setup to be more like cedar-policy/cedar-spec#828

Checklist for requesting a review

The change in this PR is (choose one, and delete the other options):

• A change "invisible" to users (e.g., documentation, changes to "internal" crates like cedar-policy-core, cedar-validator, etc.)

I confirm that this PR (choose one, and delete the other options):

• Updates the "Unreleased" section of the CHANGELOG with a description of my change (required for major/minor version bumps).

I confirm that cedar-spec (choose one, and delete the other options):

• Does not require updates because my change does not impact the Cedar formal model or DRT infrastructure.

I confirm that docs.cedarpolicy.com (choose one, and delete the other options):

• Does not require updates because my change does not impact the Cedar language specification.

[github-actions]

Coverage Report

Head Commit: e7b5981d1c0c377f4d617f0c98250fa9d66dcefb

Base Commit: b69ef5099b2c833f88086c3e5911648f57385ff6

Download the full coverage report.

Coverage of Added or Modified Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 94.29%

Status: PASSED ✅

Details

File	Status	Covered	Coverage	Missed Lines
cedar-policy-core/src/ast/ops.rs	🟢	10/11	90.91%	40
cedar-policy-core/src/tpe/evaluator.rs	🟢	2/2	100.00%
cedar-policy-core/src/tpe/residual.rs	🟢	21/22	95.45%	141

Coverage of All Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 88.38%

Status: PASSED ✅

Details

Package	Status	Covered	Coverage	Base Coverage
cedar-language-server	🟢	4722/5102	92.55%	92.55%
cedar-policy	🟢	4844/5950	81.41%	81.41%
cedar-policy-cli	🟡	1294/1669	77.53%	77.53%
cedar-policy-core	🟢	24673/27830	88.66%	88.65%
cedar-policy-formatter	🟢	914/1088	84.01%	84.01%
cedar-policy-symcc	🟢	6916/7396	93.51%	93.51%
cedar-wasm	🔴	0/28	0.00%	0.00%

[github-actions]

Coverage Report

Head Commit: 026ded45b657464a4bf374db91d58cc5359b9453

Base Commit: b69ef5099b2c833f88086c3e5911648f57385ff6

Download the full coverage report.

Coverage of Added or Modified Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 94.29%

Status: PASSED ✅

Details

File	Status	Covered	Coverage	Missed Lines
cedar-policy-core/src/ast/ops.rs	🟢	10/11	90.91%	40
cedar-policy-core/src/tpe/evaluator.rs	🟢	2/2	100.00%
cedar-policy-core/src/tpe/residual.rs	🟢	21/22	95.45%	141

Coverage of All Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 88.38%

Status: PASSED ✅

Details

Package	Status	Covered	Coverage	Base Coverage
cedar-language-server	🟢	4722/5102	92.55%	92.55%
cedar-policy	🟢	4844/5950	81.41%	81.41%
cedar-policy-cli	🟡	1294/1669	77.53%	77.53%
cedar-policy-core	🟢	24673/27830	88.66%	88.65%
cedar-policy-formatter	🟢	914/1088	84.01%	84.01%
cedar-policy-symcc	🟢	6916/7396	93.51%	93.51%
cedar-wasm	🔴	0/28	0.00%	0.00%