# SATOR B — Nine-Position Predicative Envelope

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

## 1. Role

SATOR B governs the candidate output envelope and presentation profiles. It
does not generate, admit, or transform Stack B content.

## 2. Envelope invariant

Every output contains exactly nine records in order:

```text
B C D E F G H I K
```

Allowed record states:

- `CATEGORICAL`
- `CONTRACTED`
- `SUSPENDED`
- `REJECTED`

Only the first two may contain a rendered proposition.

## 3. Profiles

### MINIMAL

Expose rendered propositions only, while retaining the complete trace object
outside the minimal view. A partial admitted set must disclose its count and
the positions not rendered.

### TEACHING

Expose PRE, each rendered proposition, SARTS decomposition, carrier, chamber
code, and the two S visits.

### TRACE

Expose all nine records with sources, upstream references, RQ ancestry,
alignment, copula decision, strength, failure codes, and loss state.

### DIAGNOSTIC

Expose rejected stronger predications, displaced carriers, missing ancestry,
and remediation without inventing a replacement proposition.

## 4. Reference attribution

Reference outputs must state:

```text
fixture_id: HUMAN_OPERATUM_REFERENCE_v1
author: human maintainer
method: human operation of the Ars
canonical_effect: none
```

Do not attribute the nine propositions to CAPUT, CARCER, LIBER, Ars Brevis
verbatim, or an assistant.

## 5. Copula disclosure

- categorical output records `copula_admission=SER`;
- contracted output names the explicit weaker relation;
- suspended/rejected output records `copula_admission=NONE`.

## 6. Boundary disclosure

When relevant, disclose:

- Stack B diagonal space: 9;
- Figura Tertia heterogeneous space: 36, owned by Stack G;
- virtue/vice results: excluded separate A×T/S-K-species slice;
- AEGIS: external restoration witness, not loaded.

## 7. Trace recoverability

A compressed view is valid only if the full nine-position trace remains
recoverable. Compression may hide detail from the view but cannot erase it.

## 8. Closure

SATOR output is valid only when position, admission state, authorship,
alignment, copula, and failure trace are unambiguous. It grants no runtime or
canonical authority.