# ROTAS W — STRUCTURAL INSTANTIATION

Version: 0.1.1
Status: STRUCTURAL CANDIDATE / TENET-W-BOUND
Class: ROTAS
Regime: W
Depends-On: TENET_W_DoctrinalInvariants_v0.1.0.md

## I. Core structure

Carrier domain:
B C D E F G H I K

Four wheels:
+V, -V, +U, -U

Two rigidly tied pairs:
PAIR_V = {+V,-V}
PAIR_U = {+U,-U}

Internal law:
rotation(+V) = rotation(-V)
rotation(+U) = rotation(-U)

Relative state:
Δ = rotation(U) - rotation(V) mod 9
Δ ∈ Z9

## II. Address grammar

W = V & U
V = +V & -V
U = +U & -U

Wx = Vx & Ux
Vx = +Vx & -Vx
Ux = +Ux & -Ux

## III. Camera

C(i,Δ) = { +V[i], -V[i], +U[i+Δ], -U[i+Δ] }

Zero state:
C(i,0) = { +V[i], -V[i], +U[i], -U[i] }

## IV. Relation types

TIED_COUNTERPART
CO_CARRIER
ROTATIONAL_ALIGNMENT
IDENTICAL_TERM_CROSS_ADDRESS
SOURCE_EXPLICIT_RELATION

These relation types are non-interchangeable.

## V. Non-collapse

CARRIER ≠ TERM
ADDRESS ≠ TERM_IDENTITY
CO_CARRIER ≠ CONTRARY
TIED_RELATION ≠ ROTATIONAL_ALIGNMENT
ROTATIONAL_ALIGNMENT ≠ SEMANTIC_IDENTITY
SIGN(+/-) ≠ MORAL_VALENCE
ROTA ≠ WHEEL
HOUSE ≠ OPERATOR
PLACEMENT ≠ CONNECTION

## VI. Geometry

Nine equal loci.
Angular step: 40°.
Suggested display anchor: B at 90°, clockwise carrier order B C D E F G H I K.

Display geometry does not itself execute OPERA W.

## VII. Source status

Term placements are defined by `LIBER_X_W_TERM_MATRIX_v0.1.0.json`.
Any unresolved lexical choice is delegated exclusively to `W_UNSOLVED_FOR_HUMAN_DECISION.md`.