============================================================
ROTAS CC — CONTEXTUAL CONTRACTION STRUCTURAL EXPOSURE
Version: 1.0.0-ROTAS-CC-CONTEXTUAL-CONTRACTION
Status: COMPLETE STACK / METAE CANDIDATE / NON-CANONICAL / SIGMA_SATOR-READY
Authority: AGLA_MAIN_LAB REQUEST / LOCAL DEVELOPMENT NODE
Class: ROTAS
Scope: STRUCTURAL INSTANTIATION FOR X ⟨ Y ⟩
============================================================


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

ROTAS CC exposes contextual contraction structurally.

It defines:

    notation
    direction
    nesting
    path semantics
    relational profile display
    graph compatibility
    stack propagation display

It does not execute or expand contraction.


============================================================
II. NOTATION STANDARD
============================================================

BASE:

    X ⟨ Y ⟩

TYPED:

    X^{τ_X} ⟨ Y^{τ_Y} ⟩

NESTED:

    X ⟨ Y ⟨ Z ⟩ ⟩

PARENTHESIZED:

    (X ⟨ Y ⟩) ⟨ Z ⟩

RELATIONAL PROFILE:

    X ⟨ Y ⟩ | R'

EXTRACTION DUAL:

    X ⟩ Y ⟨

ANALOGY:

    X ⟨ Y ⟩ ~ X ⟨ Z ⟩


============================================================
III. STRUCTURAL ROLES
============================================================

In:

    X ⟨ Y ⟩

ROTAS exposes:

    X = contracted item
    Y = context field
    ⟨ ⟩ = contextual contraction boundary

Direction:

    Y → X


============================================================
IV. PATH SEMANTICS
============================================================

For:

    X ⟨ Y ⟨ Z ⟩ ⟩

ROTAS exposes:

    Z → Y → X

Display:

    [Z]
      |
      v
    [Y]
      |
      v
    [X]

Rule:

    nesting order is structural and must be preserved.


============================================================
V. NON-FLATTENING DISPLAY
============================================================

ROTAS must distinguish:

    X ⟨ Y ⟨ Z ⟩ ⟩
    X ⟨ Y, Z ⟩
    (X ⟨ Y ⟩) ⟨ Z ⟩

No display may silently normalize these forms.


============================================================
VI. RELATIONAL PROFILE ATTACHMENT
============================================================

FORM:

    X ⟨ Y ⟩ | R'

DISPLAY:

    X:
        contracted item

    Y:
        context field

    R':
        active local relation profile

Example:

    Justice⟨War⟩ | {tension, constraint, scale}


============================================================
VII. GRAPH COMPATIBILITY
============================================================

Node classes:

    TERM_NODE
    CONTEXT_NODE
    CONTRACTION_NODE
    RELATION_PROFILE_NODE

Edges:

    CONTEXT_OF:
        Y → X

    CONTRACTS:
        X + Y → X⟨Y⟩

    HAS_PROFILE:
        X⟨Y⟩ → R'

    NESTED_CONTEXT:
        Z → Y → X

Rule:

    graph edges must preserve asymmetry.

Cycles:

    inadmissible unless explicitly marked as reflexive analysis.


============================================================
VIII. STACK PROPAGATION DISPLAY
============================================================

A:

    A-item ⟨ context ⟩
    contraction without breaking unity

T:

    relation ⟨ context ⟩
    R → R'

S:

    X ⟨ substrate Y ⟩
    Y as contextual substrate where admitted

Q:

    Question(X) → Question(X ⟨ Y ⟩)

Derived regimes:

    contraction remains an articulation layer only.


============================================================
IX. FINAL ROTAS ASSERTION
============================================================

ROTAS CC exposes contextual contraction as visible, directional,
typed where needed, path-preserving, relation-profile-aware,
graph-compatible, and non-executive.

It must not flatten nesting, infer hidden layers, create
relations, normalize expression order, or convert articulation
into ontology.

============================================================
END ROTAS CC
============================================================