Cherry-pick SymCC fixes/refactorings to 4.6.x

[shaobo-he-aws]

No description provided.

[github-actions]

Coverage Report

Head Commit: 7779b871608263bc26e38a4870eea673a9dd3047

Base Commit: 1593f74947c42c4c16bc861c22d2588b7617860d

Download the full coverage report.

Coverage of Added or Modified Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 92.86%

Status: PASSED ✅

Details

File	Status	Covered	Coverage	Missed Lines
cedar-policy-core/src/extensions/decimal.rs	🟢	6/6	100.00%
cedar-policy-symcc/src/symcc/concretizer.rs	🟢	1/1	100.00%
cedar-policy-symcc/src/symcc/decoder.rs	🟢	2/2	100.00%
cedar-policy-symcc/src/symcc/encoder.rs	🟢	5/5	100.00%
cedar-policy-symcc/src/symcc/env.rs	🟢	30/30	100.00%
cedar-policy-symcc/src/symcc/extension_types/decimal.rs	🟢	6/6	100.00%
cedar-policy-symcc/src/symcc/extractor.rs	🟢	9/9	100.00%
cedar-policy-symcc/src/symcc/factory.rs	🟢	3/3	100.00%
cedar-policy-symcc/src/symcc/function.rs	🔴	0/6	0.00%	58, 60-61, 65, 67-68
cedar-policy-symcc/src/symcc/interpretation.rs	🟢	2/2	100.00%
cedar-policy-symcc/src/symcc/symbolizer.rs	🟢	14/14	100.00%

Coverage of All Lines of Rust Code

Required coverage: 80.00%

Actual coverage: 84.27%

Status: PASSED ✅

Details

Package	Status	Covered	Coverage	Base Coverage
cedar-language-server	🟢	4615/5117	90.19%	--
cedar-policy	🟡	3550/4933	71.96%	--
cedar-policy-cli	🔴	675/1054	64.04%	--
cedar-policy-core	🟢	21479/25189	85.27%	--
cedar-policy-formatter	🟢	905/1079	83.87%	--
cedar-policy-symcc	🟢	4745/5281	89.85%	--
cedar-wasm	🔴	0/28	0.00%	--

[shaobo-he-aws]

CI failures in the cedar-spec is expected. Will update it once this PR is merged.