# STACK B — REGIMEN RQ DECLARATIVE BRIDGE

Version: `0.1.0-STACK-B-RQ-BRIDGE`  
Status: `EXTERNAL COMPOSABLE BRIDGE SPECIFICATION / CANDIDATE / NON_RUNTIME / NO_AUTHORITY_EFFECT`

## 1. Purpose

The `R` slot is a declarative regula surface. It is neither a raw question nor an answer invented from a question word. In contextual mode, Stack B consumes the result of this bridge; it does not execute the bridge.

## 2. Required ancestry

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

Each stage must preserve a trace to the previous stage. `R_X` must preserve the carrier of `R0` and the declared species of `R1`.

## 3. Candidate record

```text
question_id
question_surface
r0_carrier
r1_rule_species
reductio_operatum_id
rq_result
rq_result_carrier
tenet_i_mixture_trace
subject_condition
declarative_projection
projection_carrier
source_versions
loss_declaration
admission_status
```

The bridge is loss-declaring: nominalization, contraction, ambiguity, omitted alternatives, and domain restriction must be stated rather than hidden.

## 4. Admission rules

| Condition | Result |
|---|---|
| full ancestry, one carrier, admitted projection | pass to the B carrier-alignment gate |
| full ancestry, explicit loss, weaker supported relation | may support `CONTRACTED`; never automatic `SER` |
| missing `R1`, `R(Q)`, mixture, or projection | `RQ_ANCESTRY_INCOMPLETE` |
| raw question or question-word substitution in `R` | `RQ_ANCESTRY_INCOMPLETE` |
| carrier changes at any stage | `CARRIER_MISALIGNMENT` |
| bridge result claimed as sufficient for categorical predication | evaluate all SARTS evidence; do not auto-admit |

## 5. Reference mode

`HUMAN_OPERATUM_REFERENCE_v1` retains the restored declarative surfaces (`possibilidade`, `quididade`, `materialidade`, `causalidade`, `quantidade`, `qualidade`, `momento`, `lugar`, `modo`) with `mode=REFERENCE_FIXTURE`. This does not assert a newly executed RQ ancestry.

## 6. Authority boundary

This specification is an external composable bridge contract. It does not modify Stack E, TENET I, or REGIMEN RQ, and it grants no runtime authority.