loading…

us-co/regulation/10-ccr-2506-1/4.307 — STRIKER ELIGIBILITY · Axiom

STRIKER ELIGIBILITY

4 rules

A. Households containing a striking member, as defined in section 4.000.1, shall not be eligible for SNAP unless the household was eligible for the Program the day before the strike and are otherwise eligible at time of the strike. Households where the striking member was exempt from work registration the day before the strike shall not be subject to these provisions and shall be certified if otherwise eligible unless the exemption was based on the employment. B. Pre-strike eligibility is determined by considering the day prior to the strike as the day of application and assuming the strike was not occurring. Eligibility at the time of application shall be determined by comparing the striking member's income as of the day before the strike to the striking member's current income and adding the higher of the two (2) to the current income of the non-striking household members during the month of application. The higher income will be used in determining benefits.

in view

Whole section

Encodings · 4

striking_member_household_snap_eligibleCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(A)

name: striking_member_household_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not household_contains_striking_member)
      or (
          striking_member_exempt_from_work_registration_day_before_strike
          and not striking_member_work_registration_exemption_based_on_employment
          and household_otherwise_eligible
      )
      or (
          household_eligible_for_snap_day_before_strike
          and household_otherwise_eligible_at_time_of_strike
      )

pre_strike_eligibility_determined_under_strike_assumptionsCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: pre_strike_eligibility_determined_under_strike_assumptions
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
versions:
  - effective_from: '2025-10-01'
    formula: |-
      pre_strike_eligibility_considers_day_prior_to_strike_as_application_day
      and pre_strike_eligibility_assumes_strike_was_not_occurring

striking_member_income_used_for_application_monthCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: striking_member_income_used_for_application_month
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
          excerpt: >-
            comparing the striking member's income as of the day before the
            strike to the striking member's current income and adding the higher
            of the two
versions:
  - effective_from: '2025-10-01'
    formula: >-
      max(striking_member_income_day_before_strike,
      striking_member_current_income)

striking_household_income_used_for_benefitsCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: striking_household_income_used_for_benefits
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.307#striking_member_income_used_for_application_month
          output: striking_member_income_used_for_application_month
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      striking_member_income_used_for_application_month +
      current_income_of_non_striking_household_members_during_application_month

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

striking_member_household_snap_eligible

Derived

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

- name: striking_member_household_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not household_contains_striking_member)
        or (
            striking_member_exempt_from_work_registration_day_before_strike
            and not striking_member_work_registration_exemption_based_on_employment
            and household_otherwise_eligible
        )
        or (
            household_eligible_for_snap_day_before_strike
            and household_otherwise_eligible_at_time_of_strike
        )

pre_strike_eligibility_determined_under_strike_assumptions

Derived

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

- name: pre_strike_eligibility_determined_under_strike_assumptions
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        pre_strike_eligibility_considers_day_prior_to_strike_as_application_day
        and pre_strike_eligibility_assumes_strike_was_not_occurring

striking_member_income_used_for_application_month

Derived

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

- name: striking_member_income_used_for_application_month
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
            excerpt: >-
              comparing the striking member's income as of the day before the strike to the striking
              member's current income and adding the higher of the two
  versions:
    - effective_from: '2025-10-01'
      formula: max(striking_member_income_day_before_strike, striking_member_current_income)

striking_household_income_used_for_benefits

Derived

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

- name: striking_household_income_used_for_benefits
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.307#striking_member_income_used_for_application_month
            output: striking_member_income_used_for_application_month
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        striking_member_income_used_for_application_month +
        current_income_of_non_striking_household_members_during_application_month

▸citations (1)

References

This rule cites 1 other rule.

CO reg. 4.000.1inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.000.1

loading…

STRIKER ELIGIBILITY

4 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 4

striking_member_household_snap_eligibleCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(A)

name: striking_member_household_snap_eligible
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not household_contains_striking_member)
      or (
          striking_member_exempt_from_work_registration_day_before_strike
          and not striking_member_work_registration_exemption_based_on_employment
          and household_otherwise_eligible
      )
      or (
          household_eligible_for_snap_day_before_strike
          and household_otherwise_eligible_at_time_of_strike
      )

pre_strike_eligibility_determined_under_strike_assumptionsCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: pre_strike_eligibility_determined_under_strike_assumptions
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
versions:
  - effective_from: '2025-10-01'
    formula: |-
      pre_strike_eligibility_considers_day_prior_to_strike_as_application_day
      and pre_strike_eligibility_assumes_strike_was_not_occurring

striking_member_income_used_for_application_monthCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: striking_member_income_used_for_application_month
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
          excerpt: >-
            comparing the striking member's income as of the day before the
            strike to the striking member's current income and adding the higher
            of the two
versions:
  - effective_from: '2025-10-01'
    formula: >-
      max(striking_member_income_day_before_strike,
      striking_member_current_income)

striking_household_income_used_for_benefitsCO reg. 4.307 · derived

10 CCR 2506-1 section 4.307(B)

name: striking_household_income_used_for_benefits
kind: derived
entity: Household
dtype: Money
unit: USD
period: Month
source: 10 CCR 2506-1 section 4.307(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.307#striking_member_income_used_for_application_month
          output: striking_member_income_used_for_application_month
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: >-
      striking_member_income_used_for_application_month +
      current_income_of_non_striking_household_members_during_application_month

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

striking_member_household_snap_eligible

Derived

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

- name: striking_member_household_snap_eligible
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not household_contains_striking_member)
        or (
            striking_member_exempt_from_work_registration_day_before_strike
            and not striking_member_work_registration_exemption_based_on_employment
            and household_otherwise_eligible
        )
        or (
            household_eligible_for_snap_day_before_strike
            and household_otherwise_eligible_at_time_of_strike
        )

pre_strike_eligibility_determined_under_strike_assumptions

Derived

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

- name: pre_strike_eligibility_determined_under_strike_assumptions
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        pre_strike_eligibility_considers_day_prior_to_strike_as_application_day
        and pre_strike_eligibility_assumes_strike_was_not_occurring

striking_member_income_used_for_application_month

Derived

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

- name: striking_member_income_used_for_application_month
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
            excerpt: >-
              comparing the striking member's income as of the day before the strike to the striking
              member's current income and adding the higher of the two
  versions:
    - effective_from: '2025-10-01'
      formula: max(striking_member_income_day_before_strike, striking_member_current_income)

striking_household_income_used_for_benefits

Derived

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

- name: striking_household_income_used_for_benefits
  kind: derived
  entity: Household
  dtype: Money
  unit: USD
  period: Month
  source: 10 CCR 2506-1 section 4.307(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.307
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.307#striking_member_income_used_for_application_month
            output: striking_member_income_used_for_application_month
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        striking_member_income_used_for_application_month +
        current_income_of_non_striking_household_members_during_application_month

▸citations (1)

References

This rule cites 1 other rule.

CO reg. 4.000.1inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.000.1