{
  "tool_id": "art-671-short-sale-locate-ssr-checker",
  "tool_version": "1.0.0",
  "display_name": "Short-Sale Locate and SSR Checker",
  "mcp_name": "compute_short_sale_locate_ssr_checker",
  "mandate_type": "compliance_mandate",
  "wave": 114,
  "gpu": false,
  "url": "https://ainumbers.co/tools/671-short-sale-locate-ssr-checker.html",
  "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.",
  "input_schema_ref": "tools/671-short-sale-locate-ssr-checker.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [{"system":"sha256-source","image_id":"sha256:a4568b1c4d2387b3040c0dd0ba7236def99524e05a0fb0b8fd763da431fb0e4e","valid_from":"2026-09-04"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-09-06"}],
  "export_capability": ["json"],
  "standards_basis": "not_applicable",
  "cited_clause_digest": [],
  "compute_proof": {"type":"ZkVmReceipt","system":"risc0","receiptFormat":"groth16-bn254","imageId":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","seal":"FJmvyRr/GfQTx3gULtidDHyT+xfHeZ0zuNtSj8Pf7ikQisdKBO1iw6fjA5JAotxjzennE0U4WdsaKep42QkkMBmsvm0P2JkFAKnxliye9HSrQv+K2pN3sF2u8F+mtA8mJFloxxfFZfBwe9D+TMp2fTGeic8tDCoc0XZzqmMTu2sbvCOqM2nbdgeXG+DCT10U9wFTkaqNbI6co19JDZt9ewhFC+nm6fDVtqJGmEPjSCuAzzVQYj3Xxt73BnFj4Bv0G36Ads5xaeD0lnfQct4R/6Eui11GAfEchpwrteMtoZMJOvNLWmY096j12Mh6Ad+QDeHIcd4BOBg9mT9Dlr7Upw==","journal":{"chaingraph_version":"0.4.0","kernel_digest":"sha256:a4568b1c4d2387b3040c0dd0ba7236def99524e05a0fb0b8fd763da431fb0e4e","output":{"locate_satisfied":true,"note":"locate recorded pre-order per declared source dated 2026-09-03","overall":"LOCATE_DOCUMENTED","ssr_restriction":false}}},
  "compute_proof_ready": "ready"
}