loading…

us-co/regulation/10-ccr-2506-1/4.709 — COLORADO ELECTRONIC BENEFIT TRANSFER SYSTEM (CO/EBTS) AND PROCESSING · Axiom

COLORADO ELECTRONIC BENEFIT TRANSFER SYSTEM (CO/EBTS) AND PROCESSING

6 rules

CO/EBTS shall maintain a composite of data for all certified households and provide complete information on participating households for review sampling purposes, statistical summary, and reporting requirements. The automated system is a direct-access system that allows online issuance access to the master issuance file. The automated system provides for an online issuance system. CO/EBTS will provide access to SNAP benefits by issuing a plastic debit card to clients receiving SNAP and/or PA benefits. The overall rules for CO/EBTS are in the Colorado Department of Human Services Special Projects rule manual at 12 CCR 2512-2. Eligibility determinations in the automated system will be processed nightly to make SNAP benefits available the following day for initial certification. Ongoing cases will have benefits posted during a ten

(10) calendar day cycle with the Social Security Number (SSN) as the basis. The ending number of the SSN will indicate the date for the posting of benefits. An SSN ending with one (1) will be posted on the first day of the month, two (2) on the second day of the month, etc. AN SSN ending with zero (0) will be posted on the tenth (10th) day of the month.

in view

Whole section

Encodings · 6

ongoing_benefit_posting_cycle_calendar_day_countCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ongoing_benefit_posting_cycle_calendar_day_count
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: during a ten (10) calendar day cycle
versions:
  - effective_from: '2025-10-01'
    formula: '10'

ssn_zero_ending_digitCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ssn_zero_ending_digit
kind: parameter
dtype: Integer
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: SSN ending with zero (0)
versions:
  - effective_from: '2025-10-01'
    formula: '0'

ssn_zero_ending_posting_calendar_dayCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ssn_zero_ending_posting_calendar_day
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: >-
            SSN ending with zero (0) will be posted on the tenth (10th) day of
            the month
versions:
  - effective_from: '2025-10-01'
    formula: '10'

initial_certification_benefits_available_following_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: initial_certification_benefits_available_following_day
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_initial_certification
      and eligibility_determination_processed_nightly_in_automated_system
      and snap_benefits_made_available_following_day

ongoing_case_scheduled_posting_calendar_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: ongoing_case_scheduled_posting_calendar_day
kind: derived
entity: Household
dtype: Count
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
      - path: versions[0].formula
        kind: import
        import:
          target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_digit
          output: ssn_zero_ending_digit
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_posting_calendar_day
          output: ssn_zero_ending_posting_calendar_day
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      if household_ongoing_case:
        if household_ssn_ending_digit == ssn_zero_ending_digit:
          ssn_zero_ending_posting_calendar_day
        else:
          household_ssn_ending_digit
      else:
        0

ongoing_benefits_posted_on_scheduled_cycle_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: ongoing_benefits_posted_on_scheduled_cycle_day
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ongoing_benefit_posting_cycle_calendar_day_count
          output: ongoing_benefit_posting_cycle_calendar_day_count
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ongoing_case_scheduled_posting_calendar_day
          output: ongoing_case_scheduled_posting_calendar_day
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      household_ongoing_case

      and benefits_posted_calendar_day_of_month ==
      ongoing_case_scheduled_posting_calendar_day

      and benefits_posted_calendar_day_of_month <=
      ongoing_benefit_posting_cycle_calendar_day_count

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.709.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

ongoing_benefit_posting_cycle_calendar_day_count

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ongoing_benefit_posting_cycle_calendar_day_count
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: during a ten (10) calendar day cycle
  versions:
    - effective_from: '2025-10-01'
      formula: '10'

ssn_zero_ending_digit

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ssn_zero_ending_digit
  kind: parameter
  dtype: Integer
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: SSN ending with zero (0)
  versions:
    - effective_from: '2025-10-01'
      formula: '0'

ssn_zero_ending_posting_calendar_day

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ssn_zero_ending_posting_calendar_day
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: SSN ending with zero (0) will be posted on the tenth (10th) day of the month
  versions:
    - effective_from: '2025-10-01'
      formula: '10'

initial_certification_benefits_available_following_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: initial_certification_benefits_available_following_day
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_initial_certification
        and eligibility_determination_processed_nightly_in_automated_system
        and snap_benefits_made_available_following_day

ongoing_case_scheduled_posting_calendar_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: ongoing_case_scheduled_posting_calendar_day
  kind: derived
  entity: Household
  dtype: Count
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_digit
            output: ssn_zero_ending_digit
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_posting_calendar_day
            output: ssn_zero_ending_posting_calendar_day
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        if household_ongoing_case:
          if household_ssn_ending_digit == ssn_zero_ending_digit:
            ssn_zero_ending_posting_calendar_day
          else:
            household_ssn_ending_digit
        else:
          0

ongoing_benefits_posted_on_scheduled_cycle_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: ongoing_benefits_posted_on_scheduled_cycle_day
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ongoing_benefit_posting_cycle_calendar_day_count
            output: ongoing_benefit_posting_cycle_calendar_day_count
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ongoing_case_scheduled_posting_calendar_day
            output: ongoing_case_scheduled_posting_calendar_day
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        household_ongoing_case

        and benefits_posted_calendar_day_of_month == ongoing_case_scheduled_posting_calendar_day

        and benefits_posted_calendar_day_of_month <=
        ongoing_benefit_posting_cycle_calendar_day_count

loading…

COLORADO ELECTRONIC BENEFIT TRANSFER SYSTEM (CO/EBTS) AND PROCESSING

6 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 6

ongoing_benefit_posting_cycle_calendar_day_countCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ongoing_benefit_posting_cycle_calendar_day_count
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: during a ten (10) calendar day cycle
versions:
  - effective_from: '2025-10-01'
    formula: '10'

ssn_zero_ending_digitCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ssn_zero_ending_digit
kind: parameter
dtype: Integer
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: SSN ending with zero (0)
versions:
  - effective_from: '2025-10-01'
    formula: '0'

ssn_zero_ending_posting_calendar_dayCO reg. 4.709 · parameter

10 CCR 2506-1 section 4.709

name: ssn_zero_ending_posting_calendar_day
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
          excerpt: >-
            SSN ending with zero (0) will be posted on the tenth (10th) day of
            the month
versions:
  - effective_from: '2025-10-01'
    formula: '10'

initial_certification_benefits_available_following_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: initial_certification_benefits_available_following_day
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_initial_certification
      and eligibility_determination_processed_nightly_in_automated_system
      and snap_benefits_made_available_following_day

ongoing_case_scheduled_posting_calendar_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: ongoing_case_scheduled_posting_calendar_day
kind: derived
entity: Household
dtype: Count
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
      - path: versions[0].formula
        kind: import
        import:
          target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_digit
          output: ssn_zero_ending_digit
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_posting_calendar_day
          output: ssn_zero_ending_posting_calendar_day
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      if household_ongoing_case:
        if household_ssn_ending_digit == ssn_zero_ending_digit:
          ssn_zero_ending_posting_calendar_day
        else:
          household_ssn_ending_digit
      else:
        0

ongoing_benefits_posted_on_scheduled_cycle_dayCO reg. 4.709 · derived

10 CCR 2506-1 section 4.709

name: ongoing_benefits_posted_on_scheduled_cycle_day
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.709
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ongoing_benefit_posting_cycle_calendar_day_count
          output: ongoing_benefit_posting_cycle_calendar_day_count
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.709#ongoing_case_scheduled_posting_calendar_day
          output: ongoing_case_scheduled_posting_calendar_day
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      household_ongoing_case

      and benefits_posted_calendar_day_of_month ==
      ongoing_case_scheduled_posting_calendar_day

      and benefits_posted_calendar_day_of_month <=
      ongoing_benefit_posting_cycle_calendar_day_count

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.709.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

ongoing_benefit_posting_cycle_calendar_day_count

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ongoing_benefit_posting_cycle_calendar_day_count
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: during a ten (10) calendar day cycle
  versions:
    - effective_from: '2025-10-01'
      formula: '10'

ssn_zero_ending_digit

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ssn_zero_ending_digit
  kind: parameter
  dtype: Integer
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: SSN ending with zero (0)
  versions:
    - effective_from: '2025-10-01'
      formula: '0'

ssn_zero_ending_posting_calendar_day

Parameter

source: 10 CCR 2506-1 section 4.709

- name: ssn_zero_ending_posting_calendar_day
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
            excerpt: SSN ending with zero (0) will be posted on the tenth (10th) day of the month
  versions:
    - effective_from: '2025-10-01'
      formula: '10'

initial_certification_benefits_available_following_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: initial_certification_benefits_available_following_day
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_initial_certification
        and eligibility_determination_processed_nightly_in_automated_system
        and snap_benefits_made_available_following_day

ongoing_case_scheduled_posting_calendar_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: ongoing_case_scheduled_posting_calendar_day
  kind: derived
  entity: Household
  dtype: Count
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_digit
            output: ssn_zero_ending_digit
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ssn_zero_ending_posting_calendar_day
            output: ssn_zero_ending_posting_calendar_day
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        if household_ongoing_case:
          if household_ssn_ending_digit == ssn_zero_ending_digit:
            ssn_zero_ending_posting_calendar_day
          else:
            household_ssn_ending_digit
        else:
          0

ongoing_benefits_posted_on_scheduled_cycle_day

Derived

source: 10 CCR 2506-1 section 4.709

- name: ongoing_benefits_posted_on_scheduled_cycle_day
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.709
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.709
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ongoing_benefit_posting_cycle_calendar_day_count
            output: ongoing_benefit_posting_cycle_calendar_day_count
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.709#ongoing_case_scheduled_posting_calendar_day
            output: ongoing_case_scheduled_posting_calendar_day
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        household_ongoing_case

        and benefits_posted_calendar_day_of_month == ongoing_case_scheduled_posting_calendar_day

        and benefits_posted_calendar_day_of_month <=
        ongoing_benefit_posting_cycle_calendar_day_count