<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [Mutation Policy: VERSION-CONTROLLED ONLY](#local-section-04-stack-e-arepo-e-inputadmissibility-mutation-policy-version-controlled-only)
- [I. PURPOSE](#local-section-04-stack-e-arepo-e-inputadmissibility-i-purpose)
- [II. POSITION IN CLASS ORDER](#local-section-04-stack-e-arepo-e-inputadmissibility-ii-position-in-class-order)
- [III. ADMISSIBILITY OBJECTS](#local-section-04-stack-e-arepo-e-inputadmissibility-iii-admissibility-objects)
- [IV. CORE ADMISSIBILITY PRINCIPLE](#local-section-04-stack-e-arepo-e-inputadmissibility-iv-core-admissibility-principle)
- [V. ADMISSIBILITY CONDITIONS](#local-section-04-stack-e-arepo-e-inputadmissibility-v-admissibility-conditions)
- [1. REDUCTIBILITY CONDITION](#local-section-04-stack-e-arepo-e-inputadmissibility-1-reductibility-condition)
- [2. DEFINITION BINDING CONDITION](#local-section-04-stack-e-arepo-e-inputadmissibility-2-definition-binding-condition)
- [3. NON-CONTRADICTION CONDITION](#local-section-04-stack-e-arepo-e-inputadmissibility-3-non-contradiction-condition)
- [4. STRUCTURAL GROUNDING CONDITION](#local-section-04-stack-e-arepo-e-inputadmissibility-4-structural-grounding-condition)
- [VI. CARRIER ADMISSIBILITY (R0)](#local-section-04-stack-e-arepo-e-inputadmissibility-vi-carrier-admissibility-r0)
- [VII. SPECIES ADMISSIBILITY (R1)](#local-section-04-stack-e-arepo-e-inputadmissibility-vii-species-admissibility-r1)
- [VIII. COMBINATORY ADMISSIBILITY (R2)](#local-section-04-stack-e-arepo-e-inputadmissibility-viii-combinatory-admissibility-r2)
- [IX. TRAVERSAL ADMISSIBILITY (R3)](#local-section-04-stack-e-arepo-e-inputadmissibility-ix-traversal-admissibility-r3)
- [X. FAILURE MODES](#local-section-04-stack-e-arepo-e-inputadmissibility-x-failure-modes)
- [XI. ADMISSIBILITY OUTPUT](#local-section-04-stack-e-arepo-e-inputadmissibility-xi-admissibility-output)
- [XII. RELATION TO OPERA Q](#local-section-04-stack-e-arepo-e-inputadmissibility-xii-relation-to-opera-q)
- [XIII. LIMITS](#local-section-04-stack-e-arepo-e-inputadmissibility-xiii-limits)
- [AREPO_E ONLY:](#local-section-04-stack-e-arepo-e-inputadmissibility-arepo-e-only)
- [XIV. CLOSURE](#local-section-04-stack-e-arepo-e-inputadmissibility-xiv-closure)
- [STATUS:](#local-section-04-stack-e-arepo-e-inputadmissibility-status)
<!-- LOCAL_SECTION_INDEX_END -->
---
============================================================
AREPO E — REGIMEN_RQ (ADMISSIBILITY LAYER)
Ars Generalis Applied — Interrogative Execution Authorization
Version: 1.0.1-AREPO-E-PATCHED
Status: LOCK-CANDIDATE
Scope: ADMISSIBILITY / EXECUTION GATE
Authority: AGLA / AREPO
Class: AREPO
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-mutation-policy-version-controlled-only"></a>
Mutation Policy: VERSION-CONTROLLED ONLY
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-i-purpose"></a>
I. PURPOSE
------------------------------------------------------------
Define the admissibility conditions governing execution within:
STACK E — REGIMEN_RQ
------------------------------------------------------------
AREPO_E determines:
• when a question (Q) is admissible
• when a carrier (R0) may be activated
• when species (R1) may be invoked
• when combinatory space (R2) may be accessed
• when traversal (R3) is authorized
------------------------------------------------------------
AREPO_E does NOT:
• define doctrine (TENET)
• define structure (ROTAS)
• execute (OPERA)
• mediate (SATOR)
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-ii-position-in-class-order"></a>
II. POSITION IN CLASS ORDER
============================================================
TENET → ROTAS → AREPO → OPERA → SATOR
------------------------------------------------------------
AREPO_E operates:
AFTER structural binding
BEFORE execution
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-iii-admissibility-objects"></a>
III. ADMISSIBILITY OBJECTS
============================================================
AREPO_E evaluates admissibility for:
------------------------------------------------------------
1. Question Input (Q)
raw interrogative expression
------------------------------------------------------------
2. Carrier Activation (R0)
mapping Q → {B–K2}
------------------------------------------------------------
3. Species Invocation (R1)
selection of rule-specific species
------------------------------------------------------------
4. Combinatory Access (R2)
activation of pair cameras
------------------------------------------------------------
5. Traversal Authorization (R3)
permission to traverse structure
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-iv-core-admissibility-principle"></a>
IV. CORE ADMISSIBILITY PRINCIPLE
============================================================
A query is admissible iff:
Q_admissible ⇔
reducible_to_carrier(Q)
∧ definition_bound(Q)
∧ non-contradictory(Q)
∧ structurally_grounded(Q)
------------------------------------------------------------
All four conditions are mandatory.
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-v-admissibility-conditions"></a>
V. ADMISSIBILITY CONDITIONS
============================================================
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-1-reductibility-condition"></a>
1. REDUCTIBILITY CONDITION
------------------------------------------------------------
Q must be reducible to at least one carrier:
∃ n ∈ R0 such that:
Q → n
------------------------------------------------------------
Failure:
→ reject execution
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-2-definition-binding-condition"></a>
2. DEFINITION BINDING CONDITION
------------------------------------------------------------
Q must be expressible in terms of:
TENET E definitions
TENET R species
------------------------------------------------------------
Constraint:
no unbound external semantics
all external terms must be:
• mapped via CAPUT / AEGIS
• definition-bound before admissibility
------------------------------------------------------------
Failure:
→ block species invocation
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-3-non-contradiction-condition"></a>
3. NON-CONTRADICTION CONDITION
------------------------------------------------------------
Q must not contain:
mutually exclusive predicates
incompatible species bindings
------------------------------------------------------------
Applies to:
R1 (species)
R2 (combinations)
------------------------------------------------------------
Failure:
→ reject traversal
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-4-structural-grounding-condition"></a>
4. STRUCTURAL GROUNDING CONDITION
------------------------------------------------------------
Q must map onto ROTAS_E:
R0 → R1 → (optional R2) → R3
------------------------------------------------------------
Constraint:
no floating species
no direct R1 → R1 transitions
no bypass of carrier layer
------------------------------------------------------------
Failure:
→ reject execution
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-vi-carrier-admissibility-r0"></a>
VI. CARRIER ADMISSIBILITY (R0)
============================================================
A carrier n is admissible iff:
Q reduces to n
AND
n participates in valid ROTAS position
------------------------------------------------------------
Multiple carriers:
allowed
Constraint:
must remain distinguishable
(no implicit collapse)
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-vii-species-admissibility-r1"></a>
VII. SPECIES ADMISSIBILITY (R1)
============================================================
A species s is admissible iff:
s ∈ R1(n)
AND
s is definition-compatible with Q
------------------------------------------------------------
Constraint:
Cross-carrier species interaction is allowed only when:
• explicitly mediated through R2 (combinatory binding)
• traceable to carrier pair (nᵢ, nⱼ)
Unmediated cross-carrier species interaction is forbidden.
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-viii-combinatory-admissibility-r2"></a>
VIII. COMBINATORY ADMISSIBILITY (R2)
============================================================
A pair (nᵢ, nⱼ) is admissible iff:
both carriers are individually admissible
AND
combination does not violate:
• non-contradiction
• definition binding
------------------------------------------------------------
Constraint:
symmetry allowed structurally
directionality determined by OPERA
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-ix-traversal-admissibility-r3"></a>
IX. TRAVERSAL ADMISSIBILITY (R3)
============================================================
A traversal path P is admissible iff:
all nodes in P are admissible
AND
transitions respect:
• carrier anchoring
• species constraints
• combinatory validity
------------------------------------------------------------
Invalid paths:
✗ species-only chains
✗ carrier skipping
✗ undefined transitions
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-x-failure-modes"></a>
X. FAILURE MODES
============================================================
AREPO_E defines four rejection modes:
------------------------------------------------------------
1. NON-REDUCIBLE
Q cannot map to any carrier
------------------------------------------------------------
2. UNBOUND
Q contains unbound semantics
------------------------------------------------------------
3. CONTRADICTORY
incompatible predicates or species
------------------------------------------------------------
4. STRUCTURALLY INVALID
violates ROTAS_E constraints
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-xi-admissibility-output"></a>
XI. ADMISSIBILITY OUTPUT
============================================================
AREPO_E produces:
admissible / non-admissible decision
------------------------------------------------------------
Optional output:
admissibility trace:
Q → carrier(s) → species → structure
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-xii-relation-to-opera-q"></a>
XII. RELATION TO OPERA Q
============================================================
AREPO_E does not execute.
------------------------------------------------------------
AREPO_E provides:
authorization boundary
------------------------------------------------------------
OPERA Q executes only if:
admissibility = TRUE
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-xiii-limits"></a>
XIII. LIMITS
============================================================
AREPO_E does NOT:
• determine truth
• rank alternatives
• perform synthesis
• resolve ambiguity
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-arepo-e-only"></a>
AREPO_E ONLY:
permits or blocks execution
============================================================
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-xiv-closure"></a>
XIV. CLOSURE
============================================================
AREPO_E establishes:
the admissibility layer required to:
• safely activate ROTAS_E
• lawfully invoke OPERA Q
------------------------------------------------------------
With this artifact:
✓ execution becomes gated
✓ invalid queries are blocked
✓ structure is preserved during execution
------------------------------------------------------------
<a id="local-section-04-stack-e-arepo-e-inputadmissibility-status"></a>
STATUS:
FUNCTIONALLY COMPLETE
LOCK-CANDIDATE
============================================================
END OF ARTIFACT
============================================================