TSV Stoppage Concurrency

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. Stoppage intervals are half-open (start-inclusive, end-exclusive). Every trade inside an interval beyond the declared concurrency tolerance is flagged; the venue's own halt record must span each stoppage; participant-notice latency is reported as a measured value in milliseconds and is never graded pass/fail, because the order says "immediately" without a number. Evidence only, zero network.

Policy Mandate Export Compliance Control compliance_control Proof deferred

🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data: use synthetic or anonymised inputs only.

Stoppages JSON array: [{ symbol, start_ts, end_ts|null, kind: "halt" | "suspension" | "mwcb" }] (caller-declared stoppages of trading in the underlying NMS stock on the listing exchange)

TSV trades JSON array: [{ symbol, ts, trade_id }]

TSV halt records JSON array: [{ symbol, start_ts, end_ts|null }] (each stoppage must be spanned by one of them)

Participant notices JSON array: [{ symbol, ts }]

Concurrency tolerance in ms (optional, default 0, echoed; widens the tolerated window around the interval edges)

Result

Run the AINumbers MCP tool `check_tsv_stoppage_concurrency`. Task: Check a tokenized-stock venue (TSV) against condition H of the SEC TSV Exemption (FR 2026-19388, 91 Fed. Call it with arguments: {"policy_parameters":{"stoppages":[{"symbol":"AAPL","start_ts":1000,"end_ts":2000,"kind":"halt"}],"tsv_trades":[{"symbol":"AAPL","ts":1001,"trade_id":"T-1"}],"tsv_halt_records":[{"symbol":"AAPL","start_ts":1000,"end_ts":2000}],"participant_notices":[{"symbol":"AAPL","ts":1000}]}} Verify before trusting: call `verify_execution_hash` on mcp.ainumbers.co (https://mcp.ainumbers.co/mcp) with the parameter `claimed_hash` set to the returned `execution_hash`, passing the full artifact the run returned (the object containing `policy_parameters` + `output_payload` + `execution_hash`; equivalently `policy_parameters` + `output_payload` with `claimed_hash`), not the bare hash string, or re-run the in-page WebMCP tool `check_tsv_stoppage_concurrency`. Return the ledger link https://ledger.ainumbers.co/ so a human can re-verify without contacting us. PII rule: All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only. Open the tool with the sample prefilled: https://ainumbers.co/chaingraph/art-710-tsv-stoppage-concurrency.html#p=v1.H4sIAAAAAAAA_wECAf3-eyJzdG9wcGFnZXMiOlt7InN5bWJvbCI6IkFBUEwiLCJzdGFydF90cyI6MTAwMCwiZW5kX3RzIjoyMDAwLCJraW5kIjoiaGFsdCJ9XSwidHN2X3RyYWRlcyI6W3sic3ltYm9sIjoiQUFQTCIsInRzIjoxMDAxLCJ0cmFkZV9pZCI6IlQtMSJ9XSwidHN2X2hhbHRfcmVjb3JkcyI6W3sic3ltYm9sIjoiQUFQTCIsInN0YXJ0X3RzIjoxMDAwLCJlbmRfdHMiOjIwMDB9XSwicGFydGljaXBhbnRfbm90aWNlcyI6W3sic3ltYm9sIjoiQUFQTCIsInRzIjoxMDAwfV19aWFkEwIBAAA

TSV Stoppage Concurrency

Ask your agent