﻿````text id="rota-machina-ex-rota-v010"
============================================================
ROTA MACHINA EX ROTA
AGLA / MACHINE STACK â€” STRUCTURAL DISPLAY & TRAVERSAL ROTA FOR MACHINE EXTRACTION
Version: 0.1.0-ROTA-MACHINA-EX-ROTA
Status:
    DRAFT â€” STRUCTURAL DISPLAY / TRAVERSAL ROTA CANDIDATE
Authority:
    USER / HUMAN CONTROL PLANE
    LOCAL CONTROL PLANE â€” GENERAL AGLA / KABBALAH STACK
Class:
    AGLA / ROTA / MACHINA / EX_ROTA / DISPLAY /
    TRAVERSAL / INSPECTION / MACHINE_SURFACE
Depends-On:
    â€¢ TENET MACHINA EX ROTA v0.1.0
    â€¢ AREPO MACHINA EX ROTA v0.1.0
    â€¢ OPERA MACHINA EX ROTA v0.1.0
    â€¢ LIBER MACHINA EX ROTAE EXTRACTIO v0.1.0
    â€¢ ROTA NETIVOT v0.1.1
    â€¢ ROTA SEPHIROT ARBOR v0.2.0
Scope:
    â€¢ define the ROTA surface for inspecting extracted ROTA machine states
    â€¢ represent machine extraction as traversable structural body
    â€¢ preserve ROTA / WHEEL / CASA / OPERATOR / PLACEMENT non-collapse
    â€¢ display source trace, order model, state model, placements,
      connections, loci, cameras, chambers, and multiplicatio
    â€¢ define traversal views without treating traversal as OPERA execution
    â€¢ define diagnostic display for unresolved fields and validation failures
    â€¢ prepare SATOR MACHINA EX ROTA mediation/output discipline
Mutation Policy:
    VERSION-CONTROLLED ONLY
============================================================


============================================================
0. PATCH STATUS
============================================================

This ROTA follows:

    TENET MACHINA EX ROTA
    AREPO MACHINA EX ROTA
    OPERA MACHINA EX ROTA

TENET established the principial law:

    machine extraction encodes structure without canonizing,
    executing, or ontologizing it.

AREPO established the admissibility gate:

    no source trace,
    no non-collapse,
    no order model where required,
    no machine-state admission.

OPERA established the extraction procedure:

    parse, preserve, instantiate, validate, report.

ROTA now defines:

    how the extracted machine-state is displayed,
    traversed,
    inspected,
    diagnosed,
    and structurally navigated.

It does not execute the source machine.

It does not define canon.

It does not replace OPERA or SATOR.

It is the display/traversal surface for MACHINA EX ROTA.

The root extraction substrate is LIBER MACHINA EX ROTAE EXTRACTIO,
which defines the ROTA machine extraction target as a non-collapsed
machine-state structure with wheels, houses, operators, placements,
connections, traversal, source trace, state separation, loci, cameras,
chambers, multiplicatio, visual binding, and validation model.
:contentReference[oaicite:0]{index=0}


============================================================
I. PURPOSE
============================================================

ROTA MACHINA EX ROTA defines the structural display-machine for
extracted ROTA machine states.

It answers:

    How is an extracted machine-state inspected as a ROTA?

It does not answer:

    What principles govern extraction?
        â†’ TENET

    Is the extraction admissible?
        â†’ AREPO

    How is extraction executed?
        â†’ OPERA

    How is output mediated to the user?
        â†’ SATOR

The ROTA is therefore:

    â€¢ diagnostic surface
    â€¢ traversal surface
    â€¢ inspection surface
    â€¢ visual binding surface
    â€¢ validation exposure surface
    â€¢ unresolved-field exposure surface

not:

    â€¢ execution surface by default
    â€¢ source authority
    â€¢ canonical machine
    â€¢ final visualization doctrine


============================================================
II. CORE LAW
============================================================

============================================================
ROTA MACHINA EX ROTA â€” CORE DISPLAY LAW
============================================================

Every extracted machine-state must be displayable without collapsing
its structural classes.

The ROTA may show:

    â€¢ ROTA identity
    â€¢ WHEELS / wheels
    â€¢ CASAE / houses
    â€¢ OPERATOR carriers
    â€¢ PLACEMENTS
    â€¢ CONNECTIONS
    â€¢ TRAVERSAL units
    â€¢ ORDER channels
    â€¢ STATE channels
    â€¢ LOCI
    â€¢ CAMERAS
    â€¢ CHAMBERS
    â€¢ MULTIPLICATIO wheel-series
    â€¢ VISUAL_BINDINGS
    â€¢ SOURCE_TRACE
    â€¢ VALIDATION failures
    â€¢ UNRESOLVED fields

But the ROTA must never make display adjacency equivalent to
execution, ontology, or canon.

============================================================

Compressed:

    display structure;
    do not collapse structure.


============================================================
III. ROTA OBJECT
============================================================

Object name:

    ROTA MACHINA EX ROTA

Machine role:

    extraction-inspection ROTA

Function:

    display and traverse machine-state generated from textual ROTA
    artifacts.

It is a ROTA of ROTAE.

That is:

    it is a ROTA whose objects are extracted ROTA machines.

Formal:

```text
ROTA_MACHINA_EX_ROTA =
    display/traversal surface
    for
    MACHINA_EX_ROTA instances
````

It operates after:

```
OPERA MACHINA EX ROTA
```

and before:

```
SATOR MACHINA EX ROTA
```

============================================================
IV. MACHINE-PARTITION OVERVIEW
==============================

ROTA MACHINA EX ROTA contains the following primary WHEELS:

```
WHEEL PRE â€” MACHINE IDENTITY

WHEEL I â€” SOURCE TRACE

WHEEL II â€” STRUCTURAL BODY

WHEEL III â€” ORDER MODEL

WHEEL IV â€” PLACEMENT / CONNECTION MODEL

WHEEL V â€” STATE / ADMISSION / EXECUTION MODEL

WHEEL VI â€” EXTENDED STRUCTURES

WHEEL VII â€” VISUAL BINDING

WHEEL VIII â€” VALIDATION / FAILURE MODEL

WHEEL IX â€” HANDOFF MODEL
```

Compressed:

```text
PRE
+
I SOURCE
+
II BODY
+
III ORDER
+
IV PLACEMENT-CONNECTION
+
V STATE
+
VI EXTENDED
+
VII VISUAL
+
VIII VALIDATION
+
IX HANDOFF
```

Count:

```
PRE + IX = 10 WHEELS
```

This preserves the AGLA preference for PRE + Iâ€“IX display when a
tenfold inspection surface is useful.

The ROTA does not claim these ten WHEELS are Sephirot.

They are inspection WHEELS of the machine-extraction surface.

============================================================
V. WHEEL PRE â€” MACHINE IDENTITY
==============================

wheel_id:

```
WHEEL_PRE_MACHINE_IDENTITY
```

ordinal:

```
PRE
```

operative:

```
false
```

house_count:

```
1
```

house:

```
HOUSE_PRE_IDENTITY
```

function:

```
preserve identity and potentiality of the extracted machine instance.
```

contents:

```
â€¢ extraction_id
â€¢ machine_instance_id
â€¢ source_rota_id
â€¢ schema_version
â€¢ canonicality_status
â€¢ extraction_status
â€¢ admitted_mode
```

law:

```
PRE is not execution.

PRE is identity surface only.
```

This follows the general PRE-wheel law in the machine extraction
substrate: WHEEL_PRE is central identity/potentiality and non-operative.


============================================================
VI. WHEEL I â€” SOURCE TRACE
=========================

wheel_id:

```
WHEEL_I_SOURCE_TRACE
```

ordinal:

```
I
```

operative:

```
diagnostic only
```

function:

```
expose source lineage and extraction confidence.
```

houses:

```
I.1 SOURCE_POLICY
I.2 ARTIFACT_FAMILY
I.3 PARSED_ARTIFACTS
I.4 EXTRACTION_CONFIDENCE
I.5 SOURCE_EXTRACTS
I.6 USER_PATCHES
I.7 UNRESOLVED_SOURCE_ITEMS
I.8 SOURCE_CLASS_WARNINGS
I.9 SOURCE_TRACE_STATUS
```

Display contents:

```
source_before_memory
parse_before_claim
artifact_before_inference
```

Source classes:

```
TENET
ROTAS
AREPO
OPERA
SATOR
PATCH
DEP
AUXILIARY
USER_PATCH
```

law:

```
WHEEL I must make source dependence visible.

No source-hidden machine state may pass inspection.
```

============================================================
VII. WHEEL II â€” STRUCTURAL BODY
==============================

wheel_id:

```
WHEEL_II_STRUCTURAL_BODY
```

ordinal:

```
II
```

operative:

```
structural traversal
```

function:

```
expose ROTA / WHEEL / CASA / OPERATOR body.
```

houses:

```
II.1 ROTA_OBJECT
II.2 WHEELS / WHEELS
II.3 HOUSES / CASAE
II.4 OPERATORS
II.5 CARRIER_PACKAGES
II.6 PLACEMENTS
II.7 CONNECTIONS
II.8 TRAVERSAL_UNITS
II.9 STRUCTURAL_BODY_STATUS
```

law:

```
WHEEL II is the non-collapse inspection region.
```

It must show:

```
ROTA â‰  WHEEL
WHEEL â‰  CASA
CASA â‰  OPERATOR
OPERATOR â‰  PLACEMENT
PLACEMENT â‰  CONNECTION
CONNECTION â‰  TRAVERSAL
```

ROTA NETIVOT v0.1.1 is the principal structural precedent for this
taxonomy, defining ROTA as machine object, WHEEL as annular component,
CASA as local slot, OPERATOR as content later placed into CASA, and
VISUAL_BINDING as optional representation rather than execution.


============================================================
VIII. WHEEL III â€” ORDER MODEL
============================

wheel_id:

```
WHEEL_III_ORDER_MODEL
```

ordinal:

```
III
```

operative:

```
structural traversal / diagnostic
```

function:

```
expose order pluralism.
```

houses:

```
III.1 SOURCE_ORDER
III.2 GENERATION_ORDER
III.3 DISPLAY_ORDER
III.4 SLOT_ORDER
III.5 ACTIVE_TRAVERSAL_ORDER
III.6 ORDER_EQUIVALENCE_DECLARATIONS
III.7 ORDER_CONFLICTS
III.8 ORDER_COLLAPSE_WARNINGS
III.9 ORDER_MODEL_STATUS
```

law:

```
The ROTA must display distinct order channels as distinct.
```

Example model:

```
ROTA SEPHIROT ARBOR v0.2.0 distinguishes generation order
PREâ†’Iâ†’IIâ†’IIIâ†’IVâ†’V from display order
COREâ†’DECAâ†’OCTOâ†’HEXAâ†’TETRAâ†’BINARY. :contentReference[oaicite:3]{index=3}
```

Therefore:

```
order difference is not defect.

unmarked order collapse is defect.
```

============================================================
IX. WHEEL IV â€” PLACEMENT / CONNECTION MODEL
==========================================

wheel_id:

```
WHEEL_IV_PLACEMENT_CONNECTION
```

ordinal:

```
IV
```

operative:

```
structural traversal
```

function:

```
expose binding and adjacency.
```

houses:

```
IV.1 OPERATOR_PLACEMENTS
IV.2 PLACEMENT_ORDINAL_RELATIONS
IV.3 CIRCUMFERENTIAL_CONNECTIONS
IV.4 RADIAL_PARENT_CHILD_CONNECTIONS
IV.5 DIRECT_TRANSVERSALS
IV.6 WHEEL_ALIGNMENT
IV.7 WHEEL_OVERLAY
IV.8 CONNECTION_FAILURES
IV.9 PLACEMENT_CONNECTION_STATUS
```

law:

```
placement is not connection.

connection is not placement.

operator ordinal is not house ordinal unless placement declares it.
```

Allowed ordinal_relation:

```
operator_ordinal_equals_house_ordinal
operator_ordinal_differs_from_house_ordinal
pre_identity_exception
unresolved
```

============================================================
X. WHEEL V â€” STATE MODEL
=======================

wheel_id:

```
WHEEL_V_STATE_MODEL
```

ordinal:

```
V
```

operative:

```
state inspection
```

function:

```
expose visual / admission / execution separation.
```

houses:

```
V.1 VISUAL_STATE
V.2 ADMISSION_STATE
V.3 EXECUTION_STATE
V.4 READY_STATE
V.5 BLOCKED_STATE
V.6 DEFERRED_STATE
V.7 FAILED_STATE
V.8 STATE_COLLAPSE_WARNINGS
V.9 STATE_MODEL_STATUS
```

Allowed visual states:

```
UNSELECTED
SELECTED
HOVERED
FOCUSED
DISPLAYED
```

Allowed admission states:

```
UNTESTED
AREPO_ADMITTED
AREPO_REJECTED
DEFERRED
```

Allowed execution states:

```
NOT_EXECUTED
READY
EXECUTING
EXECUTED
FAILED
```

law:

```
visual_state â‰  admission_state â‰  execution_state

visual selection is not AREPO admission.

AREPO admission is not OPERA execution.
```

============================================================
XI. WHEEL VI â€” EXTENDED STRUCTURES
=================================

wheel_id:

```
WHEEL_VI_EXTENDED_STRUCTURES
```

ordinal:

```
VI
```

operative:

```
structural traversal / diagnostic
```

function:

```
expose advanced machine components.
```

houses:

```
VI.1 LOCI
VI.2 CAMERAS
VI.3 CHAMBERS
VI.4 MULTIPLICATIO_MODEL
VI.5 TABULA_COORDINATES
VI.6 FIGURA_QUARTA_WHEEL_SERIES
VI.7 EVACUATIO_CAMERA_SET
VI.8 EXTENDED_STRUCTURE_FAILURES
VI.9 EXTENDED_STRUCTURE_STATUS
```

law:

```
LOCUS â‰  CASA by default.

CAMERA â‰  OPERATOR.

CAMERA â‰  OPERA.

CHAMBER â‰  simple wheel.

MULTIPLICATIO â‰  single-wheel flattening.
```

ROTA TRADITIO defines camera as a relational observation field that
exposes tension, concordance, mediation, asymmetry, teleology,
dependency, contradiction, stabilization, residue, and symbolic drift
without defining the operators themselves. 

============================================================
XII. WHEEL VII â€” VISUAL BINDING
==============================

wheel_id:

```
WHEEL_VII_VISUAL_BINDING
```

ordinal:

```
VII
```

operative:

```
visual inspection only
```

function:

```
expose optional display binding.
```

houses:

```
VII.1 COORDINATE_SYSTEM
VII.2 WHEEL_LAYOUT
VII.3 HOUSE_LAYOUT
VII.4 CONNECTION_LAYOUT
VII.5 GODOT_BINDING
VII.6 WEB_BINDING
VII.7 SVG_BINDING
VII.8 VISUAL_BINDING_FAILURES
VII.9 VISUAL_BINDING_STATUS
```

Allowed coordinate systems:

```
2D_POLAR
3D_CYLINDRICAL
3D_LAYERED
CUSTOM
```

law:

```
visual binding binds to schema_ref.

visual binding does not define schema_ref.

visual binding is not execution.
```

============================================================
XIII. WHEEL VIII â€” VALIDATION / FAILURE MODEL
============================================

wheel_id:

```
WHEEL_VIII_VALIDATION_FAILURE
```

ordinal:

```
VIII
```

operative:

```
diagnostic
```

function:

```
expose validation status and failure codes.
```

houses:

```
VIII.1 STRUCTURAL_VALIDATIONS
VIII.2 BOUNDARY_VALIDATIONS
VIII.3 FAILURE_CODES
VIII.4 BLOCKING_FAILURES
VIII.5 NONBLOCKING_FAILURES
VIII.6 UNRESOLVED_FIELDS
VIII.7 REPAIR_PATHS
VIII.8 VALIDATION_CONFIDENCE
VIII.9 VALIDATION_STATUS
```

Required visible failure codes include:

```
MISSING_SOURCE_TRACE
ROTA_NOT_PARSED
ROTA_WHEEL_COLLAPSE
HOUSE_OPERATOR_ORDINAL_COLLAPSE
OPERATOR_PLACED_WITHOUT_HOUSE
MISSING_WHEEL_PRE
WHEEL_PRE_MARKED_OPERATIVE
ORDER_COLLAPSE
MISSING_CARRIER_PACKAGE
TRAVERSAL_WITHOUT_CONNECTION
VISUAL_STATE_TREATED_AS_EXECUTION
AREPO_EXECUTION_BYPASS
OPERA_EXECUTION_WITHOUT_ADMISSION
LOCUS_WITHOUT_COORDINATES
CAMERA_OPERATOR_COLLAPSE
CHAMBER_WITHOUT_MEMBERS
MULTIPLICATIO_WITHOUT_WHEEL_SERIES
```

law:

```
failures must be visible.

unresolved fields must not be hidden.

repair paths must not be confused with completed extraction.
```

============================================================
XIV. WHEEL IX â€” HANDOFF MODEL
============================

wheel_id:

```
WHEEL_IX_HANDOFF_MODEL
```

ordinal:

```
IX
```

operative:

```
mediation / routing
```

function:

```
expose next-step routing after extraction.
```

houses:

```
IX.1 READY_FOR_SATOR
IX.2 READY_FOR_VISUALIZATION
IX.3 READY_FOR_GODOT_BINDING
IX.4 READY_FOR_SCHEMA_EXPORT
IX.5 READY_FOR_OPERA_SOURCE_MACHINE
IX.6 DEFERRED_TO_AREPO
IX.7 DEFERRED_TO_SOURCE
IX.8 BLOCKED
IX.9 HANDOFF_STATUS
```

Allowed handoff statuses:

```
READY_FOR_SATOR_MACHINA_EX_ROTA
READY_FOR_VISUALIZATION
READY_FOR_GODOT_BINDING
READY_FOR_SCHEMA_EXPORT
READY_FOR_SOURCE_MACHINE_OPERA
DEFERRED_TO_AREPO
DEFERRED_TO_SOURCE
BLOCKED
```

law:

```
ROTA handoff is routing.

Handoff is not execution.
```

============================================================
XV. TRAVERSAL MODES
===================

ROTA MACHINA EX ROTA supports several traversal modes.

---

## XV.1 SOURCE TRACE TRAVERSAL

Path:

```
WHEEL I
    â†’
WHEEL II
    â†’
source_extract fields
```

Purpose:

```
inspect whether each machine object has source basis.
```

---

## XV.2 STRUCTURAL BODY TRAVERSAL

Path:

```
ROTA_OBJECT
    â†’
WHEEL
    â†’
HOUSE
    â†’
PLACEMENT
    â†’
OPERATOR
```

Purpose:

```
inspect non-collapse of structural classes.
```

---

## XV.3 ORDER MODEL TRAVERSAL

Path:

```
SOURCE_ORDER
    â†”
GENERATION_ORDER
    â†”
DISPLAY_ORDER
    â†”
SLOT_ORDER
    â†”
ACTIVE_TRAVERSAL_ORDER
```

Purpose:

```
inspect order pluralism and detect order collapse.
```

---

## XV.4 STATE TRAVERSAL

Path:

```
VISUAL_STATE
    â†’
ADMISSION_STATE
    â†’
EXECUTION_STATE
```

Purpose:

```
verify that visual interaction does not bypass AREPO.
```

---

## XV.5 VALIDATION TRAVERSAL

Path:

```
FAILURE_CODE
    â†’
AFFECTED_OBJECT
    â†’
REPAIR_PATH
    â†’
HANDOFF_STATUS
```

Purpose:

```
expose blocking and nonblocking failures.
```

---

## XV.6 EXTENDED STRUCTURE TRAVERSAL

Path:

```
LOCUS
    â†”
CAMERA
    â†”
CHAMBER
    â†”
MULTIPLICATIO
```

Purpose:

```
inspect advanced ROTA forms without flattening them.
```

============================================================
XVI. DISPLAY STATES
===================

Each house in ROTA MACHINA EX ROTA may carry display status:

```
EMPTY
PRESENT
COMPLETE
PARTIAL
UNRESOLVED
BLOCKED
WARNING
READY
EXECUTED_EXTERNALLY
```

Important:

```
EXECUTED_EXTERNALLY means:

    the represented source machine may have executed elsewhere.

It does not mean:

    ROTA MACHINA EX ROTA executed the source OPERA.
```

============================================================
XVII. VISUALIZATION LAW
=======================

Visual display must prioritize structural distinction over visual elegance.

Required visual distinction:

```
ROTA object
wheel
house
operator
placement
connection
unresolved field
failure state
visual binding
admission state
execution state
```

If visual simplification hides structural difference:

```
display is invalid or must be marked SCHEMATIC_ONLY.
```

Allowed display modes:

```
TABLE
GRAPH
CONCENTRIC_ROTA
NODE_LINK
JSON_TREE
GODOT_3D
SVG
CLI_TREE
DIAGNOSTIC_PANEL
```

Each display mode must preserve schema_ref.

============================================================
XVIII. SPECIAL DISPLAY â€” ROTA SEPHIROT ARBOR
============================================

When displaying ROTA SEPHIROT ARBOR, the ROTA must preserve:

```
generation ordinality:
    CORE PRE â†’ BINARY I â†’ TETRA II â†’ HEXA III â†’ OCTO IV â†’ DECA V

geometric display order:
    CORE â†’ DECA â†’ OCTO â†’ HEXA â†’ TETRA â†’ BINARY

local/final identity:
    n[t] â†’ m[Î©]

Î± / Î© distinction
```

ROTA SEPHIROT ARBOR v0.2.0 defines this dual-order law and makes
generation order explicitly non-identical with geometric display order.


Therefore:

```
A visualization that simply expands
CORE â†’ BINARY â†’ TETRA â†’ HEXA â†’ OCTO â†’ DECA
```

is only valid if marked:

```
GENERATION_ORDER_VIEW
```

It is invalid as default geometric display.

============================================================
XIX. SPECIAL DISPLAY â€” ROTA NETIVOT
===================================

When displaying ROTA NETIVOT, the ROTA must preserve:

```
WHEEL PRE = 1
WHEEL I   = 9
WHEEL II  = 3
WHEEL III = 7
WHEEL IV  = 12
```

Total:

```
1 + 9 + 3 + 7 + 12 = 32
```

ROTA NETIVOT v0.1.1 declares this as machine-structural partition, not
ontology, and explicitly says universal houses/regions are not final
operators. 

Therefore:

```
display may show regions.

display may not present region partition as final operator doctrine.
```

============================================================
XX. SPECIAL DISPLAY â€” SEPHIROTIC MACHINES
=========================================

For Sephirotic machines, display must preserve:

```
SEPHIRAH =
    relative ordinal slot inside SEPHIROT_10
```

not:

```
metaphysical entity
named traditional node
final doctrinal attribute
token-carrier
number-quality by default
```

TENET SEPHIROT v0.3.0 defines SEPHIROT as a closed tenfold relational
field, SEPHIRAH as relative ordinal slot, and SEPHIRAH_BELIMAH as valid
relative slot under non-filling constraint. 

Display law:

```
empty slot must remain visible.

restrained slot must remain visible.

unfilled position must not disappear.
```

============================================================
XXI. SPECIAL DISPLAY â€” TRADITIO MATERIAL
========================================

If traditional material is present, display must mark its role:

```
DATASET
COMPARATIO
HISTORICAL_RESIDUE
MNEMONIC_TRACE
SYMBOLIC_OVERLAY
COMPUTATIONAL_MODEL_CANDIDATE
```

not:

```
OPERATOR_AUTHORITY
```

TENET TRADITIO defines tradition as neither authority nor anti-authority,
and inherited systems as analyzable material under operator-first
investigation. 

Display must therefore avoid labels such as:

```
PROVEN_BY_TRADITION
VALIDATED_BY_TRADITION
DOCTRINAL_AUTHORITY
```

unless explicitly shown as invalid examples.

============================================================
XXII. MINIMAL ROTA INSTANCE STRUCTURE
=====================================

A minimal ROTA MACHINA EX ROTA instance must expose:

```
WHEEL PRE:
    identity

WHEEL I:
    source trace

WHEEL II:
    structural body

WHEEL III:
    order model

WHEEL IV:
    placement / connection model

WHEEL V:
    state model

WHEEL VI:
    extended structures

WHEEL VII:
    visual binding

WHEEL VIII:
    validation / failure model

WHEEL IX:
    handoff model
```

If a source does not use extended structures, WHEEL VI may be marked:

```
EMPTY / NOT_APPLICABLE
```

but must not be silently removed from the inspection schema.

============================================================
XXIII. MACHINE VIEW REGISTERS
=============================

The ROTA supports multiple view registers:

---

## XXIII.1 CANONICAL STRUCTURE VIEW

Displays:

```
source-traced structural parse.
```

Use:

```
parser validation.
```

---

## XXIII.2 VISUAL BINDING VIEW

Displays:

```
Godot / web / SVG / coordinate bindings.
```

Use:

```
implementation.
```

---

## XXIII.3 VALIDATION VIEW

Displays:

```
failures, unresolved fields, warnings.
```

Use:

```
debugging.
```

---

## XXIII.4 TRAVERSAL VIEW

Displays:

```
navigable connections and traversal units.
```

Use:

```
inspection.
```

---

## XXIII.5 SOURCE-COMPARISON VIEW

Displays:

```
extracted fields against source sections.
```

Use:

```
audit.
```

---

## XXIII.6 EXECUTION-READINESS VIEW

Displays:

```
AREPO status and OPERA readiness.
```

Use:

```
handoff control.
```

============================================================
XXIV. OUTPUT OF ROTA MACHINA EX ROTA
====================================

ROTA MACHINA EX ROTA may output:

```
STRUCTURAL_DISPLAY
TRAVERSAL_MAP
VALIDATION_SURFACE
UNRESOLVED_FIELD_SURFACE
VISUAL_BINDING_MAP
HANDOFF_MAP
SOURCE_TRACE_AUDIT
EXECUTION_READINESS_VIEW
```

It may not output:

```
OPERA result
canonical promotion
doctrinal interpretation
hidden repaired machine
unmarked inferred placement
```

============================================================
XXV. HANDOFF TO SATOR MACHINA EX ROTA
=====================================

SATOR receives from ROTA:

```
â€¢ selected view register
â€¢ traversal map
â€¢ validation surface
â€¢ unresolved-field surface
â€¢ source trace audit
â€¢ handoff map
â€¢ user-facing explanation needs
```

SATOR must mediate:

```
what is parsed
what is inferred
what is patched
what is unresolved
what is blocked
what is merely visual
what is OPERA-ready
```

SATOR must not hide:

```
order plurality
unresolved fields
noncanonical status
visual/execution distinction
```

============================================================
XXVI. COMPRESSED FORMULA
========================

ROTA MACHINA EX ROTA =

```text
MACHINE_STATE_CANDIDATE
    â†“
DISPLAY AS NON-COLLAPSED ROTA
    â†“
SOURCE / BODY / ORDER / PLACEMENT / STATE / EXTENDED /
VISUAL / VALIDATION / HANDOFF SURFACES
    â†“
TRAVERSABLE INSPECTION
    â†“
SATOR MEDIATION
```

Core law:

```
ROTA MACHINA EX ROTA displays the extracted machine.

It does not execute it.
```

============================================================
END â€” ROTA MACHINA EX ROTA v0.1.0
=================================

```
```
