{
  "tool_id": "art-671-short-sale-locate-ssr-checker",
  "kernel_id": "art-671-short-sale-locate-ssr-checker",
  "display_name": "Short-Sale Locate and SSR Checker",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Deterministic locate-documentation and SSR-flag arithmetic over caller-declared synthetic inputs. Classifies a declared short-sale order against declared locate documentation (declared source, list date, on-list flag) and carries the caller-declared short-sale price restriction (SSR) flag verbatim: locate_satisfied follows the declared on-list flag, ssr_restriction is a pass-through of the declared flag (the price test itself belongs to the caller's feeds), and overall resolves to LOCATE_MISSING, SSR_RESTRICTED, or LOCATE_DOCUMENTED. Pairs with T372 (buy-in scope classifier) when no locate is documented. No borrow lists, no SSR tapes, no cutoff feeds, no registers, no network, no clock: every order, locate fact, and flag is a caller-declared input, never fetched or inferred. This is a checker of declared-input arithmetic, NOT compliance advice, NOT a recommendation to borrow, locate, cover, or trade, and NOT connected to any live feed or register -- a declared on-list flag is documentation the caller asserts, never a fact this kernel verified; the not_proven discipline applies. An absent or invalid order, locate, or flag resolves to a fail-closed payload naming each rejected input, never a silently repaired classification. Settled classification arithmetic; it cites no external standard.",
  "control_description": "Deterministic locate-documentation and SSR-flag arithmetic over caller-declared synthetic inputs. Classifies a declared short-sale order against declared locate documentation (declared source, list date, on-list flag) and carries the caller-declared short-sale price restriction (SSR) flag verbatim: locate_satisfied follows the declared on-list flag, ssr_restriction is a pass-through of the declared flag (the price test itself belongs to the caller's feeds), and overall resolves to LOCATE_MISSING, SSR_RESTRICTED, or LOCATE_DOCUMENTED. Pairs with T372 (buy-in scope classifier) when no locate is documented. No borrow lists, no SSR tapes, no cutoff feeds, no registers, no network, no clock: every order, locate fact, and flag is a caller-declared input, never fetched or inferred. This is a checker of declared-input arithmetic, NOT compliance advice, NOT a recommendation to borrow, locate, cover, or trade, and NOT connected to any live feed or register -- a declared on-list flag is documentation the caller asserts, never a fact this kernel verified; the not_proven discipline applies. An absent or invalid order, locate, or flag resolves to a fail-closed payload naming each rejected input, never a silently repaired classification. Settled classification arithmetic; it cites no external standard.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:a4568b1c4d2387b3040c0dd0ba7236def99524e05a0fb0b8fd763da431fb0e4e",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-09-06",
  "last_validated": "2026-09-06",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 114,
  "source_url": "https://ainumbers.co/tools/671-short-sale-locate-ssr-checker.html",
  "generated_at": "2026-09-08T01:43:19.471Z"
}