# TENET B — Polysemous Predicative Bootstrap

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

## 1. Identity

TENET B defines the semantic invariants of a nine-carrier predicative bootstrap
over:

```text
Σ = {B,C,D,E,F,G,H,I,K}
```

It does not execute OPERA B, admit inputs, expose traversal, or mediate output.

## 2. Direct-regime law

Stack B directly binds four semantic regimes:

```text
A    absolute principle
T    relative principle
RQ/R admitted declarative rule result
S/K  subject and subject function/species
```

Specific virtues and vices are not a fifth B regime. They are A×T-derived
results typed as S/K species and belong to another stack slice.

`A_H = Virtus` is an absolute principle. It is not a particular derived moral
virtue.

## 3. SARTS law

For each `X ∈ Σ`:

```text
Φ(X) = (S1_X, A_X, R_X, T_X, S2_X)
```

- `S1_X` names the subject.
- `A_X` supplies the absolute dignity or admitted contraction.
- `R_X` supplies a declarative, source-traced `REGIMEN_RQ` result.
- `T_X` supplies the relative principle.
- `S2_X` supplies the function/species of the subject.

The repeated S is a semantic revisit. S1 and S2 are different roles resolved
through one S/K wheel and one carrier.

## 4. Incidence law

```text
CHAMBER(X) = X_anchor · X_S1 · X_A · X_R · X_T · X_S2
```

The six incidences do not imply six physical wheels and do not encode the six
historical alphabet meanings. The normative semantic wheel set is
`{W_SK,W_A,W_R,W_T}`.

## 5. Human-OPERATUM law

`HUMAN_OPERATUM_REFERENCE_v1` is a frozen development fixture authored by the
maintainer while operating the Ars. Its text, authorship, operative method,
carrier order, SARTS decomposition, and declared exclusions must remain
recoverable.

The fixture is not a quotation, assistant synthesis, canonical artifact, or
runtime output.

## 6. Perfect-alignment law

For categorical predication at carrier X:

```text
carrier(S1) = carrier(A) = carrier(R) = carrier(T) = carrier(S2) = X
```

Alignment is necessary but not sufficient. Every role, source, relation, and
predicative strength must also be epistemically admitted.

## 7. Diagonal-medium law

For two admitted regime meanings sharing the same carrier X and participating
in a lawful predicative rendering:

```text
medium(X@r_i, X@r_j) = SER
```

Portuguese `é` is the reference surface of the copular operator `SER`.

This law governs the nine diagonal chambers only. It must not replace medium
discovery in a heterogeneous Figura Tertia chamber.

## 8. Predication-strength law

```text
OUTPUT_STRENGTH <= ADMITTED_PREDICATIVE_SUPPORT
CATEGORICAL_SER => PERFECT_ALIGNMENT and FULL_ADMISSION
```

- Carrier misalignment always rejects categorical SER.
- Perfect alignment with an explicitly admitted weaker relation may contract.
- Perfect alignment without adequate support suspends.
- Hedging never repairs carrier misalignment.

## 9. RQ ancestry law

Contextual `R_X` requires:

```text
Q -> R0 carrier -> R1 rule species -> R(Q)
  -> TENET I-governed principle/rule mixture
  -> declarative R_X
```

The question is not its answer. A question label is not a declarative regula.
An `R(Q)` result does not by itself authorize categorical SER.

Reference mode may use the frozen human R terms with fixture provenance.

## 10. Pair-space law

```text
DIAGONAL_B      = {(X,X) | X ∈ Σ}                  # 9
FIGURA_TERTIA  = {{X,Y} | X,Y ∈ Σ and X != Y}     # 36
```

Stack B owns neither Figura Tertia nor Evacuatio. Stack G retains the 36
heterogeneous chambers and their statement/media/question closure.

## 11. Positional-output law

Every Stack B output envelope preserves exactly nine ordered records. Only
admitted records become propositions. Suspended and rejected records preserve
position and trace but have no fabricated sentence.

## 12. AEGIS isolation law

External AEGIS CARCER material is a read-only restoration witness. It cannot be
copied, registered, executed, patched, normalized, or treated as a provider.

## 13. Closure

A TENET B candidate is valid only while all distinctions above remain explicit.
This artifact grants no runtime or canonical authority.