{
  "schema": "mantis-forge-self-study-measurements/v2",
  "run_started_at": "2026-08-08T22:17:36.009Z",
  "run_completed_at": "2026-08-08T22:17:36.836Z",
  "source_commit": "abf0ae3d4b014d3ff6b0c135a87125b0640aaa80",
  "runtime": {
    "node": "v24.10.0",
    "platform": "redacted",
    "model_calls": 0
  },
  "design": {
    "resource_count": 34,
    "repetitions": {
      "read_search_compile": 100,
      "reopen": 20
    },
    "session_a_exit_status": 0,
    "session_b_exit_status": 0,
    "process_separation": true
  },
  "cartography": {
    "nodes": 34,
    "edges": 16,
    "clusters": 3
  },
  "raw_samples_ms": {
    "get": [
      0.39362500000004275,
      0.0702089999999771,
      0.04279099999996561,
      0.036750000000097316,
      0.19679199999995944,
      0.0394579999999678,
      0.030874999999923602,
      0.03558299999997416,
      0.028916000000094755,
      0.03608299999996234,
      0.04329199999995126,
      0.0284999999998945,
      0.038834000000065316,
      0.03462500000000546,
      0.04512499999998454,
      0.034041000000001986,
      0.028208000000063294,
      0.024207999999930507,
      0.022208999999975276,
      0.02537500000005366,
      0.02941699999996672,
      0.023041000000034728,
      0.026082999999971435,
      0.024332999999955973,
      0.033707999999933236,
      0.02112499999998363,
      0.03395799999998417,
      0.021999999999934516,
      0.021666999999979453,
      0.023500000000012733,
      0.022333000000003267,
      0.03416600000002745,
      0.02445799999998144,
      0.026208999999994376,
      0.020208000000025095,
      0.027625000000057298,
      0.021291000000019267,
      0.025332999999932326,
      0.03287500000010368,
      0.021040999999968335,
      0.020125000000007276,
      0.022249999999985448,
      0.027874999999994543,
      0.020249999999919055,
      0.024541999999996733,
      0.020167000000014923,
      0.025458999999955267,
      0.03462500000000546,
      0.03495799999996052,
      0.035290999999915584,
      0.034708000000023276,
      0.0428749999999809,
      0.022249999999985448,
      0.02250000000003638,
      0.02279199999998127,
      0.026000000000067303,
      0.043915999999967426,
      0.025875000000041837,
      0.021208999999998923,
      0.02033300000005056,
      0.023166000000060194,
      0.020665999999891937,
      0.02058399999998528,
      0.0225830000000542,
      0.020167000000014923,
      0.021707999999989624,
      0.020167000000014923,
      0.019915999999966516,
      0.022542000000044027,
      0.026499999999941792,
      0.022375000000010914,
      0.023584000000028027,
      0.020707999999899585,
      0.02104199999996581,
      0.023500000000012733,
      0.022208000000091488,
      0.02287499999999909,
      0.022333000000003267,
      0.02137500000003456,
      0.02658299999995961,
      0.020040999999991982,
      0.021166999999991276,
      0.022832999999991443,
      0.020250000000032742,
      0.021333000000026914,
      0.020416999999952168,
      0.023000000000024556,
      0.01987500000007003,
      0.019832999999948697,
      0.0196250000000191,
      0.02037499999994452,
      0.02299999999991087,
      0.020999999999958163,
      0.021625000000085493,
      0.020416999999952168,
      0.021040999999968335,
      0.020624999999995453,
      0.04204200000003766,
      0.03870900000003985,
      0.033999999999991815
    ],
    "search": [
      12.569166999999993,
      0.465958999999998,
      0.3534159999999247,
      0.3187080000000151,
      0.347458999999958,
      0.34370799999999235,
      0.2775409999999283,
      0.3365000000000009,
      0.29854100000000017,
      0.2859999999999445,
      0.29241700000000037,
      0.2922919999999749,
      0.2805829999999787,
      0.28158299999995506,
      0.25758399999995163,
      0.27729199999998855,
      0.3374580000000833,
      0.23670899999990525,
      0.22720799999990504,
      0.261333000000036,
      0.26329199999997854,
      0.2391659999999547,
      0.2377079999999978,
      0.23612500000001546,
      0.2281669999999849,
      0.234375,
      0.22670899999991434,
      0.22200000000009368,
      0.23041699999998855,
      0.248958000000016,
      0.2913330000000087,
      0.23933399999998528,
      0.26054199999998673,
      0.23408400000005258,
      0.2317919999999276,
      0.23579099999994924,
      0.23099999999999454,
      0.2308339999999589,
      0.22225000000003092,
      0.25804100000004837,
      0.29525000000001,
      0.22187499999995453,
      0.2293329999999969,
      0.2231250000000955,
      0.21908299999995506,
      0.21583399999997255,
      0.21775000000002365,
      0.23725000000001728,
      0.2353329999999687,
      0.22887500000001637,
      0.2300000000000182,
      0.23749999999995453,
      0.24154199999998127,
      0.21616599999993014,
      0.21387500000003,
      0.21545900000000984,
      0.2500840000000153,
      0.216083000000026,
      0.218291000000022,
      0.21095800000000509,
      0.24024999999994634,
      0.2178750000000491,
      0.2107499999999618,
      0.21762499999999818,
      0.21087499999998727,
      0.2121670000000222,
      0.20966699999996763,
      0.21366599999998925,
      0.24633299999993596,
      0.22958300000004783,
      0.2351250000000391,
      0.23775000000000546,
      0.21366599999998925,
      0.21137499999997544,
      0.2134169999999358,
      0.22420800000008967,
      0.2146659999999656,
      0.21233399999994162,
      0.21429200000000037,
      0.22212500000000546,
      0.2121670000000222,
      0.23429199999998218,
      0.22070900000005622,
      0.21087499999998727,
      0.21808399999997619,
      0.21300000000007913,
      0.21520799999996143,
      0.2111250000000382,
      0.21695899999997437,
      0.22050000000001546,
      0.21325000000001637,
      0.22929099999998925,
      0.21416599999997743,
      0.2743750000000773,
      0.21479199999998855,
      0.21245799999996962,
      0.2125419999999849,
      0.24954200000001947,
      0.23766699999998764,
      0.23349999999993543
    ],
    "compile": [
      1.7237910000000056,
      0.9529159999999592,
      0.8587080000000924,
      0.6914579999998978,
      0.6805419999999458,
      0.5531250000000227,
      0.6061670000000277,
      0.6294589999999971,
      0.6429160000000138,
      0.608333000000016,
      0.722332999999935,
      0.61424999999997,
      0.6397919999999431,
      0.547916999999984,
      0.5785829999999805,
      0.5577079999999341,
      0.6109169999999722,
      0.45833300000003874,
      0.4479999999999791,
      0.47395799999992505,
      0.5295830000000024,
      0.4887499999999818,
      0.46991700000000947,
      0.5660419999999249,
      0.48766599999999016,
      0.5622919999999567,
      0.46887500000002547,
      0.4502500000000964,
      0.48775000000000546,
      0.5214999999999463,
      0.4654160000000047,
      0.48879199999998946,
      0.5465829999999414,
      0.476291999999944,
      0.5163750000000391,
      0.6831250000000182,
      0.5593330000000378,
      0.45470799999998235,
      0.5161669999999958,
      0.48804200000006404,
      0.5458750000000236,
      0.5312089999999898,
      0.4249999999999545,
      0.5648750000000291,
      0.4454999999999245,
      0.4512919999999667,
      0.5724999999999909,
      0.6318750000000364,
      0.5829579999999623,
      0.6128749999999172,
      0.6396670000000313,
      0.5877920000000358,
      0.46908399999995254,
      0.44954200000006495,
      0.46983299999999417,
      0.4972500000000082,
      0.49387500000000273,
      0.42774999999994634,
      0.4113750000000209,
      0.5778340000000526,
      0.4679999999999609,
      0.41770899999994526,
      0.43583300000000236,
      0.4241670000000113,
      0.41208400000004985,
      0.4077500000000782,
      0.40650000000005093,
      0.5334159999999883,
      0.45249999999998636,
      0.48858400000005986,
      0.4871250000001055,
      0.4322499999999536,
      0.42287499999997635,
      0.44412499999998545,
      0.44804199999998673,
      0.5610419999999294,
      0.44833300000004783,
      0.45050000000003365,
      0.5226669999999558,
      0.4589579999999387,
      0.43945800000005875,
      0.45454099999994924,
      0.4359590000000253,
      0.5470419999999194,
      0.4220419999999194,
      0.46325000000001637,
      0.42437500000005457,
      0.42574999999999363,
      0.43262500000003,
      0.41804099999990285,
      0.4691659999999729,
      0.5341250000000173,
      0.46479199999998855,
      0.45033300000000054,
      0.43529100000000653,
      0.41525000000001455,
      0.6474170000000186,
      0.6523750000000064,
      0.5961249999999154,
      0.7145410000000538
    ],
    "reopen": [
      1.1837499999999181,
      0.8103330000000142,
      0.7168329999999514,
      0.680582999999956,
      0.728832999999895,
      1.4432920000000422,
      0.7019579999999905,
      0.6923750000000837,
      0.682166000000052,
      0.8468750000000682,
      0.797916999999984,
      1.098416000000043,
      0.7234579999999369,
      0.7119999999999891,
      0.7629170000000158,
      0.7158329999999751,
      0.6717919999999822,
      0.6915830000000369,
      0.7286249999999654,
      0.6064999999999827
    ]
  },
  "result_digests": [
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70",
    "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70"
  ],
  "repeated_read": {
    "get": {
      "n": 100,
      "mean_ms": 0.032137,
      "median_ms": 0.023104,
      "p95_ms": 0.043292,
      "sd_ms": 0.04109,
      "min_ms": 0.019625,
      "max_ms": 0.393625
    },
    "search": {
      "n": 100,
      "mean_ms": 0.365893,
      "median_ms": 0.230209,
      "p95_ms": 0.337458,
      "sd_ms": 1.233326,
      "min_ms": 0.209667,
      "max_ms": 12.569167
    },
    "compile": {
      "n": 100,
      "mean_ms": 0.531796,
      "median_ms": 0.488313,
      "p95_ms": 0.691458,
      "sd_ms": 0.154935,
      "min_ms": 0.4065,
      "max_ms": 1.723791
    },
    "identical_outputs": true,
    "digest_frequencies": {
      "c46ff80863690e801a186c0952989303659e2e0ab0dbe9fb07922ca76ffb4c70": 100
    },
    "state_checksum_before": "6f73330b864f6f8f264d567bdbb1633624ca2433b319f80e075f45dfcde38b63",
    "state_checksum_after": "6f73330b864f6f8f264d567bdbb1633624ca2433b319f80e075f45dfcde38b63",
    "state_checksum_unchanged": true
  },
  "repository_reopen": {
    "n": 20,
    "mean_ms": 0.799802,
    "median_ms": 0.720145,
    "p95_ms": 1.18375,
    "sd_ms": 0.206035,
    "min_ms": 0.6065,
    "max_ms": 1.443292,
    "integrity_all_reopens": true
  },
  "compilation_budget_checks": [
    {
      "budget": 128,
      "used_tokens": 127,
      "within_budget": true,
      "omitted": 31,
      "warnings": 0,
      "contains_target": false
    },
    {
      "budget": 256,
      "used_tokens": 255,
      "within_budget": true,
      "omitted": 30,
      "warnings": 0,
      "contains_target": true
    },
    {
      "budget": 512,
      "used_tokens": 512,
      "within_budget": true,
      "omitted": 26,
      "warnings": 0,
      "contains_target": true
    },
    {
      "budget": 1024,
      "used_tokens": 1023,
      "within_budget": true,
      "omitted": 22,
      "warnings": 0,
      "contains_target": true
    }
  ],
  "multi_session_recovery": {
    "process_boundary": true,
    "query": "controlled restart checkpoint",
    "answer_literal_present_in_query": false,
    "retrieved_rank": 1,
    "recovery_parser": "generic variable.value.checkpoint_code",
    "recovered_code": "MAP-47",
    "latency_ms": 10.074709,
    "compiled_used_tokens": 511,
    "compiled_within_budget": true,
    "search_result_count": 1,
    "expected_code_sha256": "b9466fde46fc44544ef66441f17ea27d4e5a8d0c383d8ccf423a71cc82b322de",
    "success": true
  },
  "subject_integrity": {
    "algorithm": "SHA-256 over sorted UTF-8 records path\\0size\\0file_sha256\\n",
    "pre_tree_sha256": "fcf51412ff8a1b171f2a4f95ea481e1e1582ad3ee5254fe12765c939e1641b6d",
    "post_tree_sha256": "fcf51412ff8a1b171f2a4f95ea481e1e1582ad3ee5254fe12765c939e1641b6d",
    "file_count": 1333,
    "identical": true
  },
  "checks": {
    "state_json_parseable": true,
    "release_state_identity_redacted": true
  },
  "release_paths": {
    "workspace": "evidence/workspaces/pilot-state",
    "state_file": "evidence/workspaces/pilot-state/.mantis/forge/state/space-state.json",
    "session_a_raw": "evidence/raw/empirical-session-a.json",
    "subject_manifests": [
      "evidence/raw/subject-tree-manifest-before.json",
      "evidence/raw/subject-tree-manifest-after.json"
    ]
  }
}
