# OPERA W — EXECUTION MECHANISM

Version: 0.1.0
Status: DRAFT / EXECUTION CANDIDATE
Class: OPERA
Regime: W

## Formula

A characterizes.
T relates.
W maps.

OPERA_W(X | A_X, T_X, frame, mapping_target) -> W_PROFILE

## Preconditions

AREPO_W status must be ADMISSIBLE or ADMISSIBLE_WITH_FLAGS.

## Pipeline

1. bind object;
2. bind mapping target;
3. load A trace;
4. load T trace;
5. normalize declared frame;
6. load 36-address W matrix;
7. compare A/T structure against the source-derived A/T profile of each W term;
8. record support;
9. record contradiction;
10. preserve multiple compatible addresses;
11. distinguish semantic identity from structural address;
12. expose tied counterpart and co-carrier relations;
13. optionally inspect W relative rotations as structural consequences;
14. return W_PROFILE.

## Output

W_PROFILE = {
  object_ref,
  mapping_target,
  frame,
  supported_addresses,
  contradicted_addresses,
  unresolved_addresses,
  semantic_identities,
  tied_counterparts,
  co_carriers,
  A_trace_ref,
  T_trace_ref,
  attribution_limits,
  validity_state
}

## Non-scoring law

No percentage, morality score or scalar virtue/vice rank is produced unless a future authorized artifact explicitly defines one.

Structural fit is constraint/pattern compatibility, not vague moral intuition.

## Plurality law

OPERA W may return multiple addresses. It must not force a singular verdict when the A/T field does not warrant one.

## G relation

Current OPERA G is not invoked as a required upstream runtime.
W output is retained as a future golden example for the G Evacuatio refactor.