# STACK B — DEPENDENCY AND HANDOFF CONTRACT

Version: `0.1.0-STACK-B-HANDOFFS`  
Status: `CANDIDATE SUPPORT / NON_RUNTIME / NO_AUTHORITY_EFFECT`

## 1. Principle

Stack B compiles admitted state. It does not invoke, reconstruct, or impersonate an upstream OPERA. Every contextual value must arrive as a typed OPERATUM reference or the affected position suspends or rejects according to the table below.

## 2. Provider matrix

| Provider | Stack B field | Required evidence | Carrier law | Missing or invalid evidence |
|---|---|---|---|---|
| Stack A / OPERA A | `A` | operatum ID, source version, original dignity, contraction, domain | contracted `A_X` retains `X` | `UPSTREAM_OPERATUM_MISSING` or `CARRIER_MISALIGNMENT` |
| Stack S/K / OPERA S | `S1`, `S2` | operatum ID, subject identity, species/function, source version | both roles retain one `S/K_X`; roles remain distinct | suspend missing evidence; reject displaced carrier |
| Stack T admitted state | `T` | relation ID, source version, contracted relation if any | `T_X` retains `X` | `UPSTREAM_OPERATUM_MISSING` or rejection |
| Stack E / REGIMEN_RQ | `R` | full declarative bridge record | `R0`, `R1`, `R(Q)`, mixture, and `R_X` preserve `X` | `RQ_ANCESTRY_INCOMPLETE` or rejection |
| TENET I | mixture discipline | trace of principle/rule mixture; no execution claim | cannot change carrier or invent an answer | suspend incomplete trace |
| Stack G / OPERA G | boundary evidence only | heterogeneous chamber and medium trace when externally relevant | must remain `X != Y` | `FIGURA_TERTIA_SCOPE_LEAK` if B is asked to derive it |
| OPERA H behavior | design relation only | ordinal/chamber comparison | no invented `ROTAS_H` provider | design test fails; no provider is created |

## 3. Mode-dependent requirements

### `BOOTSTRAP_INTEGRAL`

The frozen fixture supplies reference `A`, `T`, `R`, `S1`, and `S2` values with declared human provenance. No contextual upstream execution is claimed.

### `CONTRACTIO_CONTEXTUALIS`

Any contextual claim requires the corresponding upstream evidence. Evidence is evaluated position by position; a valid B record may not mask an invalid E record.

### `DIAGNOSTICA_ALIGNMENTIS`

Missing, contradictory, lossy, and displaced evidence is retained as diagnostic state. Stack B does not repair it by generating terms.

## 4. Handoff envelope

```text
provider_id
provider_class
artifact_version
operatum_id
carrier
source_provenance
input_state_reference
output_value
contraction_or_projection
loss_declaration
admission_status
```

For `R`, the specialized ancestry fields in `STACK_B_RQ_DECLARATIVE_BRIDGE.md` are additionally mandatory.

## 5. Monotonicity

Stack B output strength cannot exceed the weakest admitted dependency needed by that proposition. Complete carrier alignment cannot elevate missing evidence into categorical support.

## 6. Boundary

This table documents candidate interfaces. It does not register providers, execute OPERAE, grant Stack B authority over dependencies, or mutate any upstream contract.