{
  "experiment_id": "exp_70a7f495",
  "slug": "corner",
  "title": "OOI \u2014 The Cornering Walk (oxexp-corner, CONTRIB \u00b7 starl3n)",
  "kind": "contrib_dataset",
  "generated_at": 1785816088.4754624,
  "count": 50,
  "rows": [
    {
      "kind": "seal",
      "name": "design",
      "value": "docs/oxexp-corner-design.md (SEALED 2026-08-03 with the contrib reform)",
      "seq": 0
    },
    {
      "kind": "note",
      "name": "contrib_designation",
      "value": "covering starl3n \u00b7 RACI A \u00b7 contributed \u00b7 a CONTRIB experiment via the contrib pathway \u2014 self-contained, reads no core state, not part of OOI canon; the claims stand on the contributor's own standing; nothing recorded here enters Canon",
      "seq": 1
    },
    {
      "kind": "note",
      "name": "no_privilege",
      "value": "the stage the OOI is moving toward is one where such personas will begin to have no assumed privilege over other personas (the operator, at the seal)",
      "seq": 2
    },
    {
      "kind": "note",
      "name": "stake",
      "value": "DW-S1 \u2014 THE RESIDUE OF THE DIAGONAL (Dialogue I): a discrete cornering instrument will show a stable residue signature distinguishing the incommensurable diagonal from commensurable targets under honest discreteness; kill = no such signature",
      "seq": 3
    },
    {
      "kind": "constant",
      "name": "e_seed",
      "value": 3,
      "seq": 4
    },
    {
      "kind": "constant",
      "name": "window_shallow",
      "value": "(-1, 5)",
      "seq": 5
    },
    {
      "kind": "constant",
      "name": "window_deep",
      "value": "(-2, 4)",
      "seq": 6
    },
    {
      "kind": "constant",
      "name": "m_ladder",
      "value": "3,5,11,21,41,83,165,329,658,1317,2633,5266",
      "seq": 7
    },
    {
      "kind": "word",
      "name": "e_account",
      "value": "3,-1,5,3,-1,5,3,-1,-2,3,-1,-2",
      "holds": true,
      "seq": 8
    },
    {
      "kind": "word",
      "name": "measured_step_word",
      "value": "-1,1,-1,-1,1,-1,-1,0,1,-1,0",
      "seq": 9
    },
    {
      "kind": "word",
      "name": "window_rule_word",
      "value": "-1,1,-1,-1,1,-1,-1,0,1,-1,0",
      "holds": true,
      "note": "the window pair + shift point (pending mechanism)",
      "seq": 10
    },
    {
      "kind": "word",
      "name": "greedy_word_comparison",
      "value": "-1,0,1,-1,0,1,-1,0,1,-1,0",
      "holds": false,
      "note": "7/11 \u2014 the instructive negative",
      "seq": 11
    },
    {
      "kind": "law",
      "name": "window_rule",
      "holds": true,
      "value": "the account held in a width-7 window \u2014 [-1,+5] shallow (s0..s5), [-2,+4] deep (s6..s10), one recentering \u2014 generates the measured pro-causal word 11/11, autonomously from e(0)=3 (CW-H3; the window pair + shift FLAGGED pending mechanism)",
      "seq": 12
    },
    {
      "kind": "law",
      "name": "greedy_negative",
      "holds": true,
      "value": "pure greedy is false in-sample: 7/11, missing k=1,2,4,5 \u2014 greedy generates the DEEP cycle everywhere; the shallow deviation IS the two-regime structure (the comparison row, never a law)",
      "seq": 13
    },
    {
      "kind": "law",
      "name": "why_triads",
      "holds": true,
      "value": "e(k+1) \u2261 2\u00b7e(k) (mod 7) and ord\u2087(2) = 3 force the account's mod-7 period \u2014 the triads derived; which letter fires is the window's representative choice",
      "seq": 14
    },
    {
      "kind": "law",
      "name": "pro_causal_span",
      "holds": true,
      "value": "e(12..14) = (-4, -8, -23) exits every width-7 window \u2014 the 18/7 tracking is a pro-causal-span law (CW-H4a); the yoke dies at the bus",
      "seq": 15
    },
    {
      "kind": "law",
      "name": "no_tie",
      "holds": true,
      "value": "the three candidate accounts differ by exactly the denominator, so a width-q window admits exactly one \u2014 no tie rule exists or is needed (structural)",
      "seq": 16
    },
    {
      "kind": "seal",
      "name": "CW-A1",
      "value": "calibration and acceptance \u2014 AGREES / DISAGREES-AT / UNDECIDED-ABORT",
      "note": "ACTED (the operator's go, 2026-08-04: 'Looks good - let's go')",
      "seq": 17
    },
    {
      "kind": "seal",
      "name": "CW-A2",
      "value": "the octave ladder (H1 + H2) \u2014 per-target class verdicts + the stability tuple per octave",
      "note": "ACTED (the operator's go, 2026-08-04: 'Let's go')",
      "seq": 18
    },
    {
      "kind": "seal",
      "name": "CW-A3",
      "value": "the pro-causal identity (H3) \u2014 the window-rule generation vs the measured word + the greedy row",
      "note": "ACTED (the operator's go, 2026-08-04: 'Let's go for the next step')",
      "seq": 19
    },
    {
      "kind": "seal",
      "name": "CW-A4",
      "value": "the bus and the excursion (H4a, H4b) \u2014 the three integers + the bracket identities; FLAGGED-HELD on confirm",
      "note": "SEALED-NOT-ACTED",
      "seq": 20
    },
    {
      "kind": "seal",
      "name": "CW-A5",
      "value": "the doorway curves (H5) \u2014 conserve-audit + expand-and-fold bands; the essay's kill live",
      "note": "SEALED-NOT-ACTED",
      "seq": 21
    },
    {
      "kind": "seal",
      "name": "CW-A6",
      "value": "the verdict + the DW-S1 return + the anchor \u2014 H1+H2 compose the DW-S1 verdict; the return entries append-only",
      "note": "SEALED-NOT-ACTED",
      "seq": 22
    },
    {
      "kind": "verdict",
      "name": "CW-A1",
      "value": "AGREES",
      "holds": true,
      "note": "seats 12/12 within the half-lap wall at 64 bits; rung 12 OVER the wall (exact); the abort named UNDECIDED-ABORT-512; UNFIRED \u2014 no pinned m shifted; the word stands; landed 2026-08-04",
      "seq": 23
    },
    {
      "kind": "certificate",
      "name": "3/2",
      "value": "completion at step 1",
      "holds": true,
      "note": "required from octave 2^8",
      "seq": 24
    },
    {
      "kind": "certificate",
      "name": "7/5",
      "value": "cycle at step 4 (period 4)",
      "holds": true,
      "note": "required from octave 2^8",
      "seq": 25
    },
    {
      "kind": "certificate",
      "name": "17/12",
      "value": "cycle at step 4 (period 2)",
      "holds": true,
      "note": "required from octave 2^8",
      "seq": 26
    },
    {
      "kind": "certificate",
      "name": "18/7",
      "value": "cycle at step 3 (period 3)",
      "holds": true,
      "note": "required from octave 2^8",
      "seq": 27
    },
    {
      "kind": "certificate",
      "name": "14104/9973",
      "value": "cycle at step 3324 (period 3324)",
      "holds": true,
      "note": "required from octave 2^14",
      "seq": 28
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^8: hold 119/256, max run 6, sign 69/137",
      "holds": true,
      "seq": 29
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^9: hold 257/512, max run 7, sign 128/255",
      "holds": true,
      "seq": 30
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^10: hold 127/256, max run 7, sign 1/2",
      "holds": true,
      "seq": 31
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^11: hold 1061/2048, max run 9, sign 494/987",
      "holds": true,
      "seq": 32
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^12: hold 527/1024, max run 14, sign 1/2",
      "holds": true,
      "seq": 33
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^13: hold 2067/4096, max run 14, sign 1/2",
      "holds": true,
      "seq": 34
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^14: hold 8161/16384, max run 14, sign 4112/8223",
      "holds": true,
      "seq": 35
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^15: hold 16285/32768, max run 17, sign 8242/16483",
      "holds": true,
      "seq": 36
    },
    {
      "kind": "octave",
      "name": "sqrt(2)",
      "value": "2^16: hold 32763/65536, max run 17, sign 16387/32773",
      "holds": true,
      "seq": 37
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^8: hold 121/256, max run 4, sign 67/135",
      "holds": true,
      "seq": 38
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^9: hold 31/64, max run 7, sign 1/2",
      "holds": true,
      "seq": 39
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^10: hold 495/1024, max run 7, sign 264/529",
      "holds": true,
      "seq": 40
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^11: hold 989/2048, max run 9, sign 529/1059",
      "holds": true,
      "seq": 41
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^12: hold 503/1024, max run 9, sign 1/2",
      "holds": true,
      "seq": 42
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^13: hold 1031/2048, max run 11, sign 1/2",
      "holds": true,
      "seq": 43
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^14: hold 2055/4096, max run 12, sign 1/2",
      "holds": true,
      "seq": 44
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^15: hold 16539/32768, max run 14, sign 8114/16229",
      "holds": true,
      "seq": 45
    },
    {
      "kind": "octave",
      "name": "sqrt(3)",
      "value": "2^16: hold 33075/65536, max run 14, sign 16230/32461",
      "holds": true,
      "seq": 46
    },
    {
      "kind": "verdict",
      "name": "CW-A2",
      "value": "H1 SUPPORTED + H2 SUPPORTED",
      "holds": true,
      "note": "the pairing separates from the first octave: True; landed 2026-08-04",
      "seq": 47
    },
    {
      "kind": "verdict",
      "name": "CW-A3",
      "value": "CONFIRMED",
      "holds": true,
      "note": "the window word 11/11 autonomous; greedy 7/11, misses [1, 2, 4, 5]; ord7(2) = 3; the kill unfired \u2014 A1's re-fit AGREES; no pinned m shifted; the window pair + shift point (pending mechanism); landed 2026-08-04",
      "seq": 48
    },
    {
      "kind": "note",
      "name": "firewall",
      "value": "no claim about physical cosmology or astronomy, ever; no claim about physical quantum mechanics or any physical measurement problem, ever; no claim about consciousness or phenomenal experience, ever; no claim about physical complex systems, natural emergence, or collective phenomena, ever; no claim about artificial learning systems, ever; no claim about human knowledge, groups, or society, ever; no claim on any Millennium Prize problem, ever",
      "seq": 49
    }
  ],
  "contrib": {
    "persona": "starl3n",
    "raci": "A",
    "designation": "contributed",
    "experiment": "oxexp-corner"
  },
  "parameters": {
    "design": "docs/oxexp-corner-design.md (SEALED 2026-08-03 with the contrib reform)",
    "contrib": {
      "persona": "starl3n",
      "raci": "A",
      "designation": "contributed",
      "canon_clause": "a CONTRIB experiment via the contrib pathway \u2014 self-contained, reads no core state, not part of OOI canon; the claims stand on the contributor's own standing; nothing recorded here enters Canon",
      "no_privilege": "the stage the OOI is moving toward is one where such personas will begin to have no assumed privilege over other personas (the operator, at the seal)"
    },
    "stake": "DW-S1 \u2014 the residue of the diagonal (Dialogue I); the return composed at CW-A6, its own sealed act",
    "acts": [
      {
        "id": "CW-A1",
        "title": "calibration and acceptance",
        "sealed": "AGREES / DISAGREES-AT / UNDECIDED-ABORT",
        "status": "ACTED (the operator's go, 2026-08-04: 'Looks good - let's go')",
        "verdict": "AGREES \u2014 the pins stand: the bracket-exact re-fit seats all twelve pro-causal rungs inside the half-lap doorway wall (decided at 64 bits, twelve for twelve, agreeing with the cited float pins); rung 12 confirmed OVER the wall by brackets (outside, decided exactly \u2014 the walls record's +0.517 float pin confirmed by exact means); the no-tie lemma swept clean on both sealed windows; the abort rule exercised on the knife-edge probe and returning its named outcome UNDECIDED-ABORT-512, never a float; the acceptance machinery GREEN. H3's kill stays unfired: no pinned m shifted, the word stands."
      },
      {
        "id": "CW-A2",
        "title": "the octave ladder (H1 + H2)",
        "sealed": "per-target class verdicts + the stability tuple per octave",
        "status": "ACTED (the operator's go, 2026-08-04: 'Let's go')",
        "verdict": "H1 SUPPORTED + H2 SUPPORTED \u2014 the ladder walked 2^8..2^16, all targets, WINDOW mode. Every commensurable certifies where its sealed bound requires: 3/2 completion at step 1 (the corner erased); 7/5 cycle at 4 (period 4); 17/12 cycle at 4 (period 2); 18/7 cycle at 3 (period 3 \u2014 ord_7(2)'s own number in Chamber A); 14104/9973 cycle at 3324 (required from 2^14, present from 2^12). THE PAIRING SEPARATES FROM THE FIRST OCTAVE: the convergent certifies at step 4; the diagonal it approximates to ~2e-3 certifies never. Both incommensurables hold ALL FOUR SEALED BANDS AT ALL NINE OCTAVES \u2014 sqrt(2): hold-fraction 119/256..32763/65536 (pinned near 1/2), max hold-run 6..17 against the 48 wall; sqrt(3): 121/256..33075/65536, runs 4..14 \u2014 THE STABLE RESIDUE SIGNATURE: the same verdict tuple at every octave. The DW-S1 verdict's two halves stand SUPPORTED; the composition is CW-A6's."
      },
      {
        "id": "CW-A3",
        "title": "the pro-causal identity (H3)",
        "sealed": "the window-rule generation vs the measured word + the greedy row",
        "status": "ACTED (the operator's go, 2026-08-04: 'Let's go for the next step')",
        "verdict": "CONFIRMED \u2014 the retrodictive identity stands: the two-regime width-7 window rule, autonomous from e(0) = 3 and reading no being, generates the substrate's measured word 11/11; the kill stayed live through A1's bracket-exact re-fit and did not fire (no pinned m shifted). The greedy row recorded: 7/11, misses k = 1, 2, 4, 5 \u2014 greedy is the deep cycle everywhere, so the shallow span's deviation from greedy IS the two-regime structure. WHY TRIADS, derived: e' \u2261 2e (mod 7) and ord_7(2) = 3 force the account's mod-7 period regardless of window \u2014 the shallow orbit (3, -1, 5), the deep orbit (3, -1, -2), the letter fixed by the window's representative choice. The bus terminates the law: the deep rule predicts s(11) = +1, the substrate takes 0 \u2014 H4a's territory, its own act. The single-selection (the window pair + shift point) stays FLAGGED pending mechanism, the walls' own precedent."
      },
      {
        "id": "CW-A4",
        "title": "the bus and the excursion (H4a, H4b)",
        "sealed": "the three integers + the bracket identities; FLAGGED-HELD on confirm",
        "status": "SEALED-NOT-ACTED"
      },
      {
        "id": "CW-A5",
        "title": "the doorway curves (H5)",
        "sealed": "conserve-audit + expand-and-fold bands; the essay's kill live",
        "status": "SEALED-NOT-ACTED"
      },
      {
        "id": "CW-A6",
        "title": "the verdict + the DW-S1 return + the anchor",
        "sealed": "H1+H2 compose the DW-S1 verdict; the return entries append-only",
        "status": "SEALED-NOT-ACTED"
      }
    ],
    "windows": {
      "shallow": "(-1, 5)",
      "deep": "(-2, 4)"
    },
    "witness_cadence": "per-act (the operator's direction, 2026-08-04): results land with a record on mldata when and where as the run is performed; CW-A6 remains the composition and the final anchor",
    "verdict": "CW-A1: AGREES \u00b7 CW-A2: H1 SUPPORTED + H2 SUPPORTED \u00b7 CW-A3: CONFIRMED \u00b7 CW-A4: SEALED-NOT-ACTED \u00b7 CW-A5: SEALED-NOT-ACTED \u00b7 CW-A6: SEALED-NOT-ACTED"
  }
}