{
  "tool_id": "art-710-tsv-stoppage-concurrency",
  "kernel_id": "art-710-tsv-stoppage-concurrency",
  "display_name": "TSV Stoppage Concurrency",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Checks a tokenized-stock venue (TSV) against condition H of the SEC TSV Exemption (FR 2026-19388, 91 Fed. Reg. 60176, Sept. 22, 2026): a TSV must stop trading in a Tokenized NMS Stock concurrently with any stoppage of trading in the underlying NMS stock on the primary listing exchange, which includes a halt or a suspension, and must immediately notify its TSV Participants. Replays caller-supplied TSV trades against caller-declared listing-exchange stoppage intervals under a declared half-open boundary rule (start-inclusive, end-exclusive), flags every trade inside an interval beyond the caller-declared concurrency tolerance, checks that the TSV's own halt record spans each stoppage (an open-ended stoppage is covered only by an open-ended record), and reports participant-notice presence with the notice latency as a MEASURED value in milliseconds from stoppage start to the earliest notice at or after it, never graded pass/fail because the order says \"immediately\" without a number. Per stoppage: covered, trades_during, trades_flagged, trades_within_tolerance, notice_latency_ms; violations carry TRADE_DURING_STOPPAGE, HALT_RECORD_NOT_COVERING and NO_PARTICIPANT_NOTICE. Evidence only: it states no opinion on whether any latency, gap or trade is lawful. Zero network: the node never reads a chain and checks only what the caller supplies.",
  "control_description": "Checks a tokenized-stock venue (TSV) against condition H of the SEC TSV Exemption (FR 2026-19388, 91 Fed. Reg. 60176, Sept. 22, 2026): a TSV must stop trading in a Tokenized NMS Stock concurrently with any stoppage of trading in the underlying NMS stock on the primary listing exchange, which includes a halt or a suspension, and must immediately notify its TSV Participants. Replays caller-supplied TSV trades against caller-declared listing-exchange stoppage intervals under a declared half-open boundary rule (start-inclusive, end-exclusive), flags every trade inside an interval beyond the caller-declared concurrency tolerance, checks that the TSV's own halt record spans each stoppage (an open-ended stoppage is covered only by an open-ended record), and reports participant-notice presence with the notice latency as a MEASURED value in milliseconds from stoppage start to the earliest notice at or after it, never graded pass/fail because the order says \"immediately\" without a number. Per stoppage: covered, trades_during, trades_flagged, trades_within_tolerance, notice_latency_ms; violations carry TRADE_DURING_STOPPAGE, HALT_RECORD_NOT_COVERING and NO_PARTICIPANT_NOTICE. Evidence only: it states no opinion on whether any latency, gap or trade is lawful. Zero network: the node never reads a chain and checks only what the caller supplies.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:50b06c5208854d0622f2454f8578b75ca6ec066405ff1afe74d0d529b30e7e8b",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-10-13",
  "last_validated": "2026-10-13",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 129,
  "source_url": "https://ainumbers.co/chaingraph/art-710-tsv-stoppage-concurrency.html",
  "generated_at": "2026-10-22T17:23:58.029Z"
}