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: sequence (tightest margin first, ties in declared order), margins in whole minutes, an all-cutoffs-met verdict, and a trace line. Times are declared UTC HH:MM strings and the math is pure comparison on the one declared settle date; no timezone, calendar, or holiday adjustment. Any absent or malformed declared input, or a duplicate declared currency leg, fails closed to INDETERMINATE with each offending input named; never a partial sequence. HARD FENCE: 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 (see art-58-cross-network-settlement-validator), never a duplicated verdict.
compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.