<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [Class: AREPO](#local-section-03-stack-t-arepo-t-inputadmissibility-class-arepo)
- [PURPOSE](#local-section-03-stack-t-arepo-t-inputadmissibility-purpose)
- [CORE ASSERTION](#local-section-03-stack-t-arepo-t-inputadmissibility-core-assertion)
- [I. PRINCIPLE](#local-section-03-stack-t-arepo-t-inputadmissibility-i-principle)
- [CONTROL-PLANE POSITION](#local-section-03-stack-t-arepo-t-inputadmissibility-control-plane-position)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation)
- [TENET T:](#local-section-03-stack-t-arepo-t-inputadmissibility-tenet-t)
- [ROTA T:](#local-section-03-stack-t-arepo-t-inputadmissibility-rota-t)
- [AREPO T:](#local-section-03-stack-t-arepo-t-inputadmissibility-arepo-t)
- [II. BINDING REQUIREMENTS](#local-section-03-stack-t-arepo-t-inputadmissibility-ii-binding-requirements)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-2)
- [CONSTRAINT](#local-section-03-stack-t-arepo-t-inputadmissibility-constraint)
- [III. CARRIER RESOLUTION LAW](#local-section-03-stack-t-arepo-t-inputadmissibility-iii-carrier-resolution-law)
- [PRIMARY RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-primary-rule)
- [VALID CARRIER UNIT](#local-section-03-stack-t-arepo-t-inputadmissibility-valid-carrier-unit)
- [RESOLUTION PRIORITY](#local-section-03-stack-t-arepo-t-inputadmissibility-resolution-priority)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-3)
- [CONSTRAINT](#local-section-03-stack-t-arepo-t-inputadmissibility-constraint-2)
- [IV. ORDER RESOLUTION](#local-section-03-stack-t-arepo-t-inputadmissibility-iv-order-resolution)
- [RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-rule)
- [DEFAULT](#local-section-03-stack-t-arepo-t-inputadmissibility-default)
- [FAILURE](#local-section-03-stack-t-arepo-t-inputadmissibility-failure)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-4)
- [V. STRUCTURAL ADMISSIBILITY (ROTAS)](#local-section-03-stack-t-arepo-t-inputadmissibility-v-structural-admissibility-rotas)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-5)
- [FAILURE](#local-section-03-stack-t-arepo-t-inputadmissibility-failure-2)
- [RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-rule-2)
- [VI. GENUS ADMISSIBILITY](#local-section-03-stack-t-arepo-t-inputadmissibility-vi-genus-admissibility)
- [RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-rule-3)
- [VALID STATE](#local-section-03-stack-t-arepo-t-inputadmissibility-valid-state)
- [GENUS CONSISTENCY](#local-section-03-stack-t-arepo-t-inputadmissibility-genus-consistency)
- [TRANSITION CONTROL](#local-section-03-stack-t-arepo-t-inputadmissibility-transition-control)
- [FAILURE RESPONSE](#local-section-03-stack-t-arepo-t-inputadmissibility-failure-response)
- [VII. REQUEST VALIDITY](#local-section-03-stack-t-arepo-t-inputadmissibility-vii-request-validity)
- [INVALID REQUEST TYPES](#local-section-03-stack-t-arepo-t-inputadmissibility-invalid-request-types)
- [RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-rule-4)
- [VIII. NON-ONTOLOGY ENFORCEMENT](#local-section-03-stack-t-arepo-t-inputadmissibility-viii-non-ontology-enforcement)
- [BLOCK IF](#local-section-03-stack-t-arepo-t-inputadmissibility-block-if)
- [INTERPRETATION](#local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-6)
- [IX. FAILURE TYPES](#local-section-03-stack-t-arepo-t-inputadmissibility-ix-failure-types)
- [STRUCTURAL FAILURES](#local-section-03-stack-t-arepo-t-inputadmissibility-structural-failures)
- [CARRIER FAILURES](#local-section-03-stack-t-arepo-t-inputadmissibility-carrier-failures)
- [GENUS FAILURES](#local-section-03-stack-t-arepo-t-inputadmissibility-genus-failures)
- [GOVERNANCE FAILURES](#local-section-03-stack-t-arepo-t-inputadmissibility-governance-failures)
- [X. RELATION TO OTHER CLASSES](#local-section-03-stack-t-arepo-t-inputadmissibility-x-relation-to-other-classes)
- [TENET T](#local-section-03-stack-t-arepo-t-inputadmissibility-tenet-t-2)
- [ROTA T](#local-section-03-stack-t-arepo-t-inputadmissibility-rota-t-2)
- [OPERA T](#local-section-03-stack-t-arepo-t-inputadmissibility-opera-t)
- [SATOR T](#local-section-03-stack-t-arepo-t-inputadmissibility-sator-t)
- [RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-rule-5)
- [XI. SUMMARY](#local-section-03-stack-t-arepo-t-inputadmissibility-xi-summary)
- [FINAL LAW](#local-section-03-stack-t-arepo-t-inputadmissibility-final-law)
- [CLOSURE RULE](#local-section-03-stack-t-arepo-t-inputadmissibility-closure-rule)
<!-- LOCAL_SECTION_INDEX_END -->
============================================================
AREPO T — REGIMEN_T ADMISSIBILITY LAYER
Ars Generalis Applied — Execution Governance (Figura T)
Version: 0.2.1-AREPO-T (rev T.5 — carrier-complete / lock-candidate)
Status: ADMISSIBILITY LAYER — ACCEPT WITH MINOR REVISION APPLIED
Depends-On:
• TENET T
• ROTAS (class binding)
• ROTA T (machine instantiation)
Authority: AGLA / CONTROL PLANE
Mutation Policy: VERSION-CONTROLLED ONLY
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-class-arepo"></a>
Class: AREPO
============================================================
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-purpose"></a>
PURPOSE
============================================================
Define admissibility conditions for execution over REGIMEN_T.
AREPO T determines whether a request involving:
• T predicates
• T carrier structure
• T genus layers
may proceed to OPERA T.
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-core-assertion"></a>
CORE ASSERTION
------------------------------------------------------------
No relational execution over REGIMEN_T is valid unless:
• doctrinally bound (TENET T)
• structurally instantiated (ROTA T)
• carrier-resolved (slot-first)
• relata explicit
• genus-consistent (when applicable)
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-i-principle"></a>
I. PRINCIPLE
============================================================
AREPO T operates on:
• TENET-bound predicates
• ROTAS-instantiated structure
• OPERA-bound requests
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-control-plane-position"></a>
CONTROL-PLANE POSITION
------------------------------------------------------------
TENET → ROTAS → AREPO → OPERA → SATOR
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation"></a>
INTERPRETATION
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-tenet-t"></a>
TENET T:
defines relational predicates
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rota-t"></a>
ROTA T:
defines structural space
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-arepo-t"></a>
AREPO T:
validates admissibility within that space
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-ii-binding-requirements"></a>
II. BINDING REQUIREMENTS
============================================================
A request over REGIMEN_T is admissible iff:
------------------------------------------------------------
valid_admission(request) ⇔
bound(TENET T)
∧ bound(ROTAS)
∧ instantiated(ROTA T)
∧ resolved(CARRIER)
∧ explicit(RELATA)
∧ valid(request)
∧ explicit(dependencies)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-2"></a>
INTERPRETATION
------------------------------------------------------------
AREPO T requires:
• doctrinal binding (TENET T)
• structural binding (ROTAS class)
• machine availability (ROTA T)
• carrier resolution (slot-first)
• explicit relational terms (RELATA)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-constraint"></a>
CONSTRAINT
------------------------------------------------------------
AREPO T does NOT:
✗ infer missing bindings
✗ create structure
✗ repair invalid requests
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-iii-carrier-resolution-law"></a>
III. CARRIER RESOLUTION LAW
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-primary-rule"></a>
PRIMARY RULE
------------------------------------------------------------
Carrier resolution is SLOT-first.
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-valid-carrier-unit"></a>
VALID CARRIER UNIT
------------------------------------------------------------
CARRIER_UNIT := (SLOT, SYMBOL, NUMERIC)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-resolution-priority"></a>
RESOLUTION PRIORITY
------------------------------------------------------------
1. SLOT must be resolved
2. SYMBOL must match SLOT under ACTIVE_ORDER
3. NUMERIC must match order-native mapping (if used)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-3"></a>
INTERPRETATION
------------------------------------------------------------
AREPO validates:
• slot identity first
• symbol consistency second
• numeric consistency third
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------
Invalid if:
✗ SYMBOL used without SLOT grounding
✗ SYMBOL contradicts SLOT
✗ NUMERIC contradicts order mapping
✗ carrier inferred from symbol alone
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-iv-order-resolution"></a>
IV. ORDER RESOLUTION
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rule"></a>
RULE
------------------------------------------------------------
ACTIVE_ORDER must be declared when:
• symbol interpretation is ambiguous
• numeric interpretation is used
• cross-order mapping is possible
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-default"></a>
DEFAULT
------------------------------------------------------------
No implicit order is assumed.
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-failure"></a>
FAILURE
------------------------------------------------------------
BLOCK if:
• multiple possible orders
• symbol ambiguity unresolved
• numeric mapping unclear
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-4"></a>
INTERPRETATION
------------------------------------------------------------
AREPO enforces:
structure must be unambiguous before execution
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-v-structural-admissibility-rotas"></a>
V. STRUCTURAL ADMISSIBILITY (ROTAS)
============================================================
AREPO T requires:
• bound(ROTAS)
• instantiated(ROTA T)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-5"></a>
INTERPRETATION
------------------------------------------------------------
Structure must exist as:
• cyclic domain (Ⅰ..Ⅸ)
• loci-bound predicates
• structurally coherent adjacency under instantiated ROTA T
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-failure-2"></a>
FAILURE
------------------------------------------------------------
BLOCK if:
• ROTA T not instantiated
• structure not traversable
• locus undefined
• cycle broken
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rule-2"></a>
RULE
------------------------------------------------------------
No structure ⇒ no admissibility ⇒ no execution
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-vi-genus-admissibility"></a>
VI. GENUS ADMISSIBILITY
============================================================
GENUS_SLOT_T := {1,2,3}
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rule-3"></a>
RULE
------------------------------------------------------------
If genus-sensitive context is active:
• genus must be explicitly declared
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-valid-state"></a>
VALID STATE
------------------------------------------------------------
T(ρ,g) where:
ρ ∈ {Ⅰ..Ⅸ}
g ∈ {1,2,3}
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-genus-consistency"></a>
GENUS CONSISTENCY
------------------------------------------------------------
Invalid if:
✗ genus omitted in genus-sensitive request
✗ conflicting genus assignments
✗ implicit genus transitions
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-transition-control"></a>
TRANSITION CONTROL
------------------------------------------------------------
AREPO enforces:
• no direct jump: g1 ↛ g3
• mediation required for genus change
• no silent cross-predicate genus shift
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-failure-response"></a>
FAILURE RESPONSE
------------------------------------------------------------
If invalid:
• BLOCK request
• expose violation
• expose required mediation condition
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-vii-request-validity"></a>
VII. REQUEST VALIDITY
============================================================
A valid request must be:
• explicitly targeted to OPERA T as downstream execution layer
• structurally grounded (ROTA T)
• doctrinally bound (TENET T)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-invalid-request-types"></a>
INVALID REQUEST TYPES
------------------------------------------------------------
• ontological inference from T
• symbol-first reasoning
• numeric-first reasoning
• structure-free relation request
• genus collapse request
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rule-4"></a>
RULE
------------------------------------------------------------
AREPO rejects:
any request that violates class separation
or carrier discipline
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-viii-non-ontology-enforcement"></a>
VIII. NON-ONTOLOGY ENFORCEMENT
============================================================
AREPO T enforces:
relation ≠ being
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-block-if"></a>
BLOCK IF
------------------------------------------------------------
• T predicates treated as subjects
• relational statements promoted to ontology
• identity inferred from relation alone
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-interpretation-6"></a>
INTERPRETATION
------------------------------------------------------------
AREPO protects TENET boundary:
T remains relational regime only
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-ix-failure-types"></a>
IX. FAILURE TYPES
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-structural-failures"></a>
STRUCTURAL FAILURES
------------------------------------------------------------
• TENET_BINDING_MISSING
• ROTAS_BINDING_MISSING
• ROTA_T_NOT_INSTANTIATED
• STRUCTURE_NON_TRAVERSABLE
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-carrier-failures"></a>
CARRIER FAILURES
------------------------------------------------------------
• CARRIER_UNRESOLVED
• SLOT_MISSING
• SYMBOL_SLOT_MISMATCH
• NUMERIC_MISMATCH
• SYMBOL_ONLY_INFERENCE
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-genus-failures"></a>
GENUS FAILURES
------------------------------------------------------------
• GENUS_MISSING
• GENUS_CONTRADICTION
• GENUS_INVALID_TRANSITION
• GENUS_COLLAPSE
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-governance-failures"></a>
GOVERNANCE FAILURES
------------------------------------------------------------
• DEPENDENCY_NOT_EXPLICIT
• IMPLICIT_FALLBACK
• SILENT_ADMISSION_ATTEMPT
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-x-relation-to-other-classes"></a>
X. RELATION TO OTHER CLASSES
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-tenet-t-2"></a>
TENET T
------------------------------------------------------------
Provides:
• predicate definitions
• genus structure
AREPO T validates compliance.
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rota-t-2"></a>
ROTA T
------------------------------------------------------------
Provides:
• structural machine
AREPO T requires:
instantiated(ROTA T)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-opera-t"></a>
OPERA T
------------------------------------------------------------
Receives:
• admitted requests only
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-sator-t"></a>
SATOR T
------------------------------------------------------------
Receives:
• admissibility results
• failure diagnostics
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-rule-5"></a>
RULE
------------------------------------------------------------
AREPO informs but does not mediate.
============================================================
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-xi-summary"></a>
XI. SUMMARY
============================================================
AREPO T defines:
• admissibility for REGIMEN_T execution
• slot-first carrier validation
• order resolution requirements
• genus-state enforcement
• structural dependency on ROTA T
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-final-law"></a>
FINAL LAW
------------------------------------------------------------
No OPERA T execution is valid unless:
• TENET T is bound
• ROTAS is bound
• ROTA T is instantiated
• carrier is resolved (slot-first)
• relata are explicit
• genus is consistent (if active)
------------------------------------------------------------
<a id="local-section-03-stack-t-arepo-t-inputadmissibility-closure-rule"></a>
CLOSURE RULE
------------------------------------------------------------
AREPO admits only that which is:
structurally instantiated,
doctrinally grounded,
carrier-consistent,
and relationally explicit.
============================================================
SECTION 12 - MODULAR ROTAS D ADMISSION FOR CROSS-REGIME DIFF
============================================================
Status:
PILOT / EXTREME_COMPATIBILITY_TEST / NON-KERNEL-GENERATED
Purpose:
admit OPERA T execution with ROTAS D when the user explicitly
requests a cross-regime comparison where T functions as the declared
middle term.
Compatibility ranking:
rank 0:
artifact: ROTAS_T_StructuralInstantiation.md
role: NATIVE_DEFAULT
compatibility_status: FULL_NATIVE
selection_condition: implicit when OPERA T is invoked alone
explicit_command_required: FALSE
rank 1:
artifact: 08_STACK_D/ROTAS_D_StructuralInstantiation.md
role: ADAPTED_COMPATIBLE
compatibility_status: PILOT_COMPATIBLE_FOR_CROSS_REGIME_DIFF
permitted_use: COMPARE / TRAVERSE / POSITIONAL_BINDING
selection_condition: explicit user command only while native ROTA T exists
fallback_allowed: TRUE only if native ROTA T is unavailable
explicit_command_required: TRUE when native ROTA T is available
rank 2:
artifact: 07_STACK_G/ROTAS_G_StructuralInstantiation.md
role: ADAPTED_COMPATIBLE
compatibility_status: PILOT_COMPATIBLE_FOR_36_CHAMBER_PROJECTION
permitted_use: COMPARE / CHAMBER_RING_PROJECT / INDEX
selection_condition: explicit user command only while native ROTA T exists
fallback_allowed: TRUE only if native ROTA T is unavailable and
ROTAS D is unavailable or unsuitable
explicit_command_required: TRUE when native ROTA T is available
resolved_context:
invocation: ROTA H / ROTAS H
artifact: SYSTEM_INDEX_CURRENT.md / IDX-DEP-H-ROTA-D
resolved_structural_substrate: 08_STACK_D/ROTAS_D_StructuralInstantiation.md
role: CONTEXTUAL_COMPATIBILITY_VIA_H
compatibility_status: PILOT_COMPATIBLE_BY_DEPENDENCY_RESOLUTION
permitted_use: COMPARE / H_CONTEXT / ROTAS_D_BOUND_CHAMBER_USE
selection_condition: explicit user command only
fallback_allowed: FALSE
explicit_command_required: TRUE
note: OPERA H already uses ROTAS D as its declared compatible
structural substrate. OPERA T with ROTA H therefore resolves
through the OPERA H-compatible ROTA, not through an invented
independent ROTAS H artifact.
Admission law:
OPERA T may use ROTAS D for cross-regime string comparison only
when the request explicitly names OPERA T with ROTA / ROTAS D or
declares an equivalent positional D-frame.
For AQ comparison with T as middle term, AREPO T admits the adapted
frame only as:
W1 = A
W2 = T
W3 = Q
where Q is an external interrogative/string regime, not a native
D-regime carrier.
OPERA T may use ROTAS G for the same AQ comparison only when the
request explicitly names OPERA T with ROTA / ROTAS G or declares an
equivalent 36-chamber projection frame.
For AQ comparison with T as middle term, AREPO T admits ROTAS G as:
chamber_ring_36 = combinations({B,C,D,E,F,G,H,I,K}, 2)
left_projection = A(X)
middle_relation = T(X,Y)
right_projection = Q(Y)
OPERA T may accept a ROTA H invocation for the same AQ comparison
only by following the compatible ROTA declared for the corresponding
OPERA H context:
requested_surface = ROTA H
corresponding_opera = OPERA H
compatible_rota = ROTAS D
structural_substrate = ROTAS D
AREPO T must disclose that selection follows the already-declared
OPERA H -> ROTAS D compatibility path.
If the user requests ROTA H but does not explicitly authorize the
effective ROTA D execution surface, AREPO T must return:
ADAPTATION_PENDING_USER_CONSENT
The assistant must ask whether to proceed with OPERA T using ROTA D
as the effective structural surface.
AREPO T must reject:
silent use of ROTAS D
silent use of ROTAS G
implicit Q promotion into native D
A/T/Q wheel assignment without declaration
T as hidden middle term
ROTA D executing comparison
ROTA G executing comparison
invented ROTAS H structural substrate
ignoring OPERA H declared compatible ROTA
executing OPERA T with effective ROTA D from ROTA H request without
user consent
============================================================
END OF ARTIFACT
============================================================
Actual artifact: 03_STACK_T/AREPO_T_InputAdmissibility.md