{
  "tool_id": "art-672-fx-funding-sequencer",
  "kernel_id": "art-672-fx-funding-sequencer",
  "display_name": "FX Funding Sequencer",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Orders a trade's declared currency legs by FX cutoff and computes margin-to-cutoff minutes from the declared confirm time, for one declared T+1 settle date, returning an all-cutoffs-met verdict: sequence (tightest margin first, ties in declared order), margins_minutes (cutoff minus confirm, integer minutes, negative where a declared cutoff is at or before the declared confirm), all_cutoffs_met, a trace line, and an overall of FUNDING_SEQUENCED, CUTOFF_MISSED, or INDETERMINATE. Times are declared UTC HH:MM strings and the math is pure comparison on the one declared settle date -- no timezone conversion, date rollover, holiday calendar, or daylight-saving adjustment. Any absent or malformed declared input (settle date, confirm time, or a leg's currency code or cutoff time), or a duplicate declared currency leg, fails closed to INDETERMINATE with each offending input named -- never a partial sequence. This tool computes arithmetic of declared inputs under named rules; it does not check live SSR tapes, borrow lists, cutoff feeds, or registers, and the PvP check is out of scope: the PvP validator surface is pointed at as a link, never a duplicated verdict (see art-58-cross-network-settlement-validator).",
  "control_description": "Orders a trade's declared currency legs by FX cutoff and computes margin-to-cutoff minutes from the declared confirm time, for one declared T+1 settle date, returning an all-cutoffs-met verdict: sequence (tightest margin first, ties in declared order), margins_minutes (cutoff minus confirm, integer minutes, negative where a declared cutoff is at or before the declared confirm), all_cutoffs_met, a trace line, and an overall of FUNDING_SEQUENCED, CUTOFF_MISSED, or INDETERMINATE. Times are declared UTC HH:MM strings and the math is pure comparison on the one declared settle date -- no timezone conversion, date rollover, holiday calendar, or daylight-saving adjustment. Any absent or malformed declared input (settle date, confirm time, or a leg's currency code or cutoff time), or a duplicate declared currency leg, fails closed to INDETERMINATE with each offending input named -- never a partial sequence. This tool computes arithmetic of declared inputs under named rules; it does not check live SSR tapes, borrow lists, cutoff feeds, or registers, and the PvP check is out of scope: the PvP validator surface is pointed at as a link, never a duplicated verdict (see art-58-cross-network-settlement-validator).",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:7a8bdff517f46e0feecd70c62f7074135cbea33f386252dd61b94007206771ca",
  "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/chaingraph/art-672-fx-funding-sequencer.html",
  "generated_at": "2026-09-08T02:39:15.253Z"
}