LLULLIANA_PROTOCOL_SURFACE:
version: 1.0.0-E-INTERROGATIVE-OPERA
posture: EMBEDDED_LOCAL_FACET / DORMANT_UNLESS_SELECTED
role: supply admitted question and rule evaluation to OPERA_LLULLIANA without claiming that the interrogative surface itself explains or answers
authority: OPERA E remains the local interrogative execution authority
activation: requires explicit Llulliana routing, AREPO admission, and composition trace
non_coupling: OPERA E remains independently reusable and never self-selects Llulliana
transitive_consumers: D / F / G / H / I expose the effective OPERA E or Q ancestry
============================================================
OPERA E — REGIMEN_RQ (EXECUTION LAYER)
Ars Generalis Applied — Interrogative Reduction Engine
Version: 1.0.4-OPERA-E-QE-TRIPLEX
Status: LOCK-CANDIDATE / QE TRIPLEX PATCH INTEGRATED
Scope: EXECUTION / REDUCTION / RESULT CONSTRUCTION
Authority: AGLA / OPERA
Class: OPERA
ALIAS BINDING:
Alias_Artifact: ./ALIAS_E
Alias_Class: AGLA / ALIAS
Canonical_Invocation: OPERA E
Invocation_Surfaces:
- OPERA E
- OPERA Q
- OPERA R
- OPERA REGIMEN_RQ
Alias_Law: routing only; no execution, admissibility, doctrine, structure, or mediation authority transfers from alias.
Mutation Policy: VERSION-CONTROLLED ONLY
Alias: OPERA Q
============================================================
LIBER_X_ALIGNMENT:
patch_id: LIBER_X_ATQS_MAIN_STACK_ALIGNMENT
source_liber: _00_Documentation/00_Sources/01_CONTEXT_Development_Only/CODEX_DEV/LIBER_X_ARS_BREVIS_VERSIO_LATINA_SCHOLASTICA_COMMENTATA.md
notation_liber: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
caput_rosetta: CAPUT E
ars_brevis_locus: Pars Quarta - Rules
agu_dataset_lane: AGU Dataset 003
target_stack: E
class_role: OPERA
alignment_note: E routes question rules, including K1/K2 as quomodo and cum quo.
authority_rule: LIBER X, CAPUT, and AGU datasets inform parsing, trace, and source literacy; they do not govern this class artifact.
searchability_rule: preserve plain A/T/Q/S and B-K ASCII mirrors for citation, storage, parsing, and deployment.
ATQS_OPERA_DISCIPLINE:
notation_source: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
effect: OPERA may accept optional human sigils and styled notation only by normalizing them to canonical regimen/operator structure before execution.
normalization_examples: !B -> A_FORMAL(B); :B -> T_FORMAL(B); ?B -> Q_FORMAL(B); ;B -> S_FORMAL(B); #B -> ALL_REGIMENS(B) across admitted lanes only.
local_slot_rule: context-derived, OPERA-derived, or qualified LIBER_EX_OPERAE content may fill LOCAL_APPLIED_PREPROCESSED slots only with provenance and expiry/discardability.
rosetta_source_trace:
enabled: OPTIONAL_WHERE_OUTPUT_SCHEMA_ACCEPTS_TRACE
fields: [liber_x_source, caput_rosetta, agu_dataset_lane, normalized_input, ascii_mirror, local_slot_status]
prohibition: no glyph, sigil, punctuation, CAPUT, or LIBER source creates OPERA authority by itself.
============================================================
<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [I. PURPOSE](#local-section-04-stack-e-opera-e-executionmechanism-i-purpose)
- [II. POSITION IN CLASS ORDER](#local-section-04-stack-e-opera-e-executionmechanism-ii-position-in-class-order)
- [III. EXECUTION OBJECT](#local-section-04-stack-e-opera-e-executionmechanism-iii-execution-object)
- [IV. CORE EXECUTION PRINCIPLE](#local-section-04-stack-e-opera-e-executionmechanism-iv-core-execution-principle)
- [V. EXECUTION STAGES](#local-section-04-stack-e-opera-e-executionmechanism-v-execution-stages)
- [Stage 0 — INPUT RESOLUTION](#local-section-04-stack-e-opera-e-executionmechanism-stage-0-input-resolution)
- [Stage I — REDUCTIO AD REGULAM](#local-section-04-stack-e-opera-e-executionmechanism-stage-i-reductio-ad-regulam)
- [Stage II — DEFINITION BINDING](#local-section-04-stack-e-opera-e-executionmechanism-stage-ii-definition-binding)
- [Stage III — OBJECTIFICATIO](#local-section-04-stack-e-opera-e-executionmechanism-stage-iii-objectificatio)
- [Stage IV — SPECIES ACTIVATION](#local-section-04-stack-e-opera-e-executionmechanism-stage-iv-species-activation)
- [Stage V — EVALUATIO](#local-section-04-stack-e-opera-e-executionmechanism-stage-v-evaluatio)
- [Stage VI — ELECTIO](#local-section-04-stack-e-opera-e-executionmechanism-stage-vi-electio)
- [Stage VII — RESULT CONSTRUCTION](#local-section-04-stack-e-opera-e-executionmechanism-stage-vii-result-construction)
- [VI. EXECUTION CONSTRAINTS](#local-section-04-stack-e-opera-e-executionmechanism-vi-execution-constraints)
- [1. STRUCTURAL DEPENDENCE](#local-section-04-stack-e-opera-e-executionmechanism-1-structural-dependence)
- [2. ADMISSIBILITY DEPENDENCE](#local-section-04-stack-e-opera-e-executionmechanism-2-admissibility-dependence)
- [3. DEFINITION PRIMACY](#local-section-04-stack-e-opera-e-executionmechanism-3-definition-primacy)
- [4. NON-STOCHASTICITY](#local-section-04-stack-e-opera-e-executionmechanism-4-non-stochasticity)
- [5. TRACEABILITY](#local-section-04-stack-e-opera-e-executionmechanism-5-traceability)
- [VII. EXECUTION MODES](#local-section-04-stack-e-opera-e-executionmechanism-vii-execution-modes)
- [1. SINGLE-CARRIER MODE](#local-section-04-stack-e-opera-e-executionmechanism-1-single-carrier-mode)
- [2. MULTI-CARRIER MODE](#local-section-04-stack-e-opera-e-executionmechanism-2-multi-carrier-mode)
- [3. RECURSIVE MODE](#local-section-04-stack-e-opera-e-executionmechanism-3-recursive-mode)
- [VIII. FAILURE HANDLING](#local-section-04-stack-e-opera-e-executionmechanism-viii-failure-handling)
- [IX. OUTPUT STRUCTURE](#local-section-04-stack-e-opera-e-executionmechanism-ix-output-structure)
- [IX-A. CARRIER-B TRIPLEX TRAVERSAL AND AGGREGATION](#local-section-04-stack-e-opera-e-executionmechanism-ix-a-carrier-b-triplex-traversal-and-aggregation)
- [X. CIRCULAR INTERROGATIVE CONSISTENCY VALIDATION](#local-section-04-stack-e-opera-e-executionmechanism-x-circular-interrogative-consistency-validation)
- [PURPOSE](#local-section-04-stack-e-opera-e-executionmechanism-purpose)
- [VALIDATION PRINCIPLE](#local-section-04-stack-e-opera-e-executionmechanism-validation-principle)
- [ACT GENERATION LAW](#local-section-04-stack-e-opera-e-executionmechanism-act-generation-law)
- [AGENT GROUNDING LAW](#local-section-04-stack-e-opera-e-executionmechanism-agent-grounding-law)
- [CIRCULAR INTERROGATIVE CLOSURE](#local-section-04-stack-e-opera-e-executionmechanism-circular-interrogative-closure)
- [CIRCULAR CONSISTENCY CHECK](#local-section-04-stack-e-opera-e-executionmechanism-circular-consistency-check)
- [CHECK:](#local-section-04-stack-e-opera-e-executionmechanism-check)
- [Q_CIRCULAR_INCONSISTENCY:](#local-section-04-stack-e-opera-e-executionmechanism-q-circular-inconsistency)
- [VALIDITY CONSEQUENCES](#local-section-04-stack-e-opera-e-executionmechanism-validity-consequences)
- [OUTPUT EXTENSION](#local-section-04-stack-e-opera-e-executionmechanism-output-extension)
- [CIRCULAR_INTERROGATIVE_VALIDATION:](#local-section-04-stack-e-opera-e-executionmechanism-circular-interrogative-validation)
- [RESULT](#local-section-04-stack-e-opera-e-executionmechanism-result)
- [XI. LIMITS](#local-section-04-stack-e-opera-e-executionmechanism-xi-limits)
- [OPERA_E ONLY:](#local-section-04-stack-e-opera-e-executionmechanism-opera-e-only)
- [XII. CLOSURE](#local-section-04-stack-e-opera-e-executionmechanism-xii-closure)
- [STATUS:](#local-section-04-stack-e-opera-e-executionmechanism-status)
<!-- LOCAL_SECTION_INDEX_END -->
<a id="local-section-04-stack-e-opera-e-executionmechanism-i-purpose"></a>
I. PURPOSE
------------------------------------------------------------
Define the execution system governing:
STACK E — REGIMEN_RQ
------------------------------------------------------------
OPERA_E performs:
• interrogative reduction
• carrier-driven traversal
• species activation
• structured result construction
------------------------------------------------------------
OPERA_E operates only when:
admissibility = TRUE (AREPO_E)
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-ii-position-in-class-order"></a>
II. POSITION IN CLASS ORDER
============================================================
TENET → ROTAS → AREPO → OPERA → SATOR
------------------------------------------------------------
OPERA_E operates:
AFTER admissibility authorization
WITHIN ROTAS_E structure
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-iii-execution-object"></a>
III. EXECUTION OBJECT
============================================================
Input:
admissible question Q
------------------------------------------------------------
Output:
structured result R(Q)
------------------------------------------------------------
Execution Domain:
interrogative reduction space (ROTAS_E)
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-iv-core-execution-principle"></a>
IV. CORE EXECUTION PRINCIPLE
============================================================
Execution is defined as:
reduction + traversal + construction
------------------------------------------------------------
Formal:
OPERA_E(Q) =
construct(
traverse(
activate(
reduce(Q)
)
)
)
------------------------------------------------------------
Definition:
structured result =
• carrier-grounded
• species-bound
• traversal-consistent configuration
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-v-execution-stages"></a>
V. EXECUTION STAGES
============================================================
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-0-input-resolution"></a>
Stage 0 — INPUT RESOLUTION
------------------------------------------------------------
Normalize Q into:
• syntactic unit
• structural candidate set
------------------------------------------------------------
Constraint:
no semantic expansion beyond CAPUT-bound mappings
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-i-reductio-ad-regulam"></a>
Stage I — REDUCTIO AD REGULAM
------------------------------------------------------------
Map Q → carrier set:
Q → { nâ‚, nâ‚‚, ..., nâ‚– }
------------------------------------------------------------
Constraint:
must respect TENET E definitions
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-ii-definition-binding"></a>
Stage II — DEFINITION BINDING
------------------------------------------------------------
Bind:
carriers → definitions (TENET E)
species → domains (TENET R)
------------------------------------------------------------
Output:
bound structure B(Q)
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-iii-objectificatio"></a>
Stage III — OBJECTIFICATIO
------------------------------------------------------------
Construct interrogative object:
O(Q)
------------------------------------------------------------
Definition:
minimal structured form representing Q
within ROTAS_E
------------------------------------------------------------
Constraint:
no traversal yet
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-iv-species-activation"></a>
Stage IV — SPECIES ACTIVATION
------------------------------------------------------------
Activate species for each carrier:
n → R1(n)
------------------------------------------------------------
Output:
expanded object Oâ‚›(Q)
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-v-evaluatio"></a>
Stage V — EVALUATIO
------------------------------------------------------------
Evaluate admissible paths:
P ⊂ R3
------------------------------------------------------------
Constraint:
must respect:
• ROTAS_E structure
• AREPO_E admissibility
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-vi-electio"></a>
Stage VI — ELECTIO
------------------------------------------------------------
Select valid resolution path:
P*
------------------------------------------------------------
Selection Criteria:
• structural completeness
• definition consistency
• admissibility compliance
------------------------------------------------------------
Note:
selection is deterministic
no optimization or ranking implied
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-stage-vii-result-construction"></a>
Stage VII — RESULT CONSTRUCTION
------------------------------------------------------------
Produce structured result:
R(Q)
------------------------------------------------------------
Form:
• carrier-based
• species-grounded
• traversal-consistent
------------------------------------------------------------
Output is:
deterministic
reconstructible
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-vi-execution-constraints"></a>
VI. EXECUTION CONSTRAINTS
============================================================
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-1-structural-dependence"></a>
1. STRUCTURAL DEPENDENCE
------------------------------------------------------------
All execution must occur within:
ROTAS_E
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-2-admissibility-dependence"></a>
2. ADMISSIBILITY DEPENDENCE
------------------------------------------------------------
Execution requires:
AREPO_E approval
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-3-definition-primacy"></a>
3. DEFINITION PRIMACY
------------------------------------------------------------
No operation without:
TENET binding
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-4-non-stochasticity"></a>
4. NON-STOCHASTICITY
------------------------------------------------------------
Execution is deterministic
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-5-traceability"></a>
5. TRACEABILITY
------------------------------------------------------------
All steps must be reconstructible:
Q → R0 → R1 → R2 → R3 → R(Q)
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-vii-execution-modes"></a>
VII. EXECUTION MODES
============================================================
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-1-single-carrier-mode"></a>
1. SINGLE-CARRIER MODE
------------------------------------------------------------
Q → n → R1(n) → R(Q)
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-2-multi-carrier-mode"></a>
2. MULTI-CARRIER MODE
------------------------------------------------------------
Q → {nâ‚, nâ‚‚} → R2(nâ‚,nâ‚‚) → R(Q)
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-3-recursive-mode"></a>
3. RECURSIVE MODE
------------------------------------------------------------
R(Q) → Q' → OPERA_E(Q')
------------------------------------------------------------
Constraint:
recursion must re-enter AREPO_E
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-viii-failure-handling"></a>
VIII. FAILURE HANDLING
============================================================
OPERA_E does not define admissibility failures.
------------------------------------------------------------
If failure occurs:
defer to AREPO_E
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-ix-output-structure"></a>
IX. OUTPUT STRUCTURE
============================================================
R(Q) contains:
• carrier mapping
• species activation
• traversal path
• structured result
------------------------------------------------------------
Optional:
execution trace
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-ix-a-carrier-b-triplex-traversal-and-aggregation"></a>
IX-A. CARRIER-B TRIPLEX TRAVERSAL AND AGGREGATION
============================================================
The carrier-B triplex is the OPERA Q mechanism for reducing overfitting and
premature hypothesis closure. OPERA E must preserve admissible affirmative,
negative, and dubitative traces long enough for their evidence, failure, and
return states to be inspected independently.
No hypothesis closes merely because it is first, numerous, fluent, preferred,
or the only trace currently carrying positive support. Closure requires the
current judgment rule to accept the complete disclosed comparison frame.
For an admitted carrier-B triplex invocation, OPERA E:
• preserves separate versioned traces
• executes only admitted transitions
• records local states and state deltas
• constructs a disclosed comparison frame
Aggregation has no default majority, consensus, branch priority, or hidden
synthesis. Lack of support does not become negation.
OPERA E distinguishes:
BRANCH_LOCAL_CONTRADICTION
LAWFUL_LOCAL_TERMINATION
RUNTIME_SUSPENSION
GLOBAL_TRAVERSAL_FAILURE
GLOBAL_JUDGMENT_UNRESOLVED
Re-entry requires a prior-state reference and a non-empty state delta. Return
is a typed handoff to a receiving AREPO; it is not automatic merge, closure,
parent mutation, or downstream execution.
Global result status is READY, UNRESOLVED, SUSPENDED, REJECTED, or FAILED.
READY requires an explicit current judgment rule that accepts the disclosed
comparison frame. Branch count alone never determines the result.
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-x-circular-interrogative-consistency-validation"></a>
X. CIRCULAR INTERROGATIVE CONSISTENCY VALIDATION
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-purpose"></a>
PURPOSE
------------------------------------------------------------
Circular interrogative consistency validation treats the
REGIMEN_RQ interrogative scaffold as a quasi-cyclic structure
for validation purposes.
It does NOT claim:
• that Q is a literal ROTA
• that Llull defined Q as a wheel
It DOES establish:
• a lawful isomorphic projection for validation
• cyclic coherence checking across interrogative loci
• improved anti-drift control in OPERA_E execution
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-validation-principle"></a>
VALIDATION PRINCIPLE
------------------------------------------------------------
A question structure is not fully validated merely because:
• individual questions are answered
• local coherence is present
It must also be coherent with:
• the generative triad from which a question arises
• the downstream questions it must sustain
Thus OPERA_E validates:
local interrogative validity
+
scaffold completeness
+
circular interrogative coherence
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-act-generation-law"></a>
ACT GENERATION LAW
------------------------------------------------------------
Exploratory ACT mapping:
E (CAUSE) = ACT(B, C, D)
F (QUANTITY) = ACT(C, D, E)
G (QUALITY) = ACT(D, E, F)
H (WHEN) = ACT(E, F, G)
I (WHERE) = ACT(F, G, H)
K (HOW / WITH WHAT) = ACT(G, H, I)
Where:
B = POSSIBILITY (AN SIT)
C = QUIDDITY (QUID SIT)
D = MATERIALITY (DE QUO EST)
Interpretation:
Higher-order questions emerge from foundational ones.
Example:
• Cause cannot be stable if possibility, quiddity,
and material grounding are weak
Rule:
No higher-order question may be treated as resolved if its
source triad is unresolved or inconsistent.
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-agent-grounding-law"></a>
AGENT GROUNDING LAW
------------------------------------------------------------
Exploratory AGENT mapping:
B (POSSIBILITY) = AGENT(H, I, K)
C (QUIDDITY) = AGENT(I, K, B)
D (MATERIALITY) = AGENT(K, B, C)
Interpretation:
Foundational questions are retro-validated by applied ones.
Example:
• a claimed possibility must remain compatible with
when/where/how it is instantiated
Rule:
Foundational Q-answers must not contradict their applied
manifestation.
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-circular-interrogative-closure"></a>
CIRCULAR INTERROGATIVE CLOSURE
------------------------------------------------------------
Closure:
B → C → D → E → F → G → H → I → K → B
Rule:
After OPERA_E execution, the question-field must be checked
for cyclic coherence.
Meaning:
A Q-structure may be:
• locally answered
• partially coherent
• yet globally inconsistent
Constraint:
This is a validation overlay, not a replacement of Q-sequence.
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-circular-consistency-check"></a>
CIRCULAR CONSISTENCY CHECK
------------------------------------------------------------
For each Q-node:
<a id="local-section-04-stack-e-opera-e-executionmechanism-check"></a>
CHECK:
consistency with source triad
consistency with target triad
Flag:
<a id="local-section-04-stack-e-opera-e-executionmechanism-q-circular-inconsistency"></a>
Q_CIRCULAR_INCONSISTENCY:
assigned when answers across Q-loci cannot be jointly
sustained
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-validity-consequences"></a>
VALIDITY CONSEQUENCES
------------------------------------------------------------
If circular inconsistency is:
minor:
→ mark as PARTIAL
structural:
→ mark as INCOMPLETE_Q_FIELD
severe:
→ force re-interrogation at B/C/D level
Rule:
Q must not proceed to A/T/D if circular inconsistency is
load-bearing.
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-output-extension"></a>
OUTPUT EXTENSION
------------------------------------------------------------
R(Q) may include:
<a id="local-section-04-stack-e-opera-e-executionmechanism-circular-interrogative-validation"></a>
CIRCULAR_INTERROGATIVE_VALIDATION:
ACT_SOURCE_STATUS::<COHERENT|PARTIAL|FAILED>
AGENT_TARGET_STATUS::<COHERENT|PARTIAL|FAILED>
Q_CLOSURE_STATUS::<CLOSED|PARTIAL|OPEN|FAILED>
Q_CIRCULAR_FLAGS::{...}
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-result"></a>
RESULT
------------------------------------------------------------
OPERA_E becomes:
a coherent interrogative field validator
not merely:
a question enumerator
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-xi-limits"></a>
XI. LIMITS
============================================================
OPERA_E does NOT:
• define admissibility (AREPO)
• define structure (ROTAS)
• define principles (TENET)
• mediate output (SATOR)
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-opera-e-only"></a>
OPERA_E ONLY:
executes interrogative reduction
============================================================
<a id="local-section-04-stack-e-opera-e-executionmechanism-xii-closure"></a>
XII. CLOSURE
============================================================
OPERA_E establishes:
the execution engine for:
REGIMEN_RQ
------------------------------------------------------------
With this artifact:
✓ questions become reducible
✓ structure becomes traversable
✓ results become constructible
------------------------------------------------------------
<a id="local-section-04-stack-e-opera-e-executionmechanism-status"></a>
STATUS:
FUNCTIONALLY COMPLETE
LOCK-CANDIDATE
CIRCULAR-VALIDATION-INTEGRATED
============================================================
END OF ARTIFACT
============================================================
Actual artifact: 04_STACK_E/OPERA_E_ExecutionMechanism.md