ANALOGIAE_EMBEDDED_PROTOCOL:
version: 1.0.0-A-ANALOGICAL-AREPO
posture: CANONICAL_LOCAL_FACET / NO_AUTONOMOUS_ANALOGIAE_STACK
authority: AREPO A remains the local principial admissibility authority
gates: SUBJECT_GATE / TARGET_DOMAIN_GATE / TERMINI_COGNITI_GATE / SOURCE_FIELD_GATE / PRESERVED_RELATION_GATE / SUSPENDED_PROPERTY_GATE / TELOS_GATE / PROVENANCE_GATE / HISTORICAL_FRAME_GATE / SCOPE_GATE / LITERALIZATION_RISK_GATE / SOURCE_TARGET_NON_COLLAPSE_GATE / SPECIALIZED_COMPOSITION_HANDOFF_GATE
local_emphasis: a principial analogy must declare whether A is source, target, or optional profile and may not supply missing dignity evidence
states: ADMIT / ADMIT_PROVISIONAL / ADMIT_WITH_WARNINGS / REQUEST_TERM_CLARIFICATION / REQUEST_SOURCE / BLOCK_LITERALIZATION / BLOCK_SOURCE_TARGET_COLLAPSE / BLOCK_HISTORICAL_DRIFT / BLOCK_PROXY_COLLAPSE / DEFER_TO_SPECIALIZED_COMPOSITION
gate_result: every gate emits evidence / confidence / remediation
stabilization_law: absent target, preservation, suspension, provenance, or non-collapse cannot yield stabilization
semantic_supremacy: formal validity plus semantic inadmissibility equals blocked execution
archived_carrier: no deferral or admission points to a retired Analogiae carrier
LLULLIANA_PROTOCOL_SURFACE:
version: 1.0.0-A-PRINCIPIAL-AREPO
posture: EMBEDDED_LOCAL_FACET / DORMANT_UNLESS_SELECTED
role: admit principial claims only with target phase, local terms, source status, contraction field, and requested Llulliana mode resolved
authority: AREPO A remains the local admissibility authority
activation: protocol compatibility alone never grants execution
non_coupling: no reverse dependency and no silent OPERA_LLULLIANA selection
transitive_consumers: D / F / G / H / I require an admitted A ancestry trace
============================================================
AREPO A — REGIMEN_A ADMISSIBILITY LAYER
Ars Generalis Applied — Runtime Governance Artifact
Version: 0.2.0-AREPO-A-DUPLEX-DIGNITATUM
Status: DRAFT / REGIMEN_A / PATCHED / MULTI-OPERA
Scope: admissibility, dependency closure, contraction discipline, and validity-state governance for operational use of Principia Absoluta
Authority: AGLA / TENET / AREPO
Mutation Policy: VERSION-CONTROLLED ONLY
Class: AREPO
ENGINE_COMPATIBILITY:
ARS_GENERALIS
ARS_BREVIS
============================================================
ROTA_A_DUPLEX_ADMISSION_PROFILE:
profile_version: 1.0.0-A-DUPLEX
effective_date: 2026-08-14
status: CANONICAL_LOCAL_AMENDMENT
structural_provider: ./ROTAS_A_StructuralInstantiation.md#ROTA_A_DUPLEX_STRUCTURAL_PROFILE
common_bindings: [DUPLEX_SCHEMA_VERSION, OPERATION_MODE, CONTRACTION_LEVEL, RESULT_SCOPE]
operation_modes: [REFERENCE_ONLY, DIRECTED_PREDICATION]
reference_only_l0_requirements: [ABSOLUTE_LOCUS_REF, REFERENCE_TRACE]
l1_l2_execution_requirements: [OPERA_ARTIFACT_ID, CONTEXT_ID, EXECUTION_ID, SURFACE_REALIZATION_POLICY, PRINCIPIAL_SUBJECT_ID, ABSOLUTE_SUBJECT_LOCUS_REF, CONTRACTED_PREDICATE_LOCUS_REF, PREDICATION_CARRIER_REF, PAIR_KEY, MEDIATION_TRACE]
l2_additional_requirements: [EXTERNAL_SUBJECT_BINDING, EXTERNAL_SUBJECT_PROVENANCE]
external_subject_rule: EXTERNAL_SUBJECT_BINDING is optional for L1 subalternate principial predication and mandatory for L2 singular application
angular_independence: every off-diagonal carrier is equally addressable; cycle adjacency is layout/traversal and never an admission shortcut or block
pair_key_rule: a pair key is never a camera and is never admitted as one; a distinct Stack G object may bind the same unordered token pair only through a mapping supplied by Stack G or an explicit adapter, without identity or ownership transfer
gates:
- BLOCK_ABSOLUTE_CONTRACTED_COLLAPSE
- BLOCK_CONTRACTED_AS_NEW_DIGNITY
- BLOCK_SURFACE_INFLECTION_AS_CANONICAL_ID
- BLOCK_CARRIER_EXISTENCE_AS_ASSERTION
- BLOCK_PAIR_KEY_AS_CAMERA
- BLOCK_VISUAL_GEOMETRY_AS_SEMANTIC_EVIDENCE
- BLOCK_UNDECLARED_DURANS_DURABILIS_EQUIVALENCE
admission_output: preserve requested mode, every resolved locus/carrier ref, mediation evidence, unresolved form variants, and the distinction between shape validity and semantic admission
============================================================
<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [SYSTEM:](#local-section-02-stack-a-arepo-a-inputadmissibility-system)
- [UNDER REGIMEN_A:](#local-section-02-stack-a-arepo-a-inputadmissibility-under-regimen-a)
- [INTERPRETATION MODE](#local-section-02-stack-a-arepo-a-inputadmissibility-interpretation-mode)
- [I. PURPOSE](#local-section-02-stack-a-arepo-a-inputadmissibility-i-purpose)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule)
- [A-STACK POSITION](#local-section-02-stack-a-arepo-a-inputadmissibility-a-stack-position)
- [II. REGIME POSITION](#local-section-02-stack-a-arepo-a-inputadmissibility-ii-regime-position)
- [PRINCIPLE](#local-section-02-stack-a-arepo-a-inputadmissibility-principle)
- [CONSEQUENCE](#local-section-02-stack-a-arepo-a-inputadmissibility-consequence)
- [NON-COLLAPSE RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-non-collapse-rule)
- [III. PRIMARY DEPENDENCIES](#local-section-02-stack-a-arepo-a-inputadmissibility-iii-primary-dependencies)
- [TENET DEPENDENCY](#local-section-02-stack-a-arepo-a-inputadmissibility-tenet-dependency)
- [TENET K DEPENDENCY](#local-section-02-stack-a-arepo-a-inputadmissibility-tenet-k-dependency)
- [TENET E DEPENDENCY](#local-section-02-stack-a-arepo-a-inputadmissibility-tenet-e-dependency)
- [DEPENDENCY CONSTRAINT](#local-section-02-stack-a-arepo-a-inputadmissibility-dependency-constraint)
- [ALBUS TOUCHSTONE IMPORT](#local-section-02-stack-a-arepo-a-inputadmissibility-albus-touchstone-import)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-2)
- [IV. GOVERNED TARGET](#local-section-02-stack-a-arepo-a-inputadmissibility-iv-governed-target)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-3)
- [AREPO A DOES NOT GOVERN](#local-section-02-stack-a-arepo-a-inputadmissibility-arepo-a-does-not-govern)
- [V. OPERATIONAL ASSUMPTION OF REGIMEN_A](#local-section-02-stack-a-arepo-a-inputadmissibility-v-operational-assumption-of-regimen-a)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-4)
- [PURE REFERENCE EXCEPTION](#local-section-02-stack-a-arepo-a-inputadmissibility-pure-reference-exception)
- [VI. MINIMUM BINDING REQUIREMENTS](#local-section-02-stack-a-arepo-a-inputadmissibility-vi-minimum-binding-requirements)
- [1. CANON_BINDING](#local-section-02-stack-a-arepo-a-inputadmissibility-1-canon-binding)
- [2. ORDER_BINDING](#local-section-02-stack-a-arepo-a-inputadmissibility-2-order-binding)
- [3. SUBJECT_BINDING](#local-section-02-stack-a-arepo-a-inputadmissibility-3-subject-binding)
- [SUBJECT_CANON_BOUND](#local-section-02-stack-a-arepo-a-inputadmissibility-subject-canon-bound)
- [SUBJECT_CLASSIFIED_BY_OPERA_S](#local-section-02-stack-a-arepo-a-inputadmissibility-subject-classified-by-opera-s)
- [SUBJECT_MINIMALLY_ANCHORED](#local-section-02-stack-a-arepo-a-inputadmissibility-subject-minimally-anchored)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-5)
- [CONSTRAINT](#local-section-02-stack-a-arepo-a-inputadmissibility-constraint)
- [NON-COLLAPSE NOTE](#local-section-02-stack-a-arepo-a-inputadmissibility-non-collapse-note)
- [4. Q_MIN_BINDING](#local-section-02-stack-a-arepo-a-inputadmissibility-4-q-min-binding)
- [Q-MIN STATES](#local-section-02-stack-a-arepo-a-inputadmissibility-q-min-states)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-6)
- [5. T_MIN_BINDING](#local-section-02-stack-a-arepo-a-inputadmissibility-5-t-min-binding)
- [6–8 (unchanged)](#local-section-02-stack-a-arepo-a-inputadmissibility-6-8-unchanged)
- [9. D_REUSE_POLICY](#local-section-02-stack-a-arepo-a-inputadmissibility-9-d-reuse-policy)
- [RULE:](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-7)
- [VII. MINIMUM DEPENDENCY CLOSURE FOR OPERA A](#local-section-02-stack-a-arepo-a-inputadmissibility-vii-minimum-dependency-closure-for-opera-a)
- [LAWFUL SUBJECT ANCHORING](#local-section-02-stack-a-arepo-a-inputadmissibility-lawful-subject-anchoring)
- [LAWFUL MINIMUM INQUIRY SUPPORT](#local-section-02-stack-a-arepo-a-inputadmissibility-lawful-minimum-inquiry-support)
- [MINIMAL Q SUPPORT](#local-section-02-stack-a-arepo-a-inputadmissibility-minimal-q-support)
- [RULE](#local-section-02-stack-a-arepo-a-inputadmissibility-rule-8)
- [VIII. EXECUTION PATH TYPES](#local-section-02-stack-a-arepo-a-inputadmissibility-viii-execution-path-types)
- [PATH 1 — REFERENCE_ONLY](#local-section-02-stack-a-arepo-a-inputadmissibility-path-1-reference-only)
- [PATH 1A — MINIMAL_DIRECT_A_PATH](#local-section-02-stack-a-arepo-a-inputadmissibility-path-1a-minimal-direct-a-path)
- [PATH 2 — S/Q-SUPPORTED_CONTRACTION_PATH](#local-section-02-stack-a-arepo-a-inputadmissibility-path-2-s-q-supported-contraction-path)
- [PATH 3 — REFINED_CONTRACTION_PATH](#local-section-02-stack-a-arepo-a-inputadmissibility-path-3-refined-contraction-path)
- [PATH 3A — FULLY_REFINED_A_PATH](#local-section-02-stack-a-arepo-a-inputadmissibility-path-3a-fully-refined-a-path)
- [PATH 4 — DOWNSTREAM_REUSE_PATH](#local-section-02-stack-a-arepo-a-inputadmissibility-path-4-downstream-reuse-path)
- [XIII. RULE-E REQUIREMENT (UPDATED)](#local-section-02-stack-a-arepo-a-inputadmissibility-xiii-rule-e-requirement-updated)
- [XIV. VALIDITY STATES (UPDATED)](#local-section-02-stack-a-arepo-a-inputadmissibility-xiv-validity-states-updated)
- [XV. ROUTING FLAGS (UPDATED)](#local-section-02-stack-a-arepo-a-inputadmissibility-xv-routing-flags-updated)
- [XVI–XXIV (INTEGRATED)](#local-section-02-stack-a-arepo-a-inputadmissibility-xvi-xxiv-integrated)
- [FINAL STRUCTURAL CONSEQUENCE](#local-section-02-stack-a-arepo-a-inputadmissibility-final-structural-consequence)
- [S → Q → A → (AREPO A gating) → D](#local-section-02-stack-a-arepo-a-inputadmissibility-s-q-a-arepo-a-gating-d)
- [XXV. MULTI-OPERA COEXISTENCE LAW](#local-section-02-stack-a-arepo-a-inputadmissibility-xxv-multi-opera-coexistence-law)
- [PURPOSE](#local-section-02-stack-a-arepo-a-inputadmissibility-purpose)
- [MULTI-OPERA COEXISTENCE](#local-section-02-stack-a-arepo-a-inputadmissibility-multi-opera-coexistence)
- [AUTHORITY LOCALITY](#local-section-02-stack-a-arepo-a-inputadmissibility-authority-locality)
- [SPECIALIZATION](#local-section-02-stack-a-arepo-a-inputadmissibility-specialization)
- [EXECUTION SELECTION](#local-section-02-stack-a-arepo-a-inputadmissibility-execution-selection)
- [DO YOU MEAN:](#local-section-02-stack-a-arepo-a-inputadmissibility-do-you-mean)
- [ROUTING](#local-section-02-stack-a-arepo-a-inputadmissibility-routing)
- [SCOPE COMPATIBILITY](#local-section-02-stack-a-arepo-a-inputadmissibility-scope-compatibility)
- [NON-SUBSTITUTION](#local-section-02-stack-a-arepo-a-inputadmissibility-non-substitution)
- [MIXTURE DISCIPLINE](#local-section-02-stack-a-arepo-a-inputadmissibility-mixture-discipline)
- [MAY UTILIZE:](#local-section-02-stack-a-arepo-a-inputadmissibility-may-utilize)
- [UNDER:](#local-section-02-stack-a-arepo-a-inputadmissibility-under)
- [WITHOUT:](#local-section-02-stack-a-arepo-a-inputadmissibility-without)
- [OUTPUT CONTRACT](#local-section-02-stack-a-arepo-a-inputadmissibility-output-contract)
- [FAILURE CONDITIONS](#local-section-02-stack-a-arepo-a-inputadmissibility-failure-conditions)
- [SYSTEM_INDEX ROUTING REQUIREMENT](#local-section-02-stack-a-arepo-a-inputadmissibility-system-index-routing-requirement)
- [FINAL LAW](#local-section-02-stack-a-arepo-a-inputadmissibility-final-law)
<!-- LOCAL_SECTION_INDEX_END -->
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-system"></a>
SYSTEM:
ARS GENERALIS (LLULLIANA) APPLIED — A.G.L.A
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-under-regimen-a"></a>
UNDER REGIMEN_A:
ABSOLUTE PREDICATES REGIME
Root Class Alignment:
AGLA — AREPO CLASS LAW
AGLA — FIVE-CLASS STRUCTURAL ORDER
Explicit Source Alignment:
TENET A — REGIMEN_A REGIME LAYER
ALBUS FIGURA PRIMA (touchstone)
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-interpretation-mode"></a>
INTERPRETATION MODE
------------------------------------------------------------
MODE: EXECUTION-SPECIFICATION
All execution-shaped language in this artifact governs
admissibility and runtime-law structure.
AREPO A does not execute OPERA A.
It defines:
• when OPERA A may proceed
• what must already be bound
• what counts as lawful contraction context
• how contracted principial use is classified
• when output must be blocked, degraded, or flagged
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-i-purpose"></a>
I. PURPOSE
============================================================
AREPO A governs admissibility for operational use of
REGIMEN_A under contraction.
AREPO A defines:
• dependency requirements for OPERA A
• minimum doctrinal closure before unary principial
activation
• admissibility conditions for contracted dignity use
• correlative-integrity gating for A-derived propositions
• convertibility-status handling in applied contexts
• proper / appropriated attribution gating
• validity states and routing flags for downstream use
• explicit blocking conditions
AREPO A does NOT:
• define new dignities
• redefine TENET A doctrine
• execute principial evaluation
• display results as ROTAS
• mediate to user as SATOR
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule"></a>
RULE
------------------------------------------------------------
No OPERA A execution is valid unless admitted by AREPO A.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-a-stack-position"></a>
A-STACK POSITION
------------------------------------------------------------
TENET A
defines principial doctrine
AREPO A
governs lawful contracted use of that doctrine
OPERA A
performs contraction-sensitive principial analysis
ROTA A
supplies the duplex loci and empty predication carriers before execution
SATOR A
explains and offers refinement lawfully
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-ii-regime-position"></a>
II. REGIME POSITION
============================================================
AREPO A is the admissibility layer for REGIMEN_A when
Principia Absoluta are used outside pure integral reference.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-principle"></a>
PRINCIPLE
------------------------------------------------------------
Pure REGIMEN_A as integral reference belongs to TENET A.
Operative use of REGIMEN_A in applied contexts is generally
contracted and therefore admissibility-bearing.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-consequence"></a>
CONSEQUENCE
------------------------------------------------------------
Whenever a dignity is used:
• on a bounded subject
• in response to inquiry
• in relation to other predicates
• under contextual application
AREPO A must determine whether the use is:
• admissible
• underdetermined
• degraded but usable
• blocked
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-non-collapse-rule"></a>
NON-COLLAPSE RULE
------------------------------------------------------------
AREPO A must preserve:
TENET A ≠AREPO A ≠OPERA A ≠ROTA A ≠SATOR A
AREPO A must not:
• write doctrine
• execute doctrine
• display doctrine
• explain doctrine as interface
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-iii-primary-dependencies"></a>
III. PRIMARY DEPENDENCIES
============================================================
AREPO A depends directly on:
• TENET A
• ROTAS A
• TENET K
• TENET E
• AGLA — AREPO CLASS LAW
• AGLA — FIVE-CLASS STRUCTURAL ORDER
AREPO A may consume operationally declared closure from:
• OPERA S
• OPERA Q
AREPO A imports source-aligned reference from:
• ALBUS FIGURA PRIMA
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-tenet-dependency"></a>
TENET DEPENDENCY
------------------------------------------------------------
AREPO A requires from TENET A:
• A as integral reference
• ordinal key and principial canon
• distinction between integral and contracted use
• doctrinal acknowledgment of correlative necessity
• lawful acknowledgment of proper / appropriated attribution
• prohibitions and non-ontology guarantees
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-tenet-k-dependency"></a>
TENET K DEPENDENCY
------------------------------------------------------------
AREPO A requires from TENET K:
• substrate canon
• subject-ladder stability
• non-collapse between ontological order and
operational classification
• lawful recognition that applied A-use must be
anchored to a substrate domain
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-tenet-e-dependency"></a>
TENET E DEPENDENCY
------------------------------------------------------------
AREPO A requires from TENET E:
• canonical rule regime
• minimum question-structure discipline
• reduction of applied inquiry to lawful interrogative form
• rule/species availability sufficient for non-arbitrary
contracted principial use
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-dependency-constraint"></a>
DEPENDENCY CONSTRAINT
------------------------------------------------------------
AREPO A must not silently extract execution procedure from
TENET K or TENET E.
TENET K and TENET E provide regime constraints only.
Procedural realization belongs to OPERA S and OPERA Q.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-albus-touchstone-import"></a>
ALBUS TOUCHSTONE IMPORT
------------------------------------------------------------
ALBUS FIGURA PRIMA is not runtime authority.
It is used here as touchstone for source-aligned admissibility
reconstruction concerning:
• contraction
• partialization
• convertibility limits outside pure field
• proper / appropriated distinction
• correlative grounding
• discrimination between convertible and non-convertible
applied statements
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-2"></a>
RULE
------------------------------------------------------------
AREPO A may import AEGIS source insight explicitly.
It must not treat AEGIS as runtime authority.
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-iv-governed-target"></a>
IV. GOVERNED TARGET
============================================================
AREPO A governs OPERA A only.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-3"></a>
RULE
------------------------------------------------------------
OPERA A may execute only when AREPO A has admitted the
requested operational path.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-arepo-a-does-not-govern"></a>
AREPO A DOES NOT GOVERN
------------------------------------------------------------
AREPO A does not directly govern:
• OPERA D
• OPERA TERTIA
• OPERA QUARTA
However, it produces admissibility outputs and flags that may
be inherited by those downstream procedures whenever they use
A-derived contracted results.
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-v-operational-assumption-of-regimen-a"></a>
V. OPERATIONAL ASSUMPTION OF REGIMEN_A
============================================================
AREPO A assumes the following doctrinal baseline:
1. full convertibility belongs properly to pure REGIMEN_A
2. applied A-use is generally contracted
3. contraction may weaken convertibility and coherence
4. correlative integrity matters for principial preservation
5. proper / appropriated distinction matters in application
6. relative predicates may diagnose contraction status
7. no applied use may silently claim integral plenitude
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-4"></a>
RULE
------------------------------------------------------------
AREPO A evaluates admissibility of A-use as contracted use
unless a path is explicitly declared as pure doctrinal
reference only.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-pure-reference-exception"></a>
PURE REFERENCE EXCEPTION
------------------------------------------------------------
If the request is explicitly:
• descriptive of canon only
• declarative of TENET A only
• non-applied and non-evaluative
then AREPO A may classify the request as:
REFERENCE_ONLY
In REFERENCE_ONLY:
• no contraction test is required
• no correlative grading is required
• no convertibility estimate is required
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-vi-minimum-binding-requirements"></a>
VI. MINIMUM BINDING REQUIREMENTS
============================================================
REFERENCE_ONLY is admissible if and only if it selects L0. It
requires only DUPLEX_SCHEMA_VERSION, OPERATION_MODE,
CONTRACTION_LEVEL, RESULT_SCOPE, ABSOLUTE_LOCUS_REF, and a stable
REFERENCE_TRACE. It forbids OPERA_ARTIFACT_ID, CONTEXT_ID,
EXECUTION_ID, principial/external subject bindings, contracted
locus/carrier/pair fields, Q/T execution support, surface
realization policy, carrier output, derived contracted-locus
summary, and circular validation.
Before OPERA A may execute at L1 or L2, the following must be
resolved:
1. DUPLEX_SCHEMA_VERSION
2. CANON_BINDING
3. ORDER_BINDING
4. OPERATION_MODE = DIRECTED_PREDICATION
5. CONTRACTION_LEVEL = L1 or L2
6. OPERA_ARTIFACT_ID / CONTEXT_ID / EXECUTION_ID
7. RESULT_SCOPE / SURFACE_REALIZATION_POLICY
8. PRINCIPIAL_SUBJECT_ID, ABSOLUTE_SUBJECT_LOCUS_REF,
CONTRACTED_PREDICATE_LOCUS_REF, PREDICATION_CARRIER_REF,
PAIR_KEY, and MEDIATION_TRACE for every L1/L2 execution
9. EXTERNAL_SUBJECT_BINDING with provenance for L2
10. Q_MIN_BINDING
11. T_MIN_BINDING
12. CONVERTIBILITY_POLICY
13. CORRELATIVE_POLICY
14. ATTRIBUTION_MODE_POLICY
15. D_REUSE_POLICY
DUPLEX BINDING LAW
------------------------------------------------------------
L0 is absolute reference and does not populate a contracted locus.
L1 evaluates a principial subject through a directed off-diagonal
carrier against a distinct contracted predicate; an external
singular referent is optional. L2 evaluates the same typed carrier
as an applied singular contraction and requires an external subject
binding with provenance. There is no carrier-free executable mode:
a contracted-locus summary is a derived
BY_PREDICATE view over admitted carrier results.
For every L1/L2 execution, subject and predicate tokens must be
resolved, distinct, and match the ordered carrier ID. The pair key
must canonically index that carrier and its reverse. A pair key is
never admitted as a camera. A separate G_CAMERA_REF may be admitted only for
a distinct Stack G object when Stack G or an explicit adapter supplies the
mapping; AREPO A must accept an unbound pair key without synthesizing a camera.
Angular adjacency is irrelevant to admission. The visible line,
inner label, pair key, or reverse carrier can supply no evidence
that the requested direction was executed or is true.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-1-canon-binding"></a>
1. CANON_BINDING
------------------------------------------------------------
Must bind to TENET A as governing doctrinal authority.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-2-order-binding"></a>
2. ORDER_BINDING
------------------------------------------------------------
Must bind REGIMEN_A carrier as ordinally governed.
No alphabetical fallback permitted.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-3-subject-binding"></a>
3. PRINCIPIAL AND EXTERNAL SUBJECT BINDING
------------------------------------------------------------
A PRINCIPIAL_SUBJECT_ID resolves to `ROTA_A.ABS.<TOKEN>` and is
sufficient for L1 subalternate principial predication. It does not
imply an external substrate. An external substrate or singular
referent is optional for L1 and mandatory, provenance-bearing, for
L2.
AREPO A recognizes three lawful external-subject binding states:
• EXTERNAL_SUBJECT_CANON_BOUND
• EXTERNAL_SUBJECT_CLASSIFIED_BY_OPERA_S
• EXTERNAL_SUBJECT_MINIMALLY_ANCHORED
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-subject-canon-bound"></a>
EXTERNAL_SUBJECT_CANON_BOUND
------------------------------------------------------------
A lawful substrate is already explicit in TENET K terms.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-subject-classified-by-opera-s"></a>
EXTERNAL_SUBJECT_CLASSIFIED_BY_OPERA_S
------------------------------------------------------------
A substrate has been procedurally classified through OPERA S,
with lineage preserved.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-subject-minimally-anchored"></a>
EXTERNAL_SUBJECT_MINIMALLY_ANCHORED
------------------------------------------------------------
No full substrate-classification path is present, but the
referent is bounded enough for minimal contracted principial
analysis.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-5"></a>
RULE
------------------------------------------------------------
AREPO A does not perform substrate classification.
It only recognizes whether sufficient substrate anchoring
already exists.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-constraint"></a>
CONSTRAINT
------------------------------------------------------------
SUBJECT_MINIMALLY_ANCHORED is sufficient for minimal OPERA A
admissibility, but insufficient for strongest downstream reuse
unless explicitly upgraded later.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-non-collapse-note"></a>
NON-COLLAPSE NOTE
------------------------------------------------------------
Ontological order from TENET K must never be confused with
operational gate order from OPERA S.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-4-q-min-binding"></a>
4. Q_MIN_BINDING
------------------------------------------------------------
A minimum inquiry scaffold must be available.
This scaffold must be lawful under TENET E, even when OPERA Q
has not been explicitly executed.
At minimum:
• what is being judged
• why it is being judged
• by what lawful rule/species the judgment may be stabilized
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-q-min-states"></a>
Q-MIN STATES
------------------------------------------------------------
• Q_RULE_BOUND
• Q_RULE_AND_SPECIES_BOUND
• Q_MIN_IMPLICIT
• Q_UNBOUND
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-6"></a>
RULE
------------------------------------------------------------
Q_UNBOUND → BLOCK
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-5-t-min-binding"></a>
5. T_MIN_BINDING
------------------------------------------------------------
(unchanged)
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-6-8-unchanged"></a>
6–8 (unchanged)
------------------------------------------------------------
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-9-d-reuse-policy"></a>
9. D_REUSE_POLICY
------------------------------------------------------------
If an OPERA A result is intended for downstream reuse:
• local-only
• reusable-with-flags
• combinatorially-ready
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-7"></a>
RULE:
No silent reuse without flags and lineage.
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-vii-minimum-dependency-closure-for-opera-a"></a>
VII. MINIMUM DEPENDENCY CLOSURE FOR OPERA A
============================================================
OPERA A is admissible only if the following dependency closure
is satisfied:
TENET A
+
lawful subject anchoring
+
lawful minimum inquiry support
+
minimal T support
+
AREPO A gating
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-lawful-subject-anchoring"></a>
LAWFUL SUBJECT ANCHORING
------------------------------------------------------------
(see principial and external subject-binding states)
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-lawful-minimum-inquiry-support"></a>
LAWFUL MINIMUM INQUIRY SUPPORT
------------------------------------------------------------
(see Q_MIN_BINDING states)
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-minimal-q-support"></a>
MINIMAL Q SUPPORT
------------------------------------------------------------
Must be TENET E-compatible.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-rule-8"></a>
RULE
------------------------------------------------------------
Minimal closure is E-aware. It is K-aware only for an L2 external
substrate whose selected taxonomy is TENET K.
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-viii-execution-path-types"></a>
VIII. EXECUTION PATH TYPES
============================================================
AREPO A recognizes six lawful path types.
REFERENCE_ONLY selects L0. Every executing path explicitly selects
L1 or L2. MINIMAL, S/Q-SUPPORTED, REFINED, FULLY_REFINED, and
DOWNSTREAM_REUSE describe support depth and path provenance; they
are not contraction levels.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-1-reference-only"></a>
PATH 1 — REFERENCE_ONLY
------------------------------------------------------------
Selects L0 and emits no predication-carrier result.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-1a-minimal-direct-a-path"></a>
PATH 1A — MINIMAL_DIRECT_A_PATH
------------------------------------------------------------
Direct minimal execution without prior OPERA S/Q lineage. This
does not waive local Q_MIN_BINDING or T_MIN_BINDING required by the
selected executor.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-2-s-q-supported-contraction-path"></a>
PATH 2 — S/Q-SUPPORTED_CONTRACTION_PATH
------------------------------------------------------------
Requires partial S or Q support.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-3-refined-contraction-path"></a>
PATH 3 — REFINED_CONTRACTION_PATH
------------------------------------------------------------
(unchanged baseline refined)
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-3a-fully-refined-a-path"></a>
PATH 3A — FULLY_REFINED_A_PATH
------------------------------------------------------------
Full S + Q + T lineage.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-path-4-downstream-reuse-path"></a>
PATH 4 — DOWNSTREAM_REUSE_PATH
------------------------------------------------------------
Requires:
• subject lineage
• inquiry lineage
• flags preserved
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-xiii-rule-e-requirement-updated"></a>
XIII. RULE-E REQUIREMENT (UPDATED)
============================================================
TENET E required for rule structure.
TENET R required for strong species closure.
No silent escalation to TENET R.
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-xiv-validity-states-updated"></a>
XIV. VALIDITY STATES (UPDATED)
============================================================
• REFERENCE_ONLY
• ADMISSIBLE_MINIMAL
• ADMISSIBLE_SQ_SUPPORTED
• ADMISSIBLE_REFINED
• ADMISSIBLE_DEGRADED
• ADMISSIBLE_PROVISIONAL
• BLOCKED
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-xv-routing-flags-updated"></a>
XV. ROUTING FLAGS (UPDATED)
============================================================
+ lineage flags added:
• A_SUBJECT_LINEAGE_MISSING
• A_Q_LINEAGE_MISSING
• A_S_NOT_RUN
• A_Q_NOT_RUN
• A_D_READY_CONDITIONAL
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-xvi-xxiv-integrated"></a>
XVI–XXIV (INTEGRATED)
============================================================
All sections updated to enforce:
• K-aware anchoring
• E-aware inquiry discipline
• lineage preservation
• D-stack safe reuse constraints
• no silent TENET R escalation
• no S/T/E collapse
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-final-structural-consequence"></a>
FINAL STRUCTURAL CONSEQUENCE
------------------------------------------------------------
AREPO A now enforces:
A-admissibility ≠D-readiness
Full pipeline requirement becomes:
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-s-q-a-arepo-a-gating-d"></a>
S → Q → A → (AREPO A gating) → D
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-xxv-multi-opera-coexistence-law"></a>
XXV. MULTI-OPERA COEXISTENCE LAW
============================================================
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-purpose"></a>
PURPOSE
------------------------------------------------------------
AREPO A governs coexistence of multiple OPERA artifacts inside
STACK A.
STACK A currently registers:
- IDX-A-OPERA
- IDX-A-OPERA-MINOR
- IDX-A-OPERA-AX
Objective:
permit multiple OPERA A artifacts to coexist without:
- authority conflict
- execution ambiguity
- hidden substitution
- silent fallback
- OPERA simulation from names
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-multi-opera-coexistence"></a>
MULTI-OPERA COEXISTENCE
------------------------------------------------------------
AREPO A may permit multiple OPERA artifacts inside STACK A
only when each OPERA declares:
- artifact_id
- file
- version
- scope
- input contract
- output contract
- dependencies
- admissibility conditions
- failure conditions
Rule:
Multiple OPERA A artifacts may coexist.
No OPERA A artifact may substitute another.
Formal:
OPERA_A_SET :=
{
IDX-A-OPERA,
IDX-A-OPERA-MINOR,
IDX-A-OPERA-AX
}
For each op in OPERA_A_SET:
op.identity = artifact_id
not:
op.identity = name
op.identity = letter
op.identity = scope summary
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-authority-locality"></a>
AUTHORITY LOCALITY
------------------------------------------------------------
All OPERA A variants remain bound to:
- TENET A
- ROTAS A
- AREPO A
- SATOR A
Declared authority for OPERA A variants must be:
TENET A / AREPO A
If an OPERA A variant internally uses T, K, E, or I carriers,
this must be declared as:
local execution dependency
not:
declared authority
Prohibition:
OPERA A must not claim direct authority from:
- TENET T
- TENET K
- TENET E
- TENET I
unless a separate cross-stack admission contract exists.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-specialization"></a>
SPECIALIZATION
------------------------------------------------------------
Specialized OPERA A artifacts may exist as:
- subset engines
- full engines
- diagnostic engines
- constrained execution kernels
A specialization is valid only if:
- it narrows scope explicitly
- it does not redefine TENET A
- it does not override base OPERA A
- it does not silently expand into another OPERA
Example:
OPERA A CORE FIELD [B,C,D]
is valid only as:
specialized Stack A OPERA over declared carrier subset
not as:
replacement for full OPERA A.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-execution-selection"></a>
EXECUTION SELECTION
------------------------------------------------------------
When user requests:
execute OPERA A
AREPO A must not infer which OPERA A variant is intended if
multiple admissible OPERA A artifacts exist.
Allowed responses:
- execute explicitly named artifact_id
- ask binding clarification
- return OPERA_BINDING_AMBIGUOUS
Clarification format:
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-do-you-mean"></a>
DO YOU MEAN:
- IDX-A-OPERA
- IDX-A-OPERA-MINOR
- IDX-A-OPERA-AX
Prohibition:
- no default to newest
- no default to full engine
- no default to base engine
- no selection from title semantics
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-routing"></a>
ROUTING
------------------------------------------------------------
AREPO A must route execution by artifact_id.
Routing input:
{
requested_opera_id,
stack: A,
request_scope,
input_payload
}
Routing validation:
valid_route(request) <=>
requested_opera_id in OPERA_A_SET
AND artifact_registered(requested_opera_id)
AND scope_compatible(request_scope, requested_opera_id)
AND input_contract_satisfied
AND no_binding_ambiguity
If invalid:
execution blocked.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-scope-compatibility"></a>
SCOPE COMPATIBILITY
------------------------------------------------------------
AREPO A must verify that request scope matches OPERA scope.
Examples:
Request over B,C,D only:
may route to IDX-A-OPERA-MINOR
Request over full REGIMEN_A:
may route to IDX-A-OPERA-AX
Ambiguous request:
must ask clarification
Rule:
Scope compatibility permits routing.
Scope compatibility does not imply execution.
Execution still requires:
- artifact loading
- input contract satisfaction
- AREPO A admission
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-non-substitution"></a>
NON-SUBSTITUTION
------------------------------------------------------------
No OPERA A variant may act as fallback for another.
Forbidden:
- OPERA A Minor substitutes OPERA A Full
- OPERA A Full silently substitutes OPERA A Minor
- base OPERA A silently absorbs specialized OPERA A
- specialized OPERA A redefines base OPERA A
If requested artifact is unavailable:
return:
OPERA_NOT_AVAILABLE
not:
execute another OPERA A.
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-mixture-discipline"></a>
MIXTURE DISCIPLINE
------------------------------------------------------------
If OPERA A variant uses non-A carriers internally:
- T carriers
- K substrates
- E/RQ rules
- I mixture discipline
then AREPO A must require explicit declaration inside the
artifact.
These dependencies are:
internal execution dependencies
not:
authority sources
Required declaration form:
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-may-utilize"></a>
MAY UTILIZE:
<stack/regime>
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-under"></a>
UNDER:
TENET I MIXTURE DISCIPLINE
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-without"></a>
WITHOUT:
authority transfer
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-output-contract"></a>
OUTPUT CONTRACT
------------------------------------------------------------
REFERENCE_ONLY / L0 emits only its schema/version identity,
ABSOLUTE_LOCUS_REF, RESULT_SCOPE, REFERENCE_TRACE, admission
classification, and explicit non-executing status. It emits no
OPERA result envelope.
Each executing OPERA A variant at L1/L2 must emit output identifying:
- artifact_id executed
- version executed
- scope executed
- duplex_schema_version
- contraction_level
- principial_subject_id
- external_subject_binding when L2
- absolute_locus_ref and contracted_locus_ref
- ordered predication_carrier_ref and pair_key
- context_id and execution_id
- canonical contracted citation form plus surface realization trace
- reverse direction as a distinct result or explicit NOT_EVALUATED
- AREPO admission reference
- circular_check_ref
- SATOR mediation target
Output must not collapse variant identity.
Failure:
output_identity_loss
variant_collapse
untraceable_execution
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-failure-conditions"></a>
FAILURE CONDITIONS
------------------------------------------------------------
AREPO A must block execution under:
- opera_binding_ambiguous
- requested_opera_unregistered
- scope_mismatch
- input_contract_failure
- hidden_cross_regime_authority
- variant_substitution_attempt
- undeclared_internal_dependency
- artifact_not_loaded
- execution_from_index_summary
- duplex_schema_unbound
- principial_subject_unresolved
- contracted_predicate_unresolved
- diagonal_predication_carrier_forbidden
- pair_key_mismatch
- pair_key_as_camera
- reverse_direction_collapsed
- inner_label_as_execution_evidence
- surface_realization_identity_collapse
- l2_external_subject_missing
- carrier_result_without_opera_trace
- carrier_outside_variant_scope
Any failure:
-> BLOCK EXECUTION
-> REQUIRE CLARIFICATION OR CONTROL-PLANE REVIEW
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-system-index-routing-requirement"></a>
SYSTEM_INDEX ROUTING REQUIREMENT
------------------------------------------------------------
SYSTEM_INDEX must register OPERA A variants as separate entries:
IDX-A-OPERA
IDX-A-OPERA-MINOR
IDX-A-OPERA-AX
Each entry must include routing-only role fields.
No entry may include enough procedural detail to simulate
execution.
Each entry must point to actual file:
- 02_STACK_A/OPERA_A_ExecutionMechanism.md
- 02_STACK_A/OPERA_AMinor_ExecutionMechanism.md
- 02_STACK_A/OPERA_Ax_ExecutionMechanism.md
------------------------------------------------------------
<a id="local-section-02-stack-a-arepo-a-inputadmissibility-final-law"></a>
FINAL LAW
------------------------------------------------------------
AREPO A admits OPERA A execution only when:
- OPERA artifact is explicitly selected
- artifact_id is registered
- scope is compatible
- input contract is satisfied
- artifact content is loaded
- no variant substitution occurs
Formula:
multi_opera_admission(op, request) <=>
registered(op)
AND op in OPERA_A_SET
AND explicit_binding(op)
AND scope_compatible(op, request)
AND input_contract_satisfied(op, request)
AND duplex_bindings_consistent(request)
AND every_selected_carrier_in_scope(op, request)
AND no_pair_key_camera_collapse
AND no_substitution
AND artifact_loaded(op)
Final assertion:
Multiple OPERA A artifacts may coexist.
Only explicitly bound OPERA A artifacts may execute.
============================================================
END OF AREPO A — PATCHED VERSION
============================================================
Actual artifact: 02_STACK_A/AREPO_A_InputAdmissibility.md