{
 "CH-H1": {
  "A1": "PASS — the conserved case: n = 1 at every rung, the word 11 of 11",
  "A2": "PASS — the conserved case: n = 1 at every rung, the word 11 of 11"
 },
 "CH-H2": {
  "18/7 (A1)": [
   "PASS — non-decreasing along the ladder, d(1) = 0",
   "PASS — non-decreasing along the ladder, d(1) = 0",
   "PASS — non-decreasing along the ladder, d(1) = 0"
  ],
  "all targets (A2)": {
   "14104/9973 @2^10": "PASS",
   "14104/9973 @2^12": "PASS",
   "14104/9973 @2^8": "PASS",
   "17/12 @2^10": "PASS",
   "17/12 @2^12": "PASS",
   "17/12 @2^8": "PASS",
   "18/7 @2^10": "PASS",
   "18/7 @2^12": "PASS",
   "18/7 @2^8": "PASS",
   "3/2 @2^10": "PASS",
   "3/2 @2^12": "PASS",
   "3/2 @2^8": "PASS",
   "7/5 @2^10": "PASS",
   "7/5 @2^12": "PASS",
   "7/5 @2^8": "PASS",
   "sqrt(2) @2^10": "PASS",
   "sqrt(2) @2^12": "PASS",
   "sqrt(2) @2^8": "PASS",
   "sqrt(3) @2^10": "PASS",
   "sqrt(3) @2^12": "PASS",
   "sqrt(3) @2^8": "PASS"
  },
  "summary": "PASS at every target and budget"
 },
 "CH-H3": {
  "by_rho": {
   "2": [
    "PASS"
   ],
   "3": [
    "KILLED"
   ],
   "3/2": [
    "KILLED"
   ]
  },
  "by_rho_and_budget": {
   "rho=2 @2^10": "PASS",
   "rho=2 @2^12": "PASS",
   "rho=2 @2^8": "PASS",
   "rho=3 @2^10": "KILLED",
   "rho=3 @2^12": "KILLED",
   "rho=3 @2^8": "KILLED",
   "rho=3/2 @2^10": "KILLED",
   "rho=3/2 @2^12": "KILLED",
   "rho=3/2 @2^8": "KILLED"
  },
  "summary": "KILLED — the band breached at some rho > 1 (kept with full standing)"
 },
 "CH-H4": "RECORDED — no kill; toward the held conjecture's N8, his",
 "act": "CH-A4",
 "code_sha256": "79a7ba112df1c3d530f17c8123a0ec9212297c0c8f9c51af8161b2a888422515",
 "composed_at_utc": "2026-10-26T02:31:07Z",
 "experiment": "oxexp-hallway",
 "house_estimate_at_the_seal": "CH-H1 and CH-H2 expected to hold; CH-H3 expected met exactly at rho = 2 and rho = 3 (a constant admitted count, two then three) and BREACHED at rho = 3/2 against B = 0.001 bits (the count depends on the account's position; the deficits differ at the order of 1/sqrt(K) bits), the kill to fire there and be kept; CH-H4 recorded. A pre-read expectation, never a verdict.",
 "house_estimate_read_against_the_record": {
  "counts_at_rho_2_and_3": {
   "rho=2 @2^10": {
    "14104/9973": "constant n=2",
    "sqrt(2)": "constant n=2",
    "sqrt(3)": "constant n=2"
   },
   "rho=2 @2^12": {
    "14104/9973": "constant n=2",
    "sqrt(2)": "constant n=2",
    "sqrt(3)": "constant n=2"
   },
   "rho=2 @2^8": {
    "14104/9973": "constant n=2",
    "sqrt(2)": "constant n=2",
    "sqrt(3)": "constant n=2"
   },
   "rho=3 @2^10": {
    "14104/9973": "mixed n1=0 n2=527 n3=497 of 1024",
    "sqrt(2)": "mixed n1=0 n2=516 n3=508 of 1024",
    "sqrt(3)": "mixed n1=0 n2=529 n3=495 of 1024"
   },
   "rho=3 @2^12": {
    "14104/9973": "mixed n1=0 n2=2088 n3=2008 of 4096",
    "sqrt(2)": "mixed n1=0 n2=1988 n3=2108 of 4096",
    "sqrt(3)": "mixed n1=0 n2=2084 n3=2012 of 4096"
   },
   "rho=3 @2^8": {
    "14104/9973": "mixed n1=0 n2=131 n3=125 of 256",
    "sqrt(2)": "mixed n1=0 n2=137 n3=119 of 256",
    "sqrt(3)": "mixed n1=0 n2=135 n3=121 of 256"
   }
  },
  "note": "the estimate at the seal expected a constant count at rho = 2 AND at rho = 3; the record above says where that held and where it did not — at rho = 3 a third candidate is admitted only where the step is a hold (s = 0) for sqrt(n), since the alphabet has no s = ±2, and only where |e| <= q/4 for a/q, so the count there is 2 or 3 and the deficit at rho = 3 carries the hold share; the estimate was wrong about rho = 3 and is corrected here, on the record"
 },
 "kind": "composition",
 "record_sha256": "23df8bb5724f1a2256078d7d92d6a5381671c5472c8fa13fc9acf8fc711418bb",
 "records": {
  "ch-a1": "3475c2ffc5953a84814b7b5e4d2b2f410c2c4b536913cd613f023364ebb80e06",
  "ch-a2": "88b141d792308bb316a0b36a373d7b9092110cbd8980d58b7a93bce328be77bb",
  "ch-a3": "63bfc17a041d8c3d756d8c273c63c0dca72bcc930aabf3d680793cf330a157f4"
 },
 "registration_sha256": "e2d9cdf2751f67ad49a664faac8f6d1f26c2df91567da00266c4763b99f1d4fd",
 "the_law": "HELD — the essay's second law stays held whatever lands; one instance never promotes; a kill is kept as the instance's",
 "title": "THE COMPOSITION — the verdicts as they fell",
 "word_drift_18_7": [
  {
   "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"
  }
 ]
}