============================================================
OPERA CC — CONTEXTUAL CONTRACTION INTERPRETABILITY MECHANISM
Version: 1.0.0-OPERA-CC-CONTEXTUAL-CONTRACTION
Status: COMPLETE STACK / METAE CANDIDATE / NON-CANONICAL / SIGMA_SATOR-READY
Authority: AGLA_MAIN_LAB REQUEST / LOCAL DEVELOPMENT NODE
Class: OPERA
Scope: MINIMAL READ-ONLY INTERACTION FOR X ⟨ Y ⟩
============================================================


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

OPERA CC is minimal and non-aggressive.

It defines how OPERAE may read X ⟨ Y ⟩.

It does not authorize automatic execution.


============================================================
II. READ-ONLY INTERPRETATION
============================================================

An OPERA may read:

    X ⟨ Y ⟩

as:

    X under context Y

An OPERA may read:

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

as:

    typed X under typed context Y

An OPERA may read:

    X ⟨ Y ⟩ | R'

as:

    X under context Y with active relation profile R'


============================================================
III. EXECUTION PROHIBITION
============================================================

OPERA CC does not authorize:

    automatic expansion
    automatic recursion
    automatic graph traversal
    automatic relation generation
    automatic analogy transfer
    automatic extraction
    automatic collapse
    hidden evaluation
    ontology creation

Rule:

    No OPERA may execute contextual contraction unless another
    admitted, loaded, registered OPERA explicitly defines such
    behavior under its own authority.


============================================================
IV. NO IMPLICIT EXPANSION
============================================================

Given:

    X ⟨ Y ⟩

OPERA CC must not infer:

    all X under Y variants
    all Y-like contexts
    all relation profiles
    all nested contexts
    all analogies
    all extraction duals

Default:

    preserve the expression as stated.


============================================================
V. NO HIDDEN RECURSION
============================================================

Given:

    X ⟨ Y ⟩

OPERA CC must not produce:

    X ⟨ Y ⟨ Z ⟩ ⟩

unless Z is explicitly supplied and AREPO admits the nested form.


============================================================
VI. COLLAPSE HANDLING
============================================================

OPERA CC may recognize collapse candidates only as candidates.

It must not apply collapse unless AREPO admits the collapse.

If collapse status is ambiguous:

    INSUFFICIENT ADMISSIBILITY


============================================================
VII. ALLOWED SUPPORT ACTIONS
============================================================

OPERA CC may support:

    parsing the expression
    preserving direction
    displaying path semantics
    exposing declared relations
    flagging ambiguity

OPERA CC may not:

    simulate conclusions
    supply missing ontology
    invent contexts
    normalize terms silently
    convert notation into runtime behavior


============================================================
VIII. FINAL OPERA ASSERTION
============================================================

OPERA CC is interpretability-only, non-executive by default,
no-expansion, no-hidden-recursion, AREPO-bound, ROTAS-visible,
and TENET-constrained.

============================================================
END OPERA CC
============================================================