loading…

Post-1981 act projects

2 rules

Not more than 15 percent of the dwelling units which become available for occupancy under section 8 [ 42 U.S.C. 1437f ] housing assistance payments contracts under this chapter 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

Encodings · 2

project_based_post_act_low_income_other_than_very_low_income_limit_rate42 USC § 1437n (c)(2) · parameter

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'

open in graph ↗

project_based_post_act_leasing_limit_satisfied42 USC § 1437n (c)(2) · derived

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

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

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…

us/statute/42/1437n/c/2 — Post-1981 act projects · Axiom

Post-1981 act projects

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

project_based_post_act_low_income_other_than_very_low_income_limit_rate42 USC § 1437n (c)(2) · parameter

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'

open in graph ↗

project_based_post_act_leasing_limit_satisfied42 USC § 1437n (c)(2) · derived

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

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

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