============================================================
OPERA G — EVACUATIO EXECUTION KERNEL (REWRITE)
Ars Generalis Applied — OPERA Layer
Version: 1.0.1-OPERA-G-TENET-D-SUPPORT
Status: PROPOSED / VALIDATION TARGET
Authority: OPERA (bound to TENET G / AREPO G / ROTA G)
Scope: Runtime execution of Evacuatio over FIGURA TERTIA
Mutation Policy: VERSION-CONTROLLED ONLY
Class: OPERA
ALIAS BINDING:
Alias_Artifact: ./ALIAS_G
Alias_Class: AGLA / ALIAS
Canonical_Invocation: OPERA G
Invocation_Surfaces:
- OPERA G
- OPERA EVACUATIO
- OPERA REGIMEN_G
- EVACUATIO
Alias_Law: routing only; no execution, admissibility, doctrine, structure, or mediation authority transfers from alias.
============================================================
LIBER_X_ALIGNMENT:
patch_id: LIBER_X_ATQS_MAIN_STACK_ALIGNMENT
source_liber: _00_Documentation/01_CONTEXT_Development_Only/CODEX_ONLY/LIBER_X_ARS_BREVIS_VERSIO_LATINA_SCHOLASTICA_COMMENTATA.md
notation_liber: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
caput_rosetta: CAPUT G
ars_brevis_locus: Pars Sexta - Evacuation of the Third Figure
agu_dataset_lane: AGU Dataset 004
target_stack: G
class_role: OPERA
alignment_note: G uses the 36 camera evacuation lineage and must preserve camera/proposition/question/media trace.
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.
- [SECTION 1 — PURPOSE & CLASS ROLE](#local-section-07-stack-g-opera-g-executionmechanism-section-1-purpose-class-role)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle)
- [ROLE](#local-section-07-stack-g-opera-g-executionmechanism-role)
- [OPERA G:](#local-section-07-stack-g-opera-g-executionmechanism-opera-g)
- [NON-ROLE](#local-section-07-stack-g-opera-g-executionmechanism-non-role)
- [CORE FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-core-function)
- [SEPARATION LAW](#local-section-07-stack-g-opera-g-executionmechanism-separation-law)
- [SECTION 2 — RUNTIME ENTRY CONTRACT](#local-section-07-stack-g-opera-g-executionmechanism-section-2-runtime-entry-contract)
- [INPUT](#local-section-07-stack-g-opera-g-executionmechanism-input)
- [PRECONDITIONS (AREPO)](#local-section-07-stack-g-opera-g-executionmechanism-preconditions-arepo)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions)
- [SECTION 3 — EXECUTION MODES](#local-section-07-stack-g-opera-g-executionmechanism-section-3-execution-modes)
- [MODE A — GENERATIVE](#local-section-07-stack-g-opera-g-executionmechanism-mode-a-generative)
- [MODE B — PREPROCESSED](#local-section-07-stack-g-opera-g-executionmechanism-mode-b-preprocessed)
- [EQUIVALENCE LAW](#local-section-07-stack-g-opera-g-executionmechanism-equivalence-law)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-2)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-2)
- [PROHIBITION](#local-section-07-stack-g-opera-g-executionmechanism-prohibition)
- [SECTION 4 — CORE EXECUTION PIPELINE](#local-section-07-stack-g-opera-g-executionmechanism-section-4-core-execution-pipeline)
- [PIPELINE (STRICT ORDER)](#local-section-07-stack-g-opera-g-executionmechanism-pipeline-strict-order)
- [INVARIANT](#local-section-07-stack-g-opera-g-executionmechanism-invariant)
- [DEPENDENCY LAW](#local-section-07-stack-g-opera-g-executionmechanism-dependency-law)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-3)
- [SECTION 5 — STATEMENT GENERATION](#local-section-07-stack-g-opera-g-executionmechanism-section-5-statement-generation)
- [FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-function)
- [RULE](#local-section-07-stack-g-opera-g-executionmechanism-rule)
- [CARDINALITY](#local-section-07-stack-g-opera-g-executionmechanism-cardinality)
- [PROPERTIES](#local-section-07-stack-g-opera-g-executionmechanism-properties)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-3)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-4)
- [SECTION 6 — MEDIUM DERIVATION](#local-section-07-stack-g-opera-g-executionmechanism-section-6-medium-derivation)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle-2)
- [FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-function-2)
- [CARDINALITY](#local-section-07-stack-g-opera-g-executionmechanism-cardinality-2)
- [INVARIANT](#local-section-07-stack-g-opera-g-executionmechanism-invariant-2)
- [PROPERTIES](#local-section-07-stack-g-opera-g-executionmechanism-properties-2)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-4)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-5)
- [SECTION 7 — QUESTION DERIVATION](#local-section-07-stack-g-opera-g-executionmechanism-section-7-question-derivation)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle-3)
- [FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-function-3)
- [CARDINALITY](#local-section-07-stack-g-opera-g-executionmechanism-cardinality-3)
- [INVARIANT](#local-section-07-stack-g-opera-g-executionmechanism-invariant-3)
- [PROPERTIES](#local-section-07-stack-g-opera-g-executionmechanism-properties-3)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-5)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-6)
- [SECTION 8 — RULE BINDING (TENET E)](#local-section-07-stack-g-opera-g-executionmechanism-section-8-rule-binding-tenet-e)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle-4)
- [APPLICATION](#local-section-07-stack-g-opera-g-executionmechanism-application)
- [EFFECT](#local-section-07-stack-g-opera-g-executionmechanism-effect)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-6)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-7)
- [PROHIBITION](#local-section-07-stack-g-opera-g-executionmechanism-prohibition-2)
- [SECTION 9 — RESOLUTION ENGINE](#local-section-07-stack-g-opera-g-executionmechanism-section-9-resolution-engine)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle-5)
- [FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-function-4)
- [OUTPUT](#local-section-07-stack-g-opera-g-executionmechanism-output)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-7)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-8)
- [NOTE](#local-section-07-stack-g-opera-g-executionmechanism-note)
- [SECTION 10 — OUTPUT STRUCTURE](#local-section-07-stack-g-opera-g-executionmechanism-section-10-output-structure)
- [OUTPUT OBJECT](#local-section-07-stack-g-opera-g-executionmechanism-output-object)
- [TRACE STRUCTURE](#local-section-07-stack-g-opera-g-executionmechanism-trace-structure)
- [PROPERTIES](#local-section-07-stack-g-opera-g-executionmechanism-properties-4)
- [POSTCONDITION](#local-section-07-stack-g-opera-g-executionmechanism-postcondition)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-9)
- [SECTION 11 — NON-TOPOLOGY LAW](#local-section-07-stack-g-opera-g-executionmechanism-section-11-non-topology-law)
- [PRINCIPLE](#local-section-07-stack-g-opera-g-executionmechanism-principle-6)
- [INTERPRETATION](#local-section-07-stack-g-opera-g-executionmechanism-interpretation)
- [ROTA G:](#local-section-07-stack-g-opera-g-executionmechanism-rota-g)
- [OPERA G:](#local-section-07-stack-g-opera-g-executionmechanism-opera-g-2)
- [CONSTRAINT](#local-section-07-stack-g-opera-g-executionmechanism-constraint-8)
- [PROHIBITION](#local-section-07-stack-g-opera-g-executionmechanism-prohibition-3)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-10)
- [SECTION 12 — TENET I CARRIER CONSISTENCY REFERENCE](#local-section-07-stack-g-opera-g-executionmechanism-section-12-tenet-i-carrier-consistency-reference)
- [REFERENCE SCOPE](#local-section-07-stack-g-opera-g-executionmechanism-reference-scope)
- [CONSISTENCY CHECK](#local-section-07-stack-g-opera-g-executionmechanism-consistency-check)
- [NON-NORMALIZATION RULE](#local-section-07-stack-g-opera-g-executionmechanism-non-normalization-rule)
- [FAILURE CONDITIONS](#local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-11)
- [SECTION 13 — FUNCTION & CLOSURE](#local-section-07-stack-g-opera-g-executionmechanism-section-13-function-closure)
- [FUNCTION](#local-section-07-stack-g-opera-g-executionmechanism-function-5)
- [SYSTEM ROLE](#local-section-07-stack-g-opera-g-executionmechanism-system-role)
- [FINAL LAW](#local-section-07-stack-g-opera-g-executionmechanism-final-law)
- [VALIDITY CONDITION](#local-section-07-stack-g-opera-g-executionmechanism-validity-condition)
- [Status: PROPOSED / VALIDATION TARGET](#local-section-07-stack-g-opera-g-executionmechanism-status-proposed-validation-target)
<!-- LOCAL_SECTION_INDEX_END -->
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-1-purpose-class-role"></a>
SECTION 1 — PURPOSE & CLASS ROLE
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle"></a>
PRINCIPLE
------------------------------------------------------------
OPERA G executes Evacuatio as a deterministic closure.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-role"></a>
ROLE
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-opera-g"></a>
OPERA G:
• performs closure over a camera
• generates statements (12)
• derives media (12)
• derives questions (24)
• resolves interrogatives
• emits fully closed structure
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-non-role"></a>
NON-ROLE
------------------------------------------------------------
OPERA G does NOT:
• define invariants (TENET)
• validate admissibility (AREPO)
• define topology (ROTA)
• mediate output (SATOR)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-core-function"></a>
CORE FUNCTION
------------------------------------------------------------
execute:
camera → EvacuatedStructure
under:
deterministic closure
strict dependency order
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-separation-law"></a>
SEPARATION LAW
------------------------------------------------------------
OPERA G ≠ TENET G ≠ AREPO G ≠ ROTA G ≠ SATOR G
============================================================
END SECTION 1
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-2-runtime-entry-contract"></a>
SECTION 2 — RUNTIME ENTRY CONTRACT
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-input"></a>
INPUT
------------------------------------------------------------
EVACUATIO_REQUEST :=
{
camera: (l_i, l_j),
bindings:
{
TENET_A: required,
TENET_T: required,
TENET_D: required as articulation support when absolute and relative principles are used together,
TENET_E: required,
TENET_I: required when execution surface carries mixed A/T/E carrier identity
},
mode:
GENERATIVE
OR
PREPROCESSED
}
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-preconditions-arepo"></a>
PRECONDITIONS (AREPO)
------------------------------------------------------------
Execution requires:
• valid(camera ∈ FIGURA_TERTIA)
• TENET bindings resolved
- TENET D articulation resolved when TENET A and TENET T are jointly operative
• TENET I carrier discipline resolved where A/T/E mixture is present
• no regime collapse
• dependencies resolved
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint"></a>
CONSTRAINT
------------------------------------------------------------
OPERA G must not execute without:
AREPO admission
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions"></a>
FAILURE CONDITIONS
------------------------------------------------------------
INVALID_CAMERA
TENET_BINDING_MISSING
TENET_D_ARTICULATION_MISSING
REGIME_COLLAPSE
UNRESOLVED_DEPENDENCY
============================================================
END SECTION 2
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-3-execution-modes"></a>
SECTION 3 — EXECUTION MODES
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-mode-a-generative"></a>
MODE A — GENERATIVE
------------------------------------------------------------
compute:
EVACUATIO(camera)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-mode-b-preprocessed"></a>
MODE B — PREPROCESSED
------------------------------------------------------------
retrieve:
PREPROCESSED_EVACUATIO_3[camera]
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-equivalence-law"></a>
EQUIVALENCE LAW
------------------------------------------------------------
GENERATIVE(camera)
≡
PREPROCESSED(camera)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------
All modes must produce identical:
• statements
• media
• questions
• structure
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-2"></a>
FAILURE CONDITIONS
------------------------------------------------------------
MODE_MISMATCH
NON_EQUIVALENT_OUTPUT
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-prohibition"></a>
PROHIBITION
------------------------------------------------------------
OPERA G must not:
✗ introduce mode-dependent variation
============================================================
END SECTION 3
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-4-core-execution-pipeline"></a>
SECTION 4 — CORE EXECUTION PIPELINE
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-pipeline-strict-order"></a>
PIPELINE (STRICT ORDER)
------------------------------------------------------------
1. validate(camera)
2. bind(TENET_A, TENET_T)
2a. bind(TENET_I) when mixed A/T/E carrier identity is present
3. generate_statements(camera)
4. derive_media(statements)
5. derive_questions(statements)
6. apply_rules(TENET_E)
7. resolve(questions)
8. assemble(output)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-invariant"></a>
INVARIANT
------------------------------------------------------------
No step may be:
• skipped
• reordered
• partially executed
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-dependency-law"></a>
DEPENDENCY LAW
------------------------------------------------------------
camera
→ statements
→ media
→ questions
→ resolution
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-3"></a>
FAILURE CONDITIONS
------------------------------------------------------------
PIPELINE_VIOLATION
PARTIAL_EXECUTION
DEPENDENCY_BREAK
============================================================
END SECTION 4
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-5-statement-generation"></a>
SECTION 5 — STATEMENT GENERATION
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-function"></a>
FUNCTION
------------------------------------------------------------
generate_statements(camera):
input:
(X, Y) + T_pair
output:
statements[12]
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-rule"></a>
RULE
------------------------------------------------------------
statements := closure_under_exchange(
{X, Y, T₁, T₂}
)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-cardinality"></a>
CARDINALITY
------------------------------------------------------------
|statements| = 12
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-properties"></a>
PROPERTIES
------------------------------------------------------------
Statements must:
• be complete
• be ordered
• preserve bidirectional relations
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------
Statement set must be:
• closed
• deterministic
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-4"></a>
FAILURE CONDITIONS
------------------------------------------------------------
STATEMENT_CARDINALITY_ERROR
INVALID_RELATION_SET
INCOMPLETE_CLOSURE
============================================================
END SECTION 5
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-6-medium-derivation"></a>
SECTION 6 — MEDIUM DERIVATION
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle-2"></a>
PRINCIPLE
------------------------------------------------------------
Each statement yields exactly one medium.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-function-2"></a>
FUNCTION
------------------------------------------------------------
derive_media(statements):
for each S_i:
m_i := extract_medium(S_i)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-cardinality-2"></a>
CARDINALITY
------------------------------------------------------------
|media| = 12
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-invariant-2"></a>
INVARIANT
------------------------------------------------------------
∀ S_i:
∃! m_i
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-properties-2"></a>
PROPERTIES
------------------------------------------------------------
Media must be:
• unique per statement
• structurally derived
• non-optional
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-4"></a>
CONSTRAINT
------------------------------------------------------------
No statement may:
• lack a medium
• share a medium
• produce multiple media
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-5"></a>
FAILURE CONDITIONS
------------------------------------------------------------
MEDIUM_EXTRACTION_ERROR
NON_UNIQUE_MEDIUM
MISSING_MEDIUM
============================================================
END SECTION 6
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-7-question-derivation"></a>
SECTION 7 — QUESTION DERIVATION
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle-3"></a>
PRINCIPLE
------------------------------------------------------------
Questions are derived from statements only.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-function-3"></a>
FUNCTION
------------------------------------------------------------
derive_questions(statements):
for each S_i:
yield QB(S_i)
yield QC(S_i)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-cardinality-3"></a>
CARDINALITY
------------------------------------------------------------
|questions| = 24
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-invariant-3"></a>
INVARIANT
------------------------------------------------------------
2 questions per statement
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-properties-3"></a>
PROPERTIES
------------------------------------------------------------
Questions must:
• preserve ancestry (S_i → Q)
• remain statement-anchored
• be structurally derivable
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-5"></a>
CONSTRAINT
------------------------------------------------------------
No question may:
• exist without parent statement
• be derived from media
• bypass derivation chain
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-6"></a>
FAILURE CONDITIONS
------------------------------------------------------------
QUESTION_CARDINALITY_ERROR
ANCESTRY_BREAK
INVALID_DERIVATION
============================================================
END SECTION 7
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-8-rule-binding-tenet-e"></a>
SECTION 8 — RULE BINDING (TENET E)
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle-4"></a>
PRINCIPLE
------------------------------------------------------------
Evacuatio requires rule binding for interrogative structure.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-application"></a>
APPLICATION
------------------------------------------------------------
apply:
Rule_B
Rule_C
to:
statements and questions
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-effect"></a>
EFFECT
------------------------------------------------------------
Rules:
• structure interrogative domain
• define polarity (QB)
• define identity (QC)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-6"></a>
CONSTRAINT
------------------------------------------------------------
Both rules must be applied.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-7"></a>
FAILURE CONDITIONS
------------------------------------------------------------
RULE_BINDING_MISSING
PARTIAL_RULE_APPLICATION
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-prohibition-2"></a>
PROHIBITION
------------------------------------------------------------
OPERA G must not:
✗ execute without TENET E
✗ partially apply rules
============================================================
END SECTION 8
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-9-resolution-engine"></a>
SECTION 9 — RESOLUTION ENGINE
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle-5"></a>
PRINCIPLE
------------------------------------------------------------
All derived questions must be resolved.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-function-4"></a>
FUNCTION
------------------------------------------------------------
resolve(questions):
for each q:
assign:
affirmative
OR
negative
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-output"></a>
OUTPUT
------------------------------------------------------------
solutions := resolved questions
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-7"></a>
CONSTRAINT
------------------------------------------------------------
All questions must be:
• evaluated
• resolved
• included in output
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-8"></a>
FAILURE CONDITIONS
------------------------------------------------------------
UNRESOLVED_QUERY
NON_TERMINAL_EXECUTION
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-note"></a>
NOTE
------------------------------------------------------------
Resolution is:
part of closure
============================================================
END SECTION 9
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-10-output-structure"></a>
SECTION 10 — OUTPUT STRUCTURE
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-output-object"></a>
OUTPUT OBJECT
------------------------------------------------------------
EvacuatedStructure :=
{
camera,
T_pair,
statements[12],
media[12],
questions[24],
solutions,
trace
}
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-trace-structure"></a>
TRACE STRUCTURE
------------------------------------------------------------
trace :=
{
derivation_chain,
TENET_bindings,
execution_mode,
statement_question_ancestry
}
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-properties-4"></a>
PROPERTIES
------------------------------------------------------------
Output must be:
• deterministic
• complete
• traceable
• reproducible
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-postcondition"></a>
POSTCONDITION
------------------------------------------------------------
valid(EvacuatedStructure)
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-9"></a>
FAILURE CONDITIONS
------------------------------------------------------------
INCOMPLETE_OUTPUT
TRACE_BREAK
INVALID_STRUCTURE
============================================================
END SECTION 10
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-11-non-topology-law"></a>
SECTION 11 — NON-TOPOLOGY LAW
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-principle-6"></a>
PRINCIPLE
------------------------------------------------------------
OPERA G executes independently of topology.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-interpretation"></a>
INTERPRETATION
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-rota-g"></a>
ROTA G:
provides structure
<a id="local-section-07-stack-g-opera-g-executionmechanism-opera-g-2"></a>
OPERA G:
performs closure
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-constraint-8"></a>
CONSTRAINT
------------------------------------------------------------
OPERA G must not:
• depend on cyclic traversal
• require positional indexing
• require angular mapping
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-prohibition-3"></a>
PROHIBITION
------------------------------------------------------------
OPERA G must not:
✗ embed topology logic
✗ simulate rotation
✗ rely on positional state
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-10"></a>
FAILURE CONDITIONS
------------------------------------------------------------
TOPOLOGY_DEPENDENCY
ROTA_EXECUTION_LEAK
============================================================
END SECTION 11
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-12-tenet-i-carrier-consistency-reference"></a>
SECTION 12 — TENET I CARRIER CONSISTENCY REFERENCE
============================================================
OPERA G must respect TENET I when Evacuatio execution produces
or consumes structures where A, T, and E carriers coexist.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-reference-scope"></a>
REFERENCE SCOPE
------------------------------------------------------------
TENET I is referenced only for:
• full token presence
• carrier identity
• ordinal integrity
• regime distinction across A / T / E carriers
• prohibition of identity by numeric value alone
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-consistency-check"></a>
CONSISTENCY CHECK
------------------------------------------------------------
Evacuatio execution must not:
• infer carrier identity from partial token
• collapse A / T / E carrier ranges
• treat symbolic or numeric coincidence as identity
• lose TENET binding traceability in output
• replace K with K1 or K2 in combinatory operations
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-non-normalization-rule"></a>
NON-NORMALIZATION RULE
------------------------------------------------------------
This reference does not normalize OPERA G into TENET I and does
not convert Evacuatio closure into MIXTURA execution.
It binds OPERA G only to TENET I carrier discipline where
mixed-carrier identity is present.
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-failure-conditions-11"></a>
FAILURE CONDITIONS
------------------------------------------------------------
TENET_I_REFERENCE_MISSING
MIXTURA_TOKEN_INCOMPLETE
MIXTURA_ORDINAL_DRIFT
MIXTURA_REGIME_COLLAPSE
MIXTURA_NUMERIC_IDENTITY_ERROR
============================================================
END SECTION 12
============================================================
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-section-13-function-closure"></a>
SECTION 13 — FUNCTION & CLOSURE
============================================================
<a id="local-section-07-stack-g-opera-g-executionmechanism-function-5"></a>
FUNCTION
------------------------------------------------------------
OPERA G governs:
• Evacuatio execution
• deterministic closure
• statement generation
• media derivation
• question derivation
• interrogative resolution
• traceable output
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-system-role"></a>
SYSTEM ROLE
------------------------------------------------------------
OPERA G is:
• the execution kernel
• the closure engine
• the inferential stabilizer
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-final-law"></a>
FINAL LAW
------------------------------------------------------------
OPERA G must always produce:
a complete, deterministic, dependency-closed structure
------------------------------------------------------------
<a id="local-section-07-stack-g-opera-g-executionmechanism-validity-condition"></a>
VALIDITY CONDITION
------------------------------------------------------------
valid_execute(request) ⇔
admitted_by_AREPO
∧ valid(camera)
∧ exact12(statements)
∧ exact12(media)
∧ exact24(questions)
∧ resolved(questions)
∧ trace_complete
------------------------------------------------------------
ANY violation implies:
invalid execution
============================================================
END SECTION 13
============================================================
============================================================
SECTION 14 — PILOT MODULAR ROTAE EXECUTION CONTEXT
============================================================
Status:
PILOT / MODULARIZATION_SPRINT / NON-KERNEL-GENERATED
Purpose:
test OPERA G execution with native ROTA G plus declared external
ROTAS substrate under AREPO G admission.
------------------------------------------------------------
MODULAR_EXECUTION_CONTEXT_G_PILOT
------------------------------------------------------------
target_opera: OPERA_G_ExecutionMechanism.md
native_rotas: ROTAS_G_StructuralInstantiation.md
selected_rotas_default: ROTAS_G_StructuralInstantiation.md
selection_reason_default: native default when OPERA G is invoked without
explicit ROTA / ROTAS override
admitting_arepo: AREPO_G_InputAdmissibility.md
return_sator: SATOR_G_OutputRequirements.md
compatible_rotae_ranked:
rank 0:
rotas: ROTAS_G_StructuralInstantiation.md
role: NATIVE_DEFAULT
selected_by: implicit OPERA G invocation
compatibility: FULL_NATIVE
rank 1:
rotas: ROTAS_F_StructuralInstantiation.md
role: ADAPTED_COMPATIBLE
selected_by: explicit command only while native ROTAS G exists
permission_id: PERMISSION_G_ROTAS_F_TRAVERSE
compatibility: PILOT_COMPATIBLE
rank 2:
rotas: ROTAS_D_StructuralInstantiation.md
role: ADAPTED_COMPATIBLE
selected_by: explicit command only while native ROTAS G exists
permission_id: PERMISSION_G_ROTAS_D_TRAVERSE
compatibility: PILOT_COMPATIBLE_WITH_KERNEL_LIMITATION
blocked:
rotas: ROTAS_I_StructuralInstantiation.md
role: ADAPTED_CANDIDATE
selected_by: never until source artifact exists and AREPO G admits it
permission_id: PERMISSION_G_ROTAS_I_TRAVERSE
compatibility: BLOCKED_SOURCE_ARTIFACT_MISSING
active_external_rotae:
ROTAS_F:
source_stack: 05_STACK_F
source_artifact: ROTAS_F_StructuralInstantiation.md
permission_id: PERMISSION_G_ROTAS_F_TRAVERSE
status: ACTIVE_PILOT_CANDIDATE
use: TRAVERSE / PARAMETERIZE / COMPARE
ROTAS_D:
source_stack: 08_STACK_D
source_artifact: ROTAS_D_StructuralInstantiation.md
permission_id: PERMISSION_G_ROTAS_D_TRAVERSE
status: ACTIVE_PILOT_CANDIDATE
use: TRAVERSE / PARAMETERIZE / COMPARE
ROTAS_I:
source_stack: 10_STACK_I
source_artifact: ROTAS_I_StructuralInstantiation.md
permission_id: PERMISSION_G_ROTAS_I_TRAVERSE
status: BLOCKED_SOURCE_ARTIFACT_MISSING
use: SUSPENDED
------------------------------------------------------------
PILOT EXECUTION LAW
------------------------------------------------------------
OPERA G may execute with ROTAS F or ROTAS D as declared external
structural substrate only after AREPO G admission.
OPERA G invoked without a ROTA / ROTAS override must execute with native
ROTAS G.
OPERA G must use ROTAS F or ROTAS D only when the user explicitly
commands that selection, or when native ROTAS G is unavailable and
AREPO G selects the highest-ranked fallback declaratively.
OPERA G must not execute with ROTAS I until a ROTAS I artifact exists
and AREPO G admits it.
External ROTAE do not execute Evacuatio.
External ROTAE do not replace ROTA G.
Failure:
modular_context_unadmitted
active_rotae_without_permission
native_rotas_bypassed_by_silence
adapted_rotas_used_without_explicit_command
fallback_rotas_hidden
rotas_i_simulated
external_rota_as_executor
============================================================
END OPERA G — EVACUATIO EXECUTION KERNEL (REWRITE)
Version: 1.0.0-OPERA-G-MAGNUM-NORMALIZED
<a id="local-section-07-stack-g-opera-g-executionmechanism-status-proposed-validation-target"></a>
Status: PROPOSED / VALIDATION TARGET
============================================================
Actual artifact: 07_STACK_G/OPERA_G_ExecutionMechanism.md