# OPERA B — SARTS Predicative Compilation

Version: `0.1.0-OPERA-B-CANDIDATE`  
Status: `PROVISIONAL / CANDIDATE / NON_RUNTIME / NO_AUTHORITY_EFFECT`  
Authority: `CANDIDATE OPERA / M2M-STACK-B-01 ONLY`  
Class: `OPERA`

## 1. Non-execution notice

This artifact specifies a candidate transformation. It is not registered and
must not be executed as runtime OPERA B.

## 2. Transformation

```text
admitted nine-position structural state
    -> nine traceable SARTS records
    -> zero to nine rendered propositions
```

The record count is fixed; proposition count depends on admission.

## 3. Modes

### 3.1 BOOTSTRAP_INTEGRAL

Load `HUMAN_OPERATUM_REFERENCE_v1`, verify exact text and decomposition, traverse
all nine positions, and emit nine categorical reference propositions with full
fixture provenance.

### 3.2 CONTRACTIO_CONTEXTUALIS

For each position, consume admitted conversation context and upstream A, T,
RQ, and S/K records. Never invoke or reconstruct an upstream OPERA. Compile only
the supplied admitted state.

### 3.3 DIAGNOSTICA_ALIGNMENTIS

Evaluate corrupted, incomplete, contradictory, or weak states and emit
positional decisions without fabricated propositions.

## 4. Strict pipeline

For each position X in `B,C,D,E,F,G,H,I,K`:

```text
1. resolve anchor X
2. bind S1_X at visit V1 / W_SK
3. bind or contract A_X at V2 / W_A
4. bind declarative R_X at V3 / W_R
5. bind T_X at V4 / W_T
6. revisit W_SK and bind S2_X at V5
7. verify carrier alignment
8. request AREPO B decision
9. choose output state
10. render only if CATEGORICAL or CONTRACTED
11. attach trace and retain position
```

No step may be skipped or reordered.

## 5. R rendering

Reference mode consumes the frozen R values. Contextual mode consumes an
already admitted RQ ancestry record:

```text
Q -> R0 -> R1 -> R(Q) -> mixture -> declarative R_X
```

OPERA B does not answer Q, execute OPERA E, or invent a nominalization.

## 6. Copula selection

```text
AREPO=CATEGORICAL -> copula SER; render categorical sentence
AREPO=CONTRACTED  -> render only declared weaker relation
AREPO=SUSPENDED   -> no sentence
AREPO=REJECTED    -> no sentence
```

Carrier misalignment can never yield `CONTRACTED`.

## 7. Reference grammar

```text
Sobre {S1} se diz que {A} é {R} de {T} {S2}.
```

This grammar is fixture-specific. Contextual rendering may vary only when the
admitted state and output profile trace the variation.

## 8. Non-roles

OPERA B does not:

- execute OPERA A, E, S, T, G, H, or I;
- discover Figura Tertia media;
- derive virtue/vice results;
- repair carrier drift through prose;
- mutate the human fixture;
- import AEGIS;
- register or promote itself.

## 9. Failure states

- `REFERENCE_FIXTURE_DRIFT`
- `INPUT_POSITIONAL_CARDINALITY`
- `CARRIER_MISALIGNMENT`
- `RQ_ANCESTRY_INCOMPLETE`
- `UPSTREAM_OPERATUM_MISSING`
- `PREDICATIVE_SUPPORT_INSUFFICIENT`
- `CONTRACTION_UNSUPPORTED`
- `V_RESULT_SCOPE_LEAK`
- `FIGURA_TERTIA_SCOPE_LEAK`
- `AEGIS_AUTHORITY_LEAK`

## 10. Closure

The transformation is closed when all nine positions have decisions, all
rendered propositions have reconstructible support, and no suspended/rejected
position has fabricated language.