# ROTAS B — Four-Wheel SARTS Traversal

Version: `0.1.0-ROTAS-B-CANDIDATE`  
Status: `PROVISIONAL / CANDIDATE / NON_RUNTIME / NO_AUTHORITY_EFFECT`  
Authority: `CANDIDATE ROTAS / M2M-STACK-B-01 ONLY`  
Class: `ROTAS`

## 1. Role

ROTAS B exposes the formal topology admitted by TENET B. It does not generate
sentences, judge evidence, execute traversal, or mediate output.

## 2. Carrier order

```text
POSITION  1 2 3 4 5 6 7 8 9
CARRIER   B C D E F G H I K
```

The order is fixed and deterministic.

## 3. Normative wheel set

```text
W_SK  subject and subject function/species
W_A   absolute principle
W_R   declarative REGIMEN_RQ result
W_T   relative principle
```

All four wheels are fixed and perfectly carrier-aligned in reference mode.

## 4. Visit sequence

```text
V0 ANCHOR
V1 S1 -> W_SK
V2 A  -> W_A
V3 R  -> W_R
V4 T  -> W_T
V5 S2 -> W_SK
```

`V1 != V5`, while `wheel(V1) = wheel(V5) = W_SK`.

## 5. Chamber identity

For position X:

```text
chamber_code(X) = XXXXXX
```

Valid codes are exactly:

```text
BBBBBB CCCCCC DDDDDD EEEEEE FFFFFF GGGGGG HHHHHH IIIIII KKKKKK
```

## 6. Alignment predicate

```text
aligned(record X) iff
  carrier(anchor) = X
  and carrier(S1) = X
  and carrier(A) = X
  and carrier(R) = X
  and carrier(T) = X
  and carrier(S2) = X
```

ROTAS exposes this predicate; AREPO decides whether the aligned record is
epistemically admissible.

## 7. Six-ring projection

An optional six-ring representation may materialize each incidence separately.
It is valid only if it round-trips to the normative four-wheel record with:

- identical carrier order;
- identical S1/S2 values and roles;
- one shared S/K wheel identity in the normative form;
- no new semantic state;
- no altered admission or copula result.

Six-ring materialization is not required for candidate completion.

## 8. Pair-space boundary

The nine diagonal codes are not inserted into ROTAS G. The 36 heterogeneous
pair combinations are not inserted into ROTAS B.

## 9. Structural failures

- `INVALID_CARRIER_ORDER`
- `INVALID_CHAMBER_CODE`
- `MISSING_VISIT`
- `DUPLICATE_VISIT_ID`
- `S_REVISIT_WHEEL_SPLIT`
- `CARRIER_MISALIGNMENT`
- `SIX_RING_ROUNDTRIP_LOSS`
- `FIGURA_TERTIA_DOMAIN_LEAK`

## 10. Closure

Valid ROTAS B topology is finite, deterministic, nine-positioned, four-wheeled,
and explicit about the S revisit. It grants no execution authority.