Encode Colorado Old Age Pension 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.781"
+axiom_encode_version = "0.2.782"
 axiom_rules_engine_ref = "0964c8203ae741d285f6835224118b5c6f0da7db"
-axiom_encode_ref = "672285ac4727d5dc2468f97908ab3c3bf4c97a2b"
-axiom_corpus_ref = "2b0a843c13abf03854b9e93da88d77c41a0d38df"
+axiom_encode_ref = "f06a0b3f2a7b045036dabae1eb1574a1bfd64f85"
+axiom_corpus_ref = "e05969200417fb6e1be5d17921452b46e97e9fc9"
 # 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.520.72.json

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.520.72.yaml",
+      "sha256": "f4251fd78c26aac368d154abdd18c9f4c07a12b042c622393cc80e81e11c67a0"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.520.72.test.yaml",
+      "sha256": "ea6fdb7435ca69d52731261b647c3a5f2caa3f05e8364bfe38e411440279a2cf"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "7fde736fa902e2aa489b8acb6b97863245fc6c26",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-pe-next-20260619",
+    "version": "0.2.782",
+    "version_commit": "7fde736fa902e2aa489b8acb6b97863245fc6c26"
+  },
+  "axiom_encode_version": "0.2.782",
+  "backend": "deterministic",
+  "citation": "us-co:regulations/9-ccr-2503-5/3.520.72",
+  "context_manifest_file": null,
+  "context_manifest_sha256": null,
+  "generated_at": "2026-06-19T20:55:51.452822+00:00",
+  "generated_output_file": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp63_bhylx/deterministic-repair/regulations/9-ccr-2503-5/3.520.72.yaml",
+  "generated_output_root": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp63_bhylx",
+  "generated_output_sha256": "f4251fd78c26aac368d154abdd18c9f4c07a12b042c622393cc80e81e11c67a0",
+  "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": "5da4c4205f9584bd60fc6787edf01bbcee58ef186b91f2a9a2ff26d4ec94f6ff"
+  },
+  "tool": "axiom-encode repair-oracle-parameter-tests",
+  "trace_file": null,
+  "trace_sha256": null
+}

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

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.530.yaml",
+      "sha256": "8b3031855cedaee3683e939c2794f44b088ebc47ee9e306130689130824bd48e"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.530.test.yaml",
+      "sha256": "597695aa11ab44fb06f4d8988ee0d2b8ae2b4506fe6b80fc2b1bcfbc94a2f7aa"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "7fde736fa902e2aa489b8acb6b97863245fc6c26",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-pe-next-20260619",
+    "version": "0.2.782",
+    "version_commit": "7fde736fa902e2aa489b8acb6b97863245fc6c26"
+  },
+  "axiom_encode_version": "0.2.782",
+  "backend": "deterministic",
+  "citation": "us-co:regulations/9-ccr-2503-5/3.530",
+  "context_manifest_file": null,
+  "context_manifest_sha256": null,
+  "generated_at": "2026-06-19T20:55:54.606696+00:00",
+  "generated_output_file": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp3fnqoqu3/deterministic-repair/regulations/9-ccr-2503-5/3.530.yaml",
+  "generated_output_root": "/var/folders/9l/_wztzgbx7mgc7l1r0416cy7m0000gn/T/tmp3fnqoqu3",
+  "generated_output_sha256": "8b3031855cedaee3683e939c2794f44b088ebc47ee9e306130689130824bd48e",
+  "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": "42d63802556baae132bd3d00816d319d7bf8376ced24c27489712aaa6be539ee"
+  },
+  "tool": "axiom-encode repair-oracle-parameter-tests",
+  "trace_file": null,
+  "trace_sha256": null
+}

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

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.532.yaml",
+      "sha256": "d48a5566272aad224309ed64890c440d2602a0fd9f197cc4193ab0bf7aea71ff"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.532.test.yaml",
+      "sha256": "089747cc2a3499f5472817ecd61ffbb631801161e4b6a96f3b15fd4b999ce6a0"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "672285ac4727d5dc2468f97908ab3c3bf4c97a2b",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-pe-next-20260619",
+    "version": "0.2.781",
+    "version_commit": "672285ac4727d5dc2468f97908ab3c3bf4c97a2b"
+  },
+  "axiom_encode_version": "0.2.781",
+  "backend": "openai",
+  "citation": "us-co/regulation/9-ccr-2503-5/3.532",
+  "context_manifest_file": "/tmp/axiom-encode-encodings/_eval_workspaces/openai-gpt-5.1/us-co-regulation-9-ccr-2503-5-3.532/workspace/context-manifest.json",
+  "context_manifest_sha256": "a7d349b802229dc6be78c5040a2d6cd3ec527d50a5a86ba69689fce199579076",
+  "generated_at": "2026-06-19T20:08:57.347177+00:00",
+  "generated_output_file": "/tmp/axiom-encode-encodings/openai-gpt-5.1/regulations/9-ccr-2503-5/3.532.yaml",
+  "generated_output_root": "/tmp/axiom-encode-encodings",
+  "generated_output_sha256": "d48a5566272aad224309ed64890c440d2602a0fd9f197cc4193ab0bf7aea71ff",
+  "generation_prompt_sha256": "45a6199b29244e33db9ebb4001b5bb7d84cac7a5c9854142a41dd51097d9cf8e",
+  "model": "gpt-5.1",
+  "run_id": "4c272cbd",
+  "runner": "openai-gpt-5.1",
+  "schema_version": "axiom-encode/applied-rulespec/v1",
+  "signature": {
+    "algorithm": "hmac-sha256",
+    "key_id": "axiom-encode-apply-v1",
+    "value": "d5cb5c85ac28ee94403531184b683e4375b89c57a5091ba207f9a98fbf39e0f1"
+  },
+  "tool": "axiom-encode encode --apply",
+  "trace_file": "/tmp/axiom-encode-encodings/traces/openai-gpt-5.1/us-co-regulation-9-ccr-2503-5-3.532.json",
+  "trace_sha256": "c471e7007811c05e351e09cec66cd19467f500c07101242c462aadd961463d0d"
+}

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

@@ -0,0 +1,41 @@
+{
+  "applied_files": [
+    {
+      "path": "regulations/9-ccr-2503-5/3.533.yaml",
+      "sha256": "af2fcc1cb379209e8532b8982ca125d029dcbcf06619a17b3b5e8b35186a0bbf"
+    },
+    {
+      "path": "regulations/9-ccr-2503-5/3.533.test.yaml",
+      "sha256": "09b89975edf2ccc3c034cf7f4ba44a634ee7694126e35adbf9b9c5895a824a6d"
+    }
+  ],
+  "axiom_encode_git": {
+    "commit": "672285ac4727d5dc2468f97908ab3c3bf4c97a2b",
+    "dirty_tracked": false,
+    "root": "/Users/maxghenis/TheAxiomFoundation/_worktrees/axiom-encode-pe-next-20260619",
+    "version": "0.2.781",
+    "version_commit": "672285ac4727d5dc2468f97908ab3c3bf4c97a2b"
+  },
+  "axiom_encode_version": "0.2.781",
+  "backend": "openai",
+  "citation": "us-co/regulation/9-ccr-2503-5/3.533",
+  "context_manifest_file": "/tmp/axiom-encode-encodings/_eval_workspaces/openai-gpt-5.1/us-co-regulation-9-ccr-2503-5-3.533/workspace/context-manifest.json",
+  "context_manifest_sha256": "78a65acfe257193ee8f87b5df03f907c0f8830494d71f8ddaa8c3dac1a0b2545",
+  "generated_at": "2026-06-19T20:12:52.026947+00:00",
+  "generated_output_file": "/tmp/axiom-encode-encodings/openai-gpt-5.1/regulations/9-ccr-2503-5/3.533.yaml",
+  "generated_output_root": "/tmp/axiom-encode-encodings",
+  "generated_output_sha256": "af2fcc1cb379209e8532b8982ca125d029dcbcf06619a17b3b5e8b35186a0bbf",
+  "generation_prompt_sha256": "dde02ea90174696019ffbe47152e38d7ff4377c33cad035eaf18024b28813b2a",
+  "model": "gpt-5.1",
+  "run_id": "cf23bd1b",
+  "runner": "openai-gpt-5.1",
+  "schema_version": "axiom-encode/applied-rulespec/v1",
+  "signature": {
+    "algorithm": "hmac-sha256",
+    "key_id": "axiom-encode-apply-v1",
+    "value": "4a5a680a1072d6b9142b7b25817e2d670bf8e45d653e6ee2066fd371325f6a75"
+  },
+  "tool": "axiom-encode encode --apply",
+  "trace_file": "/tmp/axiom-encode-encodings/traces/openai-gpt-5.1/us-co-regulation-9-ccr-2503-5-3.533.json",
+  "trace_sha256": "1ee70a41ba9ecf0725b7a3a9aa1cf984303dc2c55f4529227d289338787ffe4a"
+}

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

@@ -0,0 +1,64 @@
+- name: unmarried_client_with_resources_below_unmarried_limit_and_no_sponsors
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_married: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.sponsor_spouse_is_co_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.client_own_countable_resources_under_3_520_72: 1500
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.deemed_resources_from_sponsors_under_3_520_72: 0
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#person_resource_limit_under_3_520_72: 2000
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_countable_resources_including_deemed_from_sponsors_under_3_520_72: 1500
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_resources_within_limit_under_3_520_72: holds
+- name: married_client_with_resources_below_married_limit_and_no_deemed_sponsor_resources
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_married: true
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.sponsor_spouse_is_co_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.client_own_countable_resources_under_3_520_72: 2500
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.deemed_resources_from_sponsors_under_3_520_72: 0
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#person_resource_limit_under_3_520_72: 3000
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_countable_resources_including_deemed_from_sponsors_under_3_520_72: 2500
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_resources_within_limit_under_3_520_72: holds
+- name: married_client_with_deemed_sponsor_resources_exceeding_married_limit
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_married: true
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.sponsor_spouse_is_co_sponsor: false
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.client_own_countable_resources_under_3_520_72: 1000
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.deemed_resources_from_sponsors_under_3_520_72: 2500
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#person_resource_limit_under_3_520_72: 3000
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_countable_resources_including_deemed_from_sponsors_under_3_520_72: 3500
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_resources_within_limit_under_3_520_72: not_holds
+- name: married_sponsor_with_co_sponsor_spouse_uses_unmarried_limit
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_sponsor: true
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.person_is_married: true
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.sponsor_spouse_is_co_sponsor: true
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.client_own_countable_resources_under_3_520_72: 0
+    us-co:regulations/9-ccr-2503-5/3.520.72#input.deemed_resources_from_sponsors_under_3_520_72: 0
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#person_resource_limit_under_3_520_72: 2000
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_countable_resources_including_deemed_from_sponsors_under_3_520_72: 0
+    us-co:regulations/9-ccr-2503-5/3.520.72#client_resources_within_limit_under_3_520_72: holds
+- name: oracle_parameter_resource_limit_amount_for_unmarried_person_under_3_520_72
+  period:
+    period_kind: tax_year
+    start: '2026-01-01'
+    end: '2026-12-31'
+  input: {}
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#resource_limit_amount_for_unmarried_person_under_3_520_72: 2000
+- name: oracle_parameter_resource_limit_amount_for_married_person_under_3_520_72
+  period:
+    period_kind: tax_year
+    start: '2026-01-01'
+    end: '2026-12-31'
+  input: {}
+  output:
+    us-co:regulations/9-ccr-2503-5/3.520.72#resource_limit_amount_for_married_person_under_3_520_72: 3000

us-co/regulations/9-ccr-2503-5/3.520.72.yaml

@@ -0,0 +1,117 @@
+format: rulespec/v1
+module:
+  proof_validation:
+    required: true
+  source_verification:
+    corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+  summary: |-
+    For Adult Financial programs, all countable resources of the client, spouse, and sponsor(s) are compared to a resource limit, which is $2,000 for an unmarried client or sponsor and for a married sponsor whose spouse is a co-sponsor (each co-sponsor receives a $2,000 limit, for a combined $4,000), and $3,000 for a married client or a married sponsor whose spouse is not a co-sponsor. Sponsor resources are counted only toward the non-citizen client they sponsor, and any sponsor resources in excess of the sponsor resource limit are deemed to the non-citizen client and added to the client’s own countable resources for comparison to the client’s resource limit.
+rules:
+  - name: resource_limit_amount_for_unmarried_person_under_3_520_72
+    kind: parameter
+    dtype: Money
+    unit: USD
+    source: 9 CCR 2503-5 3.520.72 A.1
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: amount
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+              excerpt: "$2,000 for: a. An unmarried client; b. An unmarried sponsor; and, c. A married sponsor whose spouse is a co-sponsor."
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          2000
+
+  - name: resource_limit_amount_for_married_person_under_3_520_72
+    kind: parameter
+    dtype: Money
+    unit: USD
+    source: 9 CCR 2503-5 3.520.72 A.2
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: amount
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+              excerpt: "$3,000 for: a. A married client; or, b. A married sponsor whose spouse is not a co-sponsor."
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          3000
+
+  - name: person_resource_limit_under_3_520_72
+    kind: derived
+    entity: Person
+    dtype: Money
+    period: Month
+    unit: USD
+    source: 9 CCR 2503-5 3.520.72 A
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: formula
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+              excerpt: "The resource limit is: $2,000 for ... an unmarried client; ... an unmarried sponsor; ... a married sponsor whose spouse is a co-sponsor. ... $3,000 for: a married client; ... a married sponsor whose spouse is not a co-sponsor."
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          if person_is_sponsor:
+            if person_is_married and sponsor_spouse_is_co_sponsor:
+              resource_limit_amount_for_unmarried_person_under_3_520_72
+            else:
+              if person_is_married:
+                resource_limit_amount_for_married_person_under_3_520_72
+              else:
+                resource_limit_amount_for_unmarried_person_under_3_520_72
+          else:
+            if person_is_married:
+              resource_limit_amount_for_married_person_under_3_520_72
+            else:
+              resource_limit_amount_for_unmarried_person_under_3_520_72
+
+  - name: client_countable_resources_including_deemed_from_sponsors_under_3_520_72
+    kind: derived
+    entity: Person
+    dtype: Money
+    period: Month
+    unit: USD
+    source: 9 CCR 2503-5 3.520.72 A, E
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: formula
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+              excerpt: "Unless otherwise specified, a resource is countable, and together with all other countable resources of the client, spouse, and sponsor(s) shall be considered against the resource limit. ... All countable resources over the sponsor(s) resource limit ... are then deemed to the non-citizen client. The deemed amount from the client’s sponsor(s) is then added to the non-citizen client’s countable resources..."
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          client_own_countable_resources_under_3_520_72
+          + deemed_resources_from_sponsors_under_3_520_72
+
+  - name: client_resources_within_limit_under_3_520_72
+    kind: derived
+    entity: Person
+    dtype: Judgment
+    period: Month
+    source: 9 CCR 2503-5 3.520.72 A, E
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: predicate
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.520.72
+              excerpt: "Countable resources ... shall be considered against the resource limit. ... The deemed amount from the client’s sponsor(s) is then added to the non-citizen client’s countable resources and compared to the non-citizen client’s resource limit..."
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          client_countable_resources_including_deemed_from_sponsors_under_3_520_72
+          <= person_resource_limit_under_3_520_72

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

@@ -0,0 +1,20 @@
+- name: oap_age_requirement_met_at_age_60
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.530#input.age_in_years: 60
+  output:
+    us-co:regulations/9-ccr-2503-5/3.530#oap_age_requirement_met: holds
+- name: oap_age_requirement_not_met_below_60
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.530#input.age_in_years: 59
+  output:
+    us-co:regulations/9-ccr-2503-5/3.530#oap_age_requirement_met: not_holds
+- name: oracle_parameter_oap_total_monthly_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.530#oap_total_monthly_grant_standard: 1032