loading…

us/statute/42/1437n/c/1 — Pre-1981 act projects · Axiom

Pre-1981 act projects

Not more than 25 percent of the dwelling units that were available for occupancy under section 8 [ 42 U.S.C. 1437f ] housing assistance payments contracts under this chapter before October 1, 1981 , and which will be leased on or after October 1, 1981 , shall be available for leasing by low-income families other than very low-income families.

in view

Whole section

▸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

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

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

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

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

loading…

Pre-1981 act projects

Official source

in view

Whole section

▸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

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

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

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

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