loading…

us-co/regulation/10-ccr-2506-1/4.707.84 — Control of Issuance Documents · Axiom

Control of Issuance Documents

3 rules

Local offices shall control all issuance documents that establish household eligibility while the documents are transferred and processed within the local office. The local office shall use numbers, batching, inventory control logs, or similar controls from the point of initial receipt through the issuance and reconciliation process. Access to all Notices of Action that initiate or terminate the master issuance file and blank EBT cards shall be limited to authorized personnel.

in view

Whole section

Encodings · 3

household_eligibility_issuance_documents_controlled_during_local_office_processingCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

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

      or
      local_office_controls_all_household_eligibility_issuance_documents_during_transfer_and_processing

issuance_document_controls_used_through_issuance_and_reconciliationCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

name: issuance_document_controls_used_through_issuance_and_reconciliation
kind: derived
entity: LocalOffice
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.84
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not local_office_initially_received_issuance_documents)
      or (
          local_office_used_numbers_batching_inventory_control_logs_or_similar_controls
          and local_office_used_controls_from_initial_receipt_through_issuance_and_reconciliation_process
      )

master_issuance_file_notices_and_blank_ebt_cards_access_limitedCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

name: master_issuance_file_notices_and_blank_ebt_cards_access_limited
kind: derived
entity: LocalOffice
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.84
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (
          (not local_office_has_notices_of_action_that_initiate_or_terminate_master_issuance_file)
          or access_to_master_issuance_file_initiation_or_termination_notices_limited_to_authorized_personnel
      )
      and (
          (not local_office_has_blank_ebt_cards)
          or access_to_blank_ebt_cards_limited_to_authorized_personnel
      )

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

household_eligibility_issuance_documents_controlled_during_local_office_processing

Derived

source: 10 CCR 2506-1 section 4.707.84

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

        or
        local_office_controls_all_household_eligibility_issuance_documents_during_transfer_and_processing

issuance_document_controls_used_through_issuance_and_reconciliation

Derived

source: 10 CCR 2506-1 section 4.707.84

- name: issuance_document_controls_used_through_issuance_and_reconciliation
  kind: derived
  entity: LocalOffice
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.84
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not local_office_initially_received_issuance_documents)
        or (
            local_office_used_numbers_batching_inventory_control_logs_or_similar_controls
            and local_office_used_controls_from_initial_receipt_through_issuance_and_reconciliation_process
        )

master_issuance_file_notices_and_blank_ebt_cards_access_limited

Derived

source: 10 CCR 2506-1 section 4.707.84

- name: master_issuance_file_notices_and_blank_ebt_cards_access_limited
  kind: derived
  entity: LocalOffice
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.84
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (
            (not local_office_has_notices_of_action_that_initiate_or_terminate_master_issuance_file)
            or access_to_master_issuance_file_initiation_or_termination_notices_limited_to_authorized_personnel
        )
        and (
            (not local_office_has_blank_ebt_cards)
            or access_to_blank_ebt_cards_limited_to_authorized_personnel
        )

loading…

Control of Issuance Documents

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

household_eligibility_issuance_documents_controlled_during_local_office_processingCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

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

      or
      local_office_controls_all_household_eligibility_issuance_documents_during_transfer_and_processing

issuance_document_controls_used_through_issuance_and_reconciliationCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

name: issuance_document_controls_used_through_issuance_and_reconciliation
kind: derived
entity: LocalOffice
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.84
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (not local_office_initially_received_issuance_documents)
      or (
          local_office_used_numbers_batching_inventory_control_logs_or_similar_controls
          and local_office_used_controls_from_initial_receipt_through_issuance_and_reconciliation_process
      )

master_issuance_file_notices_and_blank_ebt_cards_access_limitedCO reg. 4.707.84 · derived

10 CCR 2506-1 section 4.707.84

name: master_issuance_file_notices_and_blank_ebt_cards_access_limited
kind: derived
entity: LocalOffice
dtype: Judgment
period: Month
source: 10 CCR 2506-1 section 4.707.84
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
versions:
  - effective_from: '2025-10-01'
    formula: |-
      (
          (not local_office_has_notices_of_action_that_initiate_or_terminate_master_issuance_file)
          or access_to_master_issuance_file_initiation_or_termination_notices_limited_to_authorized_personnel
      )
      and (
          (not local_office_has_blank_ebt_cards)
          or access_to_blank_ebt_cards_limited_to_authorized_personnel
      )

▸rulespec code

Shown source

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

Displaying the canonical repository encoding.

View on GitHub

Rules

household_eligibility_issuance_documents_controlled_during_local_office_processing

Derived

source: 10 CCR 2506-1 section 4.707.84

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

        or
        local_office_controls_all_household_eligibility_issuance_documents_during_transfer_and_processing

issuance_document_controls_used_through_issuance_and_reconciliation

Derived

source: 10 CCR 2506-1 section 4.707.84

- name: issuance_document_controls_used_through_issuance_and_reconciliation
  kind: derived
  entity: LocalOffice
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.84
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (not local_office_initially_received_issuance_documents)
        or (
            local_office_used_numbers_batching_inventory_control_logs_or_similar_controls
            and local_office_used_controls_from_initial_receipt_through_issuance_and_reconciliation_process
        )

master_issuance_file_notices_and_blank_ebt_cards_access_limited

Derived

source: 10 CCR 2506-1 section 4.707.84

- name: master_issuance_file_notices_and_blank_ebt_cards_access_limited
  kind: derived
  entity: LocalOffice
  dtype: Judgment
  period: Month
  source: 10 CCR 2506-1 section 4.707.84
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-co/regulation/10-ccr-2506-1/4.707.84
  versions:
    - effective_from: '2025-10-01'
      formula: |-
        (
            (not local_office_has_notices_of_action_that_initiate_or_terminate_master_issuance_file)
            or access_to_master_issuance_file_initiation_or_termination_notices_limited_to_authorized_personnel
        )
        and (
            (not local_office_has_blank_ebt_cards)
            or access_to_blank_ebt_cards_limited_to_authorized_personnel
        )