loading…

Fungibility with tenant-based assistance

4 rules

(A) Authority Except as provided under subparagraph (D), the number of public housing dwelling units that a public housing agency shall otherwise make available in accordance with paragraph (2)(A) to comply with the percentage requirement under such paragraph for a fiscal year shall be reduced by the credit number for the agency under subparagraph (B).

(B) Credit for exceeding tenant-based assistance targeting requirement Subject to subparagraph (C), the credit number under this subparagraph for a public housing agency for a fiscal year shall be the number by which— (i) the aggregate number of qualified families who, in such fiscal year, are initially provided tenant-based assistance under section 1437f of this title by the agency; exceeds (ii) the number of qualified families that is required for the agency to comply with the percentage requirement under subsection (b)(1) for such fiscal year.

(C) Limitations on credit number The credit number under subparagraph (B) for a public housing agency for a fiscal year may not in any case exceed the lesser of— (i) the number of dwelling units that is equivalent to 10 percent of the aggregate number of families initially provided tenant-based assistance under section 1437f of this title by the agency in such fiscal year; or (ii) the number of public housing dwelling units of the agency that— (I) are in projects that are located in census tracts having a poverty rate of 30 percent or more; and (II) are made available for occupancy during such fiscal year and are actually filled only by families whose incomes at the time of commencement of such occupancy exceed 30 percent of the area median income, as determined by the Secretary with adjustments for smaller and larger families.

(D) Fungibility floor Notwithstanding any authority under subparagraph (A), of the public housing dwelling units of a public housing agency made available for occupancy in any fiscal year by eligible families, not less than 30 percent shall be occupied by families whose incomes at the time of commencement of occupancy do not exceed 30 percent of the area median income, as determined by the Secretary with adjustments for smaller and larger families.

(E) Qualified family For purposes of this paragraph, the term “qualified family” means a family having an income described in subsection (b)(1).

in view

Whole section

Encodings · 4

public_housing_fungibility_floor_rate42 USC § 1437n (a)(4) (D) · parameter

42 USC 1437n(a)(4)(D)

name: public_housing_fungibility_floor_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(D)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            not less than 30 percent shall be occupied by families whose incomes
            ... do not exceed 30 percent of the area median income
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

public_housing_fungibility_credit_cap_rate42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(i)

name: public_housing_fungibility_credit_cap_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(i)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            10 percent of the aggregate number of families initially provided
            tenant-based assistance
versions:
  - effective_from: '2024-01-01'
    formula: '0.10'

open in graph ↗

high_poverty_census_tract_rate_threshold42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(ii)(I)

name: high_poverty_census_tract_rate_threshold
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(ii)(I)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: census tracts having a poverty rate of 30 percent or more
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

above_extremely_low_income_area_median_income_rate42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(ii)(II)

name: above_extremely_low_income_area_median_income_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(ii)(II)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: incomes ... exceed 30 percent of the area median income
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

▸rulespec code

Shown source

statutes/42/1437n.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/1437n; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

public_housing_extremely_low_income_occupancy_minimum_rate

Parameter

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_occupancy_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 40 percent shall be occupied by extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

public_housing_fungibility_floor_rate

Parameter(D) in text ↖

source: 42 USC 1437n(a)(4)(D)

- name: public_housing_fungibility_floor_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 30 percent shall be occupied by families whose incomes ... do not exceed
              30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

public_housing_fungibility_credit_cap_rate

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(i)

- name: public_housing_fungibility_credit_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              10 percent of the aggregate number of families initially provided tenant-based
              assistance
  versions:
    - effective_from: '2024-01-01'
      formula: '0.10'

high_poverty_census_tract_rate_threshold

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(ii)(I)

- name: high_poverty_census_tract_rate_threshold
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: census tracts having a poverty rate of 30 percent or more
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

above_extremely_low_income_area_median_income_rate

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(ii)(II)

- name: above_extremely_low_income_area_median_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: incomes ... exceed 30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

over_income_limitation_consecutive_years

Parameter

source: 42 USC 1437n(a)(5)(A)

- name: over_income_limitation_consecutive_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: most recent two consecutive years
  versions:
    - effective_from: '2024-01-01'
      formula: '2'

over_income_tenancy_termination_deadline_months

Parameter

source: 42 USC 1437n(a)(5)(A)(ii)

- name: over_income_tenancy_termination_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not later than 6 months after the income determination
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

over_income_median_income_limit_rate

Parameter

source: 42 USC 1437n(a)(5)(C)

- name: over_income_median_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(5)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: 120 percent of the median income for the area
  versions:
    - effective_from: '2024-01-01'
      formula: '1.20'

tenant_based_extremely_low_income_targeting_minimum_rate

Parameter

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 75 percent shall be extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.75'

project_based_pre_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)

- name: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              Not more than 25 percent ... shall be available for leasing by low-income families
              other than very low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.25'

project_based_post_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: Not more than 15 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.15'

project_based_extremely_low_income_leasing_minimum_rate

Parameter

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_leasing_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 40 percent shall be available for leasing only by extremely low-income
              families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

asset_limitation_statutory_base_net_family_assets_cap

Parameter

source: 42 USC 1437n(e)

- name: asset_limitation_statutory_base_net_family_assets_cap
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net family assets exceed $100,000
  versions:
    - effective_from: '2024-01-01'
      formula: '100000'

net_assets_self_certification_statutory_base_limit

Parameter

source: 42 USC 1437n(e)(3)(A)

- name: net_assets_self_certification_statutory_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net assets of such family do not exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

asset_noncompliance_eviction_delay_limit_months

Parameter

source: 42 USC 1437n(e)(6)

- name: asset_noncompliance_eviction_delay_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(e)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: for a period of not more than 6 months
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

public_housing_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_extremely_low_income_occupancy_minimum_rate
            output: public_housing_extremely_low_income_occupancy_minimum_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_floor_rate
            output: public_housing_fungibility_floor_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_credit_cap_rate
            output: public_housing_fungibility_credit_cap_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_occupying_public_housing_dwelling_units >=
        max(public_housing_fungibility_floor_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families,
        public_housing_extremely_low_income_occupancy_minimum_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families - min(max(0,
        qualified_families_initially_provided_tenant_based_assistance_count -
        qualified_families_required_for_tenant_based_targeting_count),
        min(public_housing_fungibility_credit_cap_rate *
        aggregate_families_initially_provided_tenant_based_assistance_count,
        public_housing_units_in_high_poverty_projects_filled_by_above_30_percent_ami_families_count)))

tenant_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#tenant_based_extremely_low_income_targeting_minimum_rate
            output: tenant_based_extremely_low_income_targeting_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_initially_provided_tenant_based_assistance_count >=
        tenant_based_extremely_low_income_targeting_minimum_rate *
        families_initially_provided_tenant_based_assistance_count

different_admission_standard_authorized

Derived

source: 42 USC 1437n(d)

- name: different_admission_standard_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        secretary_approved_different_admission_standard
        and good_cause_for_different_admission_standard
        and different_admission_standard_implemented_in_public_housing_agency_plan

project_based_pre_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)

- name: project_based_pre_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_pre_act <=
        project_based_pre_act_low_income_other_than_very_low_income_limit_rate *
        pre_act_project_based_dwelling_units_available_for_occupancy

project_based_post_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_post_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_post_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_post_act <=
        project_based_post_act_low_income_other_than_very_low_income_limit_rate *
        post_act_project_based_dwelling_units_available_for_occupancy

project_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
            output: project_based_extremely_low_income_leasing_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_only_units_available_for_leasing_under_project_based_contract >=
        project_based_extremely_low_income_leasing_minimum_rate *
        dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

family_net_assets_within_statutory_base_asset_limit

Derived

source: 42 USC 1437n(e)

- name: family_net_assets_within_statutory_base_asset_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#asset_limitation_statutory_base_net_family_assets_cap
            output: asset_limitation_statutory_base_net_family_assets_cap
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets <= asset_limitation_statutory_base_net_family_assets_cap

family_net_assets_self_certification_available

Derived

source: 42 USC 1437n(e)(3)(A)

- name: family_net_assets_self_certification_available
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#net_assets_self_certification_statutory_base_limit
            output: net_assets_self_certification_statutory_base_limit
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: certified_net_family_assets <= net_assets_self_certification_statutory_base_limit

methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies

Derived

source: 42 USC 1437n(f)

- name: methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        person_convicted_of_manufacturing_or_producing_methamphetamine_on_the_premises_in_violation_of_federal_or_state_law

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f
42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f

loading…

us/statute/42/1437n/a/4 — Fungibility with tenant-based assistance · Axiom

Fungibility with tenant-based assistance

4 rules

Official source

graph ↗build calculator ↗

(E) Qualified family For purposes of this paragraph, the term “qualified family” means a family having an income described in subsection (b)(1).

in view

Whole section

Encodings · 4

public_housing_fungibility_floor_rate42 USC § 1437n (a)(4) (D) · parameter

42 USC 1437n(a)(4)(D)

name: public_housing_fungibility_floor_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(D)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            not less than 30 percent shall be occupied by families whose incomes
            ... do not exceed 30 percent of the area median income
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

public_housing_fungibility_credit_cap_rate42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(i)

name: public_housing_fungibility_credit_cap_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(i)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: >-
            10 percent of the aggregate number of families initially provided
            tenant-based assistance
versions:
  - effective_from: '2024-01-01'
    formula: '0.10'

open in graph ↗

high_poverty_census_tract_rate_threshold42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(ii)(I)

name: high_poverty_census_tract_rate_threshold
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(ii)(I)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: census tracts having a poverty rate of 30 percent or more
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

above_extremely_low_income_area_median_income_rate42 USC § 1437n (a)(4) (C) · parameter

42 USC 1437n(a)(4)(C)(ii)(II)

name: above_extremely_low_income_area_median_income_rate
kind: parameter
dtype: Rate
source: 42 USC 1437n(a)(4)(C)(ii)(II)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us/statute/42/1437n
          excerpt: incomes ... exceed 30 percent of the area median income
versions:
  - effective_from: '2024-01-01'
    formula: '0.30'

open in graph ↗

▸rulespec code

Shown source

statutes/42/1437n.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/1437n; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

public_housing_extremely_low_income_occupancy_minimum_rate

Parameter

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_occupancy_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 40 percent shall be occupied by extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

public_housing_fungibility_floor_rate

Parameter(D) in text ↖

source: 42 USC 1437n(a)(4)(D)

- name: public_housing_fungibility_floor_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 30 percent shall be occupied by families whose incomes ... do not exceed
              30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

public_housing_fungibility_credit_cap_rate

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(i)

- name: public_housing_fungibility_credit_cap_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              10 percent of the aggregate number of families initially provided tenant-based
              assistance
  versions:
    - effective_from: '2024-01-01'
      formula: '0.10'

high_poverty_census_tract_rate_threshold

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(ii)(I)

- name: high_poverty_census_tract_rate_threshold
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(I)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: census tracts having a poverty rate of 30 percent or more
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

above_extremely_low_income_area_median_income_rate

Parameter(C) in text ↖

source: 42 USC 1437n(a)(4)(C)(ii)(II)

- name: above_extremely_low_income_area_median_income_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(4)(C)(ii)(II)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: incomes ... exceed 30 percent of the area median income
  versions:
    - effective_from: '2024-01-01'
      formula: '0.30'

over_income_limitation_consecutive_years

Parameter

source: 42 USC 1437n(a)(5)(A)

- name: over_income_limitation_consecutive_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: most recent two consecutive years
  versions:
    - effective_from: '2024-01-01'
      formula: '2'

over_income_tenancy_termination_deadline_months

Parameter

source: 42 USC 1437n(a)(5)(A)(ii)

- name: over_income_tenancy_termination_deadline_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(a)(5)(A)(ii)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not later than 6 months after the income determination
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

over_income_median_income_limit_rate

Parameter

source: 42 USC 1437n(a)(5)(C)

- name: over_income_median_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(a)(5)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: 120 percent of the median income for the area
  versions:
    - effective_from: '2024-01-01'
      formula: '1.20'

tenant_based_extremely_low_income_targeting_minimum_rate

Parameter

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: not less than 75 percent shall be extremely low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.75'

project_based_pre_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)

- name: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              Not more than 25 percent ... shall be available for leasing by low-income families
              other than very low-income families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.25'

project_based_post_act_low_income_other_than_very_low_income_limit_rate

Parameter

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_low_income_other_than_very_low_income_limit_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: Not more than 15 percent
  versions:
    - effective_from: '2024-01-01'
      formula: '0.15'

project_based_extremely_low_income_leasing_minimum_rate

Parameter

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_leasing_minimum_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: >-
              not less than 40 percent shall be available for leasing only by extremely low-income
              families
  versions:
    - effective_from: '2024-01-01'
      formula: '0.40'

asset_limitation_statutory_base_net_family_assets_cap

Parameter

source: 42 USC 1437n(e)

- name: asset_limitation_statutory_base_net_family_assets_cap
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net family assets exceed $100,000
  versions:
    - effective_from: '2024-01-01'
      formula: '100000'

net_assets_self_certification_statutory_base_limit

Parameter

source: 42 USC 1437n(e)(3)(A)

- name: net_assets_self_certification_statutory_base_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: net assets of such family do not exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

asset_noncompliance_eviction_delay_limit_months

Parameter

source: 42 USC 1437n(e)(6)

- name: asset_noncompliance_eviction_delay_limit_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437n(e)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437n
            excerpt: for a period of not more than 6 months
  versions:
    - effective_from: '2024-01-01'
      formula: '6'

public_housing_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(a)

- name: public_housing_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_extremely_low_income_occupancy_minimum_rate
            output: public_housing_extremely_low_income_occupancy_minimum_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_floor_rate
            output: public_housing_fungibility_floor_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#public_housing_fungibility_credit_cap_rate
            output: public_housing_fungibility_credit_cap_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_occupying_public_housing_dwelling_units >=
        max(public_housing_fungibility_floor_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families,
        public_housing_extremely_low_income_occupancy_minimum_rate *
        public_housing_dwelling_units_made_available_for_occupancy_by_eligible_families - min(max(0,
        qualified_families_initially_provided_tenant_based_assistance_count -
        qualified_families_required_for_tenant_based_targeting_count),
        min(public_housing_fungibility_credit_cap_rate *
        aggregate_families_initially_provided_tenant_based_assistance_count,
        public_housing_units_in_high_poverty_projects_filled_by_above_30_percent_ami_families_count)))

tenant_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(b)(1)

- name: tenant_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#tenant_based_extremely_low_income_targeting_minimum_rate
            output: tenant_based_extremely_low_income_targeting_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_families_initially_provided_tenant_based_assistance_count >=
        tenant_based_extremely_low_income_targeting_minimum_rate *
        families_initially_provided_tenant_based_assistance_count

different_admission_standard_authorized

Derived

source: 42 USC 1437n(d)

- name: different_admission_standard_authorized
  kind: derived
  entity: PublicHousingAgency
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(d)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: |-
        secretary_approved_different_admission_standard
        and good_cause_for_different_admission_standard
        and different_admission_standard_implemented_in_public_housing_agency_plan

project_based_pre_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)

- name: project_based_pre_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_pre_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_pre_act <=
        project_based_pre_act_low_income_other_than_very_low_income_limit_rate *
        pre_act_project_based_dwelling_units_available_for_occupancy

project_based_post_act_leasing_limit_satisfied

Derived

source: 42 USC 1437n(c)(2)

- name: project_based_post_act_leasing_limit_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us:statutes/42/1437n#project_based_post_act_low_income_other_than_very_low_income_limit_rate
            output: project_based_post_act_low_income_other_than_very_low_income_limit_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        low_income_other_than_very_low_income_units_available_for_leasing_post_act <=
        project_based_post_act_low_income_other_than_very_low_income_limit_rate *
        post_act_project_based_dwelling_units_available_for_occupancy

project_based_extremely_low_income_targeting_satisfied

Derived

source: 42 USC 1437n(c)(3)

- name: project_based_extremely_low_income_targeting_satisfied
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(c)(3)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#project_based_extremely_low_income_leasing_minimum_rate
            output: project_based_extremely_low_income_leasing_minimum_rate
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        extremely_low_income_only_units_available_for_leasing_under_project_based_contract >=
        project_based_extremely_low_income_leasing_minimum_rate *
        dwelling_units_becoming_available_in_fiscal_year_assisted_under_project_based_contract

family_net_assets_within_statutory_base_asset_limit

Derived

source: 42 USC 1437n(e)

- name: family_net_assets_within_statutory_base_asset_limit
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#asset_limitation_statutory_base_net_family_assets_cap
            output: asset_limitation_statutory_base_net_family_assets_cap
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets <= asset_limitation_statutory_base_net_family_assets_cap

family_net_assets_self_certification_available

Derived

source: 42 USC 1437n(e)(3)(A)

- name: family_net_assets_self_certification_available
  kind: derived
  entity: Family
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(e)(3)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437n
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437n#net_assets_self_certification_statutory_base_limit
            output: net_assets_self_certification_statutory_base_limit
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: certified_net_family_assets <= net_assets_self_certification_statutory_base_limit

methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies

Derived

source: 42 USC 1437n(f)

- name: methamphetamine_manufacturing_occupancy_and_assistance_prohibition_applies
  kind: derived
  entity: Person
  dtype: Judgment
  period: Year
  source: 42 USC 1437n(f)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/42/1437n
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        person_convicted_of_manufacturing_or_producing_methamphetamine_on_the_premises_in_violation_of_federal_or_state_law

▸citations (2)

References

This rule cites 2 other rules.

42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f
42 USC § 1437finferredUS Federal › Statutes › Title 42 › § 1437f