Fast-forward 4.6.x release branch to current main

[john-h-kastner-aws]

Pulls in the new methods from #1852 as well as

• two changes impacting symcc only
• one change impacting CI only
• and one dependency update

[github-actions]

Coverage Report

Head Commit: c2a7b083d7a0d9b8aabd0bb2baadd3f909a7b525

Base Commit: 22531579ad21e086e279092ec727f75d8413ab86

Download the full coverage report.

Coverage of Added or Modified Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 76.86%

Status: FAILED ❌

Details

File	Status	Covered	Coverage	Missed Lines
cedar-language-server/src/policy/completion/provider/ast.rs	🔴	1/2	50.00%	60
cedar-language-server/src/policy/definition/visitor.rs	🟢	1/1	100.00%
cedar-policy-core/src/ast/policy.rs	🔴	20/31	64.52%	200, 544, 1179, 1184, 1186, 1287, 1890, 1895-1897, 1899
cedar-policy-core/src/est.rs	🟢	12/12	100.00%
cedar-policy-core/src/parser/cst_to_ast.rs	🟢	2/2	100.00%
cedar-policy-core/src/validator/expr_iterator.rs	🟢	10/10	100.00%
cedar-policy-formatter/src/pprint/fmt.rs	🔴	8/12	66.67%	88, 100-102
cedar-policy-symcc/src/symcc/solver.rs	🟡	31/43	72.09%	144-146, 180-183, 199-202, 248
cedar-policy/src/api.rs	🟢	6/6	100.00%
cedar-policy/src/proto/policy.rs	🟢	2/2	100.00%

Coverage of All Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 84.23%

Status: PASSED ✅

Details

Package	Status	Covered	Coverage	Base Coverage
cedar-language-server	🟢	4615/5117	90.19%	--
cedar-policy	🟡	3528/4926	71.62%	--
cedar-policy-cli	🔴	675/1054	64.04%	--
cedar-policy-core	🟢	21474/25187	85.26%	--
cedar-policy-formatter	🟢	905/1079	83.87%	--
cedar-policy-symcc	🟢	4737/5273	89.84%	--
cedar-wasm	🔴	0/28	0.00%	--