{
  "_meta": {
    "description": "benchmark verification ledger; see tools/verify/ledger.py"
  },
  "entries": {
    "bm-cor-5.3.4": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 3.7,
      "input_hash": "9edfcf3753340c7cce1c6442c400313c97a5f37003214653046c451bdae689c6",
      "verified_at_commit": "ad96063"
    },
    "bm-def-5.1.1": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "e956dfc644a1e2f244da31e48882abee2a52c3a17a78f46c29d681528fd077c3",
      "verified_at_commit": "ad96063"
    },
    "bm-prop-5.1.2": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "ce1c989cc2ca129c77234e6b18d2c82089517adb11ff4fcf79ab142c5ce64359",
      "verified_at_commit": "ad96063"
    },
    "bm-rmk-5.1.6-exp": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "0844c7ec718c050488c255132f6f89f5d5138a1f9fa48ae33411b619ee2f9ce6",
      "verified_at_commit": "ad96063"
    },
    "bm-rmk-5.1.6-square": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "e29f15f949f6ade032e8cb0b01123753d01dff3528ec09ceddb38e9024cad5b8",
      "verified_at_commit": "ad96063"
    },
    "bm-thm-5.1.4": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "ccbe5290ba55602f4c3a73d30491bfd541a642517bdcc316c0008b9a0383e74f",
      "verified_at_commit": "ad96063"
    },
    "bm-thm-5.1.5": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "9545abf470df74ddebb950c4337910d0d5d354a542271a37d3861ed253b9611f",
      "verified_at_commit": "ad96063"
    },
    "bm-thm-5.1.7": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "ab05cc5ebe1b6734bd883d79abb4a4da55fd3d4a5904d2c0cde6aa3ef9e7f37e",
      "verified_at_commit": "ad96063"
    },
    "bm-thm-5.3.2": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "35df9457f137aa429c9a476991cb2a6aa31445ef3a25dc070cd13bb20c681880",
      "verified_at_commit": "ad96063"
    },
    "bm-thm-5.3.5": {
      "benchmark_file": "brownian_motion.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "3e52904b7a780ad940a0565fbbf7c001aed32bea3ea8aa798b62e0a8d1096bb0",
      "verified_at_commit": "ad96063"
    },
    "ce-prop-2.1.11-independence": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-07-27",
      "elapsed_s": 2.6,
      "input_hash": "0c49c2641441a2c16f7190b9c426db36f0d05ff66cd5cddd02d54b323fbb02d7",
      "verified_at_commit": "ad96063"
    },
    "ce-prop-2.1.11-jensen": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "4f8c9520f7fdcec9e1a28222eabd5d7d5e73c120880e02905e91123f63e65a01",
      "verified_at_commit": "ad96063"
    },
    "ce-prop-2.1.11-pull-out": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "07f91d2943fcbbfed98c3352ed4814a2c525b120a386b92dde7d02fb4150ee76",
      "verified_at_commit": "ad96063"
    },
    "ce-prop-2.1.11-tower": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-07-27",
      "elapsed_s": 2.8,
      "input_hash": "2624d73ce2101b92f1fe04e564225f83f2379f0cf6c63c9196b04754828ef1b0",
      "verified_at_commit": "ad96063"
    },
    "ce-prop-2.1.5-linearity": {
      "benchmark_file": "conditional_expectation.json",
      "date": "2026-07-27",
      "elapsed_s": 2.7,
      "input_hash": "3986ef6543dfb59515325893cfd671f3deebe710a8d4263f556b2aaf07d66cc7",
      "verified_at_commit": "ad96063"
    },
    "cm-prop-4.3.6": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "66a212750c6790c7d8bb9fc2e13dcf903e62b142cd2b55705b5fa66a1ad08c74",
      "verified_at_commit": "ad96063"
    },
    "cm-thm-4.3.10": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "db83d8fcde4655de4753d1d4bc96664c5c4fcfe2a112daca2b101c621b8fce0d",
      "verified_at_commit": "ad96063"
    },
    "cm-thm-4.3.7": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "bfb7187460266d1b0bc87521ae3852dee3d6283b60f6b02727917b5a4a5c39d5",
      "verified_at_commit": "ad96063"
    },
    "cm-thm-4.3.9": {
      "benchmark_file": "continuous_martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "6e0188132f17c6b042061d597da19d48db263c2563fe2141a9ed3b717d9af661",
      "verified_at_commit": "ad96063"
    },
    "cv-cond-exp-tower": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "89a06b3c251c43e97b95089014707942dd62795fd04d630d249c26d6edf06c8f",
      "verified_at_commit": "ad96063"
    },
    "cv-poisson-def": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "0fa76eedee552c7e53a1e5565a91e0ce9e0a56dbe0458aa152c82c6204d6429f",
      "verified_at_commit": "ad96063"
    },
    "cv-prob-space": {
      "benchmark_file": "cross_validated.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "ad2118fc13828020664af7982abfb535cd916ed6c0764b6e1e3ff7d0306d6446",
      "verified_at_commit": "ad96063"
    },
    "dist-exp-memoryless": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "2df7be1840461a0c77b9b9bf370f7b1cce3a4eb6f67ecb4cc7ed7db4b72b654e",
      "verified_at_commit": "ad96063"
    },
    "dist-exp-min": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "3ff7c3f55de3b9cb4ad4113e9d118ebb7aa5ed2a573a973e09ddccc6f70569bd",
      "verified_at_commit": "ad96063"
    },
    "dist-poisson-pgf": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "88529d0af5ef066ab5016a520872311a871d86ebb0b7a72f4664a49144b7114c",
      "verified_at_commit": "ad96063"
    },
    "dist-thm-B.1.2-affine": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "efd0d56cf589dd4129eb87dc799399c27ddba7b024e9837be09bb92b0f9a5c37",
      "verified_at_commit": "ad96063"
    },
    "dist-thm-B.1.2-marginal": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "a6d61cc03023012abd0e8ed171338095140c60d88bd6247a4eb4e8911c0f9436",
      "verified_at_commit": "ad96063"
    },
    "dist-thm-B.1.3-conditional": {
      "benchmark_file": "distributions.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "292326f30a42fe3a953d9e4936161ce911a49cb6b4ba70f6246df149f2297ca4",
      "verified_at_commit": "ad96063"
    },
    "gir-bs-call-formula": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "e31289a51b656b058fe34333947020cb758412c016facba6ce3edb67ffbd36e5",
      "verified_at_commit": "ad96063"
    },
    "gir-bs-emm-girsanov": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "bd1ca8dae9aa2b9ae00d990b1ed88f8ea7f143dddbd2dc1425d7748e50059c64",
      "verified_at_commit": "ad96063"
    },
    "gir-change-of-measure-engine": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "ffcb91557e217de4b7af4490a60f64027ce4774a0fa40e8232a7e657365bd67e",
      "verified_at_commit": "ad96063"
    },
    "gir-const-theta-marginal": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "368413e9f4d9c9499f78475a4dae61f7ca0e0093d88aa00862103f563fd480a3",
      "verified_at_commit": "ad96063"
    },
    "gir-const-theta-qbm": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "cc28f5900bf06fd5cc697372b8bdbea5c1029b32ffd1bbd0e04d01c4e9399907",
      "verified_at_commit": "ad96063"
    },
    "gir-continuous-emm-forward": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-06",
      "elapsed_s": 124.2,
      "input_hash": "7fe447bb5804d9fa0434b36efea731233a60828ee490ca6a31613ceaf5c5b3d0",
      "verified_at_commit": "2969534"
    },
    "gir-continuous-ftap": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 118.9,
      "input_hash": "b83927c5a2613bff30e4783e3594747afa3f157480d3dca7f31722c4f29fad6f",
      "verified_at_commit": "14d78b2"
    },
    "gir-discounted-gbm-emm": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-06",
      "elapsed_s": 144.9,
      "input_hash": "51357ebad24f67ac44b7ddd0335f6a85f9f3d4e621c2d3ca92fde5ba860b556a",
      "verified_at_commit": "2969534"
    },
    "gir-discounted-gbm-no-arbitrage": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-06",
      "elapsed_s": 117.1,
      "input_hash": "390e95bb734e03f0507bb404093d8cd2c4d55795d08d2f8ba3e97e9bb62e9fbe",
      "verified_at_commit": "2969534"
    },
    "gir-market-completeness": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 219.9,
      "input_hash": "ba7233901543cb6abbc54cb0ea48b53daa26f9d629f404f341ddc7004bdd2197",
      "verified_at_commit": "c675795"
    },
    "gir-martingale-reindex": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 57.8,
      "input_hash": "b861f2b34bb3b6967b3f5758a5c1310dd0ec087074867770f47e196c4e03e136",
      "verified_at_commit": "14d78b2"
    },
    "gir-mrt-range-surjective": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 198.3,
      "input_hash": "0f8e518ff82c7c32fc95e4c17b03b28db3a6e03c2dda60b34176edc16510ff38",
      "verified_at_commit": "c675795"
    },
    "gir-pricing-measure-unique": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 118.6,
      "input_hash": "b24cf1d2ec88a0fa1b6269d38dd6c3ab9c5b42206c4fcee7665c7f25e4a7b176",
      "verified_at_commit": "c675795"
    },
    "gir-simple-adapted": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "6d68de8aeafe4015d234d3af0b4489d474fea796421a36993f3f209168862a63",
      "verified_at_commit": "ad96063"
    },
    "gir-thm-9.1.7": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "f07348bd06fb76ba926628a709ef40a9c1347e49b766a69ccf6465586660a5d9",
      "verified_at_commit": "ad96063"
    },
    "gir-thm-9.1.8": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 271.5,
      "input_hash": "aaf0a1d39fb27cea4b5651b7e7872314f2ce2e56afc7e013552aa0f461ea9c88",
      "verified_at_commit": "c675795"
    },
    "gir-thm-9.1.8-predictable": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 117.3,
      "input_hash": "3fc241882c6f36d28f16af6dc7994ee2af3c436b895f88321067a436413f2908",
      "verified_at_commit": "c675795"
    },
    "gir-thm-9.3.4": {
      "benchmark_file": "girsanov_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 79.7,
      "input_hash": "9958bf56c27e677353f5c02f9497b7875662422264163e8a7fd023a81bf586e9",
      "verified_at_commit": "c675795"
    },
    "mart-prop-2.5.5": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 2.9,
      "input_hash": "fef3449886ea1bd2aa94654c429be0f1e7600010634e386145979a3adf55e292",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.2.12": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "09f281e821dfb3790a8ab82ebd7fabf21674efd37e136f7aa1e5de0768037043",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.2.9": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 2.8,
      "input_hash": "42292a5f4a78860de6f4ddf28d69eb807c539abef3dbb341932e54ddb7c27a53",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.3.6": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "4a8747a87996cd6feb059ab8b63a84c6fb80fdebc3f0f6de58ac43a924952db0",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.4.3": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 2.6,
      "input_hash": "9ec4e7f40c9ab78f8e2c8cd7d6fb53d10326d05cab9a7774d6f6effc244e2d16",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.4.6": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 3.0,
      "input_hash": "19e9a9599c1994d8f36cbda99478be5bdcd5f276a6251ac13b3ec18dd7360c54",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.5.1": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "a43b7452b458a3ee0757484652420d71625f3b68daf30754fe8d5453d4b8c1af",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.5.3": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 3.0,
      "input_hash": "1740e96c0c0f29346d799c69bd69558fb126a781ba4b1f10e5483cd417946b4c",
      "verified_at_commit": "ad96063"
    },
    "mart-thm-2.6.7": {
      "benchmark_file": "martingales.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "1f51eac6e9c96ff0ad8af7b1114e788c0802ff4e46c63cb05540ff30f830e786",
      "verified_at_commit": "ad96063"
    },
    "mc-def-1.1.1": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "1948406b84c27f4feff162c0dc54fe13a0b286881122b64ef32ae07c5f486c1e",
      "verified_at_commit": "ad96063"
    },
    "mc-prop-1.2.3": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "39781263078caa6976f041584784235ef7feeb7da9340607f6b8d4790330113b",
      "verified_at_commit": "ad96063"
    },
    "mc-prop-1.4.13": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "b236859d4a07559457434fad8132fb062645476061ecaf7da28c7ea5ffdf4394",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.1.2": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "3cdc348d0b2e1abc9980f80527ed46ccb445eec3b464c65641df19ea5032ac4f",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.2.11": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "9db808c7d7c9fa1b148553728f4fb4059305405c03811bc54dc30470be8158f9",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.3.12": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "14e73aed50fd059f2f68c28252404cb319d92819d5921a187bff381375a6f63b",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.4.25": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "681c47a4c32fe2dda1753212ccc7bf0738c10bc1a696705500103dfe8f325b89",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.4.32": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "892ab6e5057ef4bb3e27fdb78ea332a18164d0d47b62731a68c8174daad7afa5",
      "verified_at_commit": "ad96063"
    },
    "mc-thm-1.4.40": {
      "benchmark_file": "markov_chains.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "9dca53b5900ea290a7edd3106d5db1b05ac68e75dfdd23a3de0d0307012f8b6f",
      "verified_at_commit": "ad96063"
    },
    "mf-almgren-chriss-EL": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "b8dec8cc19d30b241b60b75c6b5e03049a3ceba78f4c465c08d98c01121f3bad",
      "verified_at_commit": "ad96063"
    },
    "mf-am-gm-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "35ab83bfeda52b226398836090b8ec690aa51cbd72d6fac0804912fd21f213d8",
      "verified_at_commit": "ad96063"
    },
    "mf-american-ge-european": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "9896410c8d24cf253c5c1c8160c536d222893258eff4b351c1f5e062fe8f18ea",
      "verified_at_commit": "ad96063"
    },
    "mf-american-intrinsic-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "2796de57cfd7cf5480a43adbd2bb0c99a3f01e652a3db7668ccc782ad4fbb5d1",
      "verified_at_commit": "ad96063"
    },
    "mf-american-supermartingale": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "e9c19551adf8c1133eab01c93238297f9471554bf01654de567c5b75cce566e2",
      "verified_at_commit": "ad96063"
    },
    "mf-annuity-closed-form": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "a9792ee76359170b82d808097c0b430973e4a1c91d0649d6cd597fa1d7975433",
      "verified_at_commit": "ad96063"
    },
    "mf-annuity-due-closed-form": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "ac601ea1b4f1759629c4fb36c03adfe61e721661365c977beed0f96f1a247630",
      "verified_at_commit": "ad96063"
    },
    "mf-asian-geom-driver-gaussian": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "fffe91458825933f5e57cd5e569c43088983e5b8c3d654effcbed094c758d5d5",
      "verified_at_commit": "ad96063"
    },
    "mf-asian-geom-le-arith-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "8a6c820ac230a37e591ed68e9d43abcfd74eca5672d9732d10f1fee9fd3f55d8",
      "verified_at_commit": "ad96063"
    },
    "mf-asian-geom-n-driver": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "e4da6427abf8ac3af9be2ce08c02c1254beae4a6c6b8a12527ffcfc6e15393c8",
      "verified_at_commit": "ad96063"
    },
    "mf-asian-geom-n-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "80cb8248ee061ca0cd1f2fa15a2b58f144bdaecef4521e97b046f39291ddd9af",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-digital-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "f10d7971e7e92eb9d0084c86a93baa1c18522cdf449233629bc8875900dd0b13",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-digital-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "335a7c73cfeef3f1b60f2723e986ac5650f9961593b77e73e2df177b6aab8c7c",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-digital-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "27c807ae9b32bf817055f5ba632d524c353be41bf2f92274d88ec506c8011ed4",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-digital-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "0cade4df0927d8eb16f34a63edbbd907fd310e90a6bb88675eea8c9d5d4b9fcc",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-digital-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "fa3c296b3f084abc445dd5e9fc8b32a4a6a928923ced6589af034f0e91d41e11",
      "verified_at_commit": "ad96063"
    },
    "mf-asset-or-nothing": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "1f936ff630d4f2d695baea28e1516e84294077cf9740a4a7aec6a8e9f6d2aba2",
      "verified_at_commit": "ad96063"
    },
    "mf-bachelier-call": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "bc5c5e133786bdd040c23662b842ac09205155106f1f54ac6cfac7c89d8c72bd",
      "verified_at_commit": "ad96063"
    },
    "mf-bachelier-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "e29a9f73dc38157a4287df7247a59788571be95ade894149e2c76c0fec47b6e9",
      "verified_at_commit": "ad96063"
    },
    "mf-bachelier-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "47f84eeb1e59c7de03c4d398db457210f7fe1b2bbc6d7afa49d0f4e4eafe9f6f",
      "verified_at_commit": "ad96063"
    },
    "mf-bachelier-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "ef528dce26427e0a760b3122ceea28710424dd3bf38b413bc8864170ac7a7bf4",
      "verified_at_commit": "ad96063"
    },
    "mf-bachelier-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "d2ebb18fdbda3c82ac6690da30188d5a42c39f3b78a07a919186da6abd950857",
      "verified_at_commit": "ad96063"
    },
    "mf-barrier-inout-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 137.7,
      "input_hash": "c7e2c9191b60483a29c24285996b10efc16c511db6e151efca12234a3c040ed9",
      "verified_at_commit": "unknown"
    },
    "mf-barrier-maximal-distribution": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.8,
      "input_hash": "cd7e879c87ef4e3c4276d9076af256dcd06e73a7fb5123b0b30121a3a4e7f8ed",
      "verified_at_commit": "ad96063"
    },
    "mf-barrier-reflection-count": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "d573be5bb776e6e4c2a607fdae8b21586530b8e2c6d4bc964defc017752c3e53",
      "verified_at_commit": "ad96063"
    },
    "mf-bermudan-sandwich": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "a56c0424dfd7a9abebf6590ef49db626599b5b663022a0f3142da3b97df4cff4",
      "verified_at_commit": "ad96063"
    },
    "mf-binomial-girsanov-RN-norm": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "8a403ade173dc8a9af4271d4f0944f904be257b067d81b3f7659eef7e87d0860",
      "verified_at_commit": "ad96063"
    },
    "mf-binomial-martingale-representation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "b1b6c0d9ef95f47b684ecd187e0daaaa8cf905e3b33663d7b3176477d8cf90e4",
      "verified_at_commit": "ad96063"
    },
    "mf-binomial-replication": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "a04a3069ed157c054b67fab32edd3c7d1e65d75783d22cfcb4b82d6ff1cb2d30",
      "verified_at_commit": "ad96063"
    },
    "mf-black-futures": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 105.7,
      "input_hash": "c8ee8a81a99352ba8dd0f7937a9c6771efe3a830c5fb2ee1ab76fea0d71ab833",
      "verified_at_commit": "8f313aa"
    },
    "mf-black-litterman-1d-mean": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "33d05a6ca72fef96d1324d1e44ef2a38558451ec5b9a4cf83b53baf80f4a213b",
      "verified_at_commit": "ad96063"
    },
    "mf-black-litterman-1d-variance": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "b95bcef5c09f26115080e7699852e136bad621bd5743f9b5010e211bb9008fe5",
      "verified_at_commit": "ad96063"
    },
    "mf-black76-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 111.3,
      "input_hash": "4e28cd2ac7192098151a96407b210d8e8ee595cdee2c48d8f7c1cf4c8f56228a",
      "verified_at_commit": "8f313aa"
    },
    "mf-black76-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 74.0,
      "input_hash": "73a5cc433d6cf88b873f6f46631769f4e7d9b232c372252fc1567c938a76366d",
      "verified_at_commit": "8f313aa"
    },
    "mf-black76-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 123.7,
      "input_hash": "784728d702ae1052bfeaaf950ec27a2f028ad8dea8aa1dd98efaf8108bee9fab",
      "verified_at_commit": "8f313aa"
    },
    "mf-black76-speed": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 74.0,
      "input_hash": "61390bfc941dd1a28c138426fc2e1e3b5620bdd141d22e54c26b03166d40975d",
      "verified_at_commit": "8f313aa"
    },
    "mf-black76-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 126.5,
      "input_hash": "fef3ee7de5f3f93e8d6efddd847c4d3267b796ade901703317a18653cf464cf4",
      "verified_at_commit": "8f313aa"
    },
    "mf-black76-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 72.4,
      "input_hash": "6279dd53390e53697246f211d5646ddb5776d79258ef81b5e9cda0dac1b6fdf3",
      "verified_at_commit": "8f313aa"
    },
    "mf-bond-2nd-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "127d58ca644e9465205f794360981c159f9c47429c314c6745f49bd8c913c4fc",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-2nd-immunization": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "89b67282342504752eda780de05a0378aa96fc5364aa90975b1ad975388ddd42",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-dur-rate-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "a65cc5cb4c3ee931a1066e7bb09b37c2fb300275191c951ee8b1d525a84d5292",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-immunization-first-order": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "647320fa07d03b3a2830bd59af3eb2d6f592c1b80ed59b53de914b72b381fcb3",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-portfolio-rate-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "a32933b88a73448893b7896670949a8048f323bc23c9e4e131dea589512a8e93",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-single-conv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.4,
      "input_hash": "af8864449bf3dcddb927fd624b4bb0006dca84996eec0b44ca65676b353b7877",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-single-dur": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "0fddbe5a915070a301e4553d66a02e262f525d70e81dc700c2bf2748702ed1dd",
      "verified_at_commit": "ad96063"
    },
    "mf-bond-single-value": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "debbf970c20897da3e84d7851cb92d9bea8042f41caa9091d30ec9b927a60ea5",
      "verified_at_commit": "ad96063"
    },
    "mf-bootstrap-consistency": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "745ad683f6fb47c6638e7a454ed169ab9c7d450e569ee0cbca4354d48cc64259",
      "verified_at_commit": "ad96063"
    },
    "mf-bootstrap-solve": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "710bf92688c8265a3a479c764403cebbdff4db72fca7510902d5893906a45b04",
      "verified_at_commit": "ad96063"
    },
    "mf-bootstrap-solve-first": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "c86f1e6e359a50af95b1b5b6362a318c8b61898c6c3dede6adb8607d3e3ec27a",
      "verified_at_commit": "ad96063"
    },
    "mf-bootstrap-solve-second": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "a225ee78bc741ba9e2bb2acac25144cf7e357a34b689f3dbde5d759ed8246475",
      "verified_at_commit": "ad96063"
    },
    "mf-box-spread-identity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "636d8275c5295e6e1964d1cae6e32bce784eb9db191ead8d5024af7a8450c362",
      "verified_at_commit": "ad96063"
    },
    "mf-breeden-litzenberger": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "17d0a0e022e061b01f0223b68896f2c53408e1f0ffd58ff30d91f1a8c1f14946",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-charm": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 103.9,
      "input_hash": "e2c2f40945dada8a76cf45450eb77cb5adf81b4f48012c236d0aab23f6dd9c04",
      "verified_at_commit": "8f313aa"
    },
    "mf-bs-dividends-call": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "352d85eba265f748b401dd4b2570781d09d0e35724d7855d4143a4235ddd162b",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "d8a64760fd8f1cb2032df3130566f8c7ac6fd846760d40a674f61778d57305cc",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "ca7805703676b01444fa6b2c0521dafd039f18f6089de8ab56e6db4b98341456",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-psi": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "8a5297da2038819aeabc4b615bd0755a480734ba34da1acd46115f13285cb48a",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "cd94c3974b9e81eb72b6c3020d51163042aebd6b5543ff24eb0efc7022c9d74f",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "8bdb006ecadeac75715cc5a4d82c8b4ed37361a8ce9250d9f79555ef53abb778",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-merton-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "0713afa14a376735da1f140df5822924fb3e992bf020b15aae4b3d09ce3445db",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "f604c98e676f30e167fce1d89edd51e1f90cdab63262acd7352d820c5353f25e",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-formula": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "98ed0a0ac9a8cd0dfda91419459af9de88dfa04a2a1fada532d5184cdc77e963",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "373d7fce48538d8f4cfc35633fd1d6d9b33e02adbedd6e9d3d01195f9bfa3708",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "a1bd4dbaf543474bee9ae5d8873ffa19b452415477dba19f102e7361e1c114ae",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "70fc15c550898a462dda9124affd08b5261a9f4d6d4bf6cbe48490ec67f721cf",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-put-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.8,
      "input_hash": "6a2ff19699c1b084cd5f562a50fda45e7c8bdf099af9a57b58e7ad1ed3bb5cf9",
      "verified_at_commit": "ad96063"
    },
    "mf-bs-speed": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 66.8,
      "input_hash": "7aace75ab4f4c7c58e7b8b9657968a345382f6b00720f2a34cc82f9bdf241fad",
      "verified_at_commit": "8f313aa"
    },
    "mf-bs-vanna": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 83.2,
      "input_hash": "7de21791895a20bbc6e1b32c7c3a8a6e5b4df927fe6f1edebf2e6bdf8f089b65",
      "verified_at_commit": "8f313aa"
    },
    "mf-bs-volga": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 63.3,
      "input_hash": "252e1ee6f5812740ae847d659efc60fc64f3124c70d99e925d1e2fee0c561d7e",
      "verified_at_commit": "8f313aa"
    },
    "mf-bsP-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "e0d8882c6dd3607c4cee0ee85e05f0ca74ea48089831124eeaa6fb4b74fb74fa",
      "verified_at_commit": "ad96063"
    },
    "mf-bsP-KK-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "48ac56613a2677a405ae0abcf7a43b0e6553ce972638a65f82f127baabd56954",
      "verified_at_commit": "ad96063"
    },
    "mf-bsP-le-K-disc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "6f15cfa014fd2ce6416b0d4744918a9fa019a4937a7da69dc674ce3c9c6219b7",
      "verified_at_commit": "ad96063"
    },
    "mf-bsV-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.8,
      "input_hash": "464bfdb40fff721b509b569f1ea8cfc96330045c3266362b98f0e4ed97b97ad4",
      "verified_at_commit": "ad96063"
    },
    "mf-bsV-KK-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "f0ac5e84a52e06a19e6fd84170c07d0883491dd16b0529e69a3f5234101f83f5",
      "verified_at_commit": "ad96063"
    },
    "mf-bsV-forward-lower-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "4615567af8ea6dcd5441cdb165d190e6309fd752c44b76ecca24230df4be5bd9",
      "verified_at_commit": "ad96063"
    },
    "mf-bsV-le-S": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "8ec9f809dc9dd4c7a3937dcf6c03d04044174e4fc8c848ec2b0ef6236c2ac67e",
      "verified_at_commit": "ad96063"
    },
    "mf-bsd1-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "c91e49166241b93a4f539ecb9658ff3912ff0276af3dac18906e07f2a4c94b0d",
      "verified_at_commit": "ad96063"
    },
    "mf-bsd2-K-deriv": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "9c7380566d8fd3f187902ea2e3411eb4f11a99212efa588f3df07b7664247382",
      "verified_at_commit": "ad96063"
    },
    "mf-bull-call-spread-payoff-le": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "37991b57faf873de9d27fff8d8d653c4f0a80f393613942becabc74a702e0b17",
      "verified_at_commit": "ad96063"
    },
    "mf-butterfly-payoff-nonneg": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "c7fa634710c601315dca07bf77e07f1109bdbb17be00f020f8bd992ef7335169",
      "verified_at_commit": "ad96063"
    },
    "mf-caplet-floorlet-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 65.2,
      "input_hash": "fbf83dcb73312bb2f139b57ee3ab185a1c9fc5f3f52de213761970d6718d2ffd",
      "verified_at_commit": "8f313aa"
    },
    "mf-capm-beta-linearity-finset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "c7d7ba20de2c4460c2e329b1c41045977fed6bc73f985760de4f9bb4ebaf28e6",
      "verified_at_commit": "ad96063"
    },
    "mf-capm-beta-linearity-two": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "2518497cadb58082cc9180823e7a5749ae84e7bf609268671bab664dc0466035",
      "verified_at_commit": "ad96063"
    },
    "mf-capm-beta-market": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "826e10f147721829001f75944cd0ced513b62d511a9c9c8008807c29a77145ea",
      "verified_at_commit": "ad96063"
    },
    "mf-capm-beta-riskfree": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "3d8801ae920b855f7f043887bc23d1d6f912602d10a804ef809c76dff473d9b3",
      "verified_at_commit": "ad96063"
    },
    "mf-capped-call-bull-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "fb6c33e7d246374197758242d982250b644ace51cba00377ae419cf05892ffc4",
      "verified_at_commit": "ad96063"
    },
    "mf-carr-madan-log": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "6c64a1ed5d8fe2707c2b5910b7ee1a3fcd05da1cee82ffa36b6f222131d9365a",
      "verified_at_commit": "ad96063"
    },
    "mf-carr-madan-log-contract": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "4bced458e04ece390fb66ea12efd3c741ac68a6567bb90c7962637feb7ddbea6",
      "verified_at_commit": "ad96063"
    },
    "mf-carr-madan-spanning": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "02f7ab365ea93fcf23ff83e152407482b5a72c7423f320c59ea0fe0203dfcad8",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-digital-delta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "0fec1a98f12a5ff8b6a6d424556ab91fa016c7387705a86496af587593748cbc",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-digital-gamma": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "a1ca0e10b6b8654ce438b1e700b9bca6bf11110184e07a436674d07b1f7c290d",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-digital-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "79bf3ae934a1dc3d3ab273d4db808912601ee48ad3d42cde9bec7e7420e90e5b",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-digital-theta": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "976b70ff75bd73ee645743b4b54769961dce91793e198727f96a79c575cc9281",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-digital-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "4e4f6f6bffff4b6dd65e25f251fdb2088d5fe7c13eaa379560d9747e9483a55b",
      "verified_at_commit": "ad96063"
    },
    "mf-cash-or-nothing": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "c81a5470b01fd267dc1f70e969784623ade729fe934427f4f093f6a3ca7d5112",
      "verified_at_commit": "ad96063"
    },
    "mf-cds-fair-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "e84b7633154214c9180f86d21726f6d6e1a3436ef511c1801127c0ee91ae8727",
      "verified_at_commit": "ad96063"
    },
    "mf-change-of-numeraire": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "ee0781fa1b5dfce8fb668016be769a8328c31affa125c8ec048c76adeb4800ac",
      "verified_at_commit": "ad96063"
    },
    "mf-chooser-decompose": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "3548544beed1ca13eb375327f1a62d8403ecbe8693f4cb213fd29cc9e59c7c0e",
      "verified_at_commit": "ad96063"
    },
    "mf-cml-decomposition-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "57e1b9d9628d98926e16aca50ec212205e28b69ff18d1163b662c8e460f7ffb8",
      "verified_at_commit": "ad96063"
    },
    "mf-cml-equation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "2d754f43c2f67361e657e10815d1a03b0bd6bb61e1166471d16c6085fe5f4585",
      "verified_at_commit": "ad96063"
    },
    "mf-cml-mean-at-stdev": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "ae10b1139ed769dc83325bfa6939ee482ddf20c467b10f836cd6001b54191bca",
      "verified_at_commit": "ad96063"
    },
    "mf-cml-sharpe-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "9fd52a7313a1463b08c79f5b7eabefd2c4b0eaa0b807c8ffc81dbec49e345060",
      "verified_at_commit": "ad96063"
    },
    "mf-coherent-risk-representation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "aff5d62ff6252b526d52a12289391b4f06d86211072f12754d53b8b61cc98586",
      "verified_at_commit": "ad96063"
    },
    "mf-compound-poisson-mgf": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "d38d28f6e8d0ceb8c1b5d552729e1419adbc78c6d22bc0f3783b890bf8f57cf9",
      "verified_at_commit": "ad96063"
    },
    "mf-convex-duality-root": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "95e6936323adc432ed8b8767db236945431d05ebb87c75b7fd13e4bf90973c06",
      "verified_at_commit": "ad96063"
    },
    "mf-coupon-bond-strict-anti": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "8c80f974ecca996cc697cfe1746abda85c5de01cb49c70c737db90d055111f7e",
      "verified_at_commit": "ad96063"
    },
    "mf-credit-spread-eq-hazard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "fb99347ddb94b13d2fa9e3ea234a7474aba25d0ceecde9627d5d202431362c65",
      "verified_at_commit": "ad96063"
    },
    "mf-credit-spread-time-avg-hazard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "0fd33cceca96a3b51c23a0d839ad28a3233693e36fbf0a086d72702c68447562",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-bs-call-convergence": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "d29db5b49db47ed22bf7c3f619c6d7f3d6469b37c9db55abe43eaf66b5b637d9",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-drift-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "611fcde81b005875d43cdf8e3758290bd21b6e2a91e2054e563d3bb82d801c83",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-drift-quotient": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.8,
      "input_hash": "d7c853a2225b5bde30492f9033e381bc6c8b00ce56bdf5e87cc475f79b4c3e3f",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-gaussian-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "4f1bcc4a9b54671b6fc4b787f0061e092dea59c56cf6f8a43e0d5e81fc4eba72",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-one-step-martingale": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "d1cedc6cd569a40f96359830ff9cc0a18bc246c04d1092651d1cb1ddcacf91dc",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-prob-half": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "967e7818662d7c224cea1a90c2968ac67f11cba868713f0f66594d666fca1290",
      "verified_at_commit": "ad96063"
    },
    "mf-crr-variance-limit": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "dd6bc373abfe21d9f45cf41268b77baede771bfd37cf5e9ca1ebbfbc4ac20495",
      "verified_at_commit": "ad96063"
    },
    "mf-cvar-rockafellar-uryasev": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "85d8b6019bd989a9822747b7bd0f30ae15cc8e4f1fdf9e91aed0fe4dbfc47436",
      "verified_at_commit": "ad96063"
    },
    "mf-downside-performance-metrics": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-08-03",
      "elapsed_s": 5.6,
      "input_hash": "3f7f29fdd1cc34ab92907b1c63bb4586d95fd0470db3265ca5f0f1bfe448f11c",
      "verified_at_commit": "509784a"
    },
    "mf-exchange-numeraire": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "1715ef843eca978f6f23a6ab060aebef1136e4dc91d548a08e80b390a5adf030",
      "verified_at_commit": "ad96063"
    },
    "mf-first-to-default-spread": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "ef2cbf3dfa547186214ac6281ec59f2c20fa980bae15586a2bf8c7aabcd89722",
      "verified_at_commit": "ad96063"
    },
    "mf-fixedincome-fra": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 68.4,
      "input_hash": "7e522f10fde3673e79a8b2ad9736603d497d38157d4b47a75cb37e0737d902de",
      "verified_at_commit": "unknown"
    },
    "mf-fixedincome-swap": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "59e7d1c7e8e873c58b69b95b85da32acb7718665e8d4afdfdc59446edf8a2fd1",
      "verified_at_commit": "ad96063"
    },
    "mf-forward-measure-spot": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "012d1bf04ff82977f3e709c0a0f47891b1f44f32faf387cfd9118457688cf912",
      "verified_at_commit": "ad96063"
    },
    "mf-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "a36555a4784a5f18e16310afcdf4fdccc0d4ad6a0b209aa34df0560610eccbb1",
      "verified_at_commit": "ad96063"
    },
    "mf-forward-rate-nonflat": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "4c16f30d4b66309cbbe7d76b22c99db0fd978664afd7d08fef1132aaf32ddbc7",
      "verified_at_commit": "ad96063"
    },
    "mf-forward-spot-flat": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "df74197610cb515855c81bb9770d370c36082b8d2da8446cc54a07336ae8753c",
      "verified_at_commit": "ad96063"
    },
    "mf-ftap-discrete-complete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "918964027bb1d8d6090c1f7b3b4fbd7ad5c504664e9198eac763cf614ec213ce",
      "verified_at_commit": "ad96063"
    },
    "mf-ftap-multi-state-forward": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "4d1cb5a2faf625e832d7b528b9e065926f76e74ae5a70ab0ef8f36cefbad35bb",
      "verified_at_commit": "ad96063"
    },
    "mf-ftap-one-period-general": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "d2ab1d04a2426f405494aa3d68e63ed40a69257bf4054679f01754ebfc22c91e",
      "verified_at_commit": "ad96063"
    },
    "mf-ftap-one-period-vector": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "99406cf22e5bc9f8d8dbbc71ff17d92136cc01cecabefcb9a3de8e31000eeb77",
      "verified_at_commit": "ad96063"
    },
    "mf-ftap-single-period-complete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "55f5ecbe544cd7cf00b43cfcf4cd34ba1a62364961d094d9e245d7e8c63737f1",
      "verified_at_commit": "ad96063"
    },
    "mf-garman-kohlhagen": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "46de224e9f2b5667901a4851d843e9aa4e1aed6b1979090a6d4cb277187a1f6b",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-additive-rho-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "f44b8a1d91240e9f80ea2dad8b049d3b3387891a7a63c367947d7e93ee62ea75",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-affine": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "98b9a510dc4875562907720556ea08a1bfcd8adc7f4db3e0be126720a6e86ab6",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-monotone": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "6cd51beba779676b3bca262a5501d6ce7c801a6ffd8dfbc8c0bb7cccae41645f",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-pos-homog": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "8d9cab469e6ab23a5f08260890b7b6d77ee6d4340662b105c3f04e40cc8b3b01",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-standard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "a1ea8ab2ba44406442abe015ce3750e5f12a0217689b308380d97818654937b6",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-sub-var": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "2da0a5e320741b9c3a779c7eae0d2061330daccd3874b61caa7760093bdc603d",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-subadditive": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "c527f82dceb9c65835496fb9da81e601e366b9ee885beadae4f7ac97c0350465",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-cvar-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "354fdb0f547df4f5f1f496d83cfddbe6336e232e46db82daa5663292cd397113",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-additive-rho-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "b2258225b288bf601487c2e7d249c92c91358ade13e40269ec6b90d2fb8d5afe",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-affine": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "3e3c1de0c86c1ee16d50a803c26654c53ecf939dff4140fc4f361e0d9d6e7571",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-monotone": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "11521fa0565c8491d61223bf69e40641ccd14da0dcfd7bdff3c3b90f1711c63c",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-pos-homog": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "08f39acdf4495e0567f91d23d5452efb1e8983875addfeab44e7f1b4c6494f77",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-standard": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "c74d9e86337f49f64945988ce8dde65f6a014306078c445612a0c389bfeec369",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-subadditive": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "b2dc78395573ca0de484855163143be94e5fce9be10814cd78acf40556f3e6cd",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "093dba752541ff14c47d72d629ede0357d25d26d0acd5cfc157f24f4f5eaa825",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussian-var-vol-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "96b3aab6253539df9c4f31cabb2db853528f078609fb0a89cec0606c15c2a779",
      "verified_at_commit": "ad96063"
    },
    "mf-gaussianPDF-symmetry": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "7d9a7403202ee9a0cfa7bd633212e252da8bdec5afe9dadedf107999d910abfd",
      "verified_at_commit": "ad96063"
    },
    "mf-geom-mean-arith-mean-n": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "9bacc46bd752b79068558a29cae50b0a71ad59d5b5d1a6f5006f141e301fed43",
      "verified_at_commit": "ad96063"
    },
    "mf-gompertz-cumulative-force": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "7524641c911c784f373fa4c2929d562524102403cfd28b3be395ce1d27f36478",
      "verified_at_commit": "ad96063"
    },
    "mf-hazard-survival-const": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.6,
      "input_hash": "b361cdeaaac21ed319720fca43aaa7c16317b0664fcf9454bb141dbddc9e9845",
      "verified_at_commit": "ad96063"
    },
    "mf-herfindahl-cauchy-schwarz": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "a872347395765820fb401e4a88db9b117a8437e690c792a80d23d45a99a2d1fd",
      "verified_at_commit": "ad96063"
    },
    "mf-implied-vol-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "2562ee9a675714607272ec35bb9f7d298e9fadd4ede55180284c10119779a57b",
      "verified_at_commit": "ad96063"
    },
    "mf-impliedvol-bracket": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "504204196f61f5ae05eb7c60919b763717f43ebe96b0b674821ca1ef6266fcb1",
      "verified_at_commit": "ad96063"
    },
    "mf-information-ratio-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 163.2,
      "input_hash": "a4b4116808e704d51046a2f23133d3da2bc428d2a8e8fc1cc70b20d2b20c481e",
      "verified_at_commit": "unknown"
    },
    "mf-insurance-premium-principles": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "b020f7184ce93ff9fcae77d4c1fe91b5f81f4e83365797c5ea5144ac7de0c026",
      "verified_at_commit": "ad96063"
    },
    "mf-integral-log-forward": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "572e1719d700f0154e56a0c996d12573bce21e19d625b937e42a29e919aae4eb",
      "verified_at_commit": "ad96063"
    },
    "mf-joint-stdev-triangle": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "f0fe663691a0516307ac3cf4483094546a1083837e7e908218908c7387f645b7",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "af6e5655f4b4f649261dfcb13f0c7364c688e7aed8153aaab73cb77c854d7c1a",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-fraction-lt-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "2537bb11cb911cdd5c6766df700ab418705790ba621235ff475ecf892cd7befa",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-fraction-pos-iff": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "4d449a782d33c93013a5685588d42b01956b05e983392754c376de8cdfdf5d00",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-fraction-zero-iff": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "ff38828890e500c77c49a6b1b1be98ad9ca56dd6063616e317294ef17a44fdbd",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-n-periods-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "0451cc80a3f0926e1b51e7c6fc18d09509726b22812614f9269ad597c2170aa8",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-n-periods-linearity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "c7c18acc14f252d1af438e52f2310d4b7fbc362267fcfdaf6c2cf29c02daea25",
      "verified_at_commit": "ad96063"
    },
    "mf-kelly-numeraire-emm": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "cc082a489f25ac9a81b525f15d675db5ef4da49ddb16d7cd25200489e2c2c40d",
      "verified_at_commit": "ad96063"
    },
    "mf-kmv-merton-pd": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "5e522c0f8bd260c4ebd6a783b18e5fba5b7b87e80a2865d09bc9ead4f7716de9",
      "verified_at_commit": "ad96063"
    },
    "mf-kmv-survival-Phi-d2": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "b8bd82930dd8d8d7f56a5638b9062bdc00c93e0aa7c7b90b2a53c86103994e8c",
      "verified_at_commit": "ad96063"
    },
    "mf-log-forward-bsTerminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "2950f193b45a5c4a40606faa8953b2315e2e9929b40f840f0bcb0518ec1f9c25",
      "verified_at_commit": "ad96063"
    },
    "mf-lognormal-cov-differential": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "3043022fdecfa61a11a64ca2f127eaa347ef360e151485c0d77a5e4e372cc474",
      "verified_at_commit": "ad96063"
    },
    "mf-lookback-payoff-ge-vanilla": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "acb8dafe97e0721054636a96d169509f1bac2e194e97a06454f4138c8db9285e",
      "verified_at_commit": "ad96063"
    },
    "mf-macaulay-modified-discrete": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "0f9dd2a1a8042f1e282a9b735592d1c3baa186be83af102fd865a5b27bb70471",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-min-var-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "b2966c1797e2822d2c39103e57794c5ffbf6a26a5b5c15ac8e28f9a99c4a7369",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-min-var-value": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "b5b1fb2dc6dbfcf9af788b8eac1d0747595f2924ea85a06cee00ed10b0c99ded",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-n-diag": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "76235ac7397c45e6dc999dc483b5c3cbad8754108bc0c444acb7d6325d8926b2",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-n-iid": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "308520ea02bd1a3310153022c3f80a6f4cf991a2f0da44aa6a2086653e9e4c16",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-n-psd": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "c1cdc8936d1a9b319c669984a438ef135e5e9097880f210b2e73df7c78089c31",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-n-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "fd2a6bafd212fa93320e863862379209a407c43015ff9ad4369473f8cfc44e7f",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-n-two-asset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "3469f75f95ebdd08070cab017c5b834aa642db856696fe1a78c4f9d6ee13c3e4",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-perfect-hedge": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "c43c7f9ce1e219ef8d463de2d97731962ecb179dca19cfb204afade2ffa6b2eb",
      "verified_at_commit": "ad96063"
    },
    "mf-markowitz-variance-factored": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "155a85880e08ecb3b73a32176906059b29cc48af3ef9e408471461e51b413ea6",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-1973-no-early-exercise": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "888b088e7db558ce1eaeab3f67ca46ec8f5cfb9091b5afcac114cb28affe0185",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-call-series": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "44c876e474a5016739a9df8e454dba060aa82e5114add850f4000cca134e9c05",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-classic-display": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "5a0c9d3e80c31b82c0b7801d02b4942084817375a8c7df98e6661cfe87ed0b2c",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-dominance": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "15a9e60533e194809c88fd598c8d26f709e94366f36ec3006657e7da16691da2",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-put-call-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "78cdcb2b1716ad5144052d5519d73741ee9292199a5944ff28482b2a874aa896",
      "verified_at_commit": "ad96063"
    },
    "mf-merton-spot-recombination": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "f7af232e9cc388ed519cae8b7883bcb411f05c6a1910eee311711cdcf3503263",
      "verified_at_commit": "ad96063"
    },
    "mf-mm-matrix-riccati": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "95a5540ca10c78c769620b61330dfdbaa35a2605a7f57ff81515f47def8ecf08",
      "verified_at_commit": "ad96063"
    },
    "mf-mm-matrix-value": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "5b662034e2a087ae9cc659dbab751aefed9c1496c8510354dcde9c46d0fc6d52",
      "verified_at_commit": "ad96063"
    },
    "mf-mm-quotes": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "66304c56d34b52133766f974f0529e6c5d0d84d9ed496490148e76f06fed3341",
      "verified_at_commit": "ad96063"
    },
    "mf-mm-riccati": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "9febc8695bda96f8fa48b2ecae33254baf9bb874801148d05103ba47d0eccfcb",
      "verified_at_commit": "ad96063"
    },
    "mf-mm-value-function": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 6.0,
      "input_hash": "58276187260b6e441d7fb668c90c52c263a3d6d4b51cc6b33c1f4a93c782a157",
      "verified_at_commit": "ad96063"
    },
    "mf-newton-raphson-fixed-at-root": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "786683e079032eb938aafbce322c2779385282dcb952f421277e06b680a87db5",
      "verified_at_commit": "ad96063"
    },
    "mf-no-arb-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "dabf38df2068ce802f91d971c5f3616d7b4ca78812092eeba49de720c6817fd3",
      "verified_at_commit": "ad96063"
    },
    "mf-no-arb-putcall-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "70bff3a881b1303364f8b6f11f4f4a2efc3bb48baaa014e4cdcaa1af87555a49",
      "verified_at_commit": "ad96063"
    },
    "mf-nth-moment-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "31398f085cd2c681ab17f50a814d77b876fe3e6a86463d40dfad1e40fa9cb2c1",
      "verified_at_commit": "ad96063"
    },
    "mf-performance-gain_to_pain": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 95.9,
      "input_hash": "239b66cd7cd1b38f2c09a009b4a213d62ef6de22e5ebe667471733f371739592",
      "verified_at_commit": "unknown"
    },
    "mf-performance-upside_capture": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 59.8,
      "input_hash": "df31e60ecee0679150ca40e97c7f532b4dc886184c2f5d3a03d857584ee645ca",
      "verified_at_commit": "unknown"
    },
    "mf-phi-le-one": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "821fa8cb8a6bf9ba9b0613330cde061deeb19f6fc05c5bf603889764be005861",
      "verified_at_commit": "ad96063"
    },
    "mf-power-forward-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "38aaf351955e664341cd979e5f0eed22ee51fdda0b3daf07ef9a5350382bb11e",
      "verified_at_commit": "ad96063"
    },
    "mf-pricing-kernel-butterfly": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "90862da405e85b157566bd231e6a1188e401638a9876c2f90dfbb81f1c87e2a7",
      "verified_at_commit": "ad96063"
    },
    "mf-put-call-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "32e8392cd2f332918384902291a5c21e37493d1bb1ef5becc3cfe610afb8a528",
      "verified_at_commit": "ad96063"
    },
    "mf-quanto-correction-factor": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "05c5522631d9cda639c092c635738ffda8c2d64bb200f8e823f12ed9ef634d02",
      "verified_at_commit": "ad96063"
    },
    "mf-quanto-forward-grounded": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "0a1096fdc57def41821c3329da4d47842269e61bd820b8c3a50adc573b6399a0",
      "verified_at_commit": "ad96063"
    },
    "mf-reflection-principle-counting": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "bc716ea6986d58f11c491fa7dc9854c2b397aaa13e9587e8553fdc5518fc33aa",
      "verified_at_commit": "ad96063"
    },
    "mf-rho": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.9,
      "input_hash": "3e80a84941104ac345731cf915cfafaef55474270baa53bcf89a638be506ed5f",
      "verified_at_commit": "ad96063"
    },
    "mf-risk-parity-2-asset": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "95abf581d4e37ef48df60453db569dc8357439bcd76ce4f859463f8a3f6eebed",
      "verified_at_commit": "ad96063"
    },
    "mf-second-FTAP-single-period": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "362274746db6431def42dfb18f55ff73b35ec4f73da80e1628b988949f3d4ac8",
      "verified_at_commit": "ad96063"
    },
    "mf-second-moment-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "450942264463ab9609a89670bd04d964e5c5d30163ff09a2531acaef12bd759c",
      "verified_at_commit": "ad96063"
    },
    "mf-sharpe-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "2116ca806f0c11b6cc054e7a50bd861c381ed2d742fc0f8fe32333034ca31f43",
      "verified_at_commit": "ad96063"
    },
    "mf-sharpe-sqrtT-scaling": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "fc2310e049cd45a8715a9504ed3eb992b6bdf648227b8e0a6510c0dcd4387ec0",
      "verified_at_commit": "ad96063"
    },
    "mf-sortino-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 105.3,
      "input_hash": "f4292a118b3a471eed759adcd3485b5e8131a71e5947fecac9b636eb9cd83c44",
      "verified_at_commit": "unknown"
    },
    "mf-sortino-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 128.2,
      "input_hash": "a177d1f24b8fc737cae060f2b94ebec503dadd1299f3b51174417cf65a239d4a",
      "verified_at_commit": "unknown"
    },
    "mf-spectral-risk-translation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "51eb559858cdb310e194106343d0439a7ed7e1f98544cdfcfdc9263030bef649",
      "verified_at_commit": "ad96063"
    },
    "mf-state-price-pricing-linear": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "9678071d127f8123cb2ae2e7d4138276f9654b5fde29ed183e9ec5b78f89f7c1",
      "verified_at_commit": "ad96063"
    },
    "mf-state-price-risk-neutral": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "1e2e01a9baa55f9d6431167165c4ced23b38154c7cbfc314f24edea093d2f00f",
      "verified_at_commit": "ad96063"
    },
    "mf-superhedging-emm-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.4,
      "input_hash": "cd15f557cf398298d4940f4708bfc7d8835deb6e01dce1b2b7597b0fb290994e",
      "verified_at_commit": "ad96063"
    },
    "mf-survival-at-zero": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "5fb2fa748dbe9e658cc5f7a236538523a7ee7b996958a27fdef72813c40a935f",
      "verified_at_commit": "ad96063"
    },
    "mf-survival-ccdf-ratio": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "47df42ae1158a1f97a35d9e40655245ab30dd294e0460e196fab29ec3f3ec2cd",
      "verified_at_commit": "ad96063"
    },
    "mf-survival-ccdf-zero": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.6,
      "input_hash": "e38d069ca4c1ac743d49fe8a802346f95f9ef920cedeafab3500010c5c631ce8",
      "verified_at_commit": "ad96063"
    },
    "mf-survival-pos": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "7efdaaa6786cdcf9c8348989225f93d5cd14e6e21415fc7234c912c15737448e",
      "verified_at_commit": "ad96063"
    },
    "mf-survival-strictAnti": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "411862c13deaa17e333802d17892a4a3ba6a7737cd607e83c55ab398119cb3de",
      "verified_at_commit": "ad96063"
    },
    "mf-swaption-parity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 65.4,
      "input_hash": "37de93fec09b2800e753a0afdb4f3424be594faa1a9928da93136cb173cc94a8",
      "verified_at_commit": "8f313aa"
    },
    "mf-tangent-portfolio-N-sufficient": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "a5768e5d198c534b6dfc6ddba26e81c0330b701919e80c4c9ec0e1ba36d9df46",
      "verified_at_commit": "ad96063"
    },
    "mf-tangent-portfolio-foc": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "ff2b8d05b7b1d4750720d6d1101d3f5d8e9fdcc92c14703a1698ba21ace0891f",
      "verified_at_commit": "ad96063"
    },
    "mf-tracking-error-cauchy-bound": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 108.3,
      "input_hash": "351298bf3864d3390a363f464108e5e4b95f0c6d8dbced3f281accf0ba57750c",
      "verified_at_commit": "unknown"
    },
    "mf-tracking-error-self": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 137.7,
      "input_hash": "faefcabb0f19177076fdec164ab3004c88e8b1a7eb0b70a8684513a2214d07ae",
      "verified_at_commit": "unknown"
    },
    "mf-treynor-scale-invariant": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-31",
      "elapsed_s": 104.4,
      "input_hash": "3a6928e1604657ad7a93a0b71b9849a448e53d70150f47cab2b78dbf6be4b06b",
      "verified_at_commit": "unknown"
    },
    "mf-triangle-arbitrage-unique": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "9975b0adb30b9c64feb8aa223084aaa34fdb231c277f3d942fbe2a2418116ed8",
      "verified_at_commit": "ad96063"
    },
    "mf-variance-swap-drift-immunity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "7d52dbb8ee1f5fc9f6c0b25038b284781057dadd46ef90f42192bcc54a85bc6e",
      "verified_at_commit": "ad96063"
    },
    "mf-variance-swap-equivalence": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "3babb12f73f4334c46a791c1873b228f623fe736cefce8be8f4f7dc5f424daad",
      "verified_at_commit": "ad96063"
    },
    "mf-variance-swap-log": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "7b83bcbea13cd852ec45fc7b8de41db17eba70b350763cc4b91f762c80d44cf5",
      "verified_at_commit": "ad96063"
    },
    "mf-variance-terminal": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "5ed2144e44ccf88bd6b3c4b5f2bc3fde05b1e75fd04e168c20454436aad0ca36",
      "verified_at_commit": "ad96063"
    },
    "mf-vasicek-bond-price": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "d0740f7c16db5506047cb4d8f6705283173d8f9b95890501b894e6113621a44d",
      "verified_at_commit": "ad96063"
    },
    "mf-vasicek-deterministic-ode": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "d8bdcafbf9e2a8610513fa32b5541bfe3abf818409dae79bfc20cf2f7a5e4975",
      "verified_at_commit": "ad96063"
    },
    "mf-vasicek-half-life": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "c06c892d8432a59b3852bcb8fdf86a297a8096b341503cb8819e49dac2164d15",
      "verified_at_commit": "ad96063"
    },
    "mf-vasicek-sde-terminal-gaussian": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 3.5,
      "input_hash": "c0992bac366a001d92479486147632396d76f7753e25e4336891cd765db0d4c5",
      "verified_at_commit": "ad96063"
    },
    "mf-vega": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "af7822d7a44d5bf673a86cdb375ba7e55d7087f282c973e7149e44331e7fe750",
      "verified_at_commit": "ad96063"
    },
    "mf-vnm-expected-utility": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-08-07",
      "elapsed_s": 104.8,
      "input_hash": "ec9505b191289a5ce971639f7adc12b17119ea477e10ac18c797db806080f7e3",
      "verified_at_commit": "9910e8e"
    },
    "mf-worstcase-risk-representation": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "86242d81b32376d2a2da30ebce7abd2a3f3686d6d6da9aa30867e5f768110e43",
      "verified_at_commit": "ad96063"
    },
    "mf-zcb-convexity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "1b507cb285fa595addfc458a28ccdfee9211a64e3ad58e16c88708ffc50b75e1",
      "verified_at_commit": "ad96063"
    },
    "mf-zcb-duration": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 4.9,
      "input_hash": "e8a0c48c3d7cc21b04e2bca32e9b92242cc36fde727dfb0ec9b11ab3e1a70009",
      "verified_at_commit": "ad96063"
    },
    "mf-zcb-maturity": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "d3922d1855e8c807ab038c9c8f410c6ff457e629a106a95a56d09eb557985f46",
      "verified_at_commit": "ad96063"
    },
    "mf-zcb-yield": {
      "benchmark_file": "mathematical_finance.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "fc872d3432e6c48d87b22dec9bce9eb4ea0b964dbd94ff80df08c588ac5af7ce",
      "verified_at_commit": "ad96063"
    },
    "pp-prop-3.3.6": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "bdaf1fb546ab1053458e3ca60dd77682c4f58bb87dedaf18443ffe0b560a3db5",
      "verified_at_commit": "ad96063"
    },
    "pp-thm-3.3.10": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-07-27",
      "elapsed_s": 5.1,
      "input_hash": "21ffd9600118e3ff09efbedcf201e6f5c126f41829eeb825aa60049aef045ea4",
      "verified_at_commit": "ad96063"
    },
    "pp-thm-3.3.5": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "ccaaed2450ddf4ec8fad6b8f4955fec9b8dfdc4e3e598fd4e37c7f23d8dcdde1",
      "verified_at_commit": "ad96063"
    },
    "pp-thm-3.3.8": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "f5b58b7491e4cc676ccbf27afb213ee42d31d2d3fd52c6367059601d0eb26eec",
      "verified_at_commit": "ad96063"
    },
    "pp-thm-3.3.9": {
      "benchmark_file": "poisson_processes.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "69b9f19a4ba9f15cf19e81be9c68aa330d64aa85d865bd2ec7c49f591335dc0a",
      "verified_at_commit": "ad96063"
    },
    "sc-bs-pde": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "a66972a4a371841cff989afc479fd5c5fbee907edacab28b2eee21fb678e000c",
      "verified_at_commit": "ad96063"
    },
    "sc-bs-pde-feynman-kac": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "fd7706c4a8cf47c07ed2bebe5edd8731d68909fd035b19a4d46006d81ec0e111",
      "verified_at_commit": "ad96063"
    },
    "sc-discounted-gbm-ito": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 108.9,
      "input_hash": "1fc02ff7333434dcc2c0f3fa90f6a7c7c6da936ab8bd241b9f9823a88b745a7d",
      "verified_at_commit": "c675795"
    },
    "sc-discrete-cubing-identity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "912d6b3acab67616e82ba471588d14d6908ffebd94c4836419229b2b0c2d6033",
      "verified_at_commit": "ad96063"
    },
    "sc-exit-times-localizing-sequence": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 30.6,
      "input_hash": "25947a3c320df538d16fc30e9e00849cdcee63f9ebc233926e881c38e917f4c2",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-covariation-bilinear-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 33.9,
      "input_hash": "a8af8bd93b01cfb5ee1f27c35abd02cf8877828de657ce13379e3c0bcdec8ed5",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-formula-gbm": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 37.8,
      "input_hash": "a6d54d451f7b2c23c847f9651d300b86545355500055a8ca275d3eeb8ea81bfd",
      "verified_at_commit": "c675795"
    },
    "sc-ito-formula-ito-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 314.4,
      "input_hash": "67ff6d249a3673aaf6150a4d4c86d0c866a51774140ce31d4cb550d73d154f94",
      "verified_at_commit": "c675795"
    },
    "sc-ito-formula-localized": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 136.2,
      "input_hash": "14404ff17f057571f6576536fdf4813c84936d198aca6f05914bfad94ab0ca0c",
      "verified_at_commit": "c675795"
    },
    "sc-ito-formula-td-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 216.3,
      "input_hash": "036e5ec67ffa2ae6c27c7d0df9da8416d8c72b481e03187f5fe77f02aaab483a",
      "verified_at_commit": "c675795"
    },
    "sc-ito-formula-unrestricted-islocalmartingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 119.4,
      "input_hash": "281424e3408b0f281b05e4eb97c6a07d90cee40b42c8c74300af4e86a3c7ae71",
      "verified_at_commit": "c675795"
    },
    "sc-ito-formula-unrestricted-local": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 194.1,
      "input_hash": "e0dc2ac0d1285940527cf54b9ed118269cc0e00272592479fe116c49d5c16780",
      "verified_at_commit": "c675795"
    },
    "sc-ito-general-continuous-modification": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 32.1,
      "input_hash": "4e0ef6b3cc29489f4c20d4c65c82ed8932938fe7e29f6be97ef482626972bd53",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-general-l2-continuity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 48.1,
      "input_hash": "646feefa26235099de5c5786228474fce9c6a1d139d219dc65939ec7e1e4d63a",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-general-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 48.6,
      "input_hash": "7dec271aacb9764d8a64a79245740726802cc3949ad9d4412c34213e77a1140c",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-general-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 32.5,
      "input_hash": "052211c173a9adea16420239c99dd7c67bf50577fa5ed7929ba5fc62587226ef",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-general-terminal-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 47.0,
      "input_hash": "956fa3fe8ab5823ff346360dc6e81c6aa099db1d544fa6dc28f84375e0f3093d",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-general-time-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 31.5,
      "input_hash": "151ce466a916bc1bf524c6716ebdab4b09cccc1f138fe80bd758cda51fdb88a3",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-infinite-horizon-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 46.2,
      "input_hash": "d85655ba661f8383a9bae0fd534954feb2adefe0ba05ebd3dc30d904648b9aa4",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-infinite-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 30.3,
      "input_hash": "78a61ba6ec62660094ed02c454bf2e273b0fe2cbce0ce11ff4ef0548cb61bc8c",
      "verified_at_commit": "932a6c7"
    },
    "sc-ito-simple-process-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "06ae86c5cba80818ae0f734d798fb2594fb87f8ec638caafdf5b9e30fd2b06e5",
      "verified_at_commit": "ad96063"
    },
    "sc-ito-simple-process-l2-continuity": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "c6d02f9d1ed58ea9c33fdb6ca887576d2abdd5de2d8a32db82faaad89b83c8e1",
      "verified_at_commit": "ad96063"
    },
    "sc-ito-simple-process-local-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "b0ab3ac783ca37efa7006a93cfd0d485c56cae22b1d93ee53634ea53babcd5a2",
      "verified_at_commit": "ad96063"
    },
    "sc-ito-simple-process-martingale": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "dd578f046344df4393f37d81938bf3ba224ed75b01b2cdabccb2feae470fbf37",
      "verified_at_commit": "ad96063"
    },
    "sc-levy-bilinear-pairing": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "cd95a2082ef24f585fcf9efbb7ad5ed59ed62d8c573858ca9b1401b3cd3c25e6",
      "verified_at_commit": "ad96063"
    },
    "sc-levy-integral-clm-isometry": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.7,
      "input_hash": "f5d714d05403acc3ea814ac4e6f86d23e7c8d11436cefbe2c4aef8c8fa5e07bb",
      "verified_at_commit": "ad96063"
    },
    "sc-levy-isometry-compensated-simple": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "6535d18e313f5ec4b2173ba2e8cdbe4ae0991d8053e95eee05f91e26b35bd240",
      "verified_at_commit": "ad96063"
    },
    "sc-levy-isometry-normform": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 3.8,
      "input_hash": "828abeac3841e62c11b4fa214801a9306caec89a1ba8721799fb1a13d7974bb5",
      "verified_at_commit": "ad96063"
    },
    "sc-memlp-ito-simple-process": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "d102a211c9493c78c97ff06a46faaa80cd4c6267a53b80a057e311bdc7d18890",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-6.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "cd516d7f2a12a50d9dd6f33de5e2c8f6fd353bfb334eda9fe5deea18ea84ea25",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-6.2.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "38fdc881833e42772ac7a5351641dfb1b9a5ecbb64682a872873ece7a77b9c23",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-7.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 196.9,
      "input_hash": "cda7e864473cdf79a575c9fa014b1bd94670206be7573d57447a2be6e578f627",
      "verified_at_commit": "c675795"
    },
    "sc-thm-7.1.2": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 96.8,
      "input_hash": "4d0301ad3a0d22d64398e3ecf3ac1aa37735d045d860cfe4da55a495b69b9639",
      "verified_at_commit": "c675795"
    },
    "sc-thm-7.4.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.6,
      "input_hash": "636976d146c471f797218489c689708a1d02635781e8c44f57931c49b4aa8dfa",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-7.5.2": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.4,
      "input_hash": "8e4b01de3b6f351d36d01815e48125ca012ae1f964a310d439150c0bbd67dc15",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-8.2.5": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.3,
      "input_hash": "474f25cef19c15c15ba30ff96d0799fc33319cbadc6f1fa70f9b7bb55ea29508",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-9.1.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.0,
      "input_hash": "24b272b713f3002a655c3223774f16cf470fb2ecf6079d9b4d63183e1145503d",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-9.1.8": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "3d42d497f0c1ebd0fe9d5192c6079f94ab0bc5c11f371757d8f46b6d99a13152",
      "verified_at_commit": "ad96063"
    },
    "sc-thm-9.2.1": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.2,
      "input_hash": "5beebf31579f18f044e414003e96cc3797ef94de18422a6ee350ce28101cc606",
      "verified_at_commit": "ad96063"
    },
    "sc-wiener-integral-gaussian": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-07-27",
      "elapsed_s": 5.5,
      "input_hash": "78e447f62d8b7647e9510b66469548424bf6420f9b552e73a3abcabbdbf6115a",
      "verified_at_commit": "ad96063"
    },
    "sde-picard-existence-uniqueness": {
      "benchmark_file": "stochastic_calculus.json",
      "date": "2026-08-07",
      "elapsed_s": 45.5,
      "input_hash": "03354deb83add8993770ea817fed617892c8087c28c79a809bb927fc3e442a8f",
      "verified_at_commit": "932a6c7"
    }
  }
}