# OPERA W — EXECUTION MECHANISM

Version: 0.2.0

Status: QUALIFIED_CANDIDATE / NON_RUNTIME / NO_AUTHORITY_EFFECT

Authority: NONE — CANDIDATE EXECUTION SPECIFICATION ONLY

Class: OPERA

Regime: W

Official Title: REGIMEN W — HABITUS MORALES / MORAL HABITS

Scope: proposed mapping procedure from admitted A/T traces to a plural W
profile

Supersedes: `../../OPERA_W_ExecutionMechanism.md@0.1.0`; received blob
`d7113f466774e84d4ee96706f3e2e8a88a6cbc00` at intake commit
`65e2df777aed7cbada7041dfc6cbc7007959f68a`; original preserved without mutation

Depends-On: `TENET_W_DoctrinalInvariants_v0.2.0.md`,
`ROTAS_W_StructuralInstantiation_v0.2.0.md`,
`AREPO_W_InputAdmissibility_v0.2.0.md`,
`LIBER_X_W_TERM_MATRIX_v0.2.0.json`, and
`../W_AT_PROFILE_DATASET.json`

Mutation Policy: VERSION-CONTROLLED SUCCESSORS ONLY

Canonical Effect: NONE

Runtime Effect: NONE

## 1. Execution-specification boundary

This file specifies a proposed OPERA W. It is not registered and cannot be
executed from its prose, alias, candidate validator, or Git placement.

```text
A characterizes.
T relates.
W maps.
```

```text
OPERA_W(
  X | A_X, T_X, frame, mapping_target, effective_rota, invocation_epoch
) -> W_PROFILE
```

OPERA W performs only the mapping step. It does not execute OPERA A, OPERA T,
or OPERA S; choose the effective ROTA; decide AREPO admission; rewrite TENET;
or perform SATOR mediation.

## 2. Preconditions

All of the following must be true in the same invocation epoch:

- AREPO W produced an `ADMISSIBLE` or `ADMISSIBLE_WITH_FLAGS` record for the
  exact object, subject, scope, frame, and mapping target;
- the record cites current TENET W evidence;
- the record cites current ROTAS W evidence with provider status and an exact
  effective ROTA or admitted composition;
- A and T traces resolve to exact declared providers and the same object/frame;
- the 36-address matrix and 36-record W-owned A/T profile dataset resolve;
- the human-binding record resolves and agrees with every term/identity/gloss;
- the candidate's non-runtime and unregistered posture remains disclosed.

A prior admission or result is not reusable in a new epoch.

## 3. Proposed pipeline

1. Bind the exact AREPO record and invocation epoch.
2. Confirm object, subject, execution scope, mapping target, and declared frame.
3. Confirm current TENET evidence and preserve its source identity.
4. Confirm current ROTAS evidence and bind the declared effective ROTA without
   altering it.
5. Load the separately admitted A characterization trace.
6. Load the separately admitted T relational trace.
7. Load `LIBER_X_W_TERM_MATRIX_v0.2.0.json` and verify thirty-six unique
   addresses, reciprocal tied counterparts, and reciprocal explicit semantic
   identities.
8. Load `../W_AT_PROFILE_DATASET.json`; preserve each lexical and profile
   evidence class without upgrading it.
9. For each W address, compare the admitted A/T trace with the address's
   declared admissible, expected, contradictory, and prohibited profile
   relations.
10. Record support, contradiction, and unresolved evidence separately.
11. Preserve every compatible address warranted by the input; do not force a
    single output.
12. Expose tied-counterpart, co-carrier, semantic-identity, and optional
    rotational relations as separate typed fields.
13. Apply attribution limits for act, habit, agent-qualified pattern, and
    person non-collapse.
14. Return the resulting `W_PROFILE` to SATOR W without altering its values.

## 4. Output contract

```text
W_PROFILE := {
  invocation_epoch_id,
  object_ref,
  subject_ref,
  execution_scope,
  mapping_target,
  frame,
  effective_rota_ref,
  supported_addresses,
  contradicted_addresses,
  unresolved_addresses,
  semantic_identities,
  tied_counterparts,
  co_carriers,
  rotation_relations_if_requested,
  A_trace_ref,
  T_trace_ref,
  tenet_evidence_ref,
  rotas_evidence_ref,
  admission_record_ref,
  matrix_ref,
  profile_dataset_ref,
  source_class_limits,
  attribution_limits,
  validity_state,
  candidate_runtime_posture
}
```

Support means typed pattern compatibility under the declared frame; it is not
proof of moral truth or a total personal judgment.

## 5. Non-scoring and plurality laws

OPERA W produces no percentage, morality score, scalar virtue/vice rank,
reward signal, or punishment signal. Structural fit is constraint-pattern
compatibility.

Several addresses may remain supported or unresolved. Plurality is preserved
whenever the A/T field does not warrant a unique mapping.

## 6. Source and identity discipline

- direct Latin evidence, translation witness, package/AGU claim,
  reconstruction, human binding, and inference remain distinct evidence
  classes;
- `Iniustitia` does not collapse into the `Iniuria` gloss;
- `Pietas` does not collapse into the `Compassio` gloss;
- `Impietas` does not collapse into the `Incompassio` gloss;
- `Veracitas` does not collapse into principial/source `Veritas`;
- semantic identity across `+VE/-UC`, `+VH/-UG`, or `+VI/-UH` does not collapse
  address, wheel, sign, or term role.

## 7. Cross-stack boundary

S/K may contextualize the subject and moral Instrumentativum. That context is
not a W address and cannot execute W. Current OPERA G is not invoked. Later G
work may compare outputs with W fixtures only through a separate authorized
slice.

## 8. Five-class boundary

OPERA W runs only after TENET, ROTAS, and AREPO have completed their distinct
roles. It neither performs those roles nor performs SATOR's return mediation.

## Closing boundary

The proposed pipeline is complete enough for deterministic candidate testing.
It remains non-runtime, unregistered, non-canonical, and without authority
effect.