{
  "tool_id": "art-396-compute-15c3-3-reserve",
  "kernel_id": "art-396-compute-15c3-3-reserve",
  "display_name": "15c3-3 Customer Reserve Formula Calculator",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "SEC Rule 15c3-3 Exhibit A customer reserve formula: credit items (customer free credit balances, margin credit balances, payables) against allowable debit items (margin-account debits with the 1% collateral haircut, failed-to-deliver debits with the 30-day aging exclusion, other allowable debits) to a reserve requirement, deposit-sufficiency verdict, and line-item receipt. Simplified over a representative subset of Exhibit A line items with a PAB (proprietary-account-of-broker-dealer) variant flag; attests the computation over caller-supplied inputs only, not an audit of those inputs or a determination of regulatory compliance.",
  "control_description": "SEC Rule 15c3-3 Exhibit A customer reserve formula: credit items (customer free credit balances, margin credit balances, payables) against allowable debit items (margin-account debits with the 1% collateral haircut, failed-to-deliver debits with the 30-day aging exclusion, other allowable debits) to a reserve requirement, deposit-sufficiency verdict, and line-item receipt. Simplified over a representative subset of Exhibit A line items with a PAB (proprietary-account-of-broker-dealer) variant flag; attests the computation over caller-supplied inputs only, not an audit of those inputs or a determination of regulatory compliance.",
  "declared_inputs": [],
  "declared_outputs": [
    "art-397-lint-trace-cat-reports"
  ],
  "kernel_digest": "sha256:4d4f69e7fa90f1983449c71e85bbf2446e5dae6ee6b77249b04fa5f8f891223a",
  "trust_label": "independently verified -- zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 63,
  "source_url": "https://ainumbers.co/chaingraph/art-396-compute-15c3-3-reserve.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}