loading…

Qualifying smoke alarms

(A) In general Each public housing agency shall ensure that a qualifying smoke alarm is installed in accordance with applicable codes and standards published by the International Code Council or the National Fire Protection Association and the requirements of the National Fire Protection Association Standard 72, or any successor standard, in each level and in or near each sleeping area in any dwelling unit in public housing owned or operated by the public housing agency, including in basements but excepting crawl spaces and unfinished attics, and in each common area in a project containing such a dwelling unit.

(B) Definitions For purposes of this paragraph, the following definitions shall apply: (i) Smoke alarm defined The term “smoke alarm” has the meaning given the term “smoke detector” in section 2225(d) of title 15 . (ii) Qualifying smoke alarm defined The term “qualifying smoke alarm” means a smoke alarm that— (I) in the case of a dwelling unit built before December 29, 2022 , and not substantially rehabilitated after December 29, 2022 — (aa) (AA) is hardwired; or (BB) uses 10-year non rechargeable, nonreplaceable primary batteries and is sealed, is tamper resistant, and contains silencing means; and (bb) provides notification for persons with hearing loss as required by the National Fire Protection Association Standard 72, or any successor standard; or (II) in the case of a dwelling unit built or substantially rehabilitated after December 29, 2022 , is hardwired.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)

loading…

us/statute/42/1437a/a/9 — Qualifying smoke alarms · Axiom

Qualifying smoke alarms

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)