loading…

us-co/regulation/10-ccr-2506-1/4.703 — CALCULATING LOST BENEFITS · Axiom

CALCULATING LOST BENEFITS

6 rules

After correcting the loss for future months and excluding those months which occurred prior to the twelve

(12) month restriction, the following method will be used to calculate the amount of benefits to be restored: A. If the household was eligible but received an incorrect allotment, the loss of benefits shall be calculated only for those months the household participated. If the loss was caused by an incorrect delay, denial, or termination of benefits, the month the loss initially occurred will be calculated as follows: 1. If an eligible household's application was erroneously denied, the month the loss initially occurred shall be the month of application or for an eligible household filing a timely reapplication, the first month of the new certification period. 2. If an eligible household's application was delayed, the months for which benefits may be lost shall be calculated. 3. If a household's benefits were erroneously terminated, the month the loss initially occurred shall be the first month benefits were not received as a result of the erroneous action. B. After computing the date the loss initially occurred, the loss shall be calculated for each month subsequent to that date until either the first month the error is corrected or the first month the household is found ineligible, not to exceed twelve (12) months prior to the date the loss was discovered.

in view

Whole section

Encodings · 6

restored_benefit_lookback_month_limitCO reg. 4.703 · parameter

10 CCR 2506-1 section 4.703(B)

name: restored_benefit_lookback_month_limit
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.703(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
          excerpt: >-
            not to exceed twelve (12) months prior to the date the loss was
            discovered
versions:
  - effective_from: '2025-10-01'
    formula: '12'

erroneous_denial_initial_loss_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(1)

name: erroneous_denial_initial_loss_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_eligible
      and eligible_household_application_erroneously_denied
      and (
          month_is_household_month_of_application
          or (
              eligible_household_filed_timely_reapplication
              and month_is_first_month_of_new_certification_period
          )
      )

delayed_application_benefits_lost_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(2)

name: delayed_application_benefits_lost_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_eligible
      and eligible_household_application_delayed
      and month_is_month_for_which_benefits_may_be_lost_due_to_delay

erroneous_termination_initial_loss_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(3)

name: erroneous_termination_initial_loss_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_benefits_erroneously_terminated
      and month_is_first_month_benefits_not_received_due_to_erroneous_action

month_within_restored_benefit_loss_calculation_periodCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(B)

name: month_within_restored_benefit_loss_calculation_period
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.703#restored_benefit_lookback_month_limit
          output: restored_benefit_lookback_month_limit
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      month_is_on_or_after_computed_initial_loss_month

      and month_is_before_first_month_error_is_corrected

      and month_is_before_first_month_household_found_ineligible

      and months_before_loss_discovery_date <=
      restored_benefit_lookback_month_limit

restored_benefit_loss_amount_for_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)-(B)

name: restored_benefit_loss_amount_for_month
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.703(A)-(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.703#month_within_restored_benefit_loss_calculation_period
          output: month_within_restored_benefit_loss_calculation_period
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      if not month_within_restored_benefit_loss_calculation_period: 0 else: if
      household_was_eligible_but_received_incorrect_allotment: if
      household_participated_in_month: max(0,
      correct_benefit_allotment_for_month -
      benefit_allotment_received_for_month) else: 0 else: max(0,
      benefits_household_should_have_received_for_month -
      benefits_household_received_for_month)

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

restored_benefit_lookback_month_limit

Parameter

source: 10 CCR 2506-1 section 4.703(B)

- name: restored_benefit_lookback_month_limit
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.703(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
            excerpt: not to exceed twelve (12) months prior to the date the loss was discovered
  versions:
    - effective_from: '2025-10-01'
      formula: '12'

erroneous_denial_initial_loss_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(1)

- name: erroneous_denial_initial_loss_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_eligible
        and eligible_household_application_erroneously_denied
        and (
            month_is_household_month_of_application
            or (
                eligible_household_filed_timely_reapplication
                and month_is_first_month_of_new_certification_period
            )
        )

delayed_application_benefits_lost_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(2)

- name: delayed_application_benefits_lost_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_eligible
        and eligible_household_application_delayed
        and month_is_month_for_which_benefits_may_be_lost_due_to_delay

erroneous_termination_initial_loss_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(3)

- name: erroneous_termination_initial_loss_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_benefits_erroneously_terminated
        and month_is_first_month_benefits_not_received_due_to_erroneous_action

month_within_restored_benefit_loss_calculation_period

Derived

source: 10 CCR 2506-1 section 4.703(B)

- name: month_within_restored_benefit_loss_calculation_period
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.703#restored_benefit_lookback_month_limit
            output: restored_benefit_lookback_month_limit
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        month_is_on_or_after_computed_initial_loss_month
        and month_is_before_first_month_error_is_corrected
        and month_is_before_first_month_household_found_ineligible
        and months_before_loss_discovery_date <= restored_benefit_lookback_month_limit

restored_benefit_loss_amount_for_month

Derived

source: 10 CCR 2506-1 section 4.703(A)-(B)

- name: restored_benefit_loss_amount_for_month
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)-(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.703#month_within_restored_benefit_loss_calculation_period
            output: month_within_restored_benefit_loss_calculation_period
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        if not month_within_restored_benefit_loss_calculation_period: 0 else: if
        household_was_eligible_but_received_incorrect_allotment: if household_participated_in_month:
        max(0, correct_benefit_allotment_for_month - benefit_allotment_received_for_month) else: 0
        else: max(0, benefits_household_should_have_received_for_month -
        benefits_household_received_for_month)

loading…

CALCULATING LOST BENEFITS

6 rules

Official source

graph ↗build calculator ↗

After correcting the loss for future months and excluding those months which occurred prior to the twelve

in view

Whole section

Encodings · 6

restored_benefit_lookback_month_limitCO reg. 4.703 · parameter

10 CCR 2506-1 section 4.703(B)

name: restored_benefit_lookback_month_limit
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.703(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
          excerpt: >-
            not to exceed twelve (12) months prior to the date the loss was
            discovered
versions:
  - effective_from: '2025-10-01'
    formula: '12'

erroneous_denial_initial_loss_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(1)

name: erroneous_denial_initial_loss_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_eligible
      and eligible_household_application_erroneously_denied
      and (
          month_is_household_month_of_application
          or (
              eligible_household_filed_timely_reapplication
              and month_is_first_month_of_new_certification_period
          )
      )

delayed_application_benefits_lost_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(2)

name: delayed_application_benefits_lost_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_eligible
      and eligible_household_application_delayed
      and month_is_month_for_which_benefits_may_be_lost_due_to_delay

erroneous_termination_initial_loss_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)(3)

name: erroneous_termination_initial_loss_month
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(A)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
versions:
  - effective_from: '2025-10-01'
    formula: |-
      household_benefits_erroneously_terminated
      and month_is_first_month_benefits_not_received_due_to_erroneous_action

month_within_restored_benefit_loss_calculation_periodCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(B)

name: month_within_restored_benefit_loss_calculation_period
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.703(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.703#restored_benefit_lookback_month_limit
          output: restored_benefit_lookback_month_limit
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      month_is_on_or_after_computed_initial_loss_month

      and month_is_before_first_month_error_is_corrected

      and month_is_before_first_month_household_found_ineligible

      and months_before_loss_discovery_date <=
      restored_benefit_lookback_month_limit

restored_benefit_loss_amount_for_monthCO reg. 4.703 · derived

10 CCR 2506-1 section 4.703(A)-(B)

name: restored_benefit_loss_amount_for_month
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.703(A)-(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.703#month_within_restored_benefit_loss_calculation_period
          output: month_within_restored_benefit_loss_calculation_period
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      if not month_within_restored_benefit_loss_calculation_period: 0 else: if
      household_was_eligible_but_received_incorrect_allotment: if
      household_participated_in_month: max(0,
      correct_benefit_allotment_for_month -
      benefit_allotment_received_for_month) else: 0 else: max(0,
      benefits_household_should_have_received_for_month -
      benefits_household_received_for_month)

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

restored_benefit_lookback_month_limit

Parameter

source: 10 CCR 2506-1 section 4.703(B)

- name: restored_benefit_lookback_month_limit
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.703(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
            excerpt: not to exceed twelve (12) months prior to the date the loss was discovered
  versions:
    - effective_from: '2025-10-01'
      formula: '12'

erroneous_denial_initial_loss_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(1)

- name: erroneous_denial_initial_loss_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_eligible
        and eligible_household_application_erroneously_denied
        and (
            month_is_household_month_of_application
            or (
                eligible_household_filed_timely_reapplication
                and month_is_first_month_of_new_certification_period
            )
        )

delayed_application_benefits_lost_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(2)

- name: delayed_application_benefits_lost_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_eligible
        and eligible_household_application_delayed
        and month_is_month_for_which_benefits_may_be_lost_due_to_delay

erroneous_termination_initial_loss_month

Derived

source: 10 CCR 2506-1 section 4.703(A)(3)

- name: erroneous_termination_initial_loss_month
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        household_benefits_erroneously_terminated
        and month_is_first_month_benefits_not_received_due_to_erroneous_action

month_within_restored_benefit_loss_calculation_period

Derived

source: 10 CCR 2506-1 section 4.703(B)

- name: month_within_restored_benefit_loss_calculation_period
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.703(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.703#restored_benefit_lookback_month_limit
            output: restored_benefit_lookback_month_limit
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        month_is_on_or_after_computed_initial_loss_month
        and month_is_before_first_month_error_is_corrected
        and month_is_before_first_month_household_found_ineligible
        and months_before_loss_discovery_date <= restored_benefit_lookback_month_limit

restored_benefit_loss_amount_for_month

Derived

source: 10 CCR 2506-1 section 4.703(A)-(B)

- name: restored_benefit_loss_amount_for_month
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.703(A)-(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.703
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.703#month_within_restored_benefit_loss_calculation_period
            output: month_within_restored_benefit_loss_calculation_period
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        if not month_within_restored_benefit_loss_calculation_period: 0 else: if
        household_was_eligible_but_received_incorrect_allotment: if household_participated_in_month:
        max(0, correct_benefit_allotment_for_month - benefit_allotment_received_for_month) else: 0
        else: max(0, benefits_household_should_have_received_for_month -
        benefits_household_received_for_month)