# AREPO B — Predicative Admission

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

## 1. Role

AREPO B evaluates whether each of nine positional records may become a
categorical, contracted, suspended, or rejected Stack B output. It does not
execute OPERA B or create missing evidence.

## 2. Required input envelope

- mode: `BOOTSTRAP_INTEGRAL`, `CONTRACTIO_CONTEXTUALIS`, or diagnostic;
- nine ordered carrier records;
- source and version provenance;
- S1, A, R, T, S2 values and carrier bindings;
- S1/S2 visit trace;
- predicative-support declaration;
- requested output profile;
- for contextual R: full RQ ancestry;
- for claimed contextual A or S: upstream OPERATUM references.

## 3. Gates

### G1 — position and topology

Require nine positions in B–K order, valid chamber codes, four wheel IDs, and
an explicit S revisit.

### G2 — source

Every term must trace to the frozen fixture, an admitted project source, an
admitted conversation state, or an admitted upstream OPERATUM.

### G3 — carrier alignment

Every categorical candidate must satisfy TENET B perfect alignment. Any carrier
displacement is `REJECTED_CARRIER_MISALIGNMENT`.

### G4 — RQ ancestry

In contextual mode require:

```text
Q, R0, R1, R(Q), mixture_trace, declarative_projection
```

All carrier fields must equal the record carrier. A raw question or lexical
question-word substitution fails.

### G5 — subject/species

Contextual S1/S2 claims require a traceable Stack S/K handoff. S1 and S2 must
remain different roles on one S/K carrier.

### G6 — A and T

Contextual A contraction and T relation must be source-traceable and preserve
the record carrier. AREPO B cannot infer missing upstream results.

### G7 — predicative support

- full support + perfect alignment -> `CATEGORICAL`;
- explicit weaker relation + perfect alignment -> `CONTRACTED`;
- insufficient support + perfect alignment -> `SUSPENDED`;
- any carrier misalignment -> `REJECTED`.

### G8 — prohibited result families

Reject any attempt to derive or insert A×T virtue/vice results as another Stack
B regime. Preserve `A_H = Virtus` as an absolute principle.

### G9 — cross-stack boundary

Reject requests to execute Evacuatio, derive the twelve media of a heterogeneous
chamber, or treat a B diagonal as a 37th ROTAS G chamber.

### G10 — AEGIS isolation

Reject external AEGIS content presented as live execution authority or as a
mutable provider.

## 4. Decision object

Each position receives:

```text
state
gate_results[]
carrier_alignment
copula_admission
predication_strength
failure_codes[]
remediation
```

## 5. No-padding law

AREPO B always returns a decision for each of nine positions. It never creates
a predicate, R term, subject function, or sentence to satisfy cardinality.

## 6. Closure

Admission is valid only when every positive claim is reconstructible. Candidate
admission grants no runtime or canonical authority.