{
  "_meta": {
    "description": "benchmark verification ledger; see tools/verify/ledger.py"
  },
  "entries": {
    "bm-cor-5.3.4": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 8.8,
      "input_hash": "24923aafccc49236b4d76183b75fc245e52acf50c260b857140f7e8bd778ea4f",
      "verified_at_commit": "4e921c4"
    },
    "bm-def-5.1.1": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "5ca2262509c7bb6fddebe5469aad041757d6590ff3115dc3ff81968d2134b35b",
      "verified_at_commit": "4e921c4"
    },
    "bm-prop-5.1.2": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 52.2,
      "input_hash": "b539999eaf30cf382231a00ecaedb682e4d423cd3e19089fb6789450eb5c3068",
      "verified_at_commit": "4e921c4"
    },
    "bm-rmk-5.1.6-exp": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-28",
      "elapsed_s": 36.1,
      "input_hash": "42c928caf9ccbe827290d83185570714fd48a0ac8fc6e0196087f3bbb9bd54e6",
      "verified_at_commit": "512f52c"
    },
    "bm-rmk-5.1.6-square": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-28",
      "elapsed_s": 59.0,
      "input_hash": "4807b078c091e398b04f850256343b8b83969dd3e72030b21fb09b67e07579c9",
      "verified_at_commit": "512f52c"
    },
    "bm-thm-5.1.4": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 52.2,
      "input_hash": "a9307bc9a90c0950201e441609de518dddc2a00053310092f95ddd00f92f3911",
      "verified_at_commit": "4e921c4"
    },
    "bm-thm-5.1.5": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-28",
      "elapsed_s": 41.7,
      "input_hash": "9a14f76178f6ecad31f298fa731317c0c3494fa40a772157ca1166697f465d84",
      "verified_at_commit": "512f52c"
    },
    "bm-thm-5.1.7": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "c18d382b321ac8872a4426e81a63dbfdef0596b11152ec0c47eeb802548fb758",
      "verified_at_commit": "4e921c4"
    },
    "bm-thm-5.3.2": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 7.5,
      "input_hash": "d99898153cd86e9eca525d2c8fe7d32db3dc1b2a42a8ee9d586986230ac8cd6c",
      "verified_at_commit": "4e921c4"
    },
    "bm-thm-5.3.5": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "e41a088a40dcee05f0750aa89d25972b38e423f9e24499e93ee865f0114d6729",
      "verified_at_commit": "4e921c4"
    },
    "ce-prop-2.1.11-independence": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-06-24",
      "elapsed_s": 4.3,
      "input_hash": "703339b84f50d3d05ba6329ddb5a3312e6b0c35ba42e2f7d136c0168131ed2ea",
      "verified_at_commit": "4e921c4"
    },
    "ce-prop-2.1.11-jensen": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "10e567fc2d4010176130aa0682d19820c6147ad4e00e63b16577ab62aa3a20ef",
      "verified_at_commit": "4e921c4"
    },
    "ce-prop-2.1.11-pull-out": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "1ef0f1e9b51a32ea4e04bb1fe0e2444a5dfe3f56a3c065c51a43bc5765f882bf",
      "verified_at_commit": "4e921c4"
    },
    "ce-prop-2.1.11-tower": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-06-24",
      "elapsed_s": 4.3,
      "input_hash": "7db8d3375faacbf184456c80628e8352cb04d2889000b70112424fe9bbb68419",
      "verified_at_commit": "4e921c4"
    },
    "ce-prop-2.1.5-linearity": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-06-24",
      "elapsed_s": 4.4,
      "input_hash": "182be94bf5880f32eb78534203fc474c2aa701dd9d2cc3e084f76da843c6edca",
      "verified_at_commit": "4e921c4"
    },
    "cm-prop-4.3.6": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-06-28",
      "elapsed_s": 77.0,
      "input_hash": "0f3807839977ba05ff3173e01a947f6fcf54f4ddc36e7e559a5b371e4ca7c666",
      "verified_at_commit": "512f52c"
    },
    "cm-thm-4.3.10": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 8.6,
      "input_hash": "1eaafd58aec1ad255d5567e39501ce5115238313fccf1ce4d3e5761147f374f0",
      "verified_at_commit": "4e921c4"
    },
    "cm-thm-4.3.7": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "799dae934d038235a8a2a400b674c6503314e9265f91ebb27c0438b169657a10",
      "verified_at_commit": "4e921c4"
    },
    "cm-thm-4.3.9": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "3d5c04d2874204916e134da6f98b27417ffd172fe81b71794af05af07cc9e73c",
      "verified_at_commit": "4e921c4"
    },
    "cv-cond-exp-tower": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "11dd954593e0209b12234a82745ed8018ddfb5a7f551722b58011201fe802859",
      "verified_at_commit": "4e921c4"
    },
    "cv-poisson-def": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "ede28da06489f0aba798f2121b82848b481c91d99a22265eb915ea9978c854ff",
      "verified_at_commit": "4e921c4"
    },
    "cv-prob-space": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "fda27c397f6213545dabcae04f0bf6c0637ae08439b26ba90d1235164ef12246",
      "verified_at_commit": "4e921c4"
    },
    "dist-exp-memoryless": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "473a84168eb16ed37fccd3479e35ff3daf5f9724bab58ae6bb9ed27ba49c8bb1",
      "verified_at_commit": "4e921c4"
    },
    "dist-exp-min": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 8.6,
      "input_hash": "1d36db6e19a28da6df1e193af68f42822c0fd2b3037ca065dbe0cbab07f8d89d",
      "verified_at_commit": "4e921c4"
    },
    "dist-poisson-pgf": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 10.8,
      "input_hash": "6bbd2c34adcb6880dcac844458050a91b251d38e3bda13cb66c8dec13d318827",
      "verified_at_commit": "4e921c4"
    },
    "dist-thm-B.1.2-affine": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "9d12a3b541af7275664a696dda4c64746cc0178ed63decae697c3ee83b6b472b",
      "verified_at_commit": "4e921c4"
    },
    "dist-thm-B.1.2-marginal": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "fd1c131dd59aacdfb415878097f2894d4ba455f5225c98609e63c9db0425678a",
      "verified_at_commit": "4e921c4"
    },
    "dist-thm-B.1.3-conditional": {
      "benchmark_file": "distributions.json",
      "date": "2026-06-24",
      "elapsed_s": 9.9,
      "input_hash": "9a8a4eaf6aaf5500c33944c7f254949dedb1697b94605f8d4fda9041d666e097",
      "verified_at_commit": "4e921c4"
    },
    "gir-bs-call-formula": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "908a2127afd8a5ea40d7180e7d9039256fc3af1b0a6470ca5edcc97276c6fe85",
      "verified_at_commit": "4e921c4"
    },
    "gir-continuous-ftap": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-06-28",
      "elapsed_s": 43.0,
      "input_hash": "f3ab8b9faa5641859df05bf4d8468f66e7288e04ba7d366dfca9883b5da713c6",
      "verified_at_commit": "512f52c"
    },
    "gir-thm-9.1.7": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "0e109824a6d6e944595f08057a2bf67e6b95566ace82f04121892b3d4f1c5cf4",
      "verified_at_commit": "4e921c4"
    },
    "gir-thm-9.1.8": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "8e9006c859db4daadd264d1c73154d5b1dbf4348b5284a8ba9bcfd45c7475194",
      "verified_at_commit": "4e921c4"
    },
    "gir-thm-9.3.4": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "aad28151f84dff90d300b4c733a3ee0794c3bfb307308b6fb3e95fd7b5614ef1",
      "verified_at_commit": "4e921c4"
    },
    "mart-prop-2.5.5": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 4.5,
      "input_hash": "034986893a5696bbd1aff4dd54254523dc013022c2ad07e763be3ea78f7c81b6",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.2.12": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 8.5,
      "input_hash": "6c6219ff7d3296fd12d43fd9de78da8222901053f49efabe625e4be30c7564dc",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.2.9": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 6.4,
      "input_hash": "d367b71465892fe139318260f39cc5fd319d31eba92d3dace1ed9c92067e49c6",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.3.6": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 11.0,
      "input_hash": "59b6fa1396d671696c7c6abf63a541ee65802a2210177a826d3ccc22ffb272ae",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.4.3": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 4.3,
      "input_hash": "8c900a18d4a3a4bf3a996ebcc1c4b8ab5f61882d208e6e9a71eec6c3dcd0e983",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.4.6": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 4.7,
      "input_hash": "126fc5317046f1eccd231e20251ee64a9eaaee91de280f0a0b843413745d97a1",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.5.1": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "1a9dbe95235ac366e53cec22fd9429ec67609050cc0faa79984efd457b230cae",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.5.3": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 4.2,
      "input_hash": "fdf8132dbe084c32f4dd3891eeb48dd8c2a49ab27173f2f947abe237e5804b20",
      "verified_at_commit": "4e921c4"
    },
    "mart-thm-2.6.7": {
      "benchmark_file": "martingales.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "2f386d679c1db3b31d4ece65d5354545207e0b91eca8c25b16189a38fb8a59f2",
      "verified_at_commit": "4e921c4"
    },
    "mc-def-1.1.1": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "262f88991734a7e98ed6620ac071ee55a941dbb73aa6b50be27e59394bf68af9",
      "verified_at_commit": "4e921c4"
    },
    "mc-prop-1.2.3": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "a77dae8ab44cbfa248bc5cb6d5bdc2ebd3ef11dcf2aaadf576fc804a39404219",
      "verified_at_commit": "4e921c4"
    },
    "mc-prop-1.4.13": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "a534dd9637e34c6730d660a949d48cdf6888eda4ccfe0c6ac90901dadaf0c50e",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.1.2": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 8.5,
      "input_hash": "5082daa6b4b85deed7f356350cd1a3f21ec5eaf131c5612d74c9937cf883cf6b",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.2.11": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "d6e26a4798988fa94c3bd85b1a5fb573f4b9b57445443104fe6ef7bfe2f51523",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.3.12": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "3ff75a40ed5a9f3ef485a256dead59343cfe9a30a986dc37bb119fb0b99bf380",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.4.25": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "6899b6d4c1927ebb1aec40320a421af657ffef0e4b37db96baa68a0746b2311a",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.4.32": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "2d61f408ab56575356b70381d5a668ec2da068216139c558c33d1b13c9b55997",
      "verified_at_commit": "4e921c4"
    },
    "mc-thm-1.4.40": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "cdc9e3c53d074f5a95999f5fc20b8b065c96a943dfb93556b7057e5f3cfc039d",
      "verified_at_commit": "4e921c4"
    },
    "mf-almgren-chriss-EL": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "48b4197956e4a6c2bc77776f3cd747379ef9734b91eef952cc98ad24ec5d40ce",
      "verified_at_commit": "4e921c4"
    },
    "mf-am-gm-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "97d590fee84f348a8315e2dd6ab8b629ccda27cf9b567255e6e04cccbd684c23",
      "verified_at_commit": "4e921c4"
    },
    "mf-american-ge-european": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "c61c63f87cc9c38efb06e3210a2e6d4c43f5f2ec80481b5ed1cda57512a6a482",
      "verified_at_commit": "4e921c4"
    },
    "mf-american-intrinsic-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.6,
      "input_hash": "67029a72548d618fc3b26133dbd4f05ca2d5deddef2a140053519303fcf4878a",
      "verified_at_commit": "4e921c4"
    },
    "mf-american-supermartingale": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "beb15cb7373d24b8fd7a68d3c63f7f7ad520604882e2c63b577d5cfa280ae8c5",
      "verified_at_commit": "4e921c4"
    },
    "mf-annuity-closed-form": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "adfa1b4aa11097c0569b410f15e5194f76989fcd8c06eb734c67f0672479963e",
      "verified_at_commit": "4e921c4"
    },
    "mf-annuity-due-closed-form": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "0b200d5c4261f02c8f2293d5716459313ce7290814e2435b3e8f8019e38c1014",
      "verified_at_commit": "4e921c4"
    },
    "mf-asian-geom-le-arith-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.1,
      "input_hash": "365250d688b0db44f5c3f70afa11cf91747af66e435aecd2f1b6723dbe5510f7",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-digital-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "37143277ed925ebf6cf34926672aa9f6c2318a6ded9cefb96cccc1a7caf9816a",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-digital-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.5,
      "input_hash": "648aee712899526c307c2f94b96a2591ab835b705b5cd74fd74f917497b6d0c9",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-digital-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.7,
      "input_hash": "5cf3cf06a9d7b55d0d234a818e164a670ab0160de85a85b905853088a3b42e59",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-digital-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.9,
      "input_hash": "e94eb7b6159c92be90f9bb1ac58471e026d14c146c7486e54575105d02761643",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-digital-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.7,
      "input_hash": "f2e812c1a709d5e7291b75064481c1701086bd070d9b00db9be44b5a0e06e47a",
      "verified_at_commit": "4e921c4"
    },
    "mf-asset-or-nothing": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "1ce14aa32dcd0b4aed16a6a3a514edd5bc4156d68fe8960cd78493169531acb9",
      "verified_at_commit": "4e921c4"
    },
    "mf-bachelier-call": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "b22a24a846d6d78ea537cebe5bdd4aed5f5ab16790f5f0f9f43b2b7dee2b2ff1",
      "verified_at_commit": "4e921c4"
    },
    "mf-bachelier-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "37155d5bf71b2a921a1c57742060ce0acd1ce1f8c40c99d0eef831738ffad588",
      "verified_at_commit": "4e921c4"
    },
    "mf-bachelier-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "2af80273bbfae4d360f9c33c8f5de7afe1487fc429dc66929dcb1c7265c28075",
      "verified_at_commit": "4e921c4"
    },
    "mf-bachelier-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "37a63b38cfd15c7fb6726a8a2b18d813cd26dd63a6695cd1e50316c5e5c1ce33",
      "verified_at_commit": "4e921c4"
    },
    "mf-bachelier-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "346b75d2f8e38d87ad6bfb9db43a0cb9f127954570f5a95f82bc155927eb3141",
      "verified_at_commit": "4e921c4"
    },
    "mf-bermudan-sandwich": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.9,
      "input_hash": "3f713a5aa781521540200bb4240d64664bf019a0bf5a7507f858c48ec7381c42",
      "verified_at_commit": "4e921c4"
    },
    "mf-binomial-girsanov-RN-norm": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.8,
      "input_hash": "6edac23cdb8dde9c4fef0f973878307bf1034c2bcfa3b30d7ad86e73b0e1740d",
      "verified_at_commit": "4e921c4"
    },
    "mf-binomial-martingale-representation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.5,
      "input_hash": "ac41628df7a2903b6316331f8dd3e64192e50b2cae9dc1cebbe60e8c894808f3",
      "verified_at_commit": "4e921c4"
    },
    "mf-binomial-replication": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.8,
      "input_hash": "b51cb38ae61bedc836638879559626ec729bddc461a838b9f8b788dd69771883",
      "verified_at_commit": "4e921c4"
    },
    "mf-black-futures": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "3007a0ebfd49e6231790b6f3c9e56e17636b8a079b8486c81647bf75e68485d4",
      "verified_at_commit": "4e921c4"
    },
    "mf-black-litterman-1d-mean": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.7,
      "input_hash": "473eb9ce1f947719502669a0e6285d1ecc36e33e2f9f782c4b1d3be094100fee",
      "verified_at_commit": "4e921c4"
    },
    "mf-black-litterman-1d-variance": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "999392c016c5b116b1d27523303960403ebb157ee5fcea801a2cf39807961620",
      "verified_at_commit": "4e921c4"
    },
    "mf-black76-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "9c516aab6961da4b9395e206a9d293bc70277ef3b9c369b01b15e620bc94a763",
      "verified_at_commit": "4e921c4"
    },
    "mf-black76-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "2e0f53a7a112c8056d1e48dc932009f056be3dd6cecb7ee9a34e34778bc4fdfa",
      "verified_at_commit": "4e921c4"
    },
    "mf-black76-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "c96f2e0b94fbdd269583f0574b86dc5b4da8c0a663109f75851856c37a792ca9",
      "verified_at_commit": "4e921c4"
    },
    "mf-black76-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "389b7eafb4a33fe8c2097ff0ed2d73f4d1908c6e2cafd56dc63411197ac81338",
      "verified_at_commit": "4e921c4"
    },
    "mf-black76-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.5,
      "input_hash": "ec2272e3436debff650cb051ea0714b43aa4c1d205753ee926529d8e39f4063c",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-2nd-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "536dc2da6aced6464e0d53804d60a78c550cfd2c69ac1e398a4d7f7c8cd605de",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-2nd-immunization": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.8,
      "input_hash": "37f81e8f8ee4e21248a78e68195ae272a52db12be00eea226168874eca255838",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-dur-rate-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "6ff1c140a089c92e6f4c144124d2be458d400fd676a26d6f7a493f70a024e0bf",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-immunization-first-order": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "f1093930b4b63a21143a52174472f88290943cb8871a4304df20880989121d39",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-portfolio-rate-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "dc84140d24b9dbb652e70876559bf490e1dbea73184b1b050a99111e14f486a0",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-single-conv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "a70b6aca9bbd38f2fae1d0dd1247ed9b1a28f291039a8c5ddd9b7883239709ec",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-single-dur": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "299261762dbaa42d12eb63a949ddc6fe771779964c95c3ed5e9ef43c8de59134",
      "verified_at_commit": "4e921c4"
    },
    "mf-bond-single-value": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "d2ebb07c90e756a430eba3d71c855cdfd57e820ef49f5369758b3507c99fdc69",
      "verified_at_commit": "4e921c4"
    },
    "mf-bootstrap-consistency": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "06e228a62104202a6def8b53a322c5ac1ac88d746f645338ef3b684f07e6cdba",
      "verified_at_commit": "4e921c4"
    },
    "mf-bootstrap-solve": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "353db8a2723b1091d1a881e65603962cfdf453f9eb71f998f0bbb526ab8ffa85",
      "verified_at_commit": "4e921c4"
    },
    "mf-bootstrap-solve-first": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "c173b0d48f7c4e0c64291941c5186de76f286abc22c3a94021f51290333cd345",
      "verified_at_commit": "4e921c4"
    },
    "mf-bootstrap-solve-second": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.2,
      "input_hash": "53ac11dbb1ec33356a600dd32aad4496b9542bc0c92c3218fc323e18227f014d",
      "verified_at_commit": "4e921c4"
    },
    "mf-box-spread-identity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "818172d59118128a6e4f8a719fa7f88a4cb9bf8afd9f80f58dd001afa7279f8a",
      "verified_at_commit": "4e921c4"
    },
    "mf-breeden-litzenberger": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "94d49ba5deb92c0b9c10ce798a79df4a06d066c7edd1c55b0b580265152b4fb3",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-charm": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.7,
      "input_hash": "e6947a9baad3b22272394ff9ad3a4039ba36dacaaca6042527e025c7157b36a0",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-dividends-call": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.6,
      "input_hash": "56e8c7af8bab0ad5d628f07e0bedb3115fd5035f362aa7e47528ed4e38f7a25b",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.8,
      "input_hash": "2b55e08a84df9d66ff39a84f39770a4ec447619cf989bdebe12447dfe54a0170",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.8,
      "input_hash": "605b012d245985075bf2b823f236222e16ccaf1eb3a02fe434e7f7b828b43ef9",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-psi": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.9,
      "input_hash": "a4115c7f2dabf11e6be17ac3e55fbf02c781cd13594b2db6f43332101eda7374",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.6,
      "input_hash": "965853195b3fb0a74df2b22c56f43350c485e13448918a1428a766baef598444",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.3,
      "input_hash": "c5215723c41e9270b394ef0bbc0806f4f2b4fd4f146be3b02aefb541a6ac7f7f",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-merton-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.0,
      "input_hash": "d3aef3b90fc18b5c31a991b26abe5afe69047c8e01e9d68f006e55425c9292b2",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "fc168b285b4df793d977056b4b29cdad69a9c6280d97c29044fa2d378916ab6c",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-formula": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "bb3b3c0f42c25db0798e2d68fe1cd3011367826407fc23d2cd2b72b5fb8cb4d5",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "221b621428e23f65a304bcb0f1ffd428759338f2e197801f3729e84e0c6a6f25",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "b75c1e415e956339d703697b65ff930083fdd8a52d6a5773ed522ebdcad7a188",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "5c890b0996611ca9265edfa1e0da8cb04cd65a7098971d810d80856cafd81fd7",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-put-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.9,
      "input_hash": "7176bd29790372f55b6422842a193f64bca5809cec7327b66b54ba40fa12cdae",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-vanna": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "a9bc504aabd56a988b5ea81701ecfcc99726cf4d1ed50589029b8cfebe3a9559",
      "verified_at_commit": "4e921c4"
    },
    "mf-bs-volga": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "d9e6c536ab610b522ef691711df434e4a353792edbef6555d17c7b429b42cdba",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsP-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "5a6dbf8a4fd90059c546396422bf110e00a5262c8655846a71db5d2f489933bf",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsP-KK-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "d6454e03ed015158a896a0c1ffbf9d28f8096933b2ef553248103e2655f27dc8",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsP-le-K-disc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "765be214ec8bcd3a0a65ed342980dde8cefc0dbd9ec01ce60c7e3a497796f25a",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsV-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "a3a3bfcb2eff66e204e47dafd3997ce2dcf32f4cf7525506114f420e6cb38696",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsV-KK-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "0f2ce7737574678f954509767cf9d72e15347f72941f572faba765e2a327a113",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsV-forward-lower-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "3d10f75a13c880a690e88efbd65785926ff1b36cc88170b76c1166db2ce81a3d",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsV-le-S": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.2,
      "input_hash": "30dd46598b00e6d17fcf418909ca01cf16a36bca2a6a7c0239f71be8054b3820",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsd1-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "8c19cdb9be31ad8e496b512103e24c6bd2cecca090a85fe5ec2539f56173edf0",
      "verified_at_commit": "4e921c4"
    },
    "mf-bsd2-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "baa05458a97df4f72a467d09382652ad0438c8df768e81c053091535ad1774b0",
      "verified_at_commit": "4e921c4"
    },
    "mf-bull-call-spread-payoff-le": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "9de074b6ac7ccf085a69ddd29532d2d1d2624f3b295d5c8c0d1eb18a63884c6e",
      "verified_at_commit": "4e921c4"
    },
    "mf-butterfly-payoff-nonneg": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "0991f458d573574b9ee8b1fcf189886d4947ef849e6f1578e524c61386c417b5",
      "verified_at_commit": "4e921c4"
    },
    "mf-capm-beta-linearity-finset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.1,
      "input_hash": "78bf04ee6cbb9bbabae6ed7968780452fa12654ef4a1dbfc64683c09b3dfcf46",
      "verified_at_commit": "4e921c4"
    },
    "mf-capm-beta-linearity-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.3,
      "input_hash": "77a59a827ddefc2afe60dc2f2b91ef8b2e8c0c8bcba4b3f2de10946d7355ce7d",
      "verified_at_commit": "4e921c4"
    },
    "mf-capm-beta-market": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.5,
      "input_hash": "38c56366b7cd1fd9e94ec25429103abd7d927456e603a45b80a4422b949952db",
      "verified_at_commit": "4e921c4"
    },
    "mf-capm-beta-riskfree": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "67d6bbdcca8a7c4ca520e22628f217ef7a6769001306fddd3834f5223c3a7d17",
      "verified_at_commit": "4e921c4"
    },
    "mf-capped-call-bull-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "ed57bfbe765581cefdbe82c4619b90f9c3f41c3e5c3255e0dd819b47c6e4b82e",
      "verified_at_commit": "4e921c4"
    },
    "mf-carr-madan-log": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "70ae3b18b38caa1367774f3fde095748abc2d0eb9a1dceb1e367345f996fc866",
      "verified_at_commit": "4e921c4"
    },
    "mf-carr-madan-log-contract": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "31601f2122d1fb1b9086a1636e354e70f3a7212e60cc837ccf6987c86586c457",
      "verified_at_commit": "4e921c4"
    },
    "mf-carr-madan-spanning": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "ecbac45cc5d1a1a4b76a9875e198516f8c0da8649834ede834f06be09e48348c",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-digital-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.9,
      "input_hash": "351b6518376a8a0ded663c7efecd961abce447bb1756dd723c8d55a6d097deb3",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-digital-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.2,
      "input_hash": "f6847666635cf9a5550e98ff9742beb0d83582cef6469310e9b9696d21fb64f6",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-digital-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 12.0,
      "input_hash": "b8496eb2586edba68f99927d87ddacbb6b37a87ed28785cadbda5596e82f1f5a",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-digital-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.6,
      "input_hash": "7cd4b88a75445bc538a24240a300fefdba12b7327ea5a0d09a6c845954aa4e12",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-digital-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.6,
      "input_hash": "9137d4116019b93ba7fd8b5b30992806266a09e097769ca1895e14be6934233a",
      "verified_at_commit": "4e921c4"
    },
    "mf-cash-or-nothing": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.9,
      "input_hash": "7d261d493ee0586d5149b4d898783324e5ef882e5fee21c2b65b13c39b64299f",
      "verified_at_commit": "4e921c4"
    },
    "mf-cds-fair-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "dfb0a259af4b65596ebf5edc9957664f42ec33345443f2e7de97380438d665cf",
      "verified_at_commit": "4e921c4"
    },
    "mf-chooser-decompose": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "5a9d126b238c63ca72ea36c4aebc71d3ce286753cae9aa7d973e2176f15970ef",
      "verified_at_commit": "4e921c4"
    },
    "mf-cml-decomposition-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "282373ba7d1229cd3460ab75afc93115d51e149e9bc6f76331bf1b8fe5d5a5b6",
      "verified_at_commit": "4e921c4"
    },
    "mf-cml-equation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "0d0afca3b219645650de9a9dcb6e4014db86cab29dbda815e206815ca226152e",
      "verified_at_commit": "4e921c4"
    },
    "mf-cml-mean-at-stdev": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "fdb0af56cbf99fa70f2fde6c3036ae5367baaaf92dcc39ee6a4bd4c82352ba53",
      "verified_at_commit": "4e921c4"
    },
    "mf-cml-sharpe-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "9cb8a9608edae9f94d1e7a2a0505904443ffdc11635cd14eb5fd82b0800c565c",
      "verified_at_commit": "4e921c4"
    },
    "mf-compound-poisson-mgf": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 35.5,
      "input_hash": "28672eefa9f97ef9f4c82449a8131ecdb77aa2846529ad15e5a67cb2245d6941",
      "verified_at_commit": "4e921c4"
    },
    "mf-coupon-bond-strict-anti": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "94f6572aaed1a8c162d1135783e6992110a5998c2c94c09c826e185d4b15f712",
      "verified_at_commit": "4e921c4"
    },
    "mf-credit-spread-eq-hazard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "96111a36bd303cd2209133f3730208649331eedcbff66d1d07cd69461a6de61c",
      "verified_at_commit": "4e921c4"
    },
    "mf-credit-spread-time-avg-hazard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "7491119b21082a64f943cc35c34bfa7eb3ab84fb6b198c2b6f849d7690f2fc4e",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-bs-call-convergence": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.2,
      "input_hash": "78e81b4eb69af3a7f423ed615ba780525bc9716723559dc1bace7f2d52af719c",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-drift-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.2,
      "input_hash": "ea5745e9955eec388c9444a6d6a7b7c834f93df662d1e82a519b2a104011d772",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-drift-quotient": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.2,
      "input_hash": "d4d7f7ceec7c20dd72554edf14e5301679d60903e74f655a9de37499cbcd2428",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-gaussian-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "802f670f51d1a11f859cc34a7120c21d78787c332c4d6ce7d55806c06f691a91",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-one-step-martingale": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.8,
      "input_hash": "e562a260f648d46abd038fd367b446ae0e25f7c0f1b1b682dc1d1f3342a602f6",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-prob-half": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "8819221746526eda940bf4d575df787d7d22616df7d65199860e37b479a4860c",
      "verified_at_commit": "4e921c4"
    },
    "mf-crr-variance-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.1,
      "input_hash": "d29f87fff76f8ed7158d75d3be9aab2daa555b2a4bf817a81a0152d1550896ee",
      "verified_at_commit": "4e921c4"
    },
    "mf-cvar-rockafellar-uryasev": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "e9cda32451116c086367366fa69451e9312b85482f640ef14bd737e62d2b631a",
      "verified_at_commit": "4e921c4"
    },
    "mf-first-to-default-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "088d97f4495acaef2bb88ef379ef79d7c6c497fee83541d1c253443b7b34ce55",
      "verified_at_commit": "4e921c4"
    },
    "mf-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.3,
      "input_hash": "280f6ac04dff26661b28e9590762b6af0a3785441186922589f712a39fe6f663",
      "verified_at_commit": "4e921c4"
    },
    "mf-forward-rate-nonflat": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "dbd0af09b9704a3483e7fc3b3843aa22ad54974298f401e3ecc8e5db07c5b4a2",
      "verified_at_commit": "4e921c4"
    },
    "mf-forward-spot-flat": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "7c6079ced61136cd86620d9cbbdb26747a4b784248d450557b3aa71cbfa9572c",
      "verified_at_commit": "4e921c4"
    },
    "mf-ftap-discrete-complete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-25",
      "elapsed_s": 4.6,
      "input_hash": "67e2042fdc0f18e660286db543eb96fcc1358ae94ebc24b46c86799bbd9f4dea",
      "verified_at_commit": "bf6a903"
    },
    "mf-ftap-multi-state-forward": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-25",
      "elapsed_s": 51.0,
      "input_hash": "964abeea5156943913201ee17214d8dcada7918f576db0d34532787e59e7beb2",
      "verified_at_commit": "bf6a903"
    },
    "mf-ftap-one-period-general": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-26",
      "elapsed_s": 3.4,
      "input_hash": "3e7fd3f79b818d7aad0f987fe0f2e8bbf62327bbc529edc2e47c9e8a01cd344b",
      "verified_at_commit": "889d575"
    },
    "mf-ftap-one-period-vector": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-26",
      "elapsed_s": 49.0,
      "input_hash": "b85da33e2c2dce12f29be79873cbbd565867274b8dcbf404ce285e280a9c4ccb",
      "verified_at_commit": "889d575"
    },
    "mf-ftap-single-period-complete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-25",
      "elapsed_s": 42.7,
      "input_hash": "130675920c857393be3cfce1f068055437ec873805285d5c567b08a7baab0609",
      "verified_at_commit": "bf6a903"
    },
    "mf-garman-kohlhagen": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.5,
      "input_hash": "28f18d5c79deaf1bc8e9d4cbeb107a2cf96d353c75422036a521e0e6853b1136",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-additive-rho-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "6428efecae68980ea4cd371bd286f0962ae8ef1243fb9f5fe92ac490e51ebda4",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-affine": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "79264e437c2fd7966fc4c7adbe8520fb06107dd68cdd3f9c1ecec244a5cb4932",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-monotone": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "d6121a3a98ef33214ca6c52dadcfc0f7451f27dfec0723119869dbb35cc857d5",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-pos-homog": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "0381329f35949ca8cc6a2909d6fce6e4d685dbd1d65b8801029e4542dd1a963e",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-standard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.4,
      "input_hash": "ab5ef8a1274503c2bd058d30125cc5e35bc77a2f8179ae68728d0ae9e8cbdc12",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-sub-var": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "522737f95021599d28f559aa8dc9068d4eadd4d3e7bb6b81dbccd0f44186f9f5",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-subadditive": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "63b73c8672fd5a96d72b2b5463874b72bc4d53af37339555516b16ccfa6e1df9",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-cvar-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "0d5f5fe0ec363ac8482fe876bf2086a71bd26a13f56daa2a9867cd8b3f35265c",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-additive-rho-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "7a98ea40eeea8e916c2417ccc051e6cfc3f8cf2f86410a887d7f2f62a8575024",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-affine": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.3,
      "input_hash": "505693bcd098e5bb59c51eccd24c4c6c2c4f83709c3f8b2ab5f0d9f754933595",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-monotone": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "4ddc994f7cc8b191342204bf1b0488e7925535675897dc070fdf91a61b3d881c",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-pos-homog": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "d5bf81248ddf097011b2dd4183aa71e224fa475b75505dbff4a7607a26a114d7",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-standard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.7,
      "input_hash": "93a005530f88db1e8040eab897b4d2f155ffbc12d9339bade21deb37ec8a8d54",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-subadditive": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "a8ea471eb1a0f50a9d15ec0d850cb856e2456ea388aff830852e739507f9b2b6",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "8ca8a7599fb259c2e68a333e1982caf1044ab0d930d9450c86172c244b8cb2c4",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussian-var-vol-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.6,
      "input_hash": "a8d12c2dc323e33aab8c25326c630646b0e23afcc44c63d83342658d28bccec3",
      "verified_at_commit": "4e921c4"
    },
    "mf-gaussianPDF-symmetry": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "3e1bbb928d30e646a7ba7be20c81513566d8fa763e9f086f90b82b3ff5d27408",
      "verified_at_commit": "4e921c4"
    },
    "mf-geom-mean-arith-mean-n": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "84f039132ba4dbbc692ea1f1380162b025ef748d21d8164a7316bfac719b9485",
      "verified_at_commit": "4e921c4"
    },
    "mf-gompertz-cumulative-force": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "a355d07af68d2b1810ccfe4d37ab85cee5407287a9aca97d01b9bb1aa4c3f6a1",
      "verified_at_commit": "4e921c4"
    },
    "mf-hazard-survival-const": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "1e712f70427d06310e1aab4229b462c5ff017492a4097334f56fee0d720d3190",
      "verified_at_commit": "4e921c4"
    },
    "mf-herfindahl-cauchy-schwarz": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "ef687ce570caf94b56ab6102dec3b2916fdffb3448f3cad8f2f9d58e268ee5e8",
      "verified_at_commit": "4e921c4"
    },
    "mf-implied-vol-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "f7d6d603f64ecbbbcbf0aafcf35a2dfba0f05add0454757b73c21a81d8040073",
      "verified_at_commit": "4e921c4"
    },
    "mf-impliedvol-bracket": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "4caa8bb18b7f5c9f8ec40bfe195310a48aba7064802c7758eb95a1b47f16e0a8",
      "verified_at_commit": "4e921c4"
    },
    "mf-information-ratio-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "d45563cc48f57816425f1eb4e6ae77737731dc238a43b5bc2c2bb76b560787af",
      "verified_at_commit": "4e921c4"
    },
    "mf-integral-log-forward": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "52f4fc2f7eb7c9fb1a550ad703d54db827172b43dcab8c23096b5d2dd36b8bde",
      "verified_at_commit": "4e921c4"
    },
    "mf-joint-stdev-triangle": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "54a5bc33192e313a86223ccd58c7788700c3594091725013940babd051014775",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "bee3b55c718c72d815581d370a8ddee917ce7dd4f079d4b5732ca276d71a9ccc",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-fraction-lt-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.3,
      "input_hash": "531d31c2a3b4ef0d3addd5375dfec6a2f9c755689500d6150f2313009e2bfead",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-fraction-pos-iff": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.9,
      "input_hash": "7098ba6c708ce9bcb59fa0e1751e8bfa6b129190d6ba096548e9983a1f7da0c6",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-fraction-zero-iff": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "fe472be0a89ea986ff0af9fe813146853e1f78337ea444a70f3a50308fb7cded",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-n-periods-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.9,
      "input_hash": "1a8ce97513e7ac256ca79508bceafef7c2906e3f4f91091fbceb32147537fd75",
      "verified_at_commit": "4e921c4"
    },
    "mf-kelly-n-periods-linearity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.1,
      "input_hash": "fb70447a6e348962307d3e20339ad3acb3451a3617887bb26766ac50c6d9850c",
      "verified_at_commit": "4e921c4"
    },
    "mf-kmv-merton-pd": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "477f7bf92a1506e106a9145b7d6cdb1d639d88033c7cf139f96cad7939932431",
      "verified_at_commit": "4e921c4"
    },
    "mf-kmv-survival-Phi-d2": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "2789d93167c3c61f0f90d7e65537a24aef33bcfc95e2bd2f325f34a09add82e3",
      "verified_at_commit": "4e921c4"
    },
    "mf-log-forward-bsTerminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "62a04b516f8a3e4cb2bfcd7a2055ef333745349b5657a13e5d188317569590a6",
      "verified_at_commit": "4e921c4"
    },
    "mf-lognormal-cov-differential": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "57b15ddb20007f58aae49385f6138f010bbb97c77d5f36dc1924713d85d7375a",
      "verified_at_commit": "4e921c4"
    },
    "mf-lookback-payoff-ge-vanilla": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "83a6eb9860d135600afa57255bbadaab64d702e020bd23c52b15168e1b0def79",
      "verified_at_commit": "4e921c4"
    },
    "mf-macaulay-modified-discrete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "6a4140efbcfa569fdea9d9d5677f03e341b34f02a696083c94833de49d96514a",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-min-var-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.8,
      "input_hash": "37fd3185d2bfd3fa73f13bf3469016947e540b682e960b4cf5b76fc6dd79f455",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-min-var-value": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "8842ac6b7a7275be15aeab16e552edf9770b68df6310d5b095fe3cfa4a6ede9b",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-n-diag": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "4429aa1802d3e2d8f5a03f06f68fb7aa395c7252ef9a8aeb5ce31eb25e7f6131",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-n-iid": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.6,
      "input_hash": "36945e2e24a01e5d34add5c1131b7df8c80347533632dc141a24b178cf8b2903",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-n-psd": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.4,
      "input_hash": "474965d50705fedb0cc5ccdcc24d8ee34fa9501cf8ad53739eb87da75f6ec296",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-n-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "b18de810490af52c5f2df1312ef58000d5bd6b9559b9fd459b49ee95d95ccac0",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-n-two-asset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "2a8beb3543a597046675be24b22c202df627a54d3df5b116458e30b146853814",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-perfect-hedge": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "0e9cfbb4b7eeaf6eb169c88766590112a1e3030b4f308baa1fd9fab2c50ff886",
      "verified_at_commit": "4e921c4"
    },
    "mf-markowitz-variance-factored": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "92095f9e3e759cd228cad9466885eebf631f1cc510421185a8ce28e6ce22eabf",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-1973-no-early-exercise": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.1,
      "input_hash": "b6859e9739f085e8c4559ebaa83bda93ce1e60e64ed0e2dc250951b90d97ea2c",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-call-series": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "2a3245d0d583f14f9929725bbabae789040ed0a1fb9a8a6150f8c2594202b27d",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-classic-display": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.8,
      "input_hash": "dd52f95a1e8164a723dfdd7f63684c5db54fde7a8bae8937437f9d70c7c6e7f2",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-dominance": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "140b0f2912f2581a2e0e836e2b94f92f8f0930e46cbeb72e8d58aed8df66b5a3",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-put-call-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "55fd8c9f49bf086e07cde77f6214deb87c507bb6402123a2bea32708cfe6fcf5",
      "verified_at_commit": "4e921c4"
    },
    "mf-merton-spot-recombination": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.9,
      "input_hash": "4781e04007580657ec1bb60d02eea8e51dde8c38fbd48e06225e13165744e79d",
      "verified_at_commit": "4e921c4"
    },
    "mf-newton-raphson-fixed-at-root": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "4730929d96929c2ba33892929beeaae2d19eaf80a10fe8fc61e92c6b52248eef",
      "verified_at_commit": "4e921c4"
    },
    "mf-no-arb-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 11.4,
      "input_hash": "3a818f878c4b5303a6fa136bbeaad2bc83e0116ca14f7e620dc010c47512f7be",
      "verified_at_commit": "4e921c4"
    },
    "mf-no-arb-putcall-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "7173a69363d2ea923afdb5cc93ffa4acb945a7ae427dbcb897fee83d6bedb58d",
      "verified_at_commit": "4e921c4"
    },
    "mf-nth-moment-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "1ff572d20626857675f76f444401e6f91220b75244da621f1b741592b98ab4aa",
      "verified_at_commit": "4e921c4"
    },
    "mf-phi-le-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "23188a6a7d313a74c684e725da358aa3223db867c78e7f9be0bea92a65e6cf3d",
      "verified_at_commit": "4e921c4"
    },
    "mf-power-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "571838db61cd4ffd6d3e7472ed32086c47ca85adb09aa9451577d6fd5cfdbe29",
      "verified_at_commit": "4e921c4"
    },
    "mf-pricing-kernel-butterfly": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-25",
      "elapsed_s": 57.1,
      "input_hash": "59a14e889fc98c35820ce99b1c6252548545429ab263c4295c5875af55f88f0e",
      "verified_at_commit": "bf6a903"
    },
    "mf-put-call-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "7b4111e3a50ede877bd8203dd0b593b75ddbf0422247498920af8d45395008c6",
      "verified_at_commit": "4e921c4"
    },
    "mf-quanto-correction-factor": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "3fc71afb279b43f2ff049fac5ea3ffaee813963fd5230f033d52d82d74803f03",
      "verified_at_commit": "4e921c4"
    },
    "mf-reflection-principle-counting": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "0be0ec27a95599ea017a65bfcef6e714d169317eb35b373e612de143e5e1808c",
      "verified_at_commit": "4e921c4"
    },
    "mf-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.1,
      "input_hash": "e7d2575bdce45b3dc02023b782ae7045a01dc91f47b23853783bcff354abe0d5",
      "verified_at_commit": "4e921c4"
    },
    "mf-risk-parity-2-asset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "a03c822faf8eb9ba9e0861d92902a87d86204a8c26c4ab751743a2b61bec7a8f",
      "verified_at_commit": "4e921c4"
    },
    "mf-second-FTAP-single-period": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.7,
      "input_hash": "8a950825a525260d842004a6e1d712c34a831bcfb563fa32564cf1311779611a",
      "verified_at_commit": "4e921c4"
    },
    "mf-second-moment-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "e23e621b9620bd6c650b4420a16f9bec5365209161ae027c3abc4ea541728449",
      "verified_at_commit": "4e921c4"
    },
    "mf-sharpe-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "ce3bddf6c68152ea7e4ffe3e93f51fb5acc889bf60d3f7109627040450ebb4b0",
      "verified_at_commit": "4e921c4"
    },
    "mf-sharpe-sqrtT-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "cc7d6a9477ed98e87529a316c5f614088b2ab1581722b75e560ed039a1eb709e",
      "verified_at_commit": "4e921c4"
    },
    "mf-sortino-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 6.9,
      "input_hash": "5bc49f75c8cd396fe6d82eefb282c71ef593fd1bd349e1421bf4ddd5e10381f4",
      "verified_at_commit": "4e921c4"
    },
    "mf-sortino-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "07c8887743303a68bce0fa26dafb4c69d843670445a46aa570a8d80c2c4bf910",
      "verified_at_commit": "4e921c4"
    },
    "mf-spectral-risk-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.5,
      "input_hash": "d79db83a30f75f22f17b4c5dd7da72b86a7da844aaa40a5ffa335b04bb458433",
      "verified_at_commit": "4e921c4"
    },
    "mf-state-price-pricing-linear": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "29d4852bbb078bb00e9aca5e536e304ccc5f37fee39cc6070b6b88d2bdda8ea2",
      "verified_at_commit": "4e921c4"
    },
    "mf-state-price-risk-neutral": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.5,
      "input_hash": "6ed3c01c709c712a8a311852755c1ec4494dd7bddf79c015afbf9f7fb2a010f1",
      "verified_at_commit": "4e921c4"
    },
    "mf-survival-at-zero": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "524daff522467234d6a535dce57b438636db8ce6ba8eeff59c900a8331577749",
      "verified_at_commit": "4e921c4"
    },
    "mf-survival-pos": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.9,
      "input_hash": "040e7c76fde9dcc75814675a9a61ad19d4a71b919b9f8360303b8df5af08db2b",
      "verified_at_commit": "4e921c4"
    },
    "mf-survival-strictAnti": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "8394661a08756f232dec5678807d87837ed6577aee0fd202c2c9e4eef54c4af8",
      "verified_at_commit": "4e921c4"
    },
    "mf-swaption-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.9,
      "input_hash": "098ab045d527fb915b971b50ab52e2c2a5dda389368438ae25147e57d888b39e",
      "verified_at_commit": "4e921c4"
    },
    "mf-tangent-portfolio-N-sufficient": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.3,
      "input_hash": "50898bfbf7e15706d8881d4692cc7d5570f6d51f231df51ceb1186ffe23aa8b6",
      "verified_at_commit": "4e921c4"
    },
    "mf-tangent-portfolio-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "a705beeebf1668a14bd3374f258637268d552a4d260f52c8b1df35fa97174f03",
      "verified_at_commit": "4e921c4"
    },
    "mf-tracking-error-cauchy-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 7.9,
      "input_hash": "deb83ccdd86fa7f2bd40ec95f0ed7416d39a405a62ad02126c23130f90e6c6a1",
      "verified_at_commit": "4e921c4"
    },
    "mf-tracking-error-self": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "9bd280bad9ad161b685a27d37aa4745197f2b1990c9cf112132287f0bb18d496",
      "verified_at_commit": "4e921c4"
    },
    "mf-treynor-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 8.2,
      "input_hash": "7da08f4413362b4f1346442aec1d855d9d7ef3d9d607a65f4e3c400d4baee5a4",
      "verified_at_commit": "4e921c4"
    },
    "mf-triangle-arbitrage-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.3,
      "input_hash": "d23ef045e5ba40da5521605cff27fc0d99bf1651a82fe4d9822017e71a89bf02",
      "verified_at_commit": "4e921c4"
    },
    "mf-variance-swap-drift-immunity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-27",
      "elapsed_s": 45.3,
      "input_hash": "7509d9f44b352b75449aaef3beca69946008a5f60bbca9079ff2278ee337f9cf",
      "verified_at_commit": "141e4f5"
    },
    "mf-variance-swap-equivalence": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.6,
      "input_hash": "55bc606a698749cd9bfa2387268fca79d2fee5c195f0cbf0dcf375a20f7764c9",
      "verified_at_commit": "4e921c4"
    },
    "mf-variance-swap-log": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "ff3d4843bd9a9e1e3e66164a17de546b4d81029d05a15edce18b32adae0c396a",
      "verified_at_commit": "4e921c4"
    },
    "mf-variance-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "64bfac4c46745aaf6398886825c6cd90243db14cbf4314753d0c1fababae6213",
      "verified_at_commit": "4e921c4"
    },
    "mf-vasicek-deterministic-ode": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "726fa69d543a7f6e1e58cdc42b5b0d8d132119320e4a286551c9c17c16ef81c3",
      "verified_at_commit": "4e921c4"
    },
    "mf-vasicek-half-life": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "88a50d4cbdbfad05a2f782d1b8fb35206432e7cc0209dca69cc7e67b692dc1bb",
      "verified_at_commit": "4e921c4"
    },
    "mf-vasicek-sde-terminal-gaussian": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-27",
      "elapsed_s": 53.1,
      "input_hash": "d78af7339917d1ab6b74fe24261725f10e1c2b4be663b06b83b108f1a7caaf6e",
      "verified_at_commit": "141e4f5"
    },
    "mf-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.7,
      "input_hash": "09b7feb09670723a8472556d334f1c5f56bdc597ac91ff6ce7a0f6cffd55692e",
      "verified_at_commit": "4e921c4"
    },
    "mf-zcb-convexity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.5,
      "input_hash": "63f2da61cc12129c203e5eb133e72d201fd8151c9691eaf062f67b06607f2e55",
      "verified_at_commit": "4e921c4"
    },
    "mf-zcb-duration": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "74629e5574382a4c749da53d617269c89bdf28c753f84cb645f577d2ad3301b7",
      "verified_at_commit": "4e921c4"
    },
    "mf-zcb-maturity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 9.6,
      "input_hash": "7247a0fb0035635759f8641deb0cb634d3d2a0ec8146c6ffc47e9887f1f1b407",
      "verified_at_commit": "4e921c4"
    },
    "mf-zcb-yield": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-06-24",
      "elapsed_s": 10.0,
      "input_hash": "94c83cb14c248ba1ff65edaa0cadc72c4be749ddb952daa0d2712cb5da8e3ee6",
      "verified_at_commit": "4e921c4"
    },
    "pp-prop-3.3.6": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-06-24",
      "elapsed_s": 10.8,
      "input_hash": "bcb9941251b484572789c8d49211c3c3167cafa43b4f9dd7c336014acdfa3970",
      "verified_at_commit": "4e921c4"
    },
    "pp-thm-3.3.10": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "153b697f187e30749bab8315bdb75a3383300ed68dec96d69b9f97a36338c83c",
      "verified_at_commit": "4e921c4"
    },
    "pp-thm-3.3.5": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-06-24",
      "elapsed_s": 10.7,
      "input_hash": "ac44c9f795f1620ae0a668f6610b09e5d35fbbc51fad4a5f29ce770bbd4da14c",
      "verified_at_commit": "4e921c4"
    },
    "pp-thm-3.3.8": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-06-24",
      "elapsed_s": 8.7,
      "input_hash": "3ad643a63c8281745c6af9d3fe5654c3625606765f4c53743f6c06d6599a4d5e",
      "verified_at_commit": "4e921c4"
    },
    "pp-thm-3.3.9": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-06-24",
      "elapsed_s": 11.0,
      "input_hash": "d89ecf5aff48dd9e334785643ac2e2929297677920b7b20c81c32b4285a8abf2",
      "verified_at_commit": "4e921c4"
    },
    "sc-bs-pde": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "881175368f42ad999ddf4248df5ac927e4fc5585ec20cd8204688cb30cea4969",
      "verified_at_commit": "4e921c4"
    },
    "sc-bs-pde-feynman-kac": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 10.4,
      "input_hash": "0c520bbcdc0337de1fefacef30ba9a4a95f200cfae7f71344aed599745dd04a0",
      "verified_at_commit": "4e921c4"
    },
    "sc-discounted-gbm-ito": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 68.0,
      "input_hash": "27d53a00cdc4d6304c1589817ec2c56771ab71b60079102ded76b8063378ac5a",
      "verified_at_commit": "48e4018"
    },
    "sc-discrete-cubing-identity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 9.3,
      "input_hash": "fe9d3950e8c869accdc793463b7795897bbba93040209695b6bda5b4b14f47b4",
      "verified_at_commit": "4e921c4"
    },
    "sc-ito-covariation-bilinear-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 98.6,
      "input_hash": "9bac1a3496ebc5da14d0c25d5347220ba072ec9252904d9f4c5fd167e68b56b3",
      "verified_at_commit": "141e4f5"
    },
    "sc-ito-formula-gbm": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 126.7,
      "input_hash": "77bfb4591060f7d7cd983911ec28e3a87ddd11cb4a3af8953f341c114ce8750b",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-formula-ito-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 51.1,
      "input_hash": "9e57f831e76a81e92175754eae24ed8c6ec23a2d23fe135b57eed093850d81e1",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-formula-localized": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 77.9,
      "input_hash": "ff99768a43bcfef08f22b7c6e62b8d8db63ee0e12f2faa191f14b4c0ec50d20e",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-formula-td-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 67.9,
      "input_hash": "7b58d40604a949cdc46123a46395971e1ef4628ff346c45ef9b5eabc2f05379c",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-continuous-modification": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 34.4,
      "input_hash": "ef7d638411027f01491291ffb31f5de8bb2d2595934388ff87154d9236cd059d",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-l2-continuity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 71.0,
      "input_hash": "7764e57dcc108eba1142c319a1b84037ff5af57720dec4448c472ba7bf3cc9c9",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 69.5,
      "input_hash": "3c5eb8a37386d36a6469860e43f697cbaa9377bd4a8454787e7498492b25b466",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 43.8,
      "input_hash": "ffd1276080bddf46b86b137d905887ab8b7aec226238c622f1dc690db230ae78",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-terminal-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 60.3,
      "input_hash": "a0cbd2173e8c279b08fed70dd731fb669b4bdb3cdb4a015dd68fb52ce15b7bd2",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-general-time-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 33.5,
      "input_hash": "f0666398af2f1d3f4f41aad7657b744ba8a7373c7ce85e6ad43448349ca7c760",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-infinite-horizon-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 37.5,
      "input_hash": "0ae86667e800598308af2386b623c11f196caf4d4f9674c67a5e68255e1c7f68",
      "verified_at_commit": "141e4f5"
    },
    "sc-ito-infinite-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 36.2,
      "input_hash": "001135bd507922bc9d447855ea6a66488affe2d457a7fe1f7b83147ca02e0867",
      "verified_at_commit": "48e4018"
    },
    "sc-ito-simple-process-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 45.9,
      "input_hash": "67e5d87a6c24cc464926c14681a1d5f7d31c424fa2a2fb311b6fa3452cf58fe8",
      "verified_at_commit": "141e4f5"
    },
    "sc-ito-simple-process-l2-continuity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 65.6,
      "input_hash": "a087c63b14f12154cacc2c236526a40382b06f799a3688807a4093e544e3c758",
      "verified_at_commit": "141e4f5"
    },
    "sc-ito-simple-process-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 54.5,
      "input_hash": "96a716f78ddd43ca7487b7eba6ef702889d9f2f5b250d6c644109b2b6b396113",
      "verified_at_commit": "141e4f5"
    },
    "sc-ito-simple-process-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 50.5,
      "input_hash": "abf43d5b413815d6dbbdd336ebaf16284f0a3d2a46496e78a42970c86b4ecc3b",
      "verified_at_commit": "141e4f5"
    },
    "sc-memlp-ito-simple-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 61.6,
      "input_hash": "30636cddd2681e6d7f3e151a7e0bdb909a556a51b22f6384f0973142f3c1ece2",
      "verified_at_commit": "141e4f5"
    },
    "sc-thm-6.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 10.8,
      "input_hash": "c67f7e4d98f4f2dd0f8cfd5b31596fb6cf578647a7e6962caa1e8e58cbf4e7c3",
      "verified_at_commit": "4e921c4"
    },
    "sc-thm-6.2.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 46.1,
      "input_hash": "489f110a02cd54a3306ef77e1c3fac8b009cdef09ed939abc6ebd053551dea6a",
      "verified_at_commit": "141e4f5"
    },
    "sc-thm-7.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 97.6,
      "input_hash": "0b32f7c6abb1b33f5156990910a4a1a163f67b43bcc236cd058a2734ccb3f130",
      "verified_at_commit": "3551011"
    },
    "sc-thm-7.1.2": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-28",
      "elapsed_s": 69.1,
      "input_hash": "2546bb44bee47065724114906e72a53ebb6aeb57a1a6375cf102c6b0422e824a",
      "verified_at_commit": "48e4018"
    },
    "sc-thm-7.4.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 51.9,
      "input_hash": "414c721a245477c30a93cf32a3d0605e32a26f57032d4394c503c656b1df1fb9",
      "verified_at_commit": "141e4f5"
    },
    "sc-thm-7.5.2": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 7.8,
      "input_hash": "0c234fc4811c91550d2dc3a880ed65fa05f0e1ef6325db84c8e35a14cbe83075",
      "verified_at_commit": "4e921c4"
    },
    "sc-thm-8.2.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 8.1,
      "input_hash": "e40b723614b56108c6ecb9f4ea33a7cb2fda620123852141fa7984d17324376a",
      "verified_at_commit": "4e921c4"
    },
    "sc-thm-9.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 8.4,
      "input_hash": "0c3e637206d78c044955dace1a08919cb2ad70d0783a9da6cb86934d57f35e24",
      "verified_at_commit": "4e921c4"
    },
    "sc-thm-9.1.8": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 8.0,
      "input_hash": "358549cb9670b0defec59eed9006d3b68583b43f9b7ecad000346ef6e63b7e18",
      "verified_at_commit": "4e921c4"
    },
    "sc-thm-9.2.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-24",
      "elapsed_s": 9.4,
      "input_hash": "f7f5563573b8665a2f0c7822fda4fc8072f40362e932637c386b77f9088f4c8f",
      "verified_at_commit": "4e921c4"
    },
    "sc-wiener-integral-gaussian": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-06-27",
      "elapsed_s": 64.6,
      "input_hash": "a38bc7855681d64104c0acf41813eb1d360da0007e3695747b7129c1da981429",
      "verified_at_commit": "141e4f5"
    }
  }
}