diff --git a/.axiom/toolchain.toml b/.axiom/toolchain.toml
index 5e077d7d..3789c8ac 100644
--- a/.axiom/toolchain.toml
+++ b/.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"
diff --git a/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.546.json b/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.546.json
new file mode 100644
index 00000000..e0c6d4de
--- /dev/null
+++ b/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
+}
diff --git a/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.547.json b/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.547.json
new file mode 100644
index 00000000..571d8abc
--- /dev/null
+++ b/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"
+}
diff --git a/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.548.json b/us-co/.axiom/encoding-manifests/regulations/9-ccr-2503-5/3.548.json
new file mode 100644
index 00000000..03b281b9
--- /dev/null
+++ b/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"
+}
diff --git a/us-co/regulations/9-ccr-2503-5/3.546.test.yaml b/us-co/regulations/9-ccr-2503-5/3.546.test.yaml
new file mode 100644
index 00000000..9a57a5d4
--- /dev/null
+++ b/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
diff --git a/us-co/regulations/9-ccr-2503-5/3.546.yaml b/us-co/regulations/9-ccr-2503-5/3.546.yaml
new file mode 100644
index 00000000..4f96e0a1
--- /dev/null
+++ b/us-co/regulations/9-ccr-2503-5/3.546.yaml
@@ -0,0 +1,216 @@
+format: rulespec/v1
+module:
+  proof_validation:
+    required: true
+  source_verification:
+    corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+  summary: The AND-CS program provides a supplemental payment for clients age zero
+    (0) to fifty-nine (59) who are receiving SSI due to disability or blindness, but
+    are not receiving the full SSI benefit standard. The total AND-CS grant standard
+    is $994 effective January 1, 2026. State Supplementary Payments bring an OAP,
+    AND-CS, or HCA client's monthly benefit amount up to the payment floor standard
+    when the Adult Financial grant is below that floor. Effective January 1, 2026,
+    the maximum ISM amount for shelter costs is $351 and the AND-CS payment floor
+    standard is $13.
+rules:
+- name: and_cs_minimum_age_years
+  kind: parameter
+  dtype: Integer
+  source: 9 CCR 2503-5 3.546 Program
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: parameter
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: clients age zero (0) to fifty-nine (59)
+  versions:
+  - effective_from: '2026-01-01'
+    formula: '0'
+- name: and_cs_maximum_age_years
+  kind: parameter
+  dtype: Integer
+  source: 9 CCR 2503-5 3.546 Program
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: parameter
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: clients age zero (0) to fifty-nine (59)
+  versions:
+  - effective_from: '2026-01-01'
+    formula: '59'
+- name: and_cs_total_grant_standard
+  kind: parameter
+  dtype: Money
+  unit: USD
+  source: 9 CCR 2503-5 3.546 A
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].effective_from
+        kind: effective_period
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: The total AND-CS grant standard is $994, effective January 1, 2026.
+      - path: versions[0].formula
+        kind: amount
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: The total AND-CS grant standard is $994
+  versions:
+  - effective_from: '2026-01-01'
+    formula: '994'
+- name: and_cs_maximum_ism_amount_for_shelter_costs
+  kind: parameter
+  dtype: Money
+  unit: USD
+  source: 9 CCR 2503-5 3.546 D
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].effective_from
+        kind: effective_period
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: Effective January 1, 2026, the maximum ISM amount for shelter costs
+            is $351.
+      - path: versions[0].formula
+        kind: amount
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: the maximum ISM amount for shelter costs is $351
+  versions:
+  - effective_from: '2026-01-01'
+    formula: '351'
+- name: and_cs_payment_floor_standard
+  kind: parameter
+  dtype: Money
+  unit: USD
+  source: 9 CCR 2503-5 3.546 E
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].effective_from
+        kind: effective_period
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: Effective January 1, 2026, the payment floor standard for AND-CS
+            is $13.
+      - path: versions[0].formula
+        kind: amount
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: the payment floor standard for AND-CS is $13
+  versions:
+  - effective_from: '2026-01-01'
+    formula: '13'
+- name: and_cs_age_requirement_met
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.546 Program
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: predicate
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: clients age zero (0) to fifty-nine (59)
+  versions:
+  - effective_from: '2026-01-01'
+    formula: 'client_age_in_years >= and_cs_minimum_age_years
+
+      and client_age_in_years <= and_cs_maximum_age_years'
+- name: and_cs_client_qualifies_for_program
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.546 Program
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.546#and_cs_age_requirement_met
+          output: and_cs_age_requirement_met
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: predicate
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: receiving SSI due to a disability or blindness, but are not receiving
+            the full SSI benefit standard
+  versions:
+  - effective_from: '2026-01-01'
+    formula: 'and_cs_age_requirement_met
+
+      and client_receives_ssi_due_to_disability_or_blindness
+
+      and not client_receives_full_ssi_benefit_standard_under_section_3_510'
+- name: and_cs_state_supplementary_payment_for_month
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.546 C.2, E
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.546#and_cs_client_qualifies_for_program
+          output: and_cs_client_qualifies_for_program
+          hash: sha256:local
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.546#and_cs_payment_floor_standard
+          output: and_cs_payment_floor_standard
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: when an OAP, AND-CS, or HCA client's Adult Financial grant is less
+            than the payment floor standard
+  versions:
+  - effective_from: '2026-01-01'
+    formula: 'if and_cs_client_qualifies_for_program: max(0, and_cs_payment_floor_standard
+      - client_adult_financial_grant_amount) else: 0'
+- name: and_cs_total_monthly_benefit_amount_with_state_supplement
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.546 C.2
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.546#and_cs_state_supplementary_payment_for_month
+          output: and_cs_state_supplementary_payment_for_month
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.546
+          excerpt: The supplemental payment is in addition to the grant payment and
+            brings the client's monthly benefit amount equal to the payment floor
+            standard
+  versions:
+  - effective_from: '2026-01-01'
+    formula: 'if and_cs_client_qualifies_for_program: client_adult_financial_grant_amount
+      + and_cs_state_supplementary_payment_for_month else: 0'
diff --git a/us-co/regulations/9-ccr-2503-5/3.547.test.yaml b/us-co/regulations/9-ccr-2503-5/3.547.test.yaml
new file mode 100644
index 00000000..fd4be218
--- /dev/null
+++ b/us-co/regulations/9-ccr-2503-5/3.547.test.yaml
@@ -0,0 +1,21 @@
+- name: and_cs_client_approved_for_disability_ssi_meets_status_requirement
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_approved_for_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_terminated_from_ssi: false
+  output:
+    us-co:regulations/9-ccr-2503-5/3.547#and_cs_ssi_status_eligibility_met: holds
+- name: and_cs_client_not_approved_for_disability_ssi_fails_status_requirement
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_approved_for_ssi_due_to_disability_or_blindness: false
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_terminated_from_ssi: false
+  output:
+    us-co:regulations/9-ccr-2503-5/3.547#and_cs_ssi_status_eligibility_met: not_holds
+- name: and_cs_client_terminated_from_ssi_loses_status_requirement
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_approved_for_ssi_due_to_disability_or_blindness: true
+    us-co:regulations/9-ccr-2503-5/3.547#input.client_terminated_from_ssi: true
+  output:
+    us-co:regulations/9-ccr-2503-5/3.547#and_cs_ssi_status_eligibility_met: not_holds
diff --git a/us-co/regulations/9-ccr-2503-5/3.547.yaml b/us-co/regulations/9-ccr-2503-5/3.547.yaml
new file mode 100644
index 00000000..847a2413
--- /dev/null
+++ b/us-co/regulations/9-ccr-2503-5/3.547.yaml
@@ -0,0 +1,33 @@
+format: rulespec/v1
+module:
+  proof_validation:
+    required: true
+  source_verification:
+    corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.547
+  summary: |-
+    To meet the disability eligibility requirement for AND-CS, the client must be approved for SSI due to a disability or blindness. The county department shall verify SSI eligibility through SVES or SDX and document it, enter client, resource, and income information into the statewide automated system, and the client has the right to decide how to spend the AND-CS grant payment. If a client is terminated from SSI, the client shall lose eligibility for the AND-CS program.
+rules:
+  - name: and_cs_ssi_status_eligibility_met
+    kind: derived
+    entity: Person
+    dtype: Judgment
+    period: Month
+    source: 9 CCR 2503-5 3.547 A, D
+    metadata:
+      proof:
+        atoms:
+          - path: versions[0].formula
+            kind: predicate
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.547
+              excerpt: the client must be approved for SSI due to a disability or blindness
+          - path: versions[0].formula
+            kind: exception
+            source:
+              corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.547
+              excerpt: If a client is terminated from SSI, the client shall lose eligibility for the AND-CS program.
+    versions:
+      - effective_from: '2016-10-01'
+        formula: |-
+          client_approved_for_ssi_due_to_disability_or_blindness
+          and not client_terminated_from_ssi
diff --git a/us-co/regulations/9-ccr-2503-5/3.548.test.yaml b/us-co/regulations/9-ccr-2503-5/3.548.test.yaml
new file mode 100644
index 00000000..4810925e
--- /dev/null
+++ b/us-co/regulations/9-ccr-2503-5/3.548.test.yaml
@@ -0,0 +1,140 @@
+- name: and_cs_full_month_grant_with_pna_eligibility_before_reduction_month
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_has_been_found_eligible_for_and_cs: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_countable_income_other_than_ssi_for_and_cs: 100
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssi_payment_received_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.gross_ssi_payment_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssa_is_recovering_ssi_payment_due_to_overpayment: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_eligibility_determined_on_first_day_of_month: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.fraction_of_month_remaining_at_and_cs_eligibility_determination: 1
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_consecutive_days_resident_in_facility: 30
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_general_medical_and_surgical_hospital: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_long_term_care_or_adult_financial_approved_setting: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_meets_program_requirements_for_pna: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_inmate_in_penal_institution: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_unlicensed_or_uncertified_facility: false
+    ? us-co:regulations/9-ccr-2503-5/3.548#input.client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility
+    : false
+  output:
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation: 200
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation: 300
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment: 694
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_first_month_grant_payment: 694
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_payment_after_pna_reduction: 694
+- name: and_cs_prorated_first_month_uses_gross_ssi_and_pna_reduction
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_has_been_found_eligible_for_and_cs: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_countable_income_other_than_ssi_for_and_cs: 44
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssi_payment_received_amount: 100
+    us-co:regulations/9-ccr-2503-5/3.548#input.gross_ssi_payment_amount: 250
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssa_is_recovering_ssi_payment_due_to_overpayment: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_eligibility_determined_on_first_day_of_month: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.fraction_of_month_remaining_at_and_cs_eligibility_determination: 0.5
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_consecutive_days_resident_in_facility: 45
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_general_medical_and_surgical_hospital: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_long_term_care_or_adult_financial_approved_setting: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_meets_program_requirements_for_pna: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_inmate_in_penal_institution: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_unlicensed_or_uncertified_facility: false
+    ? us-co:regulations/9-ccr-2503-5/3.548#input.client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility
+    : true
+  output:
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation: 250
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation: 294
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment: 700
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_first_month_grant_payment: 350
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_payment_after_pna_reduction: 79
+- name: and_cs_inmate_not_eligible_for_grant_or_pna
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_has_been_found_eligible_for_and_cs: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_countable_income_other_than_ssi_for_and_cs: 100
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssi_payment_received_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.gross_ssi_payment_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssa_is_recovering_ssi_payment_due_to_overpayment: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_eligibility_determined_on_first_day_of_month: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.fraction_of_month_remaining_at_and_cs_eligibility_determination: 1
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_consecutive_days_resident_in_facility: 30
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_general_medical_and_surgical_hospital: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_long_term_care_or_adult_financial_approved_setting: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_meets_program_requirements_for_pna: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_inmate_in_penal_institution: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_unlicensed_or_uncertified_facility: false
+    ? us-co:regulations/9-ccr-2503-5/3.548#input.client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility
+    : false
+  output:
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation: 200
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation: 300
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_first_month_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_payment_after_pna_reduction: 0
+- name: and_cs_unlicensed_or_uncertified_facility_resident_not_eligible_for_grant_or_pna
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_has_been_found_eligible_for_and_cs: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_countable_income_other_than_ssi_for_and_cs: 100
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssi_payment_received_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.gross_ssi_payment_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssa_is_recovering_ssi_payment_due_to_overpayment: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_eligibility_determined_on_first_day_of_month: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.fraction_of_month_remaining_at_and_cs_eligibility_determination: 1
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_consecutive_days_resident_in_facility: 30
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_general_medical_and_surgical_hospital: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_long_term_care_or_adult_financial_approved_setting: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_meets_program_requirements_for_pna: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_inmate_in_penal_institution: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_unlicensed_or_uncertified_facility: true
+    ? us-co:regulations/9-ccr-2503-5/3.548#input.client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility
+    : false
+  output:
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation: 200
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation: 300
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_first_month_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met: holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_payment_after_pna_reduction: 0
+- name: and_cs_not_found_eligible_and_pna_residence_threshold_not_met
+  period: 2026-01
+  input:
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_has_been_found_eligible_for_and_cs: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_countable_income_other_than_ssi_for_and_cs: 100
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssi_payment_received_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.gross_ssi_payment_amount: 200
+    us-co:regulations/9-ccr-2503-5/3.548#input.ssa_is_recovering_ssi_payment_due_to_overpayment: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_eligibility_determined_on_first_day_of_month: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.fraction_of_month_remaining_at_and_cs_eligibility_determination: 1
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_consecutive_days_resident_in_facility: 29
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_general_medical_and_surgical_hospital: true
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_long_term_care_or_adult_financial_approved_setting: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_meets_program_requirements_for_pna: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_inmate_in_penal_institution: false
+    us-co:regulations/9-ccr-2503-5/3.548#input.client_is_resident_in_unlicensed_or_uncertified_facility: false
+    ? us-co:regulations/9-ccr-2503-5/3.548#input.client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility
+    : true
+  output:
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation: 200
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation: 300
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_first_month_grant_payment: 0
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies: not_holds
+    us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_payment_after_pna_reduction: 0
diff --git a/us-co/regulations/9-ccr-2503-5/3.548.yaml b/us-co/regulations/9-ccr-2503-5/3.548.yaml
new file mode 100644
index 00000000..72a37b47
--- /dev/null
+++ b/us-co/regulations/9-ccr-2503-5/3.548.yaml
@@ -0,0 +1,328 @@
+format: rulespec/v1
+imports:
+- us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_grant_standard
+module:
+  proof_validation:
+    required: true
+  source_verification:
+    corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+  summary: AND-CS grants shall be calculated on an individual basis with just one
+    client per case. The authorized AND-CS grant payment is determined by deducting
+    the client's total countable income from the AND-CS grant standard, with first-month
+    proration when eligibility is determined after the first day of the month. PNA
+    eligibility requires program requirements and at least thirty (30) consecutive
+    days in listed facilities; inmates and residents in unlicensed or uncertified
+    facilities are not eligible for PNA or AND-CS grant payments. The AND-CS PNA maximum
+    is seventy-nine dollars ($79) effective October 1, 2016, and SSI recovery for
+    overpayment uses the gross SSI payment.
+rules:
+- name: and_cs_client_eligible_for_grant_payment
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.548 B, E
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: predicate
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: When a client has been found eligible
+      - path: versions[0].formula
+        kind: exception
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: The following persons are not eligible for a PNA or AND-CS grant
+            payments
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'client_has_been_found_eligible_for_and_cs
+
+      and not client_is_inmate_in_penal_institution
+
+      and not client_is_resident_in_unlicensed_or_uncertified_facility'
+- name: and_cs_counted_ssi_payment_for_grant_calculation
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.548 G
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: AND-CS shall be calculated based on the gross SSI payment and not
+            the received amount.
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'if ssa_is_recovering_ssi_payment_due_to_overpayment: gross_ssi_payment_amount
+      else: ssi_payment_received_amount'
+- name: and_cs_total_countable_income_for_grant_calculation
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.548 B, G
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_counted_ssi_payment_for_grant_calculation
+          output: and_cs_counted_ssi_payment_for_grant_calculation
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: deducting the client's total countable income ... based on the
+            gross SSI payment
+  versions:
+  - effective_from: '2016-10-01'
+    formula: max(0, client_countable_income_other_than_ssi_for_and_cs) + max(0, and_cs_counted_ssi_payment_for_grant_calculation)
+- name: and_cs_authorized_grant_payment
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.548 A, B, E
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.546#and_cs_total_grant_standard
+          output: and_cs_total_grant_standard
+          hash: sha256:a3785d093a214f42b55cfaa9d4bd0e0129a5ccf131d32196a74d6c21deb7c462
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment
+          output: and_cs_client_eligible_for_grant_payment
+          hash: sha256:local
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_total_countable_income_for_grant_calculation
+          output: and_cs_total_countable_income_for_grant_calculation
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: determined by deducting the client's total countable income from
+            the AND-CS grant standard
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'if and_cs_client_eligible_for_grant_payment: max(0, and_cs_total_grant_standard
+      - and_cs_total_countable_income_for_grant_calculation) else: 0'
+- name: and_cs_first_month_grant_payment
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.548 B(1)-(2)
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_client_eligible_for_grant_payment
+          output: and_cs_client_eligible_for_grant_payment
+          hash: sha256:local
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment
+          output: and_cs_authorized_grant_payment
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: If determined eligible on any other day of the month, the client's
+            first month grant payment shall be prorated according to the number of
+            days remaining in the month
+  versions:
+  - effective_from: '2016-10-01'
+    formula: "if not and_cs_client_eligible_for_grant_payment:\n  0\nelse:\n  if client_eligibility_determined_on_first_day_of_month:\n\
+      \    and_cs_authorized_grant_payment\n  else:\n    and_cs_authorized_grant_payment\
+      \ * fraction_of_month_remaining_at_and_cs_eligibility_determination"
+- name: and_cs_pna_minimum_consecutive_facility_residence_days
+  kind: parameter
+  dtype: Count
+  source: 9 CCR 2503-5 3.548 D
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].formula
+        kind: parameter
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: at least thirty (30) consecutive days
+  versions:
+  - effective_from: '2016-10-01'
+    formula: '30'
+- name: and_cs_facility_residence_condition_met
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.548 D
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_minimum_consecutive_facility_residence_days
+          output: and_cs_pna_minimum_consecutive_facility_residence_days
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: predicate
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: resident of a facility for at least thirty (30) consecutive days
+            ... In a general medical and surgical hospital ... In a nursing home ...
+            or Adult Financial approved setting.
+  versions:
+  - effective_from: '2016-10-01'
+    formula: "client_consecutive_days_resident_in_facility >= and_cs_pna_minimum_consecutive_facility_residence_days\n\
+      and (\n  client_is_resident_in_general_medical_and_surgical_hospital\n  or client_is_resident_in_long_term_care_or_adult_financial_approved_setting\n\
+      )"
+- name: and_cs_pna_eligible_for_month
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.548 D, E
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_facility_residence_condition_met
+          output: and_cs_facility_residence_condition_met
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: predicate
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: eligible for a monthly Personal Needs Allowance (PNA) when program
+            requirements are met
+      - path: versions[0].formula
+        kind: exception
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: Inmates in a penal institution; or, Residents in an unlicensed
+            private or uncertified public facility.
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'client_meets_program_requirements_for_pna
+
+      and and_cs_facility_residence_condition_met
+
+      and not client_is_inmate_in_penal_institution
+
+      and not client_is_resident_in_unlicensed_or_uncertified_facility'
+- name: and_cs_pna_maximum_monthly_amount
+  kind: parameter
+  dtype: Money
+  unit: USD
+  source: 9 CCR 2503-5 3.548 F
+  metadata:
+    proof:
+      atoms:
+      - path: versions[0].effective_from
+        kind: effective_period
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: effective October 1, 2016
+      - path: versions[0].formula
+        kind: amount
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: Personal Needs Allowance maximum shall be seventy-nine dollars
+            ($79)
+  versions:
+  - effective_from: '2016-10-01'
+    formula: '79'
+- name: and_cs_grant_reduction_to_pna_applies
+  kind: derived
+  entity: Person
+  dtype: Judgment
+  period: Month
+  source: 9 CCR 2503-5 3.548 F
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_eligible_for_month
+          output: and_cs_pna_eligible_for_month
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: ordering
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: The AND-CS grant shall not be reduced until the month following
+            the first full calendar month that the client is a resident in an approved
+            facility.
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'and_cs_pna_eligible_for_month
+
+      and client_is_in_month_following_first_full_calendar_month_resident_in_approved_facility'
+- name: and_cs_grant_payment_after_pna_reduction
+  kind: derived
+  entity: Person
+  dtype: Money
+  period: Month
+  unit: USD
+  source: 9 CCR 2503-5 3.548 F
+  metadata:
+    proof:
+      atoms:
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_grant_reduction_to_pna_applies
+          output: and_cs_grant_reduction_to_pna_applies
+          hash: sha256:local
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_authorized_grant_payment
+          output: and_cs_authorized_grant_payment
+          hash: sha256:local
+      - kind: import
+        path: versions[0].formula
+        import:
+          target: us-co:regulations/9-ccr-2503-5/3.548#and_cs_pna_maximum_monthly_amount
+          output: and_cs_pna_maximum_monthly_amount
+          hash: sha256:local
+      - path: versions[0].formula
+        kind: formula
+        source:
+          corpus_citation_path: us-co/regulation/9-ccr-2503-5/3.548
+          excerpt: Personal Needs Allowance maximum shall be seventy-nine dollars
+            ($79) ... grant shall not be reduced until the month following the first
+            full calendar month
+  versions:
+  - effective_from: '2016-10-01'
+    formula: 'if and_cs_grant_reduction_to_pna_applies: min(and_cs_authorized_grant_payment,
+      and_cs_pna_maximum_monthly_amount) else: and_cs_authorized_grant_payment'