forge-built

Call-auction uncrossing with each venue's tie-break rules, checked against brute force over every price

VaR backtests (Kupiec, Christoffersen, Basel traffic light) with exact finite-sample p-values

Recover signed interaction networks from knockout experiments, and report which edges can't be determined

Turn a desired crypto order into the best one that passes every exchange filter, in exact decimals

How many bars an EMA, RSI or ATR needs before its seed can't change a tick, proven

Lossless tick-data codec that finds the price grid inside float columns and beats Gorilla XOR

Measure how many truly different programs your code LLM samples, not just how many pass

Exact rates of the typos ISIN, CUSIP, SEDOL, LEI, IBAN and ABA check digits fail to catch

Settle a web of payment obligations in the fewest transfers, with a proof of optimality or gap

Tight best- and worst-case fill bounds for a passive order backtested on L2 data

Finds the provably best scale for each block of quantized LLM weights, plus the MSE heuristics lose

Find static arbitrage in option quote grids, and the fewest quotes to drop to remove it

Find the exact inputs where f64 interest or FX code rounds to the wrong cent, with proofs

Exact TIPS index ratios, coupons, accrued interest and deflation floors in rational arithmetic

Tell whether a lossless image was once a JPEG, and recover the quantization table it was saved with

Static audit of Linux binaries: which privacy-sensitive X11, input and screen APIs they can reach

Largest Section 16(b) short-swing profit from insider trades, with a proof that it is optimal

Check e-invoice totals against the EN 16931 rules and find cent-exact fixes when rounding breaks them

Black-box look-ahead bias detector for backtest features: names the leaking column, how far ahead it reads, and what the leak was worth in Sharpe

Zero-copy NASDAQ ITCH 5.0 decoder and order book rebuilder, checked against a model book