# oxexp-ruler — THE RULER · The Two Watchmakers (design of record)

**Status: BUILT AT THE OPERATOR'S WORD (2026-09-12) — "go for the build - the
defaults are fine to start with".** The thought experiment is his (2026-09-12,
the SX workshop item that becomes a code experiment on the OX node); its first
stage carries the name he chose for it, **THE LOCKSTEP**; its first experiment
is the two-watchmaker dynamic, rungs **RLX-A1..A6**, registered before the read
(the registration pinned sha256 over LF bytes; the results carry the pin).
Everything below is enumerated whole; nothing is sampled; there is no random
draw anywhere. A run is a table, never an act. The route on the OX node is a
later act.

**Classification:** Restricted — Link Digital IP.

**Where the house terms bind.** The being, knowing and computing planes and
their letters O, C, E are the LDD reference's (observable · communicable ·
effectual). The state-resolution doctrine governs the frames: no universal
clock, every cross-frame statement typed. The blind watchmaker, the synthetic
agreement, the corrective secret and the goal N = (N−1)+1 are his words and are
carried verbatim in §2.

---

## §0 · The thought experiment, in plain words (the setup of record)

**The ruler.** Imagine a ruler made of three small grids, each two cells by
two, set one behind another on a single straight rod. The being grid sits at
mark 0, the knowing grid at mark 1 and the computing grid at mark 2. His
drawing shows the same three grids in isometric view. The gap from the being
grid to the knowing grid is x, and the gap from the knowing grid to the
computing grid is y. The ruler is held to its own account by two promises that
hold at every moment and in every state. First, the three grids sit on one
straight axis. Second, the two gaps are exactly equal, so the knowing grid is
always exactly midway. The ruler has one power of its own. When whoever holds
it lawfully asks a question, it may decide the gap afresh in order to answer.
The gap is the only thing the ruler ever answers with.

**The grids.** Each grid has four cells. Two opposite corners carry a reading,
and the other two corners carry the letter of the grid's own plane: O for
being, C for knowing, E for computing. A reading of 1 is a corner you can
read. A reading of 0 is a corner the ruler is deciding at that moment, which
you cannot read. A 0 is never a length of zero. The knowing grid reads 1 in
both reading corners. It holds both of the ruler's faces at once until it is
asked to show one. The two end grids each carry one face, and the two faces
are opposites, one with the blank above and one with the blank below.

**The two faces.** Asked from being's side, the ruler would be what is
observably communicable, and the face it shows has the blank below. Asked from
computing's side, it would be what is communicably effectual, and the face it
shows has the blank above. Freezing the knowing grid between these two faces
is what the whole arrangement below is for.

**Where you are.** You are a being of the knowing plane, in the sense of Linked
Digital Dynamics, and the ruler is a construct of that plane. The plane has an
up, and you and the ruler share it. The plane has no left or right of its own,
because which way is left depends on which side of the plane you look from.
You can look at the knowing grid from being's side, position L, or from
computing's side, position R.

**The spin and the raise.** Close your eyes. Turn the rod end for end a random
number of times, so that you no longer know which end is which. Then, by feel,
raise one end to one eye and look straight down the axis. The grids stay
upright to the plane. You have not rolled the rod. One thing is now settled
that you do not know: your side. Looking straight down the axis with one eye
you cannot see the gap, so the only thing the ruler answers with is closed to
you. Only the ruler can keep its promises, and it does.

**What you see.** The knowing grid, face on, as a square of four cells. Its
reading corners lie on one diagonal of the square and both read 1. Its letter
corners lie on the other diagonal and both read C. Which diagonal is which
tells you nothing, because you have never seen this ruler from a side you
knew, and the plane offers no left or right to check against. The far end grid
is hidden behind the knowing grid.

**The tick.** The ruler keeps time by being asked. On each tick it decides the
gap afresh, and as it does so one reading corner of the knowing grid goes
blank while the other shows. The first tick answers whoever is asking, and
raising the ruler to your eye is asking. From being's side the lower corner
goes blank first. From computing's side the upper corner goes blank first.
After the first tick the blank walks. It passes to the other corner on the
next tick and back on the one after. From the first tick on, you never see
both corners lit at once, so the full length of the ruler is never shown to
you.

**What watching would tell you.** If you simply watched, the first blank would
tell you your side. Blank below first means being's side. Blank above first
means computing's side. After that the blank walks, and the walk looks the
same from both sides. Only the first step speaks. Which diagonal the blank
sits on says nothing.

**Choosing not to know: the lockstep.** Suppose you do not want to know. Keep
your eyes closed. Give the rod a half-turn about its own axis with every tick,
and let your turn be the asking, so that the ruler decides its gap exactly as
you turn. Each half-turn puts every grid upside down in your view. The upper
reading corner goes to the lower place and the lower to the upper. The blank
moves one corner per tick and the turn moves each corner one place per tick,
at the same instant, so the two motions cancel. The blank stays in one place.
This is the lockstep, and it holds for as long as you keep turning.

**The key.** Before you open your eye, give the rod one more turn about its
axis, by feel: a quarter-turn or a three-quarter-turn. A turn along the rod's
own axis looks clockwise from one end and anticlockwise from the other. That
is the whole trick. The same quarter-turn puts the blank below when seen from
one side and above when seen from the other. You may know how many quarters
you turned as you saw it. That does not help you, because the ruler counts
the same turn the other way from one of its two ends, and which end that is,
is your side. This key is grown once and never given again. The ruler now
carries it in its orientation.

**Opening your eye.** You see the knowing grid with one reading corner blank
and one lit, and it never changes. Either the blank is below and the lit
corner above, or the blank is above and the lit corner below. Which diagonal
they sit on says nothing. Whether the blank is above or below is exactly your
own count of the key, and nothing else you can see. The ruler's count,
together with the face, would name your side. Your count, together with the
face, names nothing. The knowing grid is frozen between its two faces. It
shows one, and which of the two it is, observably communicable or
communicably effectual, is exactly what the key has hidden. This is the locked
state. Throughout, the ruler has kept both promises. It has never been bent
and its gaps have never differed. It has only ever been turned and read.

**The watchmaker's one power.** The ruler decides the gap, which is a length.
You decide your duration, which is a time: how long your own tick is, set by
you and seen by no one. One eye down the axis cannot see the gap. The ruler
has no clock of its own, since it keeps time only by being asked, so it
cannot see your duration. Each party holds exactly one unit the other cannot
see, and the side sits in the relation between them. In this experiment a
watchmaker's duration is their own pattern in the asking word, and their count
is their own tally of it.

**The starting position.** Two things were chosen blind: your side, by the
spin, and the key, by feel. One face is locked. The side and the ruler's count
of the key together are the corrective secret, and they live in the ruler's
orientation and nowhere you carry them. Your own count of the same key differs
from the ruler's by exactly your side. This is the moment of entanglement
between you and the ruler, and it is where the experiment begins.

## §1 · Terms (the family around the lockstep)

| Term | Meaning |
|---|---|
| the ruler | three two-by-two grids on one rod: the being grid at 0, the knowing grid at 1, the computing grid at 2 |
| the account | the two promises: one straight axis, and equal gaps |
| the gap | x, the distance between neighbouring grids; the ruler's only answer channel; closed to one eye |
| the reading corners, the letter corners | the two diagonals of every grid; one carries 1 or 0, the other the plane's letter |
| the blank | a reading corner the ruler is deciding; a 0 as a reading, never a length |
| the two faces | blank below, observably communicable, from being's side; blank above, communicably effectual, from computing's side |
| the side | L or R, being's side or computing's side of the knowing grid; set by the spin, unknown to the holder |
| the tick | one asking; the ruler deciding the gap afresh |
| the walk | the blank passing from corner to corner tick by tick; its first step names the side |
| the half-turn | the half-turn about the rod's axis made with every tick; the turn is the asking |
| the lockstep | stage one; the half-turn and the walk cancelling so the blank stays in one place |
| the locked face | what a watchmaker sees in the lockstep, blank below or blank above |
| the key | a quarter-turn or a three-quarter-turn about the axis, once, by feel; the same turn counted opposite ways from the two ends |
| the corrective secret | his phrase: the original side and the ruler's count of the keys, L or R with 1 or 3; lives in the ruler's orientation |
| the blind watchmaker | the observer in the lockstep; makes the tick, never holds the side |
| the duration | the watchmaker's one power, the length of their own tick; here, their pattern in the asking word |
| the window | the span between askings, in which the gap stands still |
| the unit pair | the gap and the duration, one length and one time, each held by one party and unseen by the other |
| synthetic agreement | two or more watchmakers keeping one tick by construction, with no exchange; in this experiment: every asking is a turn |
| the original secret | the first watchmaker's side, which every later stage must leave unrevealed |
| the count | K, the smallest number of watchmakers in synthetic agreement for which N = (N−1)+1 is one count for all N; not staked here |
| the moves | spin, raise, run, grow, open |

The word "hold" is kept out of the stage-one terms so that it can name stage
two, where a watchmaker holds a measurement.

## §2 · The goal beyond this experiment (his words, verbatim)

> "The observer is the 'blind watchmaker' in this first lockstep and the
> experiment will ultimately reveal just how many blind watchmakers are
> required to be in synthetic agreement for the following to be true for any
> integer N, N = (N-1)+1, where the original secret of the ruler is never
> revealed."

> "We gave one power to the ruler and we must give one power to the blind
> watchmakers. They can set their own duration of time."

> "The dynamic two watchmakers is the nature of the first experiment and it is
> how we can learn something as an 'objective observer' of the two realities
> of the two watchmakers."

The count K is not staked by this experiment. The house's own priors (certitude
needs two; two locks one; the quad-hinge's pairs stable and bare third
chaotic) are declared as priors and nothing more. The convention of which end
grid carries which face is, at his word, part of the experiment's progress
from the lockstep and not a pre-condition of it.

## §3 · The first experiment: frames and register

**Three frames, one order.** The objective observer holds the ruler's frame
and both watchmakers' frames and publishes every statement typed by frame.
There is no clock. The only cross-frame fact is the **asking word**: the total
order in which the two watchmakers ask, a word over {1, 2}, with no
simultaneity. A watchmaker's duration is their own pattern in that word; a
constant duration is a periodic word, and the sweep over all words covers it.

**The ruler's frame.** The axis from being at 0 to computing at 2. The plane's
up. The knowing grid's reading corners U (high) and D (low) and its two letter
corners. The blank's corner. The rod's rotation q in quarters, the ruler's
positive sense fixed as clockwise seen from the being end. The gap x, an
integer decided afresh at every asking under a declared policy. The end grids
carry the faces as drawn (being: blank above; computing: blank below) and in
the base case do not walk. The reading corner nearest each end is the tilt:
D nearest the being end, U nearest the computing end.

**A watchmaker's frame.** A side. An own key c ∈ {1, 3}, quarters clockwise as
they see it; the ruler counts the same turn as c from the being end and as
4 − c from the computing end. One eye, and in the later rungs a second eye at
offset d (0 = shut) in units of the grid's half-width. Their frame is built
only by the engine's `frame_of()`: the four places of the square with their
bits and letters, and, when the sliver is readable, the far end grid's blank
place, its letter if letters are readable, and the gap. Nothing of the ruler's
frame passes except through that projection. That discipline is what makes the
observer objective: it can see what each reality contains and prove what it
does not.

**The view map.** A physical corner at rod rotation q appears to the watchmaker
at the being end rotated q quarters clockwise, and to the watchmaker at the
computing end as the left-right mirror of that. So a quarter-turn of the rod
looks clockwise from one end and anticlockwise from the other. Heights are in
the plane's up and are the same for both watchmakers.

## §4 · The acts, in order

1. **Spin.** The original asker's side s1 is set; the second watchmaker holds
   the other end.
2. **Raise.** Both raise blind. The grids stay upright to the plane.
3. **The original asking.** The blank is set at the original asker's near
   corner. It is not a turn. It leaves the gap x0.
4. **The keys, blind.** Both keys are given before either eye opens and add on
   the one rod: q = rk(c1, s1) + rk(c2, s2).
5. **The run.** For each letter of the word, that watchmaker asks: the ruler
   decides the gap under its policy, the blank walks to the other corner, and
   the rod half-turns, because the turn is the asking. Own counts advance.
6. **Open.** Both open one eye (and, in the later rungs, a second at offset d).
   The objective observer records both frames after every event, from the
   opening on.

Two broken forms of the agreement are run as exhibits: the second watchmaker
asks without turning; and the second watchmaker's key is given after the first
has opened.

## §5 · The measures (exact identities, never statistics)

- **Lock.** A view stream is constant.
- **One face.** Both watchmakers' blank heights are equal.
- **The pad.** The height equals the original side (being = low) XOR whether
  the two own counts differ.
- **Secrecy.** Worlds are grouped by everything a watchmaker's frame contains
  (own key, own askings, the view stream, the sliver stream, the letters seen,
  the gaps seen, and any turn seen). A group holding one side only is a leak.
- **Visibility.** A view stream is independent of the other's askings.
- **Agreement (one count).** Each watchmaker observes every asking by the
  other: both frames around the event are readable.

## §6 · The rungs (refutations first; expectations from the hand-work, staked)

| Rung | Claim registered | What refutes it | Expected |
|---|---|---|---|
| A1 The lock under two | Under synthetic agreement both faces are constant for every word, side and key pair. | One word in which a face changes. | Holds. |
| A2 The pad moves | Each locked face's height is the original side XOR whether the two keys differ; both heights are equal; no frame alone fixes a side; the triple (height, c1, c2) fixes the original side. | A case where any of the four fails. | Holds; the pad is the other's key. |
| A3 One eye cannot count two | Each constant view is the same across every word. | Any dependence on the word. | Holds; two is not yet one count. |
| A4 The broken agreements | An asking without a turn flips the other's face exactly at the asker's askings and reveals no side. A key given in view: the height before is the watcher's own count alone, and the height after with the own count and the seen turn fixes the original side. | Either exhibit failing. | Both exhibited. |
| A5 The far face through the sliver | With the sliver readable, the far face flips at every asking by anyone and no frame fixes a side; with letters readable, every frame fixes its side; with the end grids walking, the sliver is constant. | Any part failing. | Holds in the base case. |
| A6 The gap decides | Under the secret-free policies no frame fixes a side; under the policy keyed to the rod's rotation some frame does. | A secret-free policy leaking, or the keyed policy not leaking. | Holds; the frontier is recorded. |

## §7 · The sliver model and the policies

**The sliver.** The far end grid shows past the knowing grid by an amount that
grows with the second eye's offset d beyond the half-width w and shrinks with
twice the gap x; it is readable when that amount reaches the resolution:
readable iff d > 0 and (d − w) · RES ≥ 2 · x. Constants declared: w = 1,
RES = 2, x0 = 1. With these, readable iff d ≥ 2 and d − 1 ≥ x. An asking is
observed by a watchmaker when the frames before and after it are both
readable. Letters of the far grid are unreadable in the base case (being sees
computing only through knowing); the readable case is exhibited as the leak.

**The ruler's policies.** P0 constant, x = x0. P1 growing by one, x = x0 + t.
P2 doubling, x = x0 · 2^t. P3 keyed to the rod's rotation, x = x0 + [q mod 4 ≥
2], the declared leaking instance. t is the number of askings in the run.

## §8 · The sweep and the record

| Dimension | Values swept |
|---|---|
| original side | L, R |
| key pair (c1, c2) | all four of {1, 3}² |
| asking word | every word over {1, 2} of length 1..12 (A1–A4) and 1..8 (A5–A6) |
| ruler policy | P0 (A1–A5); P0..P3 (A6) |
| second eye offset, both eyes equal | 0..8 half-widths (A5–A6) |
| end grids | fixed (base); walking (A5 variant) |
| letters | unreadable (base); readable (A5 variant) |

The record: this design; the registration
`ooi_network/docs/oxexp-ruler-two-watchmakers-registration.md` pinned before the
read; the results `ooi_network/docs/oxexp-ruler-two-watchmakers-results.json`
carrying the registration pin, the engine's code sha at pin and at read, the
read's start and finish, the six verdicts, and the recorded tables; the engine
`ooi_network/daemon/rlx.py`; the runner
`ooi_network/experiments/oxexp-ruler/rlx_runner.py` (dry · pin · read ·
status); the test `ooi_network/tests/test_rlx.py`. The pin record lives in
`ooi_network/state/rlx/` (runtime, never committed); the results file is the
committed carrier of the pin.

## §9 · Defaults adopted at his word, and doors left open

Adopted as defaults ("the defaults are fine to start with"): both watchmakers
on one rod at its two ends; the near-first answer belongs to the original
asker only; both keys given blind before either eye opens; the end grids do
not walk; the far grid's letters are unreadable through the sliver; the sliver
measure with w = 1, RES = 2, x0 = 1; the policy family P0..P3.

Doors left open, on purpose: which end grid carries which face (part of the
experiment's progress, at his word); the second eye's own lockstep and whether
it makes a second watchmaker; a third watchmaker, who has no place on one rod
and so needs a second ruler sharing a grid, which is where "for any integer N"
comes from; the count K.

## §10 · Fences

Nothing here is claimed beyond the model's declared conventions. The sliver
rule is a declared measure, not a physics. The count K is not staked. The
LDD reference's terms are used as the reference gives them and nowhere
extended. A refuted rung is kept with full standing and never re-cut.

## §11 · The record of the readings (2026-09-12)

**Reading 1** (registration pinned 12:47:19, pin d0b302003c9d…; read 12:47:19
to 12:48:04): A1 PASS · A2 REFUTED · A3 PASS · A4 REFUTED · A5 REFUTED · A6
REFUTED. The four refutations share one cause, seen in the record: the frame
contains the places of the corners, and with the ruler's layout fixed as a
constant of the engine the diagonal on which the readings sit names the side
(every frame group single-sided; L sees "\", R sees "/"). The first
registration had declared that diagonal null without making the declaration
operational. The finding is kept with full standing: **a watchmaker who knows
the ruler's layout reads the side from the diagonal, and neither the lockstep
nor the key hides it.** Every other measure of the first read landed as
staked (the lock, the pad formula, the exchange, the flip positions, the
key-in-view table, the sliver's flips, the letters, the walking sliver, the
frontier).

**Reading 2** (the second registration, a supersession: the layout made the
fourth blind choice, the ruler's own handedness never seen from a known side;
pinned 12:54:27, pin 69c0e54c7398…; read 12:54:27 to 12:57:31): A1 PASS · A2
PASS · A3 PASS · A4 PASS · A5 PASS · A6 PASS. In Territory A every one of the
65,520 frame groups holds both sides; the pad formula holds in all sixteen
(side, key pair, layout) cases; the exchange of own counts fixes the original
side; the broken agreements land as exhibits (the untended asking reveals the
asker's pattern and no side; the key in view fixes the watcher's own side
through the height after, the own count and the seen turn); the far face flips
at every asking by anyone and its offset against the locked face names the
original asker; readable letters fix the side in every frame; a walking end
grid shows a constant sliver; under P0, P1, P2 no frame fixes a side and the
gap seen is a function of the asking count alone; under P3 the keyed gap
leaks (16,320 of 20,400 groups single-sided). The frontier, recorded and
staked nowhere: under P0 one count holds for every word once d ≥ 2; under P1
the largest word length is d − 2; under P2 it is 1 at d = 3 or 4 and 2 at
d = 5 to 8; under P3 every word once d ≥ 3.

**What the objective observer learned of the two realities.** Both hold one
face. Its height is the original side combined with whether the two keys
differ, so each watchmaker's side is padded by the other's key. With one eye
each they cannot know they are two. The side is hidden only because the plane
has no handedness: give a watchmaker the ruler's layout and the diagonal
names the side at once. The second eye lets each count the other's askings
through the far end grid without seeing a side, and the ruler's gap decides
whether that sliver is readable. Two watchmakers hold one count exactly when
the ruler keeps its gap within reach of their eyes, and the original secret
survives that count under every secret-free policy.