loading…

us-co/regulation/10-ccr-2506-1/4.707.5 — Inventory Records · Axiom

Inventory Records

10 rules

A. Shortage/Overage of EBT Cards in Shipment Prior to issuance, each carton and box of EBT cards shall be examined. When there is a shortage or overage of EBT cards, Form FNS-471 must be completed and signed by two witnesses. In the case of a shortage, show the amount of shortage on Line 13 of Form FNS-250 as credits. In the case of an overage, show the amount on Line 9 of Form FNS-250 (Shipments Received from USDA/FCS) regardless of where shipment originated. B. Improperly Manufactured or Mutilated EBT Cards in Shipment If EBT cards are improperly manufactured or mutilated, Form FNS-471 shall be completed. The EBT cards are cancelled immediately and destroyed at the end of the month in accordance with Section 4.708.5. If one or more boxes of EBT cards were improperly manufactured, local offices shall contact the state department, who will contact USDA/FNS on the instructions for disposition of the destructible EBT cards. EBT cards must be destroyed within thirty (30) calendar days from the close of the month in which the EBT cards were received. For disposition of mutilated EBT cards returned by participants, refer to Section 4.708.5. C. Out-of-Sequence EBT Card Serial Numbers There will be occasional instances where an EBT card will be substituted for an EBT card damaged in manufacturing. Out-of-sequence serial numbered EBT cards in the box present no problem as long as the correct number of EBT cards are contained in the box, and shall be issued in the normal manner.

in view

Whole section

Encodings · 10

improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_monthCO reg. 4.707.5 · parameter

10 CCR 2506-1 section 4.707.5(B)

name: >-
  improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
          excerpt: >-
            within thirty (30) calendar days from the close of the month in
            which the EBT cards were received
versions:
  - effective_from: '2025-10-01'
    formula: '30'

ebt_card_carton_or_box_examined_before_issuanceCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: ebt_card_carton_or_box_examined_before_issuance
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not ebt_cards_issued_from_carton_or_box)
      or carton_and_box_examined_before_issuance

shortage_or_overage_fns_471_completed_with_two_witnessesCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: shortage_or_overage_fns_471_completed_with_two_witnesses
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_shortage_or_overage_of_ebt_cards)
      or (
          form_fns_471_completed
          and form_fns_471_signed_by_two_witnesses
      )

shortage_amount_reported_as_fns_250_line_13_creditsCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: shortage_amount_reported_as_fns_250_line_13_credits
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_shortage_of_ebt_cards)
      or shortage_amount_shown_on_fns_250_line_13_as_credits

overage_amount_reported_as_fns_250_line_9_shipments_receivedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: overage_amount_reported_as_fns_250_line_9_shipments_received
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: >-
      (not shipment_has_overage_of_ebt_cards)

      or
      overage_amount_shown_on_fns_250_line_9_as_shipments_received_from_usda_fcs_regardless_of_origin

improperly_manufactured_or_mutilated_fns_471_completedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_or_mutilated_fns_471_completed
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
      or form_fns_471_completed

improperly_manufactured_or_mutilated_cards_cancelled_immediatelyCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_or_mutilated_cards_cancelled_immediately
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
      or ebt_cards_cancelled_immediately

improperly_manufactured_boxes_disposition_instructions_requestedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_boxes_disposition_instructions_requested
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
      or (
          local_office_contacted_state_department
          and state_department_contacted_usda_fns_for_disposition_instructions_for_destructible_ebt_cards
      )

improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_closeCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.707.5#improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
          output: >-
            improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
      or (
          ebt_cards_destroyed
          and calendar_days_from_close_of_receipt_month_to_destruction <= improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
      )

out_of_sequence_correct_count_cards_issued_normallyCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(C)

name: out_of_sequence_correct_count_cards_issued_normally
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(C)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      box_contains_out_of_sequence_serial_numbered_ebt_cards
      and correct_number_of_ebt_cards_contained_in_box
      and ebt_cards_issued_in_normal_manner

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.707.5.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month

Parameter

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
            excerpt: >-
              within thirty (30) calendar days from the close of the month in which the EBT cards
              were received
  versions:
    - effective_from: '2025-10-01'
      formula: '30'

ebt_card_carton_or_box_examined_before_issuance

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: ebt_card_carton_or_box_examined_before_issuance
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not ebt_cards_issued_from_carton_or_box)
        or carton_and_box_examined_before_issuance

shortage_or_overage_fns_471_completed_with_two_witnesses

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: shortage_or_overage_fns_471_completed_with_two_witnesses
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_shortage_or_overage_of_ebt_cards)
        or (
            form_fns_471_completed
            and form_fns_471_signed_by_two_witnesses
        )

shortage_amount_reported_as_fns_250_line_13_credits

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: shortage_amount_reported_as_fns_250_line_13_credits
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_shortage_of_ebt_cards)
        or shortage_amount_shown_on_fns_250_line_13_as_credits

overage_amount_reported_as_fns_250_line_9_shipments_received

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: overage_amount_reported_as_fns_250_line_9_shipments_received
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        (not shipment_has_overage_of_ebt_cards)

        or
        overage_amount_shown_on_fns_250_line_9_as_shipments_received_from_usda_fcs_regardless_of_origin

improperly_manufactured_or_mutilated_fns_471_completed

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_or_mutilated_fns_471_completed
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
        or form_fns_471_completed

improperly_manufactured_or_mutilated_cards_cancelled_immediately

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_or_mutilated_cards_cancelled_immediately
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
        or ebt_cards_cancelled_immediately

improperly_manufactured_boxes_disposition_instructions_requested

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_boxes_disposition_instructions_requested
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
        or (
            local_office_contacted_state_department
            and state_department_contacted_usda_fns_for_disposition_instructions_for_destructible_ebt_cards
        )

improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.707.5#improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
            output: >-
              improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
        or (
            ebt_cards_destroyed
            and calendar_days_from_close_of_receipt_month_to_destruction <= improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
        )

out_of_sequence_correct_count_cards_issued_normally

Derived

source: 10 CCR 2506-1 section 4.707.5(C)

- name: out_of_sequence_correct_count_cards_issued_normally
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        box_contains_out_of_sequence_serial_numbered_ebt_cards
        and correct_number_of_ebt_cards_contained_in_box
        and ebt_cards_issued_in_normal_manner

▸citations (2)

References

This rule cites 2 other rules.

CO reg. 4.708.5inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.708.5
CO reg. 4.708.5inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.708.5

loading…

Inventory Records

10 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 10

improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_monthCO reg. 4.707.5 · parameter

10 CCR 2506-1 section 4.707.5(B)

name: >-
  improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
kind: parameter
dtype: Count
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
          excerpt: >-
            within thirty (30) calendar days from the close of the month in
            which the EBT cards were received
versions:
  - effective_from: '2025-10-01'
    formula: '30'

ebt_card_carton_or_box_examined_before_issuanceCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: ebt_card_carton_or_box_examined_before_issuance
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not ebt_cards_issued_from_carton_or_box)
      or carton_and_box_examined_before_issuance

shortage_or_overage_fns_471_completed_with_two_witnessesCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: shortage_or_overage_fns_471_completed_with_two_witnesses
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_shortage_or_overage_of_ebt_cards)
      or (
          form_fns_471_completed
          and form_fns_471_signed_by_two_witnesses
      )

shortage_amount_reported_as_fns_250_line_13_creditsCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: shortage_amount_reported_as_fns_250_line_13_credits
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_shortage_of_ebt_cards)
      or shortage_amount_shown_on_fns_250_line_13_as_credits

overage_amount_reported_as_fns_250_line_9_shipments_receivedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(A)

name: overage_amount_reported_as_fns_250_line_9_shipments_received
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(A)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: >-
      (not shipment_has_overage_of_ebt_cards)

      or
      overage_amount_shown_on_fns_250_line_9_as_shipments_received_from_usda_fcs_regardless_of_origin

improperly_manufactured_or_mutilated_fns_471_completedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_or_mutilated_fns_471_completed
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
      or form_fns_471_completed

improperly_manufactured_or_mutilated_cards_cancelled_immediatelyCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_or_mutilated_cards_cancelled_immediately
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
      or ebt_cards_cancelled_immediately

improperly_manufactured_boxes_disposition_instructions_requestedCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_boxes_disposition_instructions_requested
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
      or (
          local_office_contacted_state_department
          and state_department_contacted_usda_fns_for_disposition_instructions_for_destructible_ebt_cards
      )

improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_closeCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(B)

name: improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(B)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us-co:regulations/10-ccr-2506-1/4.707.5#improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
          output: >-
            improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
          hash: sha256:local
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
      or (
          ebt_cards_destroyed
          and calendar_days_from_close_of_receipt_month_to_destruction <= improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
      )

out_of_sequence_correct_count_cards_issued_normallyCO reg. 4.707.5 · derived

10 CCR 2506-1 section 4.707.5(C)

name: out_of_sequence_correct_count_cards_issued_normally
kind: derived
entity: EbtCardShipment
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.5(C)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
versions:
  - effective_from: '2025-10-01'
    formula: |-
      box_contains_out_of_sequence_serial_numbered_ebt_cards
      and correct_number_of_ebt_cards_contained_in_box
      and ebt_cards_issued_in_normal_manner

▸rulespec code

Shown source

regulations/10-ccr-2506-1/4.707.5.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month

Parameter

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
  kind: parameter
  dtype: Count
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
            excerpt: >-
              within thirty (30) calendar days from the close of the month in which the EBT cards
              were received
  versions:
    - effective_from: '2025-10-01'
      formula: '30'

ebt_card_carton_or_box_examined_before_issuance

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: ebt_card_carton_or_box_examined_before_issuance
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not ebt_cards_issued_from_carton_or_box)
        or carton_and_box_examined_before_issuance

shortage_or_overage_fns_471_completed_with_two_witnesses

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: shortage_or_overage_fns_471_completed_with_two_witnesses
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_shortage_or_overage_of_ebt_cards)
        or (
            form_fns_471_completed
            and form_fns_471_signed_by_two_witnesses
        )

shortage_amount_reported_as_fns_250_line_13_credits

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: shortage_amount_reported_as_fns_250_line_13_credits
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_shortage_of_ebt_cards)
        or shortage_amount_shown_on_fns_250_line_13_as_credits

overage_amount_reported_as_fns_250_line_9_shipments_received

Derived

source: 10 CCR 2506-1 section 4.707.5(A)

- name: overage_amount_reported_as_fns_250_line_9_shipments_received
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: >-
        (not shipment_has_overage_of_ebt_cards)

        or
        overage_amount_shown_on_fns_250_line_9_as_shipments_received_from_usda_fcs_regardless_of_origin

improperly_manufactured_or_mutilated_fns_471_completed

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_or_mutilated_fns_471_completed
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
        or form_fns_471_completed

improperly_manufactured_or_mutilated_cards_cancelled_immediately

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_or_mutilated_cards_cancelled_immediately
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not shipment_has_improperly_manufactured_or_mutilated_ebt_cards)
        or ebt_cards_cancelled_immediately

improperly_manufactured_boxes_disposition_instructions_requested

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_boxes_disposition_instructions_requested
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
        or (
            local_office_contacted_state_department
            and state_department_contacted_usda_fns_for_disposition_instructions_for_destructible_ebt_cards
        )

improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close

Derived

source: 10 CCR 2506-1 section 4.707.5(B)

- name: improperly_manufactured_box_cards_destroyed_timely_after_receipt_month_close
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
        - path: versions[0].formula
          kind: import
          import:
            target: >-
              us-co:regulations/10-ccr-2506-1/4.707.5#improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
            output: >-
              improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
            hash: sha256:local
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not one_or_more_boxes_of_ebt_cards_were_improperly_manufactured)
        or (
            ebt_cards_destroyed
            and calendar_days_from_close_of_receipt_month_to_destruction <= improperly_manufactured_box_destruction_calendar_day_limit_after_close_of_receipt_month
        )

out_of_sequence_correct_count_cards_issued_normally

Derived

source: 10 CCR 2506-1 section 4.707.5(C)

- name: out_of_sequence_correct_count_cards_issued_normally
  kind: derived
  entity: EbtCardShipment
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.5(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.5
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        box_contains_out_of_sequence_serial_numbered_ebt_cards
        and correct_number_of_ebt_cards_contained_in_box
        and ebt_cards_issued_in_normal_manner

▸citations (2)

References

This rule cites 2 other rules.

CO reg. 4.708.5inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.708.5
CO reg. 4.708.5inferredCO › Regulations › Title 10-ccr-2506-1 › § 4.708.5