Encode Colorado AND-CS SSI state supplement rules

[MaxGhenis]

Summary

• encode Colorado 9 CCR 2503-5 sections 3.546, 3.547, and 3.548 for AND-CS state supplement rules
• include generated tests and signed encoder apply manifests
• pin RuleSpec validation to axiom-encode 0.2.785 / ed321585 and the merged Colorado corpus ingest

Oracle alignment

• 3.546: PolicyEngine comparable=1, passed=1, failed=0
• 3.547: no comparable PolicyEngine outputs; classification passed
• 3.548: PolicyEngine comparable=3, passed=3, failed=0
• SSI state supplement coverage: 0 untested comparable outputs

Tests

• uv run axiom-encode test --root /Users/maxghenis/TheAxiomFoundation/_worktrees/rulespec-us-co-ssp-20260620/us-co .../3.546.test.yaml .../3.547.test.yaml .../3.548.test.yaml
• AXIOM_ENCODE_POLICYENGINE_US_PYTHON=/Users/maxghenis/PolicyEngine/_worktrees/policyengine-us-co-ssp-20260620/.venv/bin/python uv run axiom-encode validate --skip-reviewers --oracle policyengine --require-oracle-classification .../3.546.yaml .../3.547.yaml .../3.548.yaml
• AXIOM_ENCODE_POLICYENGINE_US_PYTHON=/Users/maxghenis/PolicyEngine/_worktrees/policyengine-us-co-ssp-20260620/.venv/bin/python uv run axiom-encode oracle-coverage --root /Users/maxghenis/TheAxiomFoundation/_worktrees --program ssi_state_supplement --fail-on-unmapped --fail-on-untested-comparable --include-program-surfaces --limit 120
• uv run axiom-encode guard-generated --repo /Users/maxghenis/TheAxiomFoundation/_worktrees/rulespec-us-co-ssp-20260620/us-co --all --roots regulations/9-ccr-2503-5

Related

• Map generated Colorado AND-CS payment oracle axiom-encode#727
• Add Colorado AND-CS CCR ingest manifest axiom-corpus#114
• Update Colorado AND-CS 2026 grant standard PolicyEngine/policyengine-us#8701