{
  "tool_id": "art-673-lending-recall-prioritizer",
  "kernel_id": "art-673-lending-recall-prioritizer",
  "display_name": "Lending Recall Prioritizer",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Deterministic ranking arithmetic over a caller-declared synthetic recall queue. Ranks declared recalls by due date ascending, then declared quantity ascending, then declared id ascending (a deterministic total order), and flags a recall urgent when its due date is 0 or 1 day after the caller-declared as_of date (due-within-one-day); past-due and further-out recalls are ranked but never flagged. Dates are strict YYYY-MM-DD calendar dates parsed and differenced with pure integer civil-day arithmetic -- no Date object, no runtime clock: as_of is an input, never today. No securities-lending tape, no borrow list, no cutoff feed, no register, no network: every recall, date, and quantity is a caller-declared input, never fetched or inferred. This is a prioritizer of declared inputs under named rules, NOT live recall data, NOT an instruction to recall, return, or borrow any security, and NOT a check of any live feed -- the not_proven discipline applies. An absent or invalid as_of, recall list, id, due date, or quantity resolves to a fail-closed payload naming each rejected input, never a silently repaired queue. Settled ranking arithmetic; it cites no external standard.",
  "control_description": "Deterministic ranking arithmetic over a caller-declared synthetic recall queue. Ranks declared recalls by due date ascending, then declared quantity ascending, then declared id ascending (a deterministic total order), and flags a recall urgent when its due date is 0 or 1 day after the caller-declared as_of date (due-within-one-day); past-due and further-out recalls are ranked but never flagged. Dates are strict YYYY-MM-DD calendar dates parsed and differenced with pure integer civil-day arithmetic -- no Date object, no runtime clock: as_of is an input, never today. No securities-lending tape, no borrow list, no cutoff feed, no register, no network: every recall, date, and quantity is a caller-declared input, never fetched or inferred. This is a prioritizer of declared inputs under named rules, NOT live recall data, NOT an instruction to recall, return, or borrow any security, and NOT a check of any live feed -- the not_proven discipline applies. An absent or invalid as_of, recall list, id, due date, or quantity resolves to a fail-closed payload naming each rejected input, never a silently repaired queue. Settled ranking arithmetic; it cites no external standard.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:31d9a8356f9e3c350463c2c5b981a0d7bb78e11ba3d90412bb123ee4963b0719",
  "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/673-lending-recall-prioritizer.html",
  "generated_at": "2026-09-08T03:31:43.595Z"
}