Encode Colorado AND-CS SSI state supplement rules

.axiom/toolchain.toml

@@ -2,10 +2,10 @@
 # validate-rulespec workflow). Bump deliberately — PRs that change this
 # file trigger full-repository revalidation.
 [toolchain]
-axiom_encode_version = "0.2.782"
+axiom_encode_version = "0.2.785"
 axiom_rules_engine_ref = "0964c8203ae741d285f6835224118b5c6f0da7db"
-axiom_encode_ref = "f06a0b3f2a7b045036dabae1eb1574a1bfd64f85"
-axiom_corpus_ref = "e05969200417fb6e1be5d17921452b46e97e9fc9"
+axiom_encode_ref = "ed321585df7eec5b967c8fc8d0767b45c299b117"
+axiom_corpus_ref = "8ffb71d8998ca70f02f330f4afd6b7a2e450afc5"
 # Canonical-targets checkout for cross-repo validation; bump to the
 # merged monorepo SHA in the post-merge follow-up.
 rulespec_us_ref = "98984a5b35ab424ba9910a121e7554168290d779"

us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.546.json

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.546.yaml",
+      "sha256": "a3785d093a214f42b55cfaa9d4bd0e0129a5ccf131d32196a74d6c21deb7c462"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.546.test.yaml",
+      "sha256": "2480b22a76bc75d513e37ab0d871286d552e57355d094e0b1de2c2187711c7c5"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "935bb5d765f519bf00886f51e852d18851897bc6",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-co-ssp-20260620",
+    "version": "0.2.785",
+    "version_commit": "935bb5d765f519bf00886f51e852d18851897bc6"
+  },
+  "axiom_encode_version": "0.2.785",
+  "backend": "deterministic",
+  "citation": "us-co:regulations/9-ccr-2503-5/3.546",
+  "context_manifest_file": null,
+  "context_manifest_sha256": null,
+  "generated_at": "2026-06-20T14:21:08.368253+00:00",
+  "generated_output_file": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp3k7sxm9g/deterministic-repair/regulations/9-ccr-2503-5/3.546.yaml",
+  "generated_output_root": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp3k7sxm9g",
+  "generated_output_sha256": "a3785d093a214f42b55cfaa9d4bd0e0129a5ccf131d32196a74d6c21deb7c462",
+  "generation_prompt_sha256": null,
+  "model": "oracle-parameter-test-v1",
+  "run_id": "deterministic-repair",
+  "runner": "deterministic-repair",
+  "schema_version": "axiom-encode/applied-rulespec/v1",
+  "signature": {
+    "algorithm": "hmac-sha256",
+    "key_id": "axiom-encode-apply-v1",
+    "value": "07a6965de06a0405d8d7e117c1dd2c93f5204947207baf327be1d6a5ae9cdfa1"
+  },
+  "tool": "axiom-encode repair-oracle-parameter-tests",
+  "trace_file": null,
+  "trace_sha256": null
+}

us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.547.json

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.547.yaml",
+      "sha256": "67601b4837425231244ae26ca7217f298e68fc079839be3cf232e3d6779e147e"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.547.test.yaml",
+      "sha256": "6b0efe2240b9fed3fcf613d7ca3bbdb5241703c0f75fe2c299eaecf959335e94"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "b0709f8b7d64070f11b9b929cad542f42b51a739",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-co-ssp-20260620",
+    "version": "0.2.784",
+    "version_commit": "9bcec61c9f7ecff303087fbfa67af926736f81b4"
+  },
+  "axiom_encode_version": "0.2.784",
+  "backend": "codex",
+  "citation": "us-co/regulation/9-ccr-2503-5/3.547",
+  "context_manifest_file": "/tmp/co-and-cs-encode-output-3.547/_eval_workspaces/codex-gpt-5.5/us-co-regulation-9-ccr-2503-5-3.547/workspace/context-manifest.json",
+  "context_manifest_sha256": "2ec127f391e01c4c9b3058f2045fae8245af477524c2e87929f99a65aa9052d5",
+  "generated_at": "2026-06-20T13:54:36.957936+00:00",
+  "generated_output_file": "/tmp/co-and-cs-encode-output-3.547/codex-gpt-5.5/regulations/9-ccr-2503-5/3.547.yaml",
+  "generated_output_root": "/tmp/co-and-cs-encode-output-3.547",
+  "generated_output_sha256": "67601b4837425231244ae26ca7217f298e68fc079839be3cf232e3d6779e147e",
+  "generation_prompt_sha256": "39c073f46489a5d15660398243001d989c6ca6baab76cccce2c0c47be704d5e0",
+  "model": "gpt-5.5",
+  "run_id": "bdd865fb",
+  "runner": "codex-gpt-5.5",
+  "schema_version": "axiom-encode/applied-rulespec/v1",
+  "signature": {
+    "algorithm": "hmac-sha256",
+    "key_id": "axiom-encode-apply-v1",
+    "value": "b4b712d4575c72161aced2141596ecfd13b760240604738ab4b7ccd72d9d58f0"
+  },
+  "tool": "axiom-encode encode --apply",
+  "trace_file": "/tmp/co-and-cs-encode-output-3.547/traces/codex-gpt-5.5/us-co-regulation-9-ccr-2503-5-3.547.json",
+  "trace_sha256": "81466e5503b46e44770c233c46da9f9832908f9bc64b9fe4132008df22791e26"
+}

us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.548.json

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.548.yaml",
+      "sha256": "78ecbac76e8a0d69e663503e4e5a02abb5408fae9a404a26ab8004b5f01e72c9"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.548.test.yaml",
+      "sha256": "943ea0fbedca7b9aec630140c79727be09964a268d6a194f193e47c642fe9ca1"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "b0709f8b7d64070f11b9b929cad542f42b51a739",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-co-ssp-20260620",
+    "version": "0.2.784",
+    "version_commit": "9bcec61c9f7ecff303087fbfa67af926736f81b4"
+  },
+  "axiom_encode_version": "0.2.784",
+  "backend": "codex",
+  "citation": "us-co/regulation/9-ccr-2503-5/3.548",
+  "context_manifest_file": "/tmp/co-and-cs-encode-output-3.548/_eval_workspaces/codex-gpt-5.5/us-co-regulation-9-ccr-2503-5-3.548/workspace/context-manifest.json",
+  "context_manifest_sha256": "695f33b902e989b1e69600d66f89b89c52e605d01da09346440982d1b3b193cc",
+  "generated_at": "2026-06-20T14:00:44.483952+00:00",
+  "generated_output_file": "/tmp/co-and-cs-encode-output-3.548/codex-gpt-5.5/regulations/9-ccr-2503-5/3.548.yaml",
+  "generated_output_root": "/tmp/co-and-cs-encode-output-3.548",
+  "generated_output_sha256": "78ecbac76e8a0d69e663503e4e5a02abb5408fae9a404a26ab8004b5f01e72c9",
+  "generation_prompt_sha256": "bf994a3197c58dea14cbb78b2d2a299ed66bc0a7966ece534c649ec729ed8165",
+  "model": "gpt-5.5",
+  "run_id": "f39d461b",
+  "runner": "codex-gpt-5.5",
+  "schema_version": "axiom-encode/applied-rulespec/v1",
+  "signature": {
+    "algorithm": "hmac-sha256",
+    "key_id": "axiom-encode-apply-v1",
+    "value": "47c0c6cf0ba4c7f97f680f517af4c7ea864e406107d50acaf196668df2606f20"
+  },
+  "tool": "axiom-encode encode --apply",
+  "trace_file": "/tmp/co-and-cs-encode-output-3.548/traces/codex-gpt-5.5/us-co-regulation-9-ccr-2503-5-3.548.json",
+  "trace_sha256": "ffae73fc14bb31f95139b4d3c79f35c0e32f85b97665b2358ba9de208c451254"
+}

us-co/regulations/9-ccr-2503-5/3.546.test.yaml

@@ -0,0 +1,68 @@
+- name: and_cs_qualified_client_below_floor_receives_state_supplement
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_age_in_years: 0
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_full_ssi_benefit_standard_under_section_3_510: false
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_adult_financial_grant_amount: 5
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month: 8
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_monthly_benefit_amount_with_state_supplement: 13
+- name: and_cs_qualified_client_at_payment_floor_receives_no_state_supplement
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_age_in_years: 59
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_full_ssi_benefit_standard_under_section_3_510: false
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_adult_financial_grant_amount: 13
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month: 0
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_monthly_benefit_amount_with_state_supplement: 13
+- name: and_cs_client_above_age_range_does_not_qualify
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_age_in_years: 60
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_full_ssi_benefit_standard_under_section_3_510: false
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_adult_financial_grant_amount: 5
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met: not_holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program: not_holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month: 0
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_monthly_benefit_amount_with_state_supplement: 0
+- name: and_cs_client_without_disability_or_blindness_ssi_does_not_qualify
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_age_in_years: 0
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_ssi_due_to_disability_or_blindness: false
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_full_ssi_benefit_standard_under_section_3_510: false
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_adult_financial_grant_amount: 5
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program: not_holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month: 0
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_monthly_benefit_amount_with_state_supplement: 0
+- name: and_cs_client_receiving_full_ssi_benefit_standard_does_not_qualify
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_age_in_years: 0
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_receives_full_ssi_benefit_standard_under_section_3_510: true
+    us-co:regulations/9-ccr-2503-5/3.546#input.client_adult_financial_grant_amount: 5
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met: holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program: not_holds
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month: 0
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_monthly_benefit_amount_with_state_supplement: 0
+- name: oracle_parameter_and_cs_total_grant_standard
+  period:
+    period_kind: tax_year
+    start: '2026-01-01'
+    end: '2026-12-31'
+  input: {}
+  output:
+    us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_grant_standard: 994