{
  "schemaVersion": 1,
  "recordedDate": "2026-10-29",
  "scope": "Standalone bounded TypeScript port and separate synthetic local workflow. Public export omits host paths, command arguments and internal agent workflow details. Measurements are unchanged.",
  "baseline": [
    {
      "caseId": "case-00",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "245.716917",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "268.64725",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "246.81458299999997",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "249.21345900000006",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "350.20337500000005",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "323.9503749999999",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "315.32229200000006",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "289.9100420000002",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "77.60637499999984",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "77.3720000000003",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "76.45550000000003",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "81.70512499999995",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "66.32766600000014",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "66.16283299999986",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "67.67954200000031",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "70.57483300000013",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "437.8776250000001",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "437.9972499999999",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "438.0618749999999",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "454.04150000000027",
      "verified": "",
      "verificationErrors": "",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "1233.4508750000005",
      "verified": "2",
      "verificationErrors": "0",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "1192.6655",
      "verified": "2",
      "verificationErrors": "0",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "1236.1891249999999",
      "verified": "2",
      "verificationErrors": "0",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-00",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "1223.7743330000012",
      "verified": "2",
      "verificationErrors": "0",
      "sha256": "76f02f6f7cf3f998271763f3dc8634b120c61bbdfcdb8fca5fba455239e41e8a"
    },
    {
      "caseId": "case-01",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "256.32537500000035",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "258.1197919999995",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "249.20920900000056",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "253.94745799999873",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "312.93183300000055",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "294.9001250000001",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "300.5049999999992",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "289.6930420000008",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "73.02308300000004",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.93029100000058",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "74.60449999999946",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "70.98545899999954",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "80.12612500000068",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "75.18591600000036",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.02700000000004",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "77.98245900000074",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "414.7632909999993",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "458.82187499999964",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "418.8116659999996",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "418.43170800000007",
      "verified": "",
      "verificationErrors": "",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1239.5935829999999",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1239.049916",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1265.4439999999995",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-01",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1170.238874999999",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "44dcc03b317eff61b148d3b06b7aefce171ef689e7171bf83dc7c62a32f03129"
    },
    {
      "caseId": "case-02",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "263.416792",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "263.5457090000018",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "269.7858750000014",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "256.88679200000115",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "302.8943330000002",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "299.4249999999993",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "291.75758399999904",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "278.50416699999914",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "78.75141599999915",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.21270899999945",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "62.82654200000252",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "65.15112500000032",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "70.47166600000128",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.14995799999815",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.98220800000126",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.67024999999921",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "149.7495830000007",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "145.916792",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "153.27362500000163",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "167.21241700000246",
      "verified": "",
      "verificationErrors": "",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1275.6873750000013",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1298.9394170000014",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1293.4644999999982",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-02",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1235.6970839999994",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "dff60ede9c4e86cb61ad494d771c4dd7f577ec8a5034a690c50ab93e404cedb5"
    },
    {
      "caseId": "case-03",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "531.6922089999971",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "266.37725000000137",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "263.4251669999976",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "269.4592080000002",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "344.31708300000173",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "356.1365829999995",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "436.8219169999975",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "1235.8996669999979",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "123.40712500000154",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "105.57554200000232",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "83.97404099999767",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.86737500000163",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "86.74750000000131",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "136.05491699999766",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "287.0222079999985",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "107.64091700000063",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "106.78700000000026",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "106.18204200000037",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "101.89287499999773",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "106.43954200000007",
      "verified": "",
      "verificationErrors": "",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1313.1969170000011",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "2459.3888339999976",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1422.4516660000008",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-03",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1415.541333000001",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "1450833aac7ff4c6b825eb0c15d4c5d6d20cbe100aacf469245cb586605d75e4"
    },
    {
      "caseId": "case-04",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "286.27733300000546",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "267.14629199999763",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "293.0867500000022",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "270.23641599999974",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "478.5545420000053",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "294.8624170000039",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "312.88525000000664",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "311.87958300000173",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "79.86720799999603",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "78.84112499999901",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "85.22574999999779",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "81.48616599999514",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "78.65558299999975",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "76.43654100000276",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "81.05508299999929",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "70.51841599999898",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "64.30450000000565",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "70.62779199999932",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "73.07616599999892",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "72.22162500000559",
      "verified": "",
      "verificationErrors": "",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1301.3465420000066",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1285.0485840000038",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1284.296709000002",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-04",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1452.992416999994",
      "verified": "1",
      "verificationErrors": "2",
      "sha256": "da6f4739f2efc72fee6b46ab320b948b0df3d07fe1b4657b396a2e9ed3cf7c10"
    },
    {
      "caseId": "case-05",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "276.55033399999957",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "267.35033300000214",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "277.486708000004",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "279.4852500000052",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "322.39441700000316",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "310.4490000000005",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "323.5730829999957",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "317.81175000000076",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "82.56870799999888",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "83.8662089999998",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "70.62341699999524",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "65.92170900000201",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "67.74904100000276",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "67.17912500000239",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "67.13375000000087",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "72.12158400000044",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "80.3697500000053",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "78.73433300000033",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "81.11554099999921",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "83.64016699999775",
      "verified": "",
      "verificationErrors": "",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1278.2696249999935",
      "verified": "1",
      "verificationErrors": "3",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1323.014750000002",
      "verified": "1",
      "verificationErrors": "3",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1310.033583999997",
      "verified": "1",
      "verificationErrors": "3",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-05",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1259.7601670000004",
      "verified": "1",
      "verificationErrors": "3",
      "sha256": "80e0b56fa0aa9a796304dd1afe134daba50dad5a190d1acd71f1bf7c8770fe74"
    },
    {
      "caseId": "case-06",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "280.1154999999999",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "290.4435419999936",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "282.375291999997",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "262.145958000001",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "338.9145830000052",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "327.2396249999947",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "290.9264170000024",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "316.6962080000012",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "69.0029579999973",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "68.10316700000112",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "69.22287499999948",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "73.62120800000412",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "74.10416700000496",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "77.76945900000283",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "80.13770899999508",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "75.62741599999572",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "376.28512500000215",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "377.6567920000016",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "380.17412499999773",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "377.11783399999695",
      "verified": "",
      "verificationErrors": "",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1316.171875",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "2618.936625000002",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1373.5158749999973",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-06",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1252.4664169999887",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "70a3ee5006fc38330e570617aec39b5e2128021f2369d83fb6fdaf34c1f6d78f"
    },
    {
      "caseId": "case-07",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "273.75562500000524",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "259.7287500000093",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "268.2092499999999",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "271.57520799999475",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "328.4003340000054",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "309.19199999999546",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "298.05516600000556",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "309.74558299999626",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "79.1126249999943",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "75.57008300001326",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "76.12945900000341",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.39737500000047",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.5530829999916",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.15129199999501",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "66.41787499999919",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "72.40570899999875",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "73.73591699999815",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.55645800000639",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "75.0956659999938",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "75.8933340000076",
      "verified": "",
      "verificationErrors": "",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1269.7090829999943",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1237.2238329999964",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1210.2501670000056",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-07",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1259.3270420000044",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "46d5409190e79debd941c02f105a977d95f981d8f97ee8df8201b3181a58132c"
    },
    {
      "caseId": "case-08",
      "stage": "types",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "371.0276659999945",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "types",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "334.33770799999184",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "types",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "282.87083300000813",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "types",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "273.01699999999255",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "lint",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "317.5493750000023",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "lint",
      "iteration": "1",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "299.39337499999965",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "lint",
      "iteration": "2",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "288.75424999999814",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "lint",
      "iteration": "3",
      "phase": "warm",
      "status": "pass",
      "exit": "0",
      "elapsedMs": "293.68483299999207",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "examples",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "77.72650000000431",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "examples",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "79.56883400000515",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "examples",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "64.23091600000043",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "examples",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "65.45770800000173",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "exhaustive",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "64.82654100000218",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "exhaustive",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "68.23983299999963",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "exhaustive",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "72.70316699999967",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "exhaustive",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "71.18824999999197",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "traces",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "73.78891699999804",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "traces",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "74.13920800000778",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "traces",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "76.00966700000572",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "traces",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "79.14274999999907",
      "verified": "",
      "verificationErrors": "",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "formal",
      "iteration": "0",
      "phase": "first-invocation",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1238.3927089999925",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "formal",
      "iteration": "1",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1247.6528339999932",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "formal",
      "iteration": "2",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1244.892834000013",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    },
    {
      "caseId": "case-08",
      "stage": "formal",
      "iteration": "3",
      "phase": "warm",
      "status": "reject",
      "exit": "1",
      "elapsedMs": "1233.3376249999856",
      "verified": "1",
      "verificationErrors": "1",
      "sha256": "f9fe08e2103df0e4d322913b2252b3f5c6226c0f8afaa83eb330b7672cdcd23a"
    }
  ],
  "scaling": [
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.127547666,
      "sampledPeakTreeBytes": 24920064,
      "rssSamples": 2,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07569758400000001,
      "sampledPeakTreeBytes": 10223616,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "examples",
      "iteration": 1,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07599783300000001,
      "sampledPeakTreeBytes": 25985024,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "examples",
      "iteration": 2,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.074389959,
      "sampledPeakTreeBytes": 26443776,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "examples",
      "iteration": 3,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07234466700000003,
      "sampledPeakTreeBytes": 14778368,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 133,
        "completedPairs": 266,
        "fullDomain": true
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07286058299999998,
      "sampledPeakTreeBytes": 11763712,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 133,
        "completedPairs": 266,
        "fullDomain": true
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 1,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07426220799999994,
      "sampledPeakTreeBytes": 24428544,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 133,
        "completedPairs": 266,
        "fullDomain": true
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 2,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07785108399999996,
      "sampledPeakTreeBytes": 29114368,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 133,
        "completedPairs": 266,
        "fullDomain": true
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 3,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.453300708,
      "sampledPeakTreeBytes": 526041088,
      "rssSamples": 21,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2471766249999998,
      "sampledPeakTreeBytes": 533839872,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "formal",
      "iteration": 1,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.170997458,
      "sampledPeakTreeBytes": 536920064,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "formal",
      "iteration": 2,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2479725830000001,
      "sampledPeakTreeBytes": 534364160,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "clean",
      "stage": "formal",
      "iteration": 3,
      "phase": "warm",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-clean.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.07737324999999995,
      "sampledPeakTreeBytes": 9404416,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1,
        "state": {
          "active": 16,
          "clientActive": 1,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 16,
          "clientActive": 1,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 17,
          "clientActive": 2,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 17,\n+   admitted: true,\n+   clientActive: 2,\n+   held: true\n-   active: 16,\n-   admitted: false,\n-   clientActive: 1,\n-   held: false\n  }\n"
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "inclusive-global",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.07930862500000035,
      "sampledPeakTreeBytes": 22609920,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 249,
        "state": {
          "active": 16,
          "clientActive": 0,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 16,
          "clientActive": 0,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 17,
          "clientActive": 1,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 17,\n+   admitted: true,\n+   clientActive: 1,\n+   held: true\n-   active: 16,\n-   admitted: false,\n-   clientActive: 0,\n-   held: false\n  }\n"
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "inclusive-global",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.175866417,
      "sampledPeakTreeBytes": 536248320,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "inclusive-global",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-inclusive-global.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08600862499999984,
      "sampledPeakTreeBytes": 33914880,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "interior-delta",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.0753187500000001,
      "sampledPeakTreeBytes": 20070400,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 111,
        "state": {
          "active": 8,
          "clientActive": 2,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 9,
          "clientActive": 3,
          "held": true,
          "admitted": true
        },
        "actual": {
          "active": 10,
          "clientActive": 3,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 10,\n-   active: 9,\n    admitted: true,\n    clientActive: 3,\n    held: true\n  }\n"
      },
      "globalCap": 16,
      "clientCap": 4,
      "variant": "interior-delta",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.1526654579999995,
      "sampledPeakTreeBytes": 535035904,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 16,
      "clientCap": 4,
      "variant": "interior-delta",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 266,
      "file": "phase2/scaling/generated/g16-c4-interior-delta.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08162899999999951,
      "sampledPeakTreeBytes": 31703040,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07567691699999912,
      "sampledPeakTreeBytes": 20496384,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "examples",
      "iteration": 1,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08124916700000107,
      "sampledPeakTreeBytes": 28180480,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "examples",
      "iteration": 2,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07885616599999956,
      "sampledPeakTreeBytes": 26017792,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "examples",
      "iteration": 3,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.0805543749999984,
      "sampledPeakTreeBytes": 28475392,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 1873,
        "completedPairs": 3746,
        "fullDomain": true
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07292491599999984,
      "sampledPeakTreeBytes": 28770304,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 1873,
        "completedPairs": 3746,
        "fullDomain": true
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 1,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07716233300000042,
      "sampledPeakTreeBytes": 26034176,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 1873,
        "completedPairs": 3746,
        "fullDomain": true
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 2,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07381570899999979,
      "sampledPeakTreeBytes": 26017792,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 1873,
        "completedPairs": 3746,
        "fullDomain": true
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 3,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2122744169999997,
      "sampledPeakTreeBytes": 525434880,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.1524574580000007,
      "sampledPeakTreeBytes": 536248320,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "formal",
      "iteration": 1,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.184669167000001,
      "sampledPeakTreeBytes": 533020672,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "formal",
      "iteration": 2,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.1693532910000002,
      "sampledPeakTreeBytes": 498106368,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "clean",
      "stage": "formal",
      "iteration": 3,
      "phase": "warm",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-clean.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.08724754200000007,
      "sampledPeakTreeBytes": 26099712,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1,
        "state": {
          "active": 64,
          "clientActive": 1,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 64,
          "clientActive": 1,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 65,
          "clientActive": 2,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 65,\n+   admitted: true,\n+   clientActive: 2,\n+   held: true\n-   active: 64,\n-   admitted: false,\n-   clientActive: 1,\n-   held: false\n  }\n"
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "inclusive-global",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.07895225000000039,
      "sampledPeakTreeBytes": 28999680,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 3681,
        "state": {
          "active": 64,
          "clientActive": 0,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 64,
          "clientActive": 0,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 65,
          "clientActive": 1,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 65,\n+   admitted: true,\n+   clientActive: 1,\n+   held: true\n-   active: 64,\n-   admitted: false,\n-   clientActive: 0,\n-   held: false\n  }\n"
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "inclusive-global",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.1891510420000007,
      "sampledPeakTreeBytes": 483164160,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "inclusive-global",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-inclusive-global.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.0831812920000008,
      "sampledPeakTreeBytes": 26001408,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "interior-delta",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.08115116599999972,
      "sampledPeakTreeBytes": 15106048,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1599,
        "state": {
          "active": 32,
          "clientActive": 8,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 33,
          "clientActive": 9,
          "held": true,
          "admitted": true
        },
        "actual": {
          "active": 34,
          "clientActive": 9,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 34,\n-   active: 33,\n    admitted: true,\n    clientActive: 9,\n    held: true\n  }\n"
      },
      "globalCap": 64,
      "clientCap": 16,
      "variant": "interior-delta",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.2248649579999995,
      "sampledPeakTreeBytes": 526925824,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 64,
      "clientCap": 16,
      "variant": "interior-delta",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 3746,
      "file": "phase2/scaling/generated/g64-c16-interior-delta.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08755658399999788,
      "sampledPeakTreeBytes": 27820032,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08469120899999893,
      "sampledPeakTreeBytes": 26378240,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "examples",
      "iteration": 1,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07389324999999758,
      "sampledPeakTreeBytes": 28131328,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "examples",
      "iteration": 2,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07552450000000022,
      "sampledPeakTreeBytes": 26017792,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "examples",
      "iteration": 3,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.1396930829999974,
      "sampledPeakTreeBytes": 28672000,
      "rssSamples": 2,
      "coverage": {
        "status": "pass",
        "states": 28993,
        "completedPairs": 57986,
        "fullDomain": true
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.1562605839999982,
      "sampledPeakTreeBytes": 27017216,
      "rssSamples": 2,
      "coverage": {
        "status": "pass",
        "states": 28993,
        "completedPairs": 57986,
        "fullDomain": true
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 1,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.15702662499999676,
      "sampledPeakTreeBytes": 26017792,
      "rssSamples": 2,
      "coverage": {
        "status": "pass",
        "states": 28993,
        "completedPairs": 57986,
        "fullDomain": true
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 2,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.16313616699999756,
      "sampledPeakTreeBytes": 16875520,
      "rssSamples": 2,
      "coverage": {
        "status": "pass",
        "states": 28993,
        "completedPairs": 57986,
        "fullDomain": true
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 3,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.1837025840000024,
      "sampledPeakTreeBytes": 473088000,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.232010958,
      "sampledPeakTreeBytes": 532316160,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "formal",
      "iteration": 1,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2339468329999974,
      "sampledPeakTreeBytes": 526483456,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "formal",
      "iteration": 2,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.1791124999999987,
      "sampledPeakTreeBytes": 532856832,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "clean",
      "stage": "formal",
      "iteration": 3,
      "phase": "warm",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-clean.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.07598579200000088,
      "sampledPeakTreeBytes": 26083328,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1,
        "state": {
          "active": 256,
          "clientActive": 1,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 256,
          "clientActive": 1,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 257,
          "clientActive": 2,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 257,\n+   admitted: true,\n+   clientActive: 2,\n+   held: true\n-   active: 256,\n-   admitted: false,\n-   clientActive: 1,\n-   held: false\n  }\n"
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "inclusive-global",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.14645162500000097,
      "sampledPeakTreeBytes": 31227904,
      "rssSamples": 2,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 57729,
        "state": {
          "active": 256,
          "clientActive": 0,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 256,
          "clientActive": 0,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 257,
          "clientActive": 1,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 257,\n+   admitted: true,\n+   clientActive: 1,\n+   held: true\n-   active: 256,\n-   admitted: false,\n-   clientActive: 0,\n-   held: false\n  }\n"
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "inclusive-global",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.1543621669999986,
      "sampledPeakTreeBytes": 534347776,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "inclusive-global",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-inclusive-global.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08358808399999873,
      "sampledPeakTreeBytes": 28065792,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "interior-delta",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.14105054199999856,
      "sampledPeakTreeBytes": 25247744,
      "rssSamples": 2,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 24831,
        "state": {
          "active": 128,
          "clientActive": 32,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 129,
          "clientActive": 33,
          "held": true,
          "admitted": true
        },
        "actual": {
          "active": 130,
          "clientActive": 33,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 130,\n-   active: 129,\n    admitted: true,\n    clientActive: 33,\n    held: true\n  }\n"
      },
      "globalCap": 256,
      "clientCap": 64,
      "variant": "interior-delta",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.1616422909999997,
      "sampledPeakTreeBytes": 531185664,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 256,
      "clientCap": 64,
      "variant": "interior-delta",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 57986,
      "file": "phase2/scaling/generated/g256-c64-interior-delta.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08345600000000175,
      "sampledPeakTreeBytes": 35733504,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08439962499999965,
      "sampledPeakTreeBytes": 28033024,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "examples",
      "iteration": 1,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07901187499999907,
      "sampledPeakTreeBytes": 31457280,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "examples",
      "iteration": 2,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07629979200000037,
      "sampledPeakTreeBytes": 29212672,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "examples",
      "iteration": 3,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.3568507089999997,
      "sampledPeakTreeBytes": 90996736,
      "rssSamples": 5,
      "coverage": {
        "status": "pass",
        "states": 460033,
        "completedPairs": 920066,
        "fullDomain": true
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.3785513750000007,
      "sampledPeakTreeBytes": 91062272,
      "rssSamples": 5,
      "coverage": {
        "status": "pass",
        "states": 460033,
        "completedPairs": 920066,
        "fullDomain": true
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 1,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.3034529579999976,
      "sampledPeakTreeBytes": 90652672,
      "rssSamples": 4,
      "coverage": {
        "status": "pass",
        "states": 460033,
        "completedPairs": 920066,
        "fullDomain": true
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 2,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.30559695799999886,
      "sampledPeakTreeBytes": 90144768,
      "rssSamples": 4,
      "coverage": {
        "status": "pass",
        "states": 460033,
        "completedPairs": 920066,
        "fullDomain": true
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 3,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.190406583999998,
      "sampledPeakTreeBytes": 526286848,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2053473329999989,
      "sampledPeakTreeBytes": 526237696,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "formal",
      "iteration": 1,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2330609169999995,
      "sampledPeakTreeBytes": 533282816,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "formal",
      "iteration": 2,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.232902499999998,
      "sampledPeakTreeBytes": 527794176,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "clean",
      "stage": "formal",
      "iteration": 3,
      "phase": "warm",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-clean.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.09318641599999822,
      "sampledPeakTreeBytes": 27459584,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1,
        "state": {
          "active": 1024,
          "clientActive": 1,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 1024,
          "clientActive": 1,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 1025,
          "clientActive": 2,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 1025,\n+   admitted: true,\n+   clientActive: 2,\n+   held: true\n-   active: 1024,\n-   admitted: false,\n-   clientActive: 1,\n-   held: false\n  }\n"
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "inclusive-global",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.36114900000000105,
      "sampledPeakTreeBytes": 90357760,
      "rssSamples": 5,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 919041,
        "state": {
          "active": 1024,
          "clientActive": 0,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 1024,
          "clientActive": 0,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 1025,
          "clientActive": 1,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 1025,\n+   admitted: true,\n+   clientActive: 1,\n+   held: true\n-   active: 1024,\n-   admitted: false,\n-   clientActive: 0,\n-   held: false\n  }\n"
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "inclusive-global",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.258298332999999,
      "sampledPeakTreeBytes": 527351808,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "inclusive-global",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-inclusive-global.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08750654099999622,
      "sampledPeakTreeBytes": 20627456,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "interior-delta",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.2138138749999996,
      "sampledPeakTreeBytes": 90865664,
      "rssSamples": 3,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 394239,
        "state": {
          "active": 512,
          "clientActive": 128,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 513,
          "clientActive": 129,
          "held": true,
          "admitted": true
        },
        "actual": {
          "active": 514,
          "clientActive": 129,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 514,\n-   active: 513,\n    admitted: true,\n    clientActive: 129,\n    held: true\n  }\n"
      },
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "interior-delta",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.2289935830000047,
      "sampledPeakTreeBytes": 527400960,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 1024,
      "clientCap": 256,
      "variant": "interior-delta",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 920066,
      "file": "phase2/scaling/generated/g1024-c256-interior-delta.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08472508399999867,
      "sampledPeakTreeBytes": 16318464,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.08068612499999972,
      "sampledPeakTreeBytes": 13795328,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "examples",
      "iteration": 1,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.0838207499999939,
      "sampledPeakTreeBytes": 30982144,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "examples",
      "iteration": 2,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.07796916699999912,
      "sampledPeakTreeBytes": 24690688,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "examples",
      "iteration": 3,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 3.3932693749999956,
      "sampledPeakTreeBytes": 93487104,
      "rssSamples": 46,
      "coverage": {
        "status": "pass",
        "states": 7345153,
        "completedPairs": 14690306,
        "fullDomain": true
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 3.445784584000002,
      "sampledPeakTreeBytes": 93224960,
      "rssSamples": 47,
      "coverage": {
        "status": "pass",
        "states": 7345153,
        "completedPairs": 14690306,
        "fullDomain": true
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 1,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 3.412705041999999,
      "sampledPeakTreeBytes": 93945856,
      "rssSamples": 47,
      "coverage": {
        "status": "pass",
        "states": 7345153,
        "completedPairs": 14690306,
        "fullDomain": true
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 2,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 3.449966250000003,
      "sampledPeakTreeBytes": 93388800,
      "rssSamples": 47,
      "coverage": {
        "status": "pass",
        "states": 7345153,
        "completedPairs": 14690306,
        "fullDomain": true
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "exhaustive",
      "iteration": 3,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2589962499999956,
      "sampledPeakTreeBytes": 525647872,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2324396670000013,
      "sampledPeakTreeBytes": 531005440,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "formal",
      "iteration": 1,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.1765705420000003,
      "sampledPeakTreeBytes": 538951680,
      "rssSamples": 17,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "formal",
      "iteration": 2,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 1.2305681659999976,
      "sampledPeakTreeBytes": 532447232,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        2,
        0
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "clean",
      "stage": "formal",
      "iteration": 3,
      "phase": "warm",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-clean.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.0808421660000036,
      "sampledPeakTreeBytes": 28786688,
      "rssSamples": 1,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 1,
        "state": {
          "active": 4096,
          "clientActive": 1,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 4096,
          "clientActive": 1,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 4097,
          "clientActive": 2,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 4097,\n+   admitted: true,\n+   clientActive: 2,\n+   held: true\n-   active: 4096,\n-   admitted: false,\n-   clientActive: 1,\n-   held: false\n  }\n"
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "inclusive-global",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 3.427930124999996,
      "sampledPeakTreeBytes": 94011392,
      "rssSamples": 46,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 14686209,
        "state": {
          "active": 4096,
          "clientActive": 0,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 4096,
          "clientActive": 0,
          "held": false,
          "admitted": false
        },
        "actual": {
          "active": 4097,
          "clientActive": 1,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 4097,\n+   admitted: true,\n+   clientActive: 1,\n+   held: true\n-   active: 4096,\n-   admitted: false,\n-   clientActive: 0,\n-   held: false\n  }\n"
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "inclusive-global",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-inclusive-global.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.2562908749999977,
      "sampledPeakTreeBytes": 525631488,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "inclusive-global",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-inclusive-global.verify.ts"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.09122870800000271,
      "sampledPeakTreeBytes": 22233088,
      "rssSamples": 1,
      "coverage": {
        "status": "pass",
        "states": 0,
        "completedPairs": 7,
        "fullDomain": false
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "interior-delta",
      "stage": "examples",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.5648711249999963,
      "sampledPeakTreeBytes": 93061120,
      "rssSamples": 21,
      "coverage": {
        "status": "mismatch",
        "completedPairs": 6295551,
        "state": {
          "active": 2048,
          "clientActive": 512,
          "held": false
        },
        "acquire": true,
        "expected": {
          "active": 2049,
          "clientActive": 513,
          "held": true,
          "admitted": true
        },
        "actual": {
          "active": 2050,
          "clientActive": 513,
          "held": true,
          "admitted": true
        },
        "message": "Expected values to be strictly deep-equal:\n+ actual - expected\n\n  {\n+   active: 2050,\n-   active: 2049,\n    admitted: true,\n    clientActive: 513,\n    held: true\n  }\n"
      },
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "interior-delta",
      "stage": "exhaustive",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-interior-delta.verify.ts"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 1.2294178749999958,
      "sampledPeakTreeBytes": 526827520,
      "rssSamples": 18,
      "coverage": null,
      "verificationSummary": [
        1,
        1
      ],
      "globalCap": 4096,
      "clientCap": 1024,
      "variant": "interior-delta",
      "stage": "formal",
      "iteration": 0,
      "phase": "first-invocation",
      "pairs": 14690306,
      "file": "phase2/scaling/generated/g4096-c1024-interior-delta.verify.ts"
    }
  ],
  "modelChecking": [
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 2.0637429579999997,
      "sampledPeakTreeBytes": 341786624,
      "rssSamples": 28,
      "coverage": null,
      "stage": "statechart",
      "mode": "none"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 2.626672459,
      "sampledPeakTreeBytes": 341819392,
      "rssSamples": 35,
      "coverage": null,
      "stage": "statechart",
      "mode": "race"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 2.6858457919999994,
      "sampledPeakTreeBytes": 343523328,
      "rssSamples": 36,
      "coverage": null,
      "stage": "statechart",
      "mode": "foreign-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 2.5884807500000004,
      "sampledPeakTreeBytes": 344391680,
      "rssSamples": 34,
      "coverage": null,
      "stage": "statechart",
      "mode": "double-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 2.6728063330000005,
      "sampledPeakTreeBytes": 339755008,
      "rssSamples": 36,
      "coverage": null,
      "stage": "statechart",
      "mode": "failure-leak"
    }
  ],
  "runtimeChecks": [
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.143225292,
      "sampledPeakTreeBytes": 109477888,
      "rssSamples": 2,
      "coverage": null,
      "stage": "http",
      "mode": "none"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.15137966700000002,
      "sampledPeakTreeBytes": 103694336,
      "rssSamples": 2,
      "coverage": {
        "defect": "none",
        "status": "pass",
        "trials": 200,
        "stepsPerTrial": 100,
        "checked": 20000
      },
      "stage": "stateful",
      "mode": "none"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.14966362500000002,
      "sampledPeakTreeBytes": 109248512,
      "rssSamples": 2,
      "coverage": null,
      "stage": "http",
      "mode": "race"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.166850917,
      "sampledPeakTreeBytes": 103628800,
      "rssSamples": 2,
      "coverage": {
        "defect": "race",
        "status": "pass",
        "trials": 200,
        "stepsPerTrial": 100,
        "checked": 20000
      },
      "stage": "stateful",
      "mode": "race"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.16847633399999995,
      "sampledPeakTreeBytes": 116604928,
      "rssSamples": 2,
      "coverage": null,
      "stage": "http",
      "mode": "foreign-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.15917550000000003,
      "sampledPeakTreeBytes": 34406400,
      "rssSamples": 2,
      "coverage": null,
      "stage": "stateful",
      "mode": "foreign-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.1579295420000001,
      "sampledPeakTreeBytes": 110051328,
      "rssSamples": 2,
      "coverage": null,
      "stage": "http",
      "mode": "double-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.09671562500000008,
      "sampledPeakTreeBytes": 30785536,
      "rssSamples": 1,
      "coverage": null,
      "stage": "stateful",
      "mode": "double-release"
    },
    {
      "status": "reject",
      "exit": 1,
      "elapsedSeconds": 0.1571530000000001,
      "sampledPeakTreeBytes": 107823104,
      "rssSamples": 2,
      "coverage": null,
      "stage": "http",
      "mode": "failure-leak"
    },
    {
      "status": "pass",
      "exit": 0,
      "elapsedSeconds": 0.1600652090000001,
      "sampledPeakTreeBytes": 104071168,
      "rssSamples": 2,
      "coverage": {
        "defect": "failure-leak",
        "status": "pass",
        "trials": 200,
        "stepsPerTrial": 100,
        "checked": 20000
      },
      "stage": "stateful",
      "mode": "failure-leak"
    }
  ],
  "scalingSummary": [
    {
      "globalCap": 16,
      "clientCap": 4,
      "pairs": 266,
      "methods": {
        "examples": {
          "firstSeconds": 0.127547666,
          "warmMedianSeconds": 0.07569758400000001,
          "largestSampledTreeMiB": 25.21875
        },
        "exhaustive": {
          "firstSeconds": 0.07234466700000003,
          "warmMedianSeconds": 0.07426220799999994,
          "largestSampledTreeMiB": 27.765625
        },
        "formal": {
          "firstSeconds": 1.453300708,
          "warmMedianSeconds": 1.2471766249999998,
          "largestSampledTreeMiB": 512.046875
        }
      }
    },
    {
      "globalCap": 64,
      "clientCap": 16,
      "pairs": 3746,
      "methods": {
        "examples": {
          "firstSeconds": 0.08162899999999951,
          "warmMedianSeconds": 0.07885616599999956,
          "largestSampledTreeMiB": 30.234375
        },
        "exhaustive": {
          "firstSeconds": 0.0805543749999984,
          "warmMedianSeconds": 0.07381570899999979,
          "largestSampledTreeMiB": 27.4375
        },
        "formal": {
          "firstSeconds": 1.2122744169999997,
          "warmMedianSeconds": 1.1693532910000002,
          "largestSampledTreeMiB": 511.40625
        }
      }
    },
    {
      "globalCap": 256,
      "clientCap": 64,
      "pairs": 57986,
      "methods": {
        "examples": {
          "firstSeconds": 0.08755658399999788,
          "warmMedianSeconds": 0.07552450000000022,
          "largestSampledTreeMiB": 26.828125
        },
        "exhaustive": {
          "firstSeconds": 0.1396930829999974,
          "warmMedianSeconds": 0.15702662499999676,
          "largestSampledTreeMiB": 27.34375
        },
        "formal": {
          "firstSeconds": 1.1837025840000024,
          "warmMedianSeconds": 1.232010958,
          "largestSampledTreeMiB": 508.171875
        }
      }
    },
    {
      "globalCap": 1024,
      "clientCap": 256,
      "pairs": 920066,
      "methods": {
        "examples": {
          "firstSeconds": 0.08345600000000175,
          "warmMedianSeconds": 0.07901187499999907,
          "largestSampledTreeMiB": 34.078125
        },
        "exhaustive": {
          "firstSeconds": 0.3568507089999997,
          "warmMedianSeconds": 0.30559695799999886,
          "largestSampledTreeMiB": 86.84375
        },
        "formal": {
          "firstSeconds": 1.190406583999998,
          "warmMedianSeconds": 1.232902499999998,
          "largestSampledTreeMiB": 508.578125
        }
      }
    },
    {
      "globalCap": 4096,
      "clientCap": 1024,
      "pairs": 14690306,
      "methods": {
        "examples": {
          "firstSeconds": 0.08472508399999867,
          "warmMedianSeconds": 0.08068612499999972,
          "largestSampledTreeMiB": 29.546875
        },
        "exhaustive": {
          "firstSeconds": 3.3932693749999956,
          "warmMedianSeconds": 3.445784584000002,
          "largestSampledTreeMiB": 89.59375
        },
        "formal": {
          "firstSeconds": 1.2589962499999956,
          "warmMedianSeconds": 1.2305681659999976,
          "largestSampledTreeMiB": 513.984375
        }
      }
    }
  ],
  "workflowMaintenance": [
    {
      "task": "bug",
      "direct": "correspondence-blocked",
      "maintained": "property-rejected",
      "classification": "bug",
      "runtimeBodiesUnchanged": true
    },
    {
      "task": "intended-change",
      "direct": "correspondence-blocked",
      "maintained": "proved",
      "classification": "updated",
      "runtimeBodiesUnchanged": true
    },
    {
      "task": "irrelevant-refactor",
      "direct": "proved",
      "maintained": "proved",
      "classification": "in sync",
      "runtimeBodiesUnchanged": true
    },
    {
      "task": "model-drift",
      "direct": "proved",
      "maintained": "property-rejected",
      "classification": "updated and bug",
      "runtimeBodiesUnchanged": true
    }
  ],
  "limits": {
    "secondsPerCell": 60,
    "sampledTreeBytes": 2147483648,
    "activeSecondsBudget": 1800,
    "sampledMemoryCaveat": "Polling can miss short-lived peaks. RSS observer overhead is included."
  },
  "measuredActiveWallSeconds": 103.45919333799995,
  "monitoredInvocations": 142,
  "environment": {
    "cpuFamily": "Apple M4 Pro",
    "memoryGiB": 24,
    "os": "macOS26.6",
    "node": "26.8.2",
    "npm": "11.19.1",
    "typescript": "5.9.3",
    "lemmaScript": "0.6.5",
    "dafny": "4.11.0",
    "tlc": "2.19, official v1.7.4 jar",
    "java": "OpenJDK21.0.10; x86_64 runtime on ARM host"
  },
  "pins": {
    "lemmaScript": "dd0847e0f8dd84ecd974afc85aa70d5c7b0f8781",
    "midspiralGuidance": "c690c6462fc95e5b1a890217e3fc5295f688c8db",
    "pstack": "6f6c9e62585436f69e560138d46709026fa5c69f",
    "derivedSubject": "bb71115b40d2d0c6b9e0f4d7c266bbbde7b9f3d0"
  }
}