{
  "experiment_id": "exp_3a1688f5",
  "slug": "corner",
  "title": "OOI \u2014 The Cornering Walk (oxexp-corner, CONTRIB \u00b7 starl3n)",
  "kind": "contrib_dataset",
  "generated_at": 1786358760.3086836,
  "count": 92,
  "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": "ACTED (the operator's go, 2026-08-04: 'let's with CW-A4')",
      "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": "ACTED (the operator's go, 2026-08-04: 'please go for CW-A5')",
      "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": "ACTED (the operator's go, 2026-08-04: 'Go for CW-A6')",
      "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": "verdict",
      "name": "CW-A4",
      "value": "H4a CONFIRMED + H4b CONFIRMED-FLAGGED-HELD",
      "holds": true,
      "note": "e(12..14) = [-4, -8, -23] spanning 19 > 6; bus predicted +1 taken 0; s14,s15 = (-45, 90) = (-floor(P), +2*floor(P)); dip 2027; FLAGGED-HELD \u2014 a single instance; the '45 = floor(P)' flag, the house's own; the 'forced settlement at capacity' mechanism reading REFUSED as numerology, held adjacency only; landed 2026-08-04",
      "seq": 49
    },
    {
      "kind": "curve",
      "name": "3/2",
      "value": "waiter sup 1 in (0, 1); denied sup 2",
      "holds": true,
      "seq": 50
    },
    {
      "kind": "curve",
      "name": "7/5",
      "value": "waiter sup 2 in (-2, 2); denied sup 3",
      "holds": true,
      "seq": 51
    },
    {
      "kind": "curve",
      "name": "17/12",
      "value": "waiter sup 5 in (-5, 6); denied sup 8",
      "holds": true,
      "seq": 52
    },
    {
      "kind": "curve",
      "name": "18/7",
      "value": "waiter sup 3 in (-3, 3); denied sup 5",
      "holds": true,
      "seq": 53
    },
    {
      "kind": "curve",
      "name": "14104/9973",
      "value": "waiter sup 4944 in (-4986, 4986); denied sup 9803",
      "holds": true,
      "seq": 54
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^8 denied: 119 breaches, max run 6",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 55
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^9 denied: 257 breaches, max run 7",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 56
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^10 denied: 508 breaches, max run 7",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 57
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^11 denied: 1061 breaches, max run 9",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 58
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^12 denied: 2108 breaches, max run 14",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 59
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^13 denied: 4134 breaches, max run 14",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 60
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^14 denied: 8161 breaches, max run 14",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 61
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^15 denied: 16285 breaches, max run 17",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 62
    },
    {
      "kind": "curve",
      "name": "sqrt(2)",
      "value": "2^16 denied: 32763 breaches, max run 17",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 63
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^8 denied: 121 breaches, max run 4",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 64
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^9 denied: 248 breaches, max run 7",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 65
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^10 denied: 495 breaches, max run 7",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 66
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^11 denied: 989 breaches, max run 9",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 67
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^12 denied: 2012 breaches, max run 9",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 68
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^13 denied: 4124 breaches, max run 11",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 69
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^14 denied: 8220 breaches, max run 12",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 70
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^15 denied: 16539 breaches, max run 14",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 71
    },
    {
      "kind": "curve",
      "name": "sqrt(3)",
      "value": "2^16 denied: 33075 breaches, max run 14",
      "holds": true,
      "note": "recovery<=3: False; geometric envelope: True",
      "seq": 72
    },
    {
      "kind": "kill",
      "name": "H5-recovery-clause",
      "value": "KILLED \u2014 breach runs exceed 3 at every octave (max 6 at 2^8 growing to 17 at 2^16 ~ log2 N); the kill kept with full standing",
      "holds": false,
      "note": "the kill kept with full standing (design \u00a73 CW-H5)",
      "seq": 73
    },
    {
      "kind": "verdict",
      "name": "CW-A5",
      "value": "H5 PARTIAL \u2014 THE RECOVERY-BOUND KILL KEPT + THE GEOMETRIC FOLD CONFIRMED",
      "holds": true,
      "note": "the fold is DISTRIBUTIONAL, not bounded: 'the expansion folds into knowing' formalizes as the geometric halving of surprise-run frequencies, not as a fixed recovery bound \u2014 the killed clause sharpens the law's next formalization (held; the essay's law stays HELD regardless \u2014 one instance never promotes); landed 2026-08-04",
      "seq": 74
    },
    {
      "kind": "verdict",
      "name": "CW2-A1",
      "value": "EXACT \u2014 twelve for twelve",
      "holds": true,
      "note": "the identity 12/12 at 64 bits; the wobble cycle (137, -48, 226) with W(0) = 137; the o-entry (cited per rung; measured standing) + the m-fit (established at CW-A1; the pins stand); the kill unfired \u2014 all identities hold; the pins stand; landed 2026-08-04",
      "seq": 75
    },
    {
      "kind": "verdict",
      "name": "CW2-A2",
      "value": "DEGENERATE-MAPPED \u2014 the admitting class characterized exactly",
      "holds": true,
      "note": "class 6 of 539 (47 dead); shallow forced: True; deep 2 windows \u00d7 3 shifts; sealed schedule in-class: True; the campaign-one flagged single-selection RESOLVES: the sealed schedule (-1, -2, 5) was one representative of an exactly-mapped word-invariant class of six; the shallow frame is UNIQUE AND FORCED (lo = -1 everywhere) \u2014 no preference ever existed there; the deep frame's 2\u00d73 degeneracy is harmless BECAUSE the word is invariant across the class; landed 2026-08-04",
      "seq": 76
    },
    {
      "kind": "verdict",
      "name": "CW2-A3",
      "value": "COMPLETE \u2014 ten for ten",
      "holds": true,
      "note": "standings census {'sealed': 2, 'cited': 3, 'derived': 2, 'measured': 3}; the window-schedule joint's supply matured from anticipated to LANDED: its externality \u2014 the admitting class mapped at CW2-A2 \u2014 is now an acted verdict, not a promise; the re-expression form proven on the house's own chain FIRST, as sealed \u2014 the DW-S2 return will stand on demonstrated grammar, not assertion; landed 2026-08-04",
      "seq": 77
    },
    {
      "kind": "verdict",
      "name": "CW2-A4",
      "value": "THE DIE MINTED + THE DRAW RECORDED \u2014 control = P6: the particle on a ring",
      "holds": true,
      "note": "the die = 3ada43e2-4dab-47fe-a0bd-523326e0e895 (package corner-exp_c8f08eb6); sha256 head fe8529ea9a246885 -> index 4; the stake strides P1 (the named primary \u2014 the clean separable chain) and P6 (the drawn control \u2014 the topology joint, where the angle's winding branch is a genuinely deferred resolution): the die chose the adversarial control; the four undrawn (P2, P3, P4, P5) stand OPEN to any persona per \u00a79.4; landed 2026-08-04",
      "seq": 78
    },
    {
      "kind": "open",
      "name": "open-door-P2",
      "value": "the free particle under a constant force via a generating-function shift \u2014 the minimal complete chain (the floor) \u2014 OPEN to any persona (design \u00a79.4: the matters diode + the symmetric grant)",
      "seq": 79
    },
    {
      "kind": "open",
      "name": "open-door-P3",
      "value": "the pendulum in libration via action-angle \u2014 the branch-choice joint (elliptic; branch selection genuinely deferred) \u2014 OPEN to any persona (design \u00a79.4: the matters diode + the symmetric grant)",
      "seq": 80
    },
    {
      "kind": "open",
      "name": "open-door-P4",
      "value": "the central-force problem via canonical polar reduction \u2014 the separability joint proper \u2014 OPEN to any persona (design \u00a79.4: the matters diode + the symmetric grant)",
      "seq": 81
    },
    {
      "kind": "open",
      "name": "open-door-P5",
      "value": "two coupled oscillators via the diagonalizing canonical transformation \u2014 the frame-rotation joint \u2014 OPEN to any persona (design \u00a79.4: the matters diode + the symmetric grant)",
      "seq": 82
    },
    {
      "kind": "open",
      "name": "open-extension-H4b",
      "value": "H4b \u2014 the block-quantum identity + the dip (FLAGGED-HELD at CW-A4, standing unchanged) \u2014 sealed as an EXTENSION DOOR of the contrib experiment (design \u00a710, the operator's word 2026-08-04): open to any persona via the standing machinery, or the operator's own later act; an extension campaign would be sealed on its own go before any act, the fences carried whole; declared, never scheduled",
      "seq": 83
    },
    {
      "kind": "verdict",
      "name": "CW2-A5",
      "value": "P1 REWRITTEN COMPLETE \u2014 ten for ten",
      "holds": true,
      "note": "census {'cited': 3, 'derived': 6, 'operator-act': 1}; the momentum root's sign per half-orbit \u2014 a genuinely deferred choice \u2014 supplied by the cited orientation convention, not by the formalism; the initial-data entry lands as the operator-act joint: the boundary chosen, entered as an act \u2014 DW-S2's own words, instantiated on the primary; the external chain's census (3 cited \u00b7 6 derived \u00b7 1 operator-act) differs in shape from the house chain's (2 sealed \u00b7 3 cited \u00b7 2 derived \u00b7 3 measured): the record MEASURES its own joints; the textbook chain's supplies are citations, derivations, and the one data act \u2014 a finding of the form, held as a reading; landed 2026-08-04",
      "seq": 84
    },
    {
      "kind": "verdict",
      "name": "CW2-A6",
      "value": "P6 REWRITTEN COMPLETE \u2014 ten for ten",
      "holds": true,
      "note": "the drawn control re-verified live: True; census {'cited': 5, 'derived': 3, 'operator-act': 2} vs P1 {'cited': 3, 'derived': 6, 'operator-act': 1}; the action contour's closure is supplied by the topology itself \u2014 the circle's fundamental cycle \u2014 where P1 earned its closure from the declared form's convexity: closure GIVEN by the space vs closure DERIVED from the form; the winding resolution \u2014 the deferred choice the die selected this chain for \u2014 is DATA-supplied (the initial momentum's sign) where P1's momentum branch was CONVENTION-supplied: the topology transfers a deferred resolution from gauge to data; both halves complete; the anatomy shifts: derived 6 \u2192 3, the data acts 1 \u2192 2, cited 3 \u2192 5 from P1 to P6 \u2014 the topology moves supplies between standings, it does not break the grammar; held for A7's striding composition; landed 2026-08-04",
      "seq": 85
    },
    {
      "kind": "verdict",
      "name": "DW-S1",
      "value": "SUPPORTED",
      "holds": true,
      "note": "the series' oldest stake returns \u2014 landed by the contributed run \u2014 the claims on the contributor's own standing (covering starl3n, RACI A); the persona paid its own stake with its own hands on the pathway open to any persona",
      "seq": 86
    },
    {
      "kind": "note",
      "name": "H6-adjacency",
      "value": "HELD \u2014 the Noether-shaped adjacency stands: the rule's k-shift indifference (H3 CONFIRMED: the letter fixed by the account alone) beside the account's conservation inside an invariant wall (A5's conserve-AUDIT: every waiter held its wall by construction) \u2014 typed adjacency, never the theorem; the Dialogue II concession unchanged; a future dialogue may speak it",
      "seq": 87
    },
    {
      "kind": "verdict",
      "name": "CW-A6",
      "value": "COMPOSED \u2014 DW-S1 SUPPORTED",
      "holds": true,
      "note": "the append-only entries land at this act's commit: Exhibit Five 'dw-s1-return' (DECISION, full standing) + Exhibit Ten (the curves; the essay's laws stay HELD); never touched: the minted Dialogue I body, the reading register, the sealed intents, the minted essay; landed 2026-08-04",
      "seq": 88
    },
    {
      "kind": "verdict",
      "name": "DW-S2",
      "value": "SUPPORTED",
      "holds": true,
      "note": "the re-expression stake returns \u2014 SUPPORTED (striding both) \u2014 every joint of both chains rewritten with its supplying externality and standing; the checker complete on both: P1 the named primary ten for ten, P6 the drawn adversarial control ten for ten; both halves complete; the anatomy shifts: derived 6 \u2192 3, the data acts 1 \u2192 2, cited 3 \u2192 5 from P1 to P6 \u2014 the topology moves supplies between standings, it does not break the grammar; held for A7's striding composition; the Noether gap the Advocate holds (the Dialogue II concession) is NOT claimed by this return \u2014 the re-expression stake alone is landed; the concession stands unchanged; the typed adjacency (CW-H6) stays HELD, never the theorem",
      "seq": 89
    },
    {
      "kind": "verdict",
      "name": "CW2-A7",
      "value": "COMPOSED \u2014 DW-S2 SUPPORTED",
      "holds": true,
      "note": "P2 (the floor) \u00b7 P3 (the branch-choice) \u00b7 P4 (the separability proper) \u00b7 P5 (the frame-rotation) \u2014 OPEN to any persona via the standing machinery (the matters diode; the contest institution's symmetric grant), testable the same way after; declared here, scheduled never (\u00a79.4); the DW-S2 return lands append-only on the dialogue ledger at this act's commit (Exhibit Five, dw-s2-return, DECISION, full standing \u2014 the DW-S1 protocol's shape); the minted Dialogue II body, its reading register, and the dw-s1-return entry stand untouched; landed 2026-08-04",
      "seq": 90
    },
    {
      "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": 91
    }
  ],
  "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": "ACTED (the operator's go, 2026-08-04: 'let's with CW-A4')",
        "verdict": "H4a CONFIRMED + H4b CONFIRMED-FLAGGED-HELD. H4a \u2014 the law terminates AT the bus: e(12..14) = (-4, -8, -23), the three integers exact; the triple spans 19 > 6, so NO width-7 window holds it; the deep rule predicts s(11) = +1 and the substrate takes 0 \u2014 the 18/7 tracking is a pro-causal-span law, and the yoke dies at the bus exactly as sealed. H4b \u2014 the excursion is comb-block-quantized: s(14), s(15) = (-45, +90) = (-floor(P), +2*floor(P)) with floor(P) = 45 bracket-decided at 64 bits; the dip = floor(45P - 10) = 2027, exact; the measured walk rejoins the sealed lattice at m(16) = 168508. A single instance: the confirmed identities land FLAGGED-HELD (the '45 = floor(P)' flag, the house's own); the 'forced settlement at capacity' mechanism reading is REFUSED as numerology and stays held adjacency only. The kill unfired \u2014 A1's re-fit AGREES; no pinned m shifted."
      },
      {
        "id": "CW-A5",
        "title": "the doorway curves (H5)",
        "sealed": "conserve-audit + expand-and-fold bands; the essay's kill live",
        "status": "ACTED (the operator's go, 2026-08-04: 'please go for CW-A5')",
        "verdict": "H5 PARTIAL \u2014 THE RECOVERY-BOUND KILL KEPT + THE GEOMETRIC FOLD CONFIRMED. The conserve half stands as AUDIT: every waiter held its wall by construction (locks are patient by construction). The expansion is EXACT five for five and both quads: 3/2 denied 2 vs waiter 1; 7/5: 3 vs 2; 17/12: 8 vs 5; 18/7: 5 vs 3 (the sealed pair); 14104/9973: 9803 vs 4944 \u2014 the wall roughly doubling at every scale; the quads' denied wall entering (1/2, 1]. THE STAKED FOLD SPLITS ON MEASUREMENT: the sealed <=3-step recovery clause is KILLED at every octave \u2014 breach runs reach 6 at 2^8 and 17 at 2^16, growing ~ log2 N \u2014 the kill kept with full standing; the geometric-envelope clause CONFIRMS at every octave \u2014 the run-length distribution halves per unit length (at 2^16 sqrt2: 8066, 4176, 2100, 1064, 500, ...). THE DISCOVERY, held: the fold is DISTRIBUTIONAL, not bounded \u2014 'the expansion folds into knowing' formalizes as the geometric halving of surprise-run frequencies; the essay's law stays HELD regardless (one instance never promotes), and the killed clause sharpens its next formalization."
      },
      {
        "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": "ACTED (the operator's go, 2026-08-04: 'Go for CW-A6')",
        "verdict": "THE COMPOSITION LANDED. DW-S1 \u2014 THE RESIDUE OF THE DIAGONAL: SUPPORTED (H1 separation + H2 stability, both SUPPORTED at every octave 2^8..2^16: every commensurable certifies where its bound requires; the convergent pairing separates from the first octave; both incommensurables hold all four sealed bands at all nine octaves \u2014 THE STABLE RESIDUE SIGNATURE STANDS; the corner leaves a fingerprint no completion erases). THE SERIES' OLDEST STAKE RETURNS \u2014 landed by the contributed run, the claims on the contributor's own standing; the ledger's return machinery demonstrated end-to-end for the first time. The composition: A1 AGREES \u00b7 A2 H1+H2 SUPPORTED \u00b7 A3 CONFIRMED (the step-law's first autonomous candidate) \u00b7 A4 H4a CONFIRMED + H4b FLAGGED-HELD \u00b7 A5 H5 PARTIAL (the recovery kill kept; the geometric fold confirmed; the discovery held). H6 TYPED: the Noether-shaped adjacency STANDS AS HELD \u2014 the rule's k-shift indifference beside the account's conservation inside an invariant wall \u2014 typed adjacency, never the theorem; the Dialogue II concession unchanged. The return entries append-only; the minted bodies untouched; the final anchor = the operator's door."
      }
    ],
    "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",
    "campaign_two": {
      "acts": [
        {
          "id": "CW2-A1",
          "title": "the account transform (H1)",
          "sealed": "the e\u2194r map exact per rung; the debt term as the remainder",
          "status": "ACTED (the operator's go, 2026-08-04: 'The CW2-A1 can go')",
          "verdict": "EXACT \u2014 twelve for twelve: the identity 7r(k) = W(k) \u2212 P\u00b7e(k) \u2212 (18P\u2212815)\u00b72^k decided by brackets at 64 bits within |7r| < 7/2 on every pro-causal rung; the integer wobble W = 7\u00b7being \u2212 7 \u2212 7o \u2212 815\u00b72^k cycling (137, \u221248, 226) on the shallow span with W(0) = 137 \u2014 the fundamental as the first wobble (noted, not overclaimed); the transform's remainder = the debt term (18P \u2212 815)\u00b72^k, growing 0.024 \u2192 ~48.7 laps by rung 11 and absorbed exactly by the P-weighted account \u2014 the yoke's content, explicit. The two supplying externalities entered as acts: the o-entry (cited per rung, measured standing) and the m-fit (established at CW-A1 \u2014 the pins stand, so H1's kill stayed live and did not fire). The e-frame and the r-frame agree only through the carried leftover: the Legendre miniature lands with its generating remainder named."
        },
        {
          "id": "CW2-A2",
          "title": "the frame-space enumeration (H2)",
          "sealed": "UNIQUE / DEGENERATE-MAPPED; apparatus-invalid on empty",
          "status": "ACTED (the operator's go, 2026-08-04: 'Go for it.')",
          "verdict": "DEGENERATE-MAPPED \u2014 the admitting class characterized exactly: of 539 two-regime schedules (47 dead), EXACTLY SIX generate the measured word \u2014 {(-1,-3,4), (-1,-3,5), (-1,-3,6), (-1,-2,4), (-1,-2,5), (-1,-2,6)}. THE SHALLOW FRAME IS UNIQUE AND FORCED: lo = -1 in every admitting schedule \u2014 no preference ever existed there. The deep frame carries an exactly-mapped 2\u00d73 degeneracy (windows [-3,+3] and [-2,+4] \u00d7 shifts after steps 4, 5, 6), all six word-invariant \u2014 the campaign-one flagged single-selection RESOLVES: the sealed schedule (-1,-2,5) was one representative of an invariant class, and the degeneracy is harmless because the word never varies across it. The centered window sits in the deep class but NOT the shallow \u2014 the cannot-wait regime is forced off-center. The frame-preference entered as a measured act: the preference the stake's language worried over is, on the shallow span, not a preference at all."
        },
        {
          "id": "CW2-A3",
          "title": "the house-chain ledger (H3)",
          "sealed": "the record's own chain complete in the ledger form",
          "status": "ACTED (the operator's go, 2026-08-04: 'Go for CW2-A3')",
          "verdict": "COMPLETE \u2014 ten for ten: the record's own chain (the cascade seed \u00b7 the triadic vertices \u00b7 the dyadic bus \u00b7 the loop lengths T, D \u00b7 the period P \u00b7 the comb seat \u00b7 the window schedule \u00b7 the walk seed \u00b7 the half-lap wall \u00b7 the fold lattice) rewritten in the re-expression form, every joint carrying its complete triple (the resolution deferred \u00b7 the externality supplying it \u00b7 the standing), machine-checked. The standings census: 2 sealed \u00b7 3 cited \u00b7 2 derived \u00b7 3 measured. The window-schedule joint's supply matured from anticipated to LANDED (the admitting class an acted verdict at CW2-A2, not a promise). H3's kill did not fire: no joint of the house chain lacks a lawful supplying externality. The form is proven on the house's own chain first, as sealed \u2014 the DW-S2 return will stand on demonstrated grammar."
        },
        {
          "id": "CW2-A4",
          "title": "THE SIX-CARD PUBLISH + THE DRAW",
          "sealed": "the operator's act mints the die; the draw recorded",
          "status": "ACTED (the operator's own publish act, 2026-08-04 \u2014 corner-exp_c8f08eb6)",
          "verdict": "THE DIE MINTED + THE DRAW RECORDED. The six-card's publish landed as corner-exp_c8f08eb6 (82 rows, all nine acted assignments witnessed); the platform minted the package id 3ada43e2-4dab-47fe-a0bd-523326e0e895 \u2014 a value no author and no operator chose. The sealed selector (\u00a79.3, immutable from the seal): sha256(pid)[:16 hex] = fe8529ea9a246885 \u2192 mod 5 = 4 \u2192 THE DRAWN CONTROL = P6, THE PARTICLE ON A RING \u2014 the topology joint, where the angle's winding branch is a genuinely deferred resolution: the die chose the adversarial control. THE STAKE STRIDES P1 (the harmonic oscillator via action-angle, the primary by the operator's naming) and P6 (the drawn). The four undrawn \u2014 P2, P3, P4, P5 \u2014 stand OPEN to any persona at this landing, per \u00a79.4: the matters diode and the symmetric grant. Auditable forever from the public package id."
        },
        {
          "id": "CW2-A5",
          "title": "the primary rewrite (P1)",
          "sealed": "the harmonic oscillator / action-angle in the ledger form",
          "status": "ACTED (the operator's go, 2026-08-04: 'please go for CW2-A5')",
          "verdict": "P1 REWRITTEN COMPLETE \u2014 ten for ten: the harmonic oscillator through action-angle variables, joint by joint in the ledger form, machine-checked \u2014 the system declaration \u00b7 the Legendre passage (its invertibility supplied by the declared form's own convexity) \u00b7 the canonical pair \u00b7 the energy surface (the generator's self-conservation) \u00b7 the action contour (closure supplied by positive-definiteness) \u00b7 THE BRANCH OF THE MOMENTUM ROOT (the genuinely deferred sign per half-orbit \u2014 supplied by the cited orientation convention, not by the formalism) \u00b7 the angle's origin (cited convention) \u00b7 the frequency read \u00b7 the inversion back \u00b7 THE INITIAL-DATA ENTRY (the boundary chosen, entered as an act \u2014 the stake's own words, instantiated). The census: 3 cited \u00b7 6 derived \u00b7 1 operator-act \u2014 differing in shape from the house chain's (which carries MEASURED joints: the record measures its own; the textbook chain's supplies are citations, derivations, and one data act; held as a reading). The kill did not fire: every deferred resolution of the primary has a lawful supplying externality. External art, grammar-only \u2014 no physics, ever. The P1 half of the striding stake stands."
        },
        {
          "id": "CW2-A6",
          "title": "the control rewrite (the drawn)",
          "sealed": "the drawn proposition in the ledger form",
          "status": "ACTED (the operator's go, 2026-08-04: 'Let's go for CW2-A6')",
          "verdict": "P6 REWRITTEN COMPLETE \u2014 ten for ten: the particle on a ring \u2014 the control the die chose, re-verified live against the sealed selector before the rewrite \u2014 joint by joint in the ledger form, machine-checked: the configuration space (the circle declared, cited) \u00b7 the covering lift (the coordinate's branch supplied by the line-over-circle covering with its deck shift, cited) \u00b7 the system declaration \u00b7 the Legendre passage \u00b7 the conservation (the generator's shift-indifference in the cyclic coordinate) \u00b7 THE ACTION CONTOUR (closure supplied by THE TOPOLOGY ITSELF \u2014 the circle's fundamental cycle, not turning points: on P1 closure was EARNED from convexity, here it is GIVEN by the space) \u00b7 THE WINDING RESOLUTION (the genuinely deferred direction of circulation the die chose this chain for \u2014 DATA-supplied where P1's momentum branch was CONVENTION-supplied: the topology transfers a deferred resolution from gauge to data) \u00b7 the angle's origin \u00b7 the frequency read (action-dependent, unlike P1's constant) \u00b7 the initial-data entry (the boundary chosen, entered as an act \u2014 and on the ring the act supplies MORE: the winding routes through it). The census: 5 cited \u00b7 3 derived \u00b7 2 operator-act \u2014 against P1's 3 cited \u00b7 6 derived \u00b7 1 operator-act: THE TOPOLOGY MOVES SUPPLIES, IT DOES NOT BREAK THE GRAMMAR (derivations halve; the data acts double; every joint still lawfully supplied). The kill did not fire on the adversarial control. External art, grammar-only \u2014 no physics, ever. BOTH HALVES OF THE STRIDING STAKE NOW STAND; the anatomy of their difference held for A7's composition."
        },
        {
          "id": "CW2-A7",
          "title": "the composition + the DW-S2 return + the anchor",
          "sealed": "the striding verdict; the return append-only on the dialogue ledger",
          "status": "ACTED (the operator's go, 2026-08-04: 'Go for CW2-A7 and DW-S2')",
          "verdict": "COMPOSED \u2014 DW-S2 SUPPORTED (striding both): every joint of both chains rewritten with its supplying externality and standing, the checker complete on both \u2014 P1 the named primary ten for ten, P6 the drawn adversarial control ten for ten. THE STAKE'S OWN CLAUSES, LANDED AS ACTS: every boundary chosen (the initial-data entry the operator-act joint on both chains) \u00b7 every frame preferred (the e-r map exact per rung; the shallow frame FORCED \u2014 no preference ever existed; the chain-choice itself an externality-supplied act, the die) \u00b7 every separability found (the separable chain complete; P4 open at the doors). THE FINDING KEPT WITH THE VERDICT: the topology moves supplies, it does not break the grammar \u2014 closure GIVEN by the space where P1 EARNED it; the winding DATA-supplied where P1's branch was convention-supplied (a deferred resolution transferred from gauge to data); P6's census 5 cited \u00b7 3 derived \u00b7 2 operator-act against P1's 3/6/1. The kill named at the stake did not fire on either chain. THE FOUR DOORS DECLARED OPEN: P2 \u00b7 P3 \u00b7 P4 \u00b7 P5, any persona's via the standing machinery, declared never scheduled. THE RETURN: append-only on the dialogue ledger (Exhibit Five, dw-s2-return, DECISION \u2014 the DW-S1 protocol's shape); the minted Dialogue II body, its reading register, and the dw-s1-return entry untouched. The Noether concession NOT claimed \u2014 it stands unchanged; the typed adjacency stays HELD. The series' second stake returns by the contributed run, the claims on the contributor's own standing. The final anchor = the operator's own door act."
        }
      ],
      "six_card": {
        "primary": {
          "id": "P1",
          "chain": "the harmonic oscillator through action-angle variables",
          "joint_type": "the clean separable chain (Legendre -> generating function -> action-angle)",
          "named_by": "the operator (the primary, by his naming)"
        },
        "five": [
          {
            "id": "P2",
            "index": 0,
            "chain": "the free particle under a constant force via a generating-function shift",
            "joint_type": "the minimal complete chain (the floor)"
          },
          {
            "id": "P3",
            "index": 1,
            "chain": "the pendulum in libration via action-angle",
            "joint_type": "the branch-choice joint (elliptic; branch selection genuinely deferred)"
          },
          {
            "id": "P4",
            "index": 2,
            "chain": "the central-force problem via canonical polar reduction",
            "joint_type": "the separability joint proper"
          },
          {
            "id": "P5",
            "index": 3,
            "chain": "two coupled oscillators via the diagonalizing canonical transformation",
            "joint_type": "the frame-rotation joint"
          },
          {
            "id": "P6",
            "index": 4,
            "chain": "the particle on a ring",
            "joint_type": "the topology joint (winding; the angle's branch a real resolution)"
          }
        ],
        "selector": "control_index = int(sha256(pid.encode('utf-8')).hexdigest()[:16], 16) mod 5 \u2014 pid = the CKAN package id of the six-card's publish, as returned (lowercase, hyphens included); the formula sealed at design \u00a79.3, immutable; NO RNG \u2014 the witness machinery is the die; the draw lands at CW2-A4, the operator's act",
        "external_art": "the six chains are standard graduate-text mechanics, cited and steel-manned; every claim concerns the epistemic grammar (which resolutions the formalism defers and what supplies them), never what the world does \u2014 no physics, ever"
      }
    },
    "verdict": "CW-A1: AGREES \u00b7 CW-A2: H1 SUPPORTED + H2 SUPPORTED \u00b7 CW-A3: CONFIRMED \u00b7 CW-A4: H4a CONFIRMED + H4b CONFIRMED-FLAGGED-HELD. H4a \u00b7 CW-A5: H5 PARTIAL \u00b7 CW-A6: THE COMPOSITION LANDED. DW-S1"
  }
}