{
 "CH-H1": {
  "failures": [],
  "hypothesis": "CH-H1",
  "verdict": "PASS — the conserved case: n = 1 at every rung, the word 11 of 11"
 },
 "CH-H2": [
  {
   "budget_log2": 8,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 254,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -83,
     "delta_n3": 83,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 10,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 1022,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -339,
     "delta_n3": 339,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  },
  {
   "budget_log2": 12,
   "hypothesis": "CH-H2",
   "steps": [
    {
     "delta_n2": 4094,
     "delta_n3": 0,
     "from": "1",
     "sign": 1,
     "to": "3/2"
    },
    {
     "delta_n2": 2,
     "delta_n3": 0,
     "from": "3/2",
     "sign": 1,
     "to": "2"
    },
    {
     "delta_n2": -1363,
     "delta_n3": 1363,
     "from": "2",
     "sign": 1,
     "to": "3"
    }
   ],
   "target": "18/7",
   "verdict": "PASS — non-decreasing along the ladder, d(1) = 0",
   "zero_at_one": true
  }
 ],
 "act": "CH-A1",
 "budgets_log2": [
  8,
  10,
  12
 ],
 "cells": [
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 256,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 256
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series": "1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111",
   "n_series_sha256": "bd93b4a63868f8c6028d3fa30bdb4f2c15b96e2ec6ac85acfa7bac4b40c4c683",
   "refusal": null,
   "rho": "1",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "443946f0e353e3e99b754b6e3b862987307f609d81b9c6a595afe0d02b8a93a2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.992187500000",
    "bits_hi": "127/128",
    "bits_lo": "127/128",
    "n1": 2,
    "n2": 254,
    "n3": 0,
    "paid_rungs": 254,
    "paid_share": "127/128",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2212212222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "455273f62c9783216ab582edcbd507edcabfdba6a68303da5534df44a8b67b6d",
   "refusal": null,
   "rho": "3/2",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 256,
    "n3": 0,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222",
   "n_series_sha256": "531fe66bbe5922652e3c016f65c645bd21320b431fc756e4da8c6292e07f2e2c",
   "refusal": null,
   "rho": "2",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 8,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.189655810781",
    "bits_hi": "51816818574553650551867140938366317800843/43556142965880123323311949751266331066368",
    "bits_lo": "103633637149107301103734281876732635601603/87112285931760246646623899502532662132736",
    "n1": 0,
    "n2": 173,
    "n3": 83,
    "paid_rungs": 256,
    "paid_share": "1",
    "rungs": 256
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series": "2222222322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322322",
   "n_series_sha256": "7ada4e752d10691f1ac03e6489ab8f2d54b941307c6149d790e9523deaeeb006",
   "refusal": null,
   "rho": "3",
   "rungs": 256,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "09970030afc0b06e5f3b3c859af0a48e150bbe45a972827521bda15d53e36e0b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 171,
    "to_zero": 0
   },
   "zero_events_count": 171,
   "zero_steps": {
    "-1": 86,
    "0": 0,
    "1": 85
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 1024,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 1024
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series_sha256": "b4a38f5f5a21b6ba9f2008878beaa3a708866c66cbada71ba28ec359b5a53c3c",
   "refusal": null,
   "rho": "1",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "d34f6903fd8b20e1a616aa56e20180dae7b46a5bfade49a339d4037ad450609b",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.998046875000",
    "bits_hi": "511/512",
    "bits_lo": "511/512",
    "n1": 2,
    "n2": 1022,
    "n3": 0,
    "paid_rungs": 1022,
    "paid_share": "511/512",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "43043859c93a4847d33824af2928f157196ae751a177ded201588437f989191a",
   "refusal": null,
   "rho": "3/2",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 1024,
    "n3": 0,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "9d444075c26efabd2bbe2c90b3b5ce795b544fd39bcd4b1840d71d1bee71a541",
   "refusal": null,
   "rho": "2",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 10,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.193654577875",
    "bits_hi": "207963957783283453901443097949967679723147/174224571863520493293247799005065324265472",
    "bits_lo": "415927915566566907802886195899935359445955/348449143727040986586495598010130648530944",
    "n1": 0,
    "n2": 685,
    "n3": 339,
    "paid_rungs": 1024,
    "paid_share": "1",
    "rungs": 1024
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "993b7ff3213c36098e0cd35ad93301a5b4cebe3c286470f10e80d8720b4705e3",
   "refusal": null,
   "rho": "3",
   "rungs": 1024,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8873e10bba9de33a356e17d6c91282eb5056515d95c254f8c87ed611132c5df2",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 683,
    "to_zero": 0
   },
   "zero_events_count": 683,
   "zero_steps": {
    "-1": 342,
    "0": 0,
    "1": 341
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.000000000000",
    "bits_hi": "0",
    "bits_lo": "0",
    "n1": 4096,
    "n2": 0,
    "n3": 0,
    "paid_rungs": 0,
    "paid_share": "0",
    "rungs": 4096
   },
   "matches_greedy": 7,
   "matches_measured": 11,
   "n_series_sha256": "4fdd600892f7d61608383a6f94b6b68a8630b65c0976dea3f5e410d4c4ff0bbd",
   "refusal": null,
   "rho": "1",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 5,
   "target": "18/7",
   "width": 7,
   "windows": [
    [
     -1,
     5
    ],
    [
     -2,
     4
    ]
   ],
   "word_first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "8b2e897e1e6a867295b37bc96cd58a52e7f4b97a2c52493e1df9eaa10ee2041d",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "0.999511718750",
    "bits_hi": "2047/2048",
    "bits_lo": "2047/2048",
    "n1": 2,
    "n2": 4094,
    "n3": 0,
    "paid_rungs": 4094,
    "paid_share": "2047/2048",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "0e03055c3ff47b9d55defd5214d1071a026bdb79803a81d9e126646e98b87449",
   "refusal": null,
   "rho": "3/2",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 11,
   "windows": [
    [
     -3,
     7
    ],
    [
     -4,
     6
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.000000000000",
    "bits_hi": "1",
    "bits_lo": "1",
    "n1": 0,
    "n2": 4096,
    "n3": 0,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "c4e4416b00b3648466f272e781d2bbc5d7b2ef19a55ec3a565417f599ba1ae79",
   "refusal": null,
   "rho": "2",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 14,
   "windows": [
    [
     -4,
     9
    ],
    [
     -5,
     8
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  },
  {
   "account_final": -1,
   "budget_log2": 12,
   "certificate": {
    "at_step": 3,
    "kind": "cycle",
    "period": 3
   },
   "class": "commensurable",
   "deficit": {
    "bits": "1.194654269649",
    "bits_hi": "832552514618202667299746925996373127412363/696898287454081973172991196020261297061888",
    "bits_lo": "1665105029236405334599493851992746254823363/1393796574908163946345982392040522594123776",
    "n1": 0,
    "n2": 2733,
    "n3": 1363,
    "paid_rungs": 4096,
    "paid_share": "1",
    "rungs": 4096
   },
   "matches_greedy": 11,
   "matches_measured": 7,
   "n_series_sha256": "a9d432a9cbebab13a231279afcdf2aef8f79d481550775f1ad07051bdd33ff0a",
   "refusal": null,
   "rho": "3",
   "rungs": 4096,
   "seed_account": 3,
   "sup_abs_account": 3,
   "target": "18/7",
   "width": 21,
   "windows": [
    [
     -8,
     12
    ],
    [
     -9,
     11
    ]
   ],
   "word_first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_head": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "word_sha256": "45fc9f1d7fe3874338980d31d2e82005f9be4e3f41e5a6b0dec9b7424c18a6bc",
   "zero_events_by_kind": {
    "at_zero": 0,
    "sign_change": 2731,
    "to_zero": 0
   },
   "zero_events_count": 2731,
   "zero_steps": {
    "-1": 1366,
    "0": 0,
    "1": 1365
   }
  }
 ],
 "code_sha256": "79a7ba112df1c3d530f17c8123a0ec9212297c0c8f9c51af8161b2a888422515",
 "experiment": "oxexp-hallway",
 "greedy_word": [
  -1,
  0,
  1,
  -1,
  0,
  1,
  -1,
  0,
  1,
  -1,
  0
 ],
 "kind": "act",
 "ladder": [
  "1",
  "3/2",
  "2",
  "3"
 ],
 "measured_word": [
  -1,
  1,
  -1,
  -1,
  1,
  -1,
  -1,
  0,
  1,
  -1,
  0
 ],
 "read_at_utc": "2026-10-26T02:31:03Z",
 "record_sha256": "3475c2ffc5953a84814b7b5e4d2b2f410c2c4b536913cd613f023364ebb80e06",
 "registration_sha256": "e2d9cdf2751f67ad49a664faac8f6d1f26c2df91567da00266c4763b99f1d4fd",
 "seconds": 0.061,
 "target": "18/7",
 "title": "THE WALL LADDER — payload constant, the account varied (18/7)",
 "word_drift": [
  {
   "budget_log2": 8,
   "first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 7,
   "matches_measured": 11,
   "rho": "1"
  },
  {
   "budget_log2": 8,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3/2"
  },
  {
   "budget_log2": 8,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "2"
  },
  {
   "budget_log2": 8,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3"
  },
  {
   "budget_log2": 10,
   "first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 7,
   "matches_measured": 11,
   "rho": "1"
  },
  {
   "budget_log2": 10,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3/2"
  },
  {
   "budget_log2": 10,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "2"
  },
  {
   "budget_log2": 10,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3"
  },
  {
   "budget_log2": 12,
   "first_11": [
    -1,
    1,
    -1,
    -1,
    1,
    -1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 7,
   "matches_measured": 11,
   "rho": "1"
  },
  {
   "budget_log2": 12,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3/2"
  },
  {
   "budget_log2": 12,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "2"
  },
  {
   "budget_log2": 12,
   "first_11": [
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0,
    1,
    -1,
    0
   ],
   "matches_greedy": 11,
   "matches_measured": 7,
   "rho": "3"
  }
 ]
}