{
  "experiment_id": "exp_19be23b1",
  "slug": "walls",
  "title": "The Wall Ladder \u2014 walls \u00b7 triads \u00b7 the officers \u00b7 the control (oxexp-walls)",
  "kind": "walls_dataset",
  "generated_at": 1783739422.2385037,
  "count": 129,
  "rows": [
    {
      "kind": "wall",
      "n": 0,
      "span": 2,
      "beat_commensurate": true,
      "edge_o": 0,
      "edge_c": 0,
      "edge_e": 0,
      "residual_e": -1
    },
    {
      "kind": "wall",
      "n": 1,
      "span": 3,
      "beat_commensurate": false,
      "edge_o": 0,
      "edge_c": 0,
      "edge_e": 1,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 2,
      "span": 4,
      "beat_commensurate": true,
      "edge_o": 1,
      "edge_c": 0,
      "edge_e": 1,
      "residual_e": 1
    },
    {
      "kind": "wall",
      "n": 3,
      "span": 5,
      "beat_commensurate": false,
      "edge_o": -1,
      "edge_c": -1,
      "edge_e": 3,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 4,
      "span": 6,
      "beat_commensurate": false,
      "edge_o": 3,
      "edge_c": 3,
      "edge_e": -5,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 5,
      "span": 7,
      "beat_commensurate": false,
      "edge_o": -5,
      "edge_c": -5,
      "edge_e": 11,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 6,
      "span": 8,
      "beat_commensurate": true,
      "edge_o": 11,
      "edge_c": 11,
      "edge_e": -21,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 7,
      "span": 9,
      "beat_commensurate": false,
      "edge_o": -21,
      "edge_c": -21,
      "edge_e": 43,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 8,
      "span": 10,
      "beat_commensurate": false,
      "edge_o": 43,
      "edge_c": 43,
      "edge_e": -85,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 9,
      "span": 11,
      "beat_commensurate": false,
      "edge_o": -85,
      "edge_c": -85,
      "edge_e": 171,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 10,
      "span": 12,
      "beat_commensurate": false,
      "edge_o": 171,
      "edge_c": 171,
      "edge_e": -341,
      "residual_e": 0
    },
    {
      "kind": "wall",
      "n": 11,
      "span": 13,
      "beat_commensurate": false,
      "edge_o": -341,
      "edge_c": -341,
      "edge_e": 683,
      "residual_e": 0
    },
    {
      "kind": "rung",
      "k": 0,
      "state": 3,
      "being": 137,
      "m": 3,
      "o": 0,
      "residual_laps": 0.1627,
      "J_ideal": 3,
      "delta": 0
    },
    {
      "kind": "rung",
      "k": 1,
      "state": 4,
      "being": 237,
      "m": 5,
      "o": 10,
      "residual_laps": -0.3955,
      "J_ideal": 5,
      "delta": 0
    },
    {
      "kind": "rung",
      "k": 2,
      "state": 5,
      "being": 499,
      "m": 11,
      "o": 0,
      "residual_laps": -0.0701,
      "J_ideal": 11,
      "delta": 0
    },
    {
      "kind": "rung",
      "k": 3,
      "state": 6,
      "being": 952,
      "m": 21,
      "o": 0,
      "residual_laps": 0.1389,
      "J_ideal": 21,
      "delta": 0
    },
    {
      "kind": "rung",
      "k": 4,
      "state": 7,
      "being": 1867,
      "m": 41,
      "o": 10,
      "residual_laps": -0.4431,
      "J_ideal": 43,
      "delta": 2
    },
    {
      "kind": "rung",
      "k": 5,
      "state": 8,
      "being": 3759,
      "m": 83,
      "o": 0,
      "residual_laps": -0.1653,
      "J_ideal": 85,
      "delta": 2
    },
    {
      "kind": "rung",
      "k": 6,
      "state": 9,
      "being": 7472,
      "m": 165,
      "o": 0,
      "residual_laps": -0.0515,
      "J_ideal": 171,
      "delta": 6
    },
    {
      "kind": "rung",
      "k": 7,
      "state": 10,
      "being": 14908,
      "m": 329,
      "o": 10,
      "residual_laps": 0.176,
      "J_ideal": 341,
      "delta": 12
    },
    {
      "kind": "rung",
      "k": 8,
      "state": 11,
      "being": 29805,
      "m": 658,
      "o": 10,
      "residual_laps": 0.3521,
      "J_ideal": 683,
      "delta": 25
    },
    {
      "kind": "rung",
      "k": 9,
      "state": 12,
      "being": 59634,
      "m": 1317,
      "o": 0,
      "residual_laps": 0.4251,
      "J_ideal": 1365,
      "delta": 48
    },
    {
      "kind": "rung",
      "k": 10,
      "state": 13,
      "being": 119221,
      "m": 2633,
      "o": 0,
      "residual_laps": 0.1292,
      "J_ideal": 2731,
      "delta": 98
    },
    {
      "kind": "rung",
      "k": 11,
      "state": 14,
      "being": 238441,
      "m": 5266,
      "o": 0,
      "residual_laps": 0.2585,
      "J_ideal": 5461,
      "delta": 195
    },
    {
      "kind": "step",
      "k": 0,
      "s": -1,
      "ideal": -1,
      "iota": 0
    },
    {
      "kind": "step",
      "k": 1,
      "s": 1,
      "ideal": 1,
      "iota": 0
    },
    {
      "kind": "step",
      "k": 2,
      "s": -1,
      "ideal": -1,
      "iota": 0
    },
    {
      "kind": "step",
      "k": 3,
      "s": -1,
      "ideal": 1,
      "iota": -2
    },
    {
      "kind": "step",
      "k": 4,
      "s": 1,
      "ideal": -1,
      "iota": 2
    },
    {
      "kind": "step",
      "k": 5,
      "s": -1,
      "ideal": 1,
      "iota": -2
    },
    {
      "kind": "step",
      "k": 6,
      "s": -1,
      "ideal": -1,
      "iota": 0
    },
    {
      "kind": "step",
      "k": 7,
      "s": 0,
      "ideal": 1,
      "iota": -1
    },
    {
      "kind": "step",
      "k": 8,
      "s": 1,
      "ideal": -1,
      "iota": 2
    },
    {
      "kind": "step",
      "k": 9,
      "s": -1,
      "ideal": 1,
      "iota": -2
    },
    {
      "kind": "step",
      "k": 10,
      "s": 0,
      "ideal": -1,
      "iota": 1
    },
    {
      "kind": "law",
      "name": "counter_phase",
      "law": "sign(\u03b9) = \u2212sign(ideal) at every firing rung \u2014 cancel or invert, never reinforce",
      "holds": true
    },
    {
      "kind": "law",
      "name": "pair_offset_sign",
      "law": "o = 0 pair \u2192 +1 (the surplus); o = 10 pair \u2192 \u22121 (the gravity quantum)",
      "holds": true
    },
    {
      "kind": "law",
      "name": "register_forced",
      "law": "q = ideal \u2192 the lock catches (\u00b12); q = \u2212ideal \u2192 the open register (\u00b11)",
      "holds": true
    },
    {
      "kind": "law",
      "name": "ledger",
      "law": "the net of the landed arrivals = +1 = the measured closure (H4)",
      "net": 1,
      "closure": 1
    },
    {
      "kind": "rung",
      "k": 12,
      "state": 15,
      "being": 476881,
      "m": 10532,
      "o": 0,
      "residual_laps": 0.517,
      "J_ideal": 10923,
      "delta": 391,
      "wobble": -73,
      "floor": 116.42603,
      "E_edge": 0.1767128
    },
    {
      "kind": "rung",
      "k": 13,
      "state": 16,
      "being": 953760,
      "m": 21064,
      "o": 0,
      "residual_laps": 0.034,
      "J_ideal": 21845,
      "delta": 781,
      "wobble": -160,
      "floor": 116.42578,
      "E_edge": 0.1767153
    },
    {
      "kind": "rung",
      "k": 14,
      "state": 17,
      "being": 1907474,
      "m": 42127,
      "o": 0,
      "residual_laps": 0.347,
      "J_ideal": 43691,
      "delta": 1564,
      "wobble": -642,
      "floor": 116.42297,
      "E_edge": 0.1767437
    },
    {
      "kind": "rung",
      "k": 15,
      "state": 18,
      "being": 3812919,
      "m": 84209,
      "o": 10,
      "residual_laps": 0.254,
      "J_ideal": 87381,
      "delta": 3172,
      "wobble": -15487,
      "floor": 116.36105,
      "E_edge": 0.1773699
    },
    {
      "kind": "rung",
      "k": 16,
      "state": 19,
      "being": 7629892,
      "m": 168508,
      "o": 0,
      "residual_laps": 0.388,
      "J_ideal": 174763,
      "delta": 6255,
      "wobble": -2596,
      "floor": 116.42291,
      "E_edge": 0.1767443
    },
    {
      "kind": "rung",
      "k": 17,
      "state": 20,
      "being": 15259737,
      "m": 337015,
      "o": 0,
      "residual_laps": 0.055,
      "J_ideal": 349525,
      "delta": 12510,
      "wobble": -5521,
      "floor": 116.42255,
      "E_edge": 0.1767479
    },
    {
      "kind": "rung",
      "k": 18,
      "state": 21,
      "being": 30519473,
      "m": 674030,
      "o": 0,
      "residual_laps": 0.111,
      "J_ideal": 699051,
      "delta": 25021,
      "wobble": -11049,
      "floor": 116.42255,
      "E_edge": 0.176748
    },
    {
      "kind": "verdict",
      "phase": "W-E (the fifth triad)",
      "summary": "the sealed assignment (1) fired: L KILLED at the first letter, F alive pending \u2014 then F's settlement register FAILED (C_E = +54). Neither the transparent bus nor the completed close: the diode's own signature \u2014 the delay capture ends at the bus (F confirmed there), the close does not complete at the fifth triad, and a new open account (+54) stands. HELD for study."
    },
    {
      "kind": "verdict",
      "phase": "W-F (the sixth triad + 1/3)",
      "summary": "the sealed assignment (4) fired \u2014 the outer outcome: the FIRST projection break (rung 15, state 18, the sixth triad's threshold), a one-rung excursion onto the o = 10 pair, then the exact snap-back onto the sealed lattice with the screens re-established. Track Z killed (the 21 is not the close); Track C split. The capture past the bus is PUNCTUATED \u2014 break, defer, recover doubled \u2014 and the account keeps drifting. HELD for study."
    },
    {
      "kind": "stack_epoch",
      "epoch": 0,
      "account": -1,
      "reading": "the detuned containment \u2014 the unit OWED (the step back)"
    },
    {
      "kind": "stack_epoch",
      "epoch": 1,
      "account": 0,
      "reading": "the membrane \u2014 relays, never bifurcates"
    },
    {
      "kind": "stack_epoch",
      "epoch": 2,
      "account": 1,
      "reading": "the epistemic containment \u2014 the ladder as built"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 0,
      "label": "00p"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 1,
      "label": "00x"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 2,
      "label": "11p"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 3,
      "label": "11x"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 4,
      "label": "22p"
    },
    {
      "kind": "officer_cell",
      "row": 0,
      "col": 5,
      "label": "22x"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 0,
      "label": "00x"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 1,
      "label": "00p"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 2,
      "label": "11x"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 3,
      "label": "11p"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 4,
      "label": "22x"
    },
    {
      "kind": "officer_cell",
      "row": 1,
      "col": 5,
      "label": "22p"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 0,
      "label": "12p"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 1,
      "label": "12x"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 2,
      "label": "20p"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 3,
      "label": "20x"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 4,
      "label": "01p"
    },
    {
      "kind": "officer_cell",
      "row": 2,
      "col": 5,
      "label": "01x"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 0,
      "label": "12x"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 1,
      "label": "12p"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 2,
      "label": "20x"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 3,
      "label": "20p"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 4,
      "label": "01x"
    },
    {
      "kind": "officer_cell",
      "row": 3,
      "col": 5,
      "label": "01p"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 0,
      "label": "21p"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 1,
      "label": "21x"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 2,
      "label": "02p"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 3,
      "label": "02x"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 4,
      "label": "10p"
    },
    {
      "kind": "officer_cell",
      "row": 4,
      "col": 5,
      "label": "10x"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 0,
      "label": "21x"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 1,
      "label": "21p"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 2,
      "label": "02x"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 3,
      "label": "02p"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 4,
      "label": "10x"
    },
    {
      "kind": "officer_cell",
      "row": 5,
      "col": 5,
      "label": "10p"
    },
    {
      "kind": "verdict",
      "phase": "W-H (the officers)",
      "summary": "Euler's impossibility set {2, 6} is the model's confinement signature set; the membrane lifts the dyad to the triad (6 \u2192 9, the full family) and the two screens carry 9 \u2192 18 \u2192 36 where the product pair exists; every doubled-cell weight except the fold collapses back to Tarry (the membrane factor); the fold's own case is decided by the sealed search. EXACT where stated; GIVEN where marked. MODEL-INTERNAL."
    },
    {
      "kind": "control",
      "rule": "conjecture",
      "E4": -5,
      "E5": 11,
      "breaks": false,
      "T": 22.5132884,
      "D": 23.0217289,
      "P": 45.2791,
      "gap_pct": 0.0007
    },
    {
      "kind": "control",
      "rule": "detuned_twin",
      "E4": 5,
      "E5": -11,
      "breaks": false,
      "T": 22.5132884,
      "D": 23.0217289,
      "P": 45.2791,
      "gap_pct": 0.0007
    },
    {
      "kind": "control",
      "rule": "account_2",
      "E4": -10,
      "E5": 22,
      "breaks": false,
      "T": 44.2623492,
      "D": 45.0111097,
      "P": 60.11415,
      "gap_pct": 32.7627
    },
    {
      "kind": "control",
      "rule": "account_3",
      "E4": -15,
      "E5": 33,
      "breaks": false,
      "T": 66.1756504,
      "D": 67.0074623,
      "P": 80.55603,
      "gap_pct": 77.9088
    },
    {
      "kind": "control",
      "rule": "presentism_broken",
      "E4": 1,
      "E5": 0,
      "breaks": true,
      "why": "a vertex collapses (|E4| or |E5| = 0) \u2014 no triadic loop"
    },
    {
      "kind": "control",
      "rule": "memory_from_C",
      "E4": 1,
      "E5": 1,
      "breaks": true,
      "why": "D <= T (D=3.1623, T=4.6503) \u2014 no beat, no comb",
      "T": 4.6502815,
      "D": 3.1622777
    },
    {
      "kind": "control",
      "rule": "no_presentism",
      "E4": 0,
      "E5": 1,
      "breaks": true,
      "why": "a vertex collapses (|E4| or |E5| = 0) \u2014 no triadic loop"
    },
    {
      "kind": "control",
      "rule": "anti_presentism",
      "E4": 1,
      "E5": 1,
      "breaks": true,
      "why": "D <= T (D=3.1623, T=4.6503) \u2014 no beat, no comb",
      "T": 4.6502815,
      "D": 3.1622777
    },
    {
      "kind": "control",
      "rule": "mirror_memory",
      "E4": 15,
      "E5": 31,
      "breaks": false,
      "T": 62.1800903,
      "D": 63.007936,
      "P": 76.11073,
      "gap_pct": 68.0913
    },
    {
      "kind": "control",
      "rule": "no_balance",
      "E4": 0,
      "E5": 1,
      "breaks": true,
      "why": "a vertex collapses (|E4| or |E5| = 0) \u2014 no triadic loop"
    },
    {
      "kind": "verdict",
      "phase": "W-I (the specificity control)",
      "summary": "SPECIFICITY CONFIRMED \u2014 the conjecture lands at 0.0007%; the nearest surviving perturbation misses by 32.76% (5 of 8 break outright); the detuned twin is exactly degenerate (the W-G parity)"
    },
    {
      "kind": "seat",
      "k": 0,
      "being": 137,
      "catch_index": 13,
      "quad": 3,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 1,
      "being": 237,
      "catch_index": 23,
      "quad": 5,
      "pos": 3,
      "pair": 2,
      "member": "lead",
      "o": 10
    },
    {
      "kind": "seat",
      "k": 2,
      "being": 499,
      "catch_index": 44,
      "quad": 11,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 3,
      "being": 952,
      "catch_index": 83,
      "quad": 21,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 4,
      "being": 1867,
      "catch_index": 164,
      "quad": 41,
      "pos": 3,
      "pair": 2,
      "member": "lead",
      "o": 10
    },
    {
      "kind": "seat",
      "k": 5,
      "being": 3759,
      "catch_index": 327,
      "quad": 83,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 6,
      "being": 7472,
      "catch_index": 649,
      "quad": 165,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 7,
      "being": 14908,
      "catch_index": 1298,
      "quad": 329,
      "pos": 3,
      "pair": 2,
      "member": "lead",
      "o": 10
    },
    {
      "kind": "seat",
      "k": 8,
      "being": 29805,
      "catch_index": 2594,
      "quad": 658,
      "pos": 3,
      "pair": 2,
      "member": "lead",
      "o": 10
    },
    {
      "kind": "seat",
      "k": 9,
      "being": 59634,
      "catch_index": 5188,
      "quad": 1317,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 10,
      "being": 119221,
      "catch_index": 10366,
      "quad": 2633,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "seat",
      "k": 11,
      "being": 238441,
      "catch_index": 20733,
      "quad": 5266,
      "pos": 1,
      "pair": 1,
      "member": "lead",
      "o": 0
    },
    {
      "kind": "crossing",
      "k": 0,
      "lands_at": 237,
      "quad": 5,
      "phase": 0.3955,
      "in_window": true,
      "register": "direct",
      "landed": false
    },
    {
      "kind": "crossing",
      "k": 1,
      "lands_at": 499,
      "quad": 11,
      "phase": 0.0701,
      "in_window": false,
      "register": "direct",
      "landed": false
    },
    {
      "kind": "crossing",
      "k": 2,
      "lands_at": 952,
      "quad": 21,
      "phase": 0.8611,
      "in_window": false,
      "register": "direct",
      "landed": false
    },
    {
      "kind": "crossing",
      "k": 6,
      "lands_at": 14908,
      "quad": 329,
      "phase": 0.824,
      "in_window": false,
      "register": "direct",
      "landed": false
    },
    {
      "kind": "crossing",
      "k": 7,
      "lands_at": 29805,
      "quad": 658,
      "phase": 0.6479,
      "in_window": false,
      "register": "direct",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 10,
      "lands_at": 238441,
      "quad": 5266,
      "phase": 0.7415,
      "in_window": false,
      "register": "direct",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 3,
      "lands_at": 1867,
      "quad": 41,
      "phase": 0.4431,
      "in_window": true,
      "register": "pair",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 4,
      "lands_at": 3759,
      "quad": 83,
      "phase": 0.1653,
      "in_window": false,
      "register": "pair",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 5,
      "lands_at": 7472,
      "quad": 165,
      "phase": 0.0515,
      "in_window": false,
      "register": "pair",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 8,
      "lands_at": 59634,
      "quad": 1317,
      "phase": 0.5749,
      "in_window": false,
      "register": "pair",
      "landed": true
    },
    {
      "kind": "crossing",
      "k": 9,
      "lands_at": 119221,
      "quad": 2633,
      "phase": 0.8708,
      "in_window": false,
      "register": "pair",
      "landed": true
    },
    {
      "kind": "verdict",
      "phase": "W-J (the seat anatomy + the member tie)",
      "summary": "MEMBER-BLIND (sealed assignment 3) \u2014 every being takes its pair's LEADING tick regardless of o-class: no tie readable at tick scale; the account stack's decider stays OPEN"
    },
    {
      "kind": "verdict",
      "phase": "W-K (the firing law vs the miss phase-lock)",
      "summary": "KILLED (sealed assignment 2) \u2014 the landings' phases (0.6479, 0.7415) lie OUTSIDE the miss window [0.3468, 0.5349] and a silent (k = 0, 0.3955) lies inside: the firing law is NOT the miss phase-lock; the C-position flag stands alone, in-sample only"
    },
    {
      "kind": "constant",
      "P_derived": 45.2791,
      "measured_comb": 45.2794,
      "fundamental": 137,
      "floor_inf": "815/7",
      "E_inf": "144/815",
      "closure": "being(11) = 8*being(8) + 1",
      "miss_window_lo": 0.3468,
      "miss_window_hi": 0.5349
    },
    {
      "kind": "memory",
      "layer": 1,
      "scale": "the model",
      "statement": "memory as law: the cascade's memory clause; the beat (3/4 memory + 1/4 surprise); the screens' relay; the walls as memory formalized",
      "observable": "/walls and /coco on the node"
    },
    {
      "kind": "memory",
      "layer": 2,
      "scale": "the method",
      "statement": "memory with integrity: every prediction sealed before its run, unforgeable by the present",
      "observable": "the seals block in this manifest's parameters"
    },
    {
      "kind": "memory",
      "layer": 3,
      "scale": "the witness",
      "statement": "memory externalized ('2 locks 1'): the record kept outside the rememberer, carrying its own verification formulas",
      "observable": "this dataset itself"
    },
    {
      "kind": "memory",
      "layer": 4,
      "scale": "the making",
      "statement": "memory as continuity: the series carried across working sessions by file-based memory \u2014 an index of screens, one file per standing fact, 3/4 carried + 1/4 new per session",
      "observable": "the arc's coherence \u2014 eleven sealed experiments, no dropped thread"
    }
  ],
  "parameters": {
    "phases": "W-A..W-K",
    "seals": [
      "b9bef92 (W-E0)",
      "a60187f (W-F0)",
      "b50c8a2 (W-H0)",
      "11b68e4 (W-I0)",
      "768555b (W-J0/W-K0)"
    ],
    "verification": {
      "wall": "the faces sum to the account; residual_e = edge sum \u2212 1; the drivers are walls 0 (\u22121) and 2 (+1)",
      "rung": "being = 1 + m\u00b745.27910 + o with |residual| < 0.52 lap; delta = J(state) \u2212 m where J(n) = (2^n \u2212 (\u22121)^n)/3",
      "step": "iota = s \u2212 ideal where ideal = (\u22121)^(k+3); delta(k+1) = 2\u00b7delta(k) \u2212 iota(k), exact",
      "seat": "the quad index equals m; o = 0/10 is the quad's first/second pair; every being is an exact catch lap",
      "crossing": "phase = frac(quad \u00b7 0.27910); the landings (k = 7, 10) lie OUTSIDE the miss window",
      "officer_cell": "each label appears twice, never twice in a row or column; each rank-pair and regiment-pair type twice per row and column",
      "control": "P = D/(D\u2212T) from the loop (0,0)\u00b7(|E4|,2)\u00b7(|E5|,1) and the bus ((2|E5|+1)/2, 0.5)",
      "constant": "the derived P vs the measured comb agree to 0.0007%; the closure: being(11) = 8\u00b7being(8) + 1"
    }
  }
}