loading…

us-az/manual/des/faa5/na-categorical-eligibility/block-5 — Categorical Eligibility Benefit Calculation · Axiom

Categorical Eligibility Benefit Calculation

8 rules

AZTECS compares the income of an NA basic categorically eligible budgetary unit against the Net Income Standard. Benefits are calculated based on NA income criteria.

AZTECS determines when the gross income of an NA expanded categorically eligible (ECE) budgetary unit exceeds 200% of the current federal poverty level (FPL). When the budgetary unit's gross income exceeds 200% of the current FPL, the budgetary unit is not categorically eligible.

NA categorically eligible budgetary units are eligible for at least the minimum NA allotment.

NOTE NA categorically eligible three or more participant budgetary units are not eligible for at least the minimum NA allotment. These budgetary units must receive the actual amount of benefits.

NA budgetary units with benefits that are reduced to less than the minimum NA allotment, as a result of NA proration, are placed in an eligible no pay status.

in view

Whole section

Encodings · 8

Encoded from this provision

us-az/policy/des/faa5/na-categorical-eligibility/categorical-eligibility-benefit-calculation

basic_categorically_eligible_budgetary_unit_income_within_net_income_standardus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: basic_categorically_eligible_budgetary_unit_income_within_net_income_standard
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            compares the income of an NA basic categorically eligible budgetary
            unit against the Net Income Standard
versions:
  - effective_from: '0001-01-01'
    formula: |-
      budgetary_unit_is_na_basic_categorically_eligible
      and net_income <= net_income_standard_amount

categorically_eligible_budgetary_unit_eligible_for_minimum_allotmentus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: categorically_eligible_budgetary_unit_eligible_for_minimum_allotment
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: eligible for at least the minimum NA allotment
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            three or more participant budgetary units are not eligible for at
            least the minimum NA allotment
versions:
  - effective_from: '0001-01-01'
    formula: >-
      na_categorically_eligible_for_benefit_calculation

      and number_of_participants_in_budgetary_unit <
      minimum_allotment_actual_benefit_participant_cutoff

categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amountus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: >-
  categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: These budgetary units must receive the actual amount of benefits.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      na_categorically_eligible_for_benefit_calculation

      and number_of_participants_in_budgetary_unit >=
      minimum_allotment_actual_benefit_participant_cutoff

eligible_no_pay_status_due_to_na_prorationus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: eligible_no_pay_status_due_to_na_proration
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            benefits that are reduced to less than the minimum NA allotment, as
            a result of NA proration
versions:
  - effective_from: '0001-01-01'
    formula: |-
      benefits_reduced_as_result_of_na_proration
      and prorated_na_benefit_amount < minimum_na_allotment_amount

expanded_categorical_eligibility_blocked_by_gross_income_limitus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: expanded_categorical_eligibility_blocked_by_gross_income_limit
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: gross income exceeds 185% of the current FPL
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-az:policies/des/faa5/na-categorical-eligibility/expanded-categorical-eligibility#expanded_categorical_eligibility_fpl_limit_rate
          output: expanded_categorical_eligibility_fpl_limit_rate
          hash: >-
            sha256:c422e733ca353c9a207bfad53e8e3683e8f1fddf325faa5a82d8336d82022dd0
versions:
  - effective_from: '0001-01-01'
    formula: >-
      budgetary_unit_is_considered_for_na_expanded_categorical_eligibility

      and gross_income > expanded_categorical_eligibility_fpl_limit_rate *
      current_federal_poverty_level_amount

minimum_allotment_actual_benefit_participant_cutoffus-az/manual/des/faa5/na-categorical-eligibility/block-5 · parameter

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: minimum_allotment_actual_benefit_participant_cutoff
kind: parameter
dtype: Count
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: three or more participant budgetary units
versions:
  - effective_from: '0001-01-01'
    formula: '3'

na_benefit_amount_after_categorical_eligibility_minimum_allotment_ruleus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule
kind: derived
entity: Household
dtype: Money
period: Month
unit: USD
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: Benefits are calculated based on NA income criteria.
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: eligible for at least the minimum NA allotment
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: These budgetary units must receive the actual amount of benefits.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      if
      categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount:
      max(0, actual_benefit_amount_based_on_na_income_criteria) else: if
      categorically_eligible_budgetary_unit_eligible_for_minimum_allotment:
      max(max(0, actual_benefit_amount_based_on_na_income_criteria),
      minimum_na_allotment_amount) else: max(0,
      actual_benefit_amount_based_on_na_income_criteria)

na_categorically_eligible_for_benefit_calculationus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: na_categorically_eligible_for_benefit_calculation
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            When the budgetary unit's gross income exceeds 185% of the current
            FPL, the budgetary unit is not categorically eligible.
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: NA categorically eligible budgetary units
versions:
  - effective_from: '0001-01-01'
    formula: |-
      budgetary_unit_is_na_basic_categorically_eligible
      or (
        budgetary_unit_is_considered_for_na_expanded_categorical_eligibility
        and not expanded_categorical_eligibility_blocked_by_gross_income_limit
      )

▸rulespec code

Shown source

policies/des/faa5/na-categorical-eligibility

Displaying the canonical repository encoding.

View on GitHub

Rules

basic_categorically_eligible_budgetary_unit_income_within_net_income_standard

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: basic_categorically_eligible_budgetary_unit_income_within_net_income_standard
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              compares the income of an NA basic categorically eligible budgetary unit against the
              Net Income Standard
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        budgetary_unit_is_na_basic_categorically_eligible
        and net_income <= net_income_standard_amount

categorically_eligible_budgetary_unit_eligible_for_minimum_allotment

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: categorically_eligible_budgetary_unit_eligible_for_minimum_allotment
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: eligible for at least the minimum NA allotment
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              three or more participant budgetary units are not eligible for at least the minimum NA
              allotment
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        na_categorically_eligible_for_benefit_calculation

        and number_of_participants_in_budgetary_unit <
        minimum_allotment_actual_benefit_participant_cutoff

categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: These budgetary units must receive the actual amount of benefits.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        na_categorically_eligible_for_benefit_calculation

        and number_of_participants_in_budgetary_unit >=
        minimum_allotment_actual_benefit_participant_cutoff

eligible_no_pay_status_due_to_na_proration

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: eligible_no_pay_status_due_to_na_proration
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              benefits that are reduced to less than the minimum NA allotment, as a result of NA
              proration
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        benefits_reduced_as_result_of_na_proration
        and prorated_na_benefit_amount < minimum_na_allotment_amount

expanded_categorical_eligibility_blocked_by_gross_income_limit

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: expanded_categorical_eligibility_blocked_by_gross_income_limit
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: gross income exceeds 185% of the current FPL
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-az:policies/des/faa5/na-categorical-eligibility/expanded-categorical-eligibility#expanded_categorical_eligibility_fpl_limit_rate
            output: expanded_categorical_eligibility_fpl_limit_rate
            hash: sha256:c422e733ca353c9a207bfad53e8e3683e8f1fddf325faa5a82d8336d82022dd0
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        budgetary_unit_is_considered_for_na_expanded_categorical_eligibility

        and gross_income > expanded_categorical_eligibility_fpl_limit_rate *
        current_federal_poverty_level_amount

minimum_allotment_actual_benefit_participant_cutoff

Parameter

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: minimum_allotment_actual_benefit_participant_cutoff
  kind: parameter
  dtype: Count
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: three or more participant budgetary units
  versions:
    - effective_from: '0001-01-01'
      formula: '3'

na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule
  kind: derived
  entity: Household
  dtype: Money
  period: Month
  unit: USD
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: Benefits are calculated based on NA income criteria.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: eligible for at least the minimum NA allotment
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: These budgetary units must receive the actual amount of benefits.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount:
        max(0, actual_benefit_amount_based_on_na_income_criteria) else: if
        categorically_eligible_budgetary_unit_eligible_for_minimum_allotment: max(max(0,
        actual_benefit_amount_based_on_na_income_criteria), minimum_na_allotment_amount) else:
        max(0, actual_benefit_amount_based_on_na_income_criteria)

na_categorically_eligible_for_benefit_calculation

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: na_categorically_eligible_for_benefit_calculation
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              When the budgetary unit's gross income exceeds 185% of the current FPL, the budgetary
              unit is not categorically eligible.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: NA categorically eligible budgetary units
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        budgetary_unit_is_na_basic_categorically_eligible
        or (
          budgetary_unit_is_considered_for_na_expanded_categorical_eligibility
          and not expanded_categorical_eligibility_blocked_by_gross_income_limit
        )

loading…

Categorical Eligibility Benefit Calculation

8 rules

Official source

graph ↗build calculator ↗

AZTECS compares the income of an NA basic categorically eligible budgetary unit against the Net Income Standard. Benefits are calculated based on NA income criteria.

NA categorically eligible budgetary units are eligible for at least the minimum NA allotment.

NOTE NA categorically eligible three or more participant budgetary units are not eligible for at least the minimum NA allotment. These budgetary units must receive the actual amount of benefits.

NA budgetary units with benefits that are reduced to less than the minimum NA allotment, as a result of NA proration, are placed in an eligible no pay status.

in view

Whole section

Encodings · 8

Encoded from this provision

us-az/policy/des/faa5/na-categorical-eligibility/categorical-eligibility-benefit-calculation

basic_categorically_eligible_budgetary_unit_income_within_net_income_standardus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: basic_categorically_eligible_budgetary_unit_income_within_net_income_standard
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            compares the income of an NA basic categorically eligible budgetary
            unit against the Net Income Standard
versions:
  - effective_from: '0001-01-01'
    formula: |-
      budgetary_unit_is_na_basic_categorically_eligible
      and net_income <= net_income_standard_amount

categorically_eligible_budgetary_unit_eligible_for_minimum_allotmentus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: categorically_eligible_budgetary_unit_eligible_for_minimum_allotment
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: eligible for at least the minimum NA allotment
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            three or more participant budgetary units are not eligible for at
            least the minimum NA allotment
versions:
  - effective_from: '0001-01-01'
    formula: >-
      na_categorically_eligible_for_benefit_calculation

      and number_of_participants_in_budgetary_unit <
      minimum_allotment_actual_benefit_participant_cutoff

categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amountus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: >-
  categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: These budgetary units must receive the actual amount of benefits.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      na_categorically_eligible_for_benefit_calculation

      and number_of_participants_in_budgetary_unit >=
      minimum_allotment_actual_benefit_participant_cutoff

eligible_no_pay_status_due_to_na_prorationus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: eligible_no_pay_status_due_to_na_proration
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            benefits that are reduced to less than the minimum NA allotment, as
            a result of NA proration
versions:
  - effective_from: '0001-01-01'
    formula: |-
      benefits_reduced_as_result_of_na_proration
      and prorated_na_benefit_amount < minimum_na_allotment_amount

expanded_categorical_eligibility_blocked_by_gross_income_limitus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: expanded_categorical_eligibility_blocked_by_gross_income_limit
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: gross income exceeds 185% of the current FPL
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-az:policies/des/faa5/na-categorical-eligibility/expanded-categorical-eligibility#expanded_categorical_eligibility_fpl_limit_rate
          output: expanded_categorical_eligibility_fpl_limit_rate
          hash: >-
            sha256:c422e733ca353c9a207bfad53e8e3683e8f1fddf325faa5a82d8336d82022dd0
versions:
  - effective_from: '0001-01-01'
    formula: >-
      budgetary_unit_is_considered_for_na_expanded_categorical_eligibility

      and gross_income > expanded_categorical_eligibility_fpl_limit_rate *
      current_federal_poverty_level_amount

minimum_allotment_actual_benefit_participant_cutoffus-az/manual/des/faa5/na-categorical-eligibility/block-5 · parameter

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: minimum_allotment_actual_benefit_participant_cutoff
kind: parameter
dtype: Count
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: three or more participant budgetary units
versions:
  - effective_from: '0001-01-01'
    formula: '3'

na_benefit_amount_after_categorical_eligibility_minimum_allotment_ruleus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule
kind: derived
entity: Household
dtype: Money
period: Month
unit: USD
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: Benefits are calculated based on NA income criteria.
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: eligible for at least the minimum NA allotment
      - path: versions[0].formula
        kind: exception
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: These budgetary units must receive the actual amount of benefits.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      if
      categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount:
      max(0, actual_benefit_amount_based_on_na_income_criteria) else: if
      categorically_eligible_budgetary_unit_eligible_for_minimum_allotment:
      max(max(0, actual_benefit_amount_based_on_na_income_criteria),
      minimum_na_allotment_amount) else: max(0,
      actual_benefit_amount_based_on_na_income_criteria)

na_categorically_eligible_for_benefit_calculationus-az/manual/des/faa5/na-categorical-eligibility/block-5 · derived

Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

name: na_categorically_eligible_for_benefit_calculation
kind: derived
entity: Household
dtype: Judgment
period: Month
source: >-
  Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit
  Calculation
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: >-
            When the budgetary unit's gross income exceeds 185% of the current
            FPL, the budgetary unit is not categorically eligible.
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
          excerpt: NA categorically eligible budgetary units
versions:
  - effective_from: '0001-01-01'
    formula: |-
      budgetary_unit_is_na_basic_categorically_eligible
      or (
        budgetary_unit_is_considered_for_na_expanded_categorical_eligibility
        and not expanded_categorical_eligibility_blocked_by_gross_income_limit
      )

▸rulespec code

Shown source

policies/des/faa5/na-categorical-eligibility

Displaying the canonical repository encoding.

View on GitHub

Rules

basic_categorically_eligible_budgetary_unit_income_within_net_income_standard

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: basic_categorically_eligible_budgetary_unit_income_within_net_income_standard
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              compares the income of an NA basic categorically eligible budgetary unit against the
              Net Income Standard
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        budgetary_unit_is_na_basic_categorically_eligible
        and net_income <= net_income_standard_amount

categorically_eligible_budgetary_unit_eligible_for_minimum_allotment

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: categorically_eligible_budgetary_unit_eligible_for_minimum_allotment
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: eligible for at least the minimum NA allotment
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              three or more participant budgetary units are not eligible for at least the minimum NA
              allotment
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        na_categorically_eligible_for_benefit_calculation

        and number_of_participants_in_budgetary_unit <
        minimum_allotment_actual_benefit_participant_cutoff

categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: These budgetary units must receive the actual amount of benefits.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        na_categorically_eligible_for_benefit_calculation

        and number_of_participants_in_budgetary_unit >=
        minimum_allotment_actual_benefit_participant_cutoff

eligible_no_pay_status_due_to_na_proration

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: eligible_no_pay_status_due_to_na_proration
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              benefits that are reduced to less than the minimum NA allotment, as a result of NA
              proration
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        benefits_reduced_as_result_of_na_proration
        and prorated_na_benefit_amount < minimum_na_allotment_amount

expanded_categorical_eligibility_blocked_by_gross_income_limit

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: expanded_categorical_eligibility_blocked_by_gross_income_limit
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: gross income exceeds 185% of the current FPL
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-az:policies/des/faa5/na-categorical-eligibility/expanded-categorical-eligibility#expanded_categorical_eligibility_fpl_limit_rate
            output: expanded_categorical_eligibility_fpl_limit_rate
            hash: sha256:c422e733ca353c9a207bfad53e8e3683e8f1fddf325faa5a82d8336d82022dd0
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        budgetary_unit_is_considered_for_na_expanded_categorical_eligibility

        and gross_income > expanded_categorical_eligibility_fpl_limit_rate *
        current_federal_poverty_level_amount

minimum_allotment_actual_benefit_participant_cutoff

Parameter

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: minimum_allotment_actual_benefit_participant_cutoff
  kind: parameter
  dtype: Count
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: three or more participant budgetary units
  versions:
    - effective_from: '0001-01-01'
      formula: '3'

na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: na_benefit_amount_after_categorical_eligibility_minimum_allotment_rule
  kind: derived
  entity: Household
  dtype: Money
  period: Month
  unit: USD
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: Benefits are calculated based on NA income criteria.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: eligible for at least the minimum NA allotment
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: These budgetary units must receive the actual amount of benefits.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if categorically_eligible_three_or_more_participant_unit_must_receive_actual_benefit_amount:
        max(0, actual_benefit_amount_based_on_na_income_criteria) else: if
        categorically_eligible_budgetary_unit_eligible_for_minimum_allotment: max(max(0,
        actual_benefit_amount_based_on_na_income_criteria), minimum_na_allotment_amount) else:
        max(0, actual_benefit_amount_based_on_na_income_criteria)

na_categorically_eligible_for_benefit_calculation

Derived

source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation

- name: na_categorically_eligible_for_benefit_calculation
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: Arizona DES FAA5 NA Categorical Eligibility, Categorical Eligibility Benefit Calculation
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: >-
              When the budgetary unit's gross income exceeds 185% of the current FPL, the budgetary
              unit is not categorically eligible.
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-az/manual/des/faa5/na-categorical-eligibility/block-5
            excerpt: NA categorically eligible budgetary units
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        budgetary_unit_is_na_basic_categorically_eligible
        or (
          budgetary_unit_is_considered_for_na_expanded_categorical_eligibility
          and not expanded_categorical_eligibility_blocked_by_gross_income_limit
        )