us-co/regulation/10-ccr-2506-1/4.304.3 — Optional Household Members

loading…

us-co/regulation/10-ccr-2506-1/4.304.3 — Optional Household Members · Axiom

The following individuals residing with a household shall not be considered household members in determining the household's eligibility or allotment, unless otherwise stated: A. Persons aged sixty (60) and older experiencing a disability who live with others whose income does not exceed 165% Federal Poverty Level (FPL). 1. Persons aged sixty (60) and older who are also persons with disabilities who are unable to purchase and prepare their own meals and are residing with other individuals whose income does not exceed 165% of the FPL can be in a separate household. 2. When applying the 165% limit test, a person aged sixty (60) and older with disabilities’ spouse is not to be considered a member of the household unless the spouse is the person purchasing and preparing meals. If the spouse is not a member of the household, the spouse’s income and resources are excluded in calculating the household’s eligibility. B. Foster children 1. If a foster parent chooses not to include a foster child in their SNAP household, the foster child not included will not have their income, resources/assets, or needs included in the eligibility determination for the SNAP household. 2. If the foster parent chooses to include the foster child in their SNAP household, the foster child's income, and resources/assets, as well as their needs, are considered in the eligibility determination. 3. The foster child, including a child and/or spouse of the foster child, may not apply for benefits separately from the foster family unless they are over eighteen (18) and no longer under the parental control of the foster parents. C. Boarders 1. Boarders are only considered members of a client’s SNAP household if the household requests that they be considered household members. 2. If a boarder is not considered a SNAP household member, the boarder’s income and resources shall not be considered available to the household. A. The amount of payment that a boarder gives to a household for lodging and meals shall be treated as self-employment income to the SNAP household. 3. If the SNAP household requests to include the boarder as a household member, the boarder's income and resources/assets shall be considered available to the SNAP household and used in determining eligibility and allotment. 4. Persons who only work and provide no monetary compensation in exchange for meals or who make payments to a third party on the household’s behalf in exchange for meals would not be classified as boarders. 5. Boarder status shall not be granted to individuals paying less than a reasonable monthly payment for meals. An individual not paying a reasonable monthly payment for meals will be considered a member of the household which provides the meals and lodging. A. A reasonable monthly payment is one of the following: 1) Boarders, whose board arrangement is for more than two (2) meals per day, shall pay an amount that equals or exceeds the maximum SNAP allotment for the number of persons in the boarder SNAP household. 2) Boarders, whose board arrangement is for two (2) meals or fewer per day, shall pay an amount that equals or exceeds two-thirds of the maximum allotment for the number of persons in the boarder household. B. When the boarder's payments for a room are distinguishable from their payments for meals, only the amount paid for meals will be considered in determining if reasonable compensation is being paid for meals.

in view

Whole section

Encodings · 18

elderly_disabled_separate_household_age_minimumCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(A)

name: elderly_disabled_separate_household_age_minimum
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.304.3(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: Persons aged sixty (60) and older
versions:
  - effective_from: '2025-10-01'
    formula: '60'

elderly_disabled_co_resident_income_fpl_limitCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(A)

name: elderly_disabled_co_resident_income_fpl_limit
kind: parameter
dtype: Rate
source: 10 CCR 2506-1 section 4.304.3(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: income does not exceed 165% Federal Poverty Level (FPL)
versions:
  - effective_from: '2025-10-01'
    formula: '1.65'

foster_child_separate_application_age_minimumCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(B)(3)

name: foster_child_separate_application_age_minimum
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.304.3(B)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: unless they are over eighteen (18)
versions:
  - effective_from: '2025-10-01'
    formula: '18'

boarder_more_than_two_meals_daily_thresholdCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(C)(5)(A)(1)

name: boarder_more_than_two_meals_daily_threshold
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: more than two (2) meals per day
versions:
  - effective_from: '2025-10-01'
    formula: '2'

boarder_two_or_fewer_meals_daily_thresholdCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)

name: boarder_two_or_fewer_meals_daily_threshold
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: two (2) meals or fewer per day
versions:
  - effective_from: '2025-10-01'
    formula: '2'

boarder_two_or_fewer_meals_allotment_fractionCO reg. 4.304.3 · parameter

10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)

name: boarder_two_or_fewer_meals_allotment_fraction
kind: parameter
dtype: Rate
source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
          excerpt: two-thirds of the maximum allotment
versions:
  - effective_from: '2025-10-01'
    formula: 2 / 3

elderly_disabled_person_may_be_separate_householdCO reg. 4.304.3 · derived

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

name: elderly_disabled_person_may_be_separate_household
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(A)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#elderly_disabled_separate_household_age_minimum
          output: elderly_disabled_separate_household_age_minimum
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#elderly_disabled_co_resident_income_fpl_limit
          output: elderly_disabled_co_resident_income_fpl_limit
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_age_years >= elderly_disabled_separate_household_age_minimum

      and person_has_disability

      and person_unable_to_purchase_and_prepare_own_meals

      and person_resides_with_other_individuals

      and co_resident_individuals_income <=
      elderly_disabled_co_resident_income_fpl_limit *
      federal_poverty_level_amount

elderly_disabled_spouse_excluded_from_household_calculationCO reg. 4.304.3 · derived

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

name: elderly_disabled_spouse_excluded_from_household_calculation
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(A)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_spouse_of_elderly_disabled_person
      and not spouse_is_person_purchasing_and_preparing_meals

foster_child_excluded_from_snap_household_determinationCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(B)(1)

name: foster_child_excluded_from_snap_household_determination
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(B)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_is_foster_child

      and foster_parent_chooses_not_to_include_foster_child_in_snap_household

      and
      foster_child_income_resources_assets_and_needs_not_included_in_eligibility_determination

foster_child_included_in_snap_household_determinationCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(B)(2)

name: foster_child_included_in_snap_household_determination
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(B)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_is_foster_child

      and foster_parent_chooses_to_include_foster_child_in_snap_household

      and
      foster_child_income_resources_assets_and_needs_considered_in_eligibility_determination

foster_child_may_apply_separately_from_foster_familyCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(B)(3)

name: foster_child_may_apply_separately_from_foster_family
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(B)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#foster_child_separate_application_age_minimum
          output: foster_child_separate_application_age_minimum
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_foster_child_or_child_or_spouse_of_foster_child
      and person_age_years > foster_child_separate_application_age_minimum
      and not person_under_parental_control_of_foster_parents

boarder_counted_as_snap_household_memberCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(1), (C)(3), (C)(5)

name: boarder_counted_as_snap_household_member
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(1), (C)(3), (C)(5)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_boarder
      and snap_household_requests_to_include_boarder_as_household_member

boarder_income_and_resources_excluded_from_householdCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(2)

name: boarder_income_and_resources_excluded_from_household
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(2)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_boarder
      and not snap_household_requests_to_include_boarder_as_household_member

boarder_payment_treated_as_household_self_employment_incomeCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(2)(A)

name: boarder_payment_treated_as_household_self_employment_income
kind: derived
entity: Person
dtype: Money
period: Month
unit: USD
source: 10 CCR 2506-1 section 4.304.3(C)(2)(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: >-
      if person_is_boarder: boarder_payment_to_household_for_lodging_and_meals
      else: 0

boarder_income_and_resources_counted_for_householdCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(3)

name: boarder_income_and_resources_counted_for_household
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(3)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_is_boarder

      and snap_household_requests_to_include_boarder_as_household_member

      and
      boarder_income_and_resources_assets_considered_available_to_snap_household

person_not_classified_as_boarder_for_nonmonetary_or_third_party_exchangeCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(4)

name: person_not_classified_as_boarder_for_nonmonetary_or_third_party_exchange
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(4)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_only_works_and_provides_no_monetary_compensation_for_meals

      or
      person_makes_payments_to_third_party_on_household_behalf_in_exchange_for_meals

boarder_reasonable_monthly_meal_payment_metCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(5)(A)-(B)

name: boarder_reasonable_monthly_meal_payment_met
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)-(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_more_than_two_meals_daily_threshold
          output: boarder_more_than_two_meals_daily_threshold
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_daily_threshold
          output: boarder_two_or_fewer_meals_daily_threshold
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_allotment_fraction
          output: boarder_two_or_fewer_meals_allotment_fraction
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      person_is_boarder
      and (
          (
              board_arrangement_meals_per_day > boarder_more_than_two_meals_daily_threshold
              and boarder_payment_for_meals >= maximum_snap_allotment_for_boarder_household_size
          )
          or (
              board_arrangement_meals_per_day <= boarder_two_or_fewer_meals_daily_threshold
              and boarder_payment_for_meals >= boarder_two_or_fewer_meals_allotment_fraction * maximum_snap_allotment_for_boarder_household_size
          )
      )

individual_paying_less_than_reasonable_boarder_payment_counted_as_household_memberCO reg. 4.304.3 · derived

10 CCR 2506-1 section 4.304.3(C)(5)

name: >-
  individual_paying_less_than_reasonable_boarder_payment_counted_as_household_member
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.304.3(C)(5)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_more_than_two_meals_daily_threshold
          output: boarder_more_than_two_meals_daily_threshold
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_daily_threshold
          output: boarder_two_or_fewer_meals_daily_threshold
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_allotment_fraction
          output: boarder_two_or_fewer_meals_allotment_fraction
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      person_receives_meals_and_lodging_from_household

      and not person_only_works_and_provides_no_monetary_compensation_for_meals

      and not
      person_makes_payments_to_third_party_on_household_behalf_in_exchange_for_meals

      and (
          (
              board_arrangement_meals_per_day > boarder_more_than_two_meals_daily_threshold
              and boarder_payment_for_meals < maximum_snap_allotment_for_boarder_household_size
          )
          or (
              board_arrangement_meals_per_day <= boarder_two_or_fewer_meals_daily_threshold
              and boarder_payment_for_meals < boarder_two_or_fewer_meals_allotment_fraction * maximum_snap_allotment_for_boarder_household_size
          )
      )

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

elderly_disabled_separate_household_age_minimum

Parameter

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

- name: elderly_disabled_separate_household_age_minimum
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.304.3(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: Persons aged sixty (60) and older
  versions:
    - effective_from: '2025-10-01'
      formula: '60'

elderly_disabled_co_resident_income_fpl_limit

Parameter

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

- name: elderly_disabled_co_resident_income_fpl_limit
  kind: parameter
  dtype: Rate
  source: 10 CCR 2506-1 section 4.304.3(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: income does not exceed 165% Federal Poverty Level (FPL)
  versions:
    - effective_from: '2025-10-01'
      formula: '1.65'

foster_child_separate_application_age_minimum

Parameter

source: 10 CCR 2506-1 section 4.304.3(B)(3)

- name: foster_child_separate_application_age_minimum
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.304.3(B)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: unless they are over eighteen (18)
  versions:
    - effective_from: '2025-10-01'
      formula: '18'

boarder_more_than_two_meals_daily_threshold

Parameter

source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(1)

- name: boarder_more_than_two_meals_daily_threshold
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: more than two (2) meals per day
  versions:
    - effective_from: '2025-10-01'
      formula: '2'

boarder_two_or_fewer_meals_daily_threshold

Parameter

source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)

- name: boarder_two_or_fewer_meals_daily_threshold
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: two (2) meals or fewer per day
  versions:
    - effective_from: '2025-10-01'
      formula: '2'

boarder_two_or_fewer_meals_allotment_fraction

Parameter

source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)

- name: boarder_two_or_fewer_meals_allotment_fraction
  kind: parameter
  dtype: Rate
  source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
            excerpt: two-thirds of the maximum allotment
  versions:
    - effective_from: '2025-10-01'
      formula: 2 / 3

elderly_disabled_person_may_be_separate_household

Derived

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

- name: elderly_disabled_person_may_be_separate_household
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(A)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.304.3#elderly_disabled_separate_household_age_minimum
            output: elderly_disabled_separate_household_age_minimum
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#elderly_disabled_co_resident_income_fpl_limit
            output: elderly_disabled_co_resident_income_fpl_limit
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        person_age_years >= elderly_disabled_separate_household_age_minimum

        and person_has_disability

        and person_unable_to_purchase_and_prepare_own_meals

        and person_resides_with_other_individuals

        and co_resident_individuals_income <= elderly_disabled_co_resident_income_fpl_limit *
        federal_poverty_level_amount

elderly_disabled_spouse_excluded_from_household_calculation

Derived

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

- name: elderly_disabled_spouse_excluded_from_household_calculation
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(A)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_spouse_of_elderly_disabled_person
        and not spouse_is_person_purchasing_and_preparing_meals

foster_child_excluded_from_snap_household_determination

Derived

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

- name: foster_child_excluded_from_snap_household_determination
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(B)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_foster_child
        and foster_parent_chooses_not_to_include_foster_child_in_snap_household
        and foster_child_income_resources_assets_and_needs_not_included_in_eligibility_determination

foster_child_included_in_snap_household_determination

Derived

source: 10 CCR 2506-1 section 4.304.3(B)(2)

- name: foster_child_included_in_snap_household_determination
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(B)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_foster_child
        and foster_parent_chooses_to_include_foster_child_in_snap_household
        and foster_child_income_resources_assets_and_needs_considered_in_eligibility_determination

foster_child_may_apply_separately_from_foster_family

Derived

source: 10 CCR 2506-1 section 4.304.3(B)(3)

- name: foster_child_may_apply_separately_from_foster_family
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(B)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#foster_child_separate_application_age_minimum
            output: foster_child_separate_application_age_minimum
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_foster_child_or_child_or_spouse_of_foster_child
        and person_age_years > foster_child_separate_application_age_minimum
        and not person_under_parental_control_of_foster_parents

boarder_counted_as_snap_household_member

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(1), (C)(3), (C)(5)

- name: boarder_counted_as_snap_household_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(1), (C)(3), (C)(5)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_boarder
        and snap_household_requests_to_include_boarder_as_household_member

boarder_income_and_resources_excluded_from_household

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(2)

- name: boarder_income_and_resources_excluded_from_household
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_boarder
        and not snap_household_requests_to_include_boarder_as_household_member

boarder_payment_treated_as_household_self_employment_income

Derived

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

- name: boarder_payment_treated_as_household_self_employment_income
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 10 CCR 2506-1 section 4.304.3(C)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: 'if person_is_boarder: boarder_payment_to_household_for_lodging_and_meals else: 0'

boarder_income_and_resources_counted_for_household

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(3)

- name: boarder_income_and_resources_counted_for_household
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_boarder
        and snap_household_requests_to_include_boarder_as_household_member
        and boarder_income_and_resources_assets_considered_available_to_snap_household

person_not_classified_as_boarder_for_nonmonetary_or_third_party_exchange

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(4)

- name: person_not_classified_as_boarder_for_nonmonetary_or_third_party_exchange
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(4)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_only_works_and_provides_no_monetary_compensation_for_meals
        or person_makes_payments_to_third_party_on_household_behalf_in_exchange_for_meals

boarder_reasonable_monthly_meal_payment_met

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)-(B)

- name: boarder_reasonable_monthly_meal_payment_met
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(5)(A)-(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_more_than_two_meals_daily_threshold
            output: boarder_more_than_two_meals_daily_threshold
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_daily_threshold
            output: boarder_two_or_fewer_meals_daily_threshold
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_allotment_fraction
            output: boarder_two_or_fewer_meals_allotment_fraction
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_is_boarder
        and (
            (
                board_arrangement_meals_per_day > boarder_more_than_two_meals_daily_threshold
                and boarder_payment_for_meals >= maximum_snap_allotment_for_boarder_household_size
            )
            or (
                board_arrangement_meals_per_day <= boarder_two_or_fewer_meals_daily_threshold
                and boarder_payment_for_meals >= boarder_two_or_fewer_meals_allotment_fraction * maximum_snap_allotment_for_boarder_household_size
            )
        )

individual_paying_less_than_reasonable_boarder_payment_counted_as_household_member

Derived

source: 10 CCR 2506-1 section 4.304.3(C)(5)

- name: individual_paying_less_than_reasonable_boarder_payment_counted_as_household_member
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.304.3(C)(5)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.304.3
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_more_than_two_meals_daily_threshold
            output: boarder_more_than_two_meals_daily_threshold
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_daily_threshold
            output: boarder_two_or_fewer_meals_daily_threshold
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us-co:regulations/10-ccr-2506-1/4.304.3#boarder_two_or_fewer_meals_allotment_fraction
            output: boarder_two_or_fewer_meals_allotment_fraction
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        person_receives_meals_and_lodging_from_household
        and not person_only_works_and_provides_no_monetary_compensation_for_meals
        and not person_makes_payments_to_third_party_on_household_behalf_in_exchange_for_meals
        and (
            (
                board_arrangement_meals_per_day > boarder_more_than_two_meals_daily_threshold
                and boarder_payment_for_meals < maximum_snap_allotment_for_boarder_household_size
            )
            or (
                board_arrangement_meals_per_day <= boarder_two_or_fewer_meals_daily_threshold
                and boarder_payment_for_meals < boarder_two_or_fewer_meals_allotment_fraction * maximum_snap_allotment_for_boarder_household_size
            )
        )