============================================================ OPERA TRIVIUM — EXECUTION MECHANISM GRAMMATICA / LOGICA / RHETORICA Version: 1.0.0-OPERA-TRIVIUM-ADD-ON Status: STABLE ADD-ON SOURCE / DUAL-MODE SOURCE-BOUNDED GRAMMATICA + LOGICA AVAILABLE RHETORICA NOT EXECUTABLE Authority: USER / HUMAN CONTROL PLANE / 13_STACK_ADD_ONS Class: OPERA Domain Class: AGLA / OPERA / TRIVIUM Depends-On: • TENET_TRIVIUM_DoctrinalInvariants.md@1.0.0 • ROTAS_TRIVIUM_StructuralInstantiation.md@1.0.0 • AREPO_TRIVIUM_InputAdmissibility.md@1.0.0 • LIBER_X_TRIVIUM_MATRIX_RECORDS.json@1.0.0 • AGLA_OPERA_CLASS_LAW Scope: • execute admitted Trivium interpretation and analysis • instantiate ORATIO objects • traverse grammatical and logical structures • execute source-bounded rhetoric pass when available • activate specialized Q profiles • resolve T relations and T(BCD) cross-art analysis • generate explicit trace and handoff Integration Effect: PROMOTED ADD-ON SOURCE / PRINCIPAL-STACK COMPOSABLE Standalone Effect: STANDALONE DEPLOYABLE UNDER TRIVIUM ADD-ON PROFILE Runtime Boundary: OPERA EXECUTES ONLY AFTER AREPO ADMISSION; RHETORICA FAILS CLOSED Promotion Source: _01_INTEGRATION_CANDIDATES/Trivium_Stack/OPERA_TRIVIUM_ExecutionMechanism.md@0.1.0 Mutation Policy: VERSION-CONTROLLED ONLY ============================================================ ## I. Purpose OPERA TRIVIUM executes an AREPO-admitted analysis of an input through Grammar, Logic and Rhetoric, with local art amplification determined by telos. It operates on ROTAS structures under TENET constraints and returns a structured execution result for SATOR mediation. It does not: ```text define Trivium doctrine define wheel topology admit its own input invent missing rhetoric carriers canonize a result mediate the final answer replace model inference or training data ``` ## II. Core execution law ```text OPERA_TRIVIUM(input, arepo_result) := complete( trace( route_downstream( synthesize_critically( compare_T_BCD( analyze_rhetorically( analyze_logically( analyze_grammatically( instantiate_oratio(input) ) ) ) ) ) ) ) ) ``` The nesting is conceptual, not a mandatory fixed dominance order. The active traversal order is selected from the admitted art profile and telos. ## III. Entry contract Required: ```text AREPO_RESULT.admission_class ∈ { ADMISSIBLE, ADMISSIBLE_WITH_FLAGS, PROVISIONAL } AREPO_RESULT.next_permitted_transition authorizes OPERA_TRIVIUM mode ``` `DEFERRED`, `BLOCKED` and `REJECTED` do not execute. They route directly to SATOR diagnostic mediation. ## IV. Execution modes ### IV.1 `NORMAL` Primary profiles, mandatory guards and concise cross-art checks. ### IV.2 `EXTENDED` Primary + secondary + conditional species, expanded relation records and ambiguity inventory. ### IV.3 `FULL` All admitted Q species, all relevant T relations and complete pairwise Trivium closure. FULL requires rhetoric readiness or explicit `RHETORICA_UNAVAILABLE` closure marker. ### IV.4 `PROVISIONAL_RESTRICTED` Executes only admitted surfaces, preserves gaps and prohibits definitive stack closure. ## V. Operator/output modes ```text HUMAN_MODE AGENT_MODE DUAL_MODE ``` All modes execute the same class law. They differ in trace density and handoff packaging. ```text HUMAN_MODE: result + inspectable concise trace AGENT_MODE: typed state + full handoff + machine-addressable refs DUAL_MODE: both surfaces derived from one execution record ``` ## VI. Art activation states Each art executes under one admitted state: ```text AMPLIFIED FULL CUSTODIAL DEFERRED UNAVAILABLE ``` Rules: ```text AMPLIFIED: receive first or deepest traversal under current telos FULL: execute complete admitted profile CUSTODIAL: execute boundary and failure checks DEFERRED: preserve a handoff and do not simulate UNAVAILABLE: emit missing-structure state ``` No state establishes permanent hierarchy. ## VII. Stage 0 — Admission import Import without mutation: ```text activation_state admission_class admitted_depth object_binding telos_binding source_posture namespace_status art_activation_profile q_readiness t_readiness rhetoric_readiness latin_trace_readiness flags unresolved_items ``` OPERA cannot relax AREPO flags silently. ## VIII. Stage 1 — Source and provenance registration Create an execution-local source ledger: ```text EXEC_SOURCE_RECORD := source_id source_type authority parsed_sections freshness claims_supported[] ``` Create claim-origin channels: ```text USER_AUTHORITY DIRECT_SOURCE AGLA_ARTIFACT LIBER_INFORMANT MODEL_PRIOR COMMON_INFERENCE STRUCTURAL_DERIVATION EXPERIMENTAL_HYPOTHESIS UNRESOLVED ``` No inferred claim may be upgraded during execution without a new source event or user binding. ## IX. Stage 2 — Object and telos stabilization Bind: ```text PRIMARY_OBJECT CONTEXT NON_OBJECTS OBJECT_LEVELS FINIS_PROPRIUS_OPERAE FINIS_PROXIMUS_INPUT FINIS_INTERMEDIUS_CATENAE FINIS_ULTIMUS_OPERIS ``` If multiple object candidates remain admitted, execute them as separate branches or preserve `OBJECT_MULTIPLICITY`; do not merge them for fluency. ## X. Stage 3 — `CAMPUS ORATIONIS` instantiation ### X.1 Segmentation Create admitted instances of: ```text TOKEN LEMMA PHRASE CLAUSE PROPOSITION UTTERANCE DISCOURSE_SEGMENT ``` ### X.2 Binding ```text surface span speaker/addressee when available source location syntactic neighborhood co-reference candidates ambiguity candidates ``` ### X.3 State ```text ORATIO_STATE := SEGMENTED PARTIALLY_SEGMENTED AMBIGUOUS SOURCE_BOUND ``` This stage identifies the field; it does not yet force grammatical or logical identity. ## XI. Stage 4 — Grammatical analysis The grammar pass executes in the admitted order: ```text 4.1 PART CLASSIFICATION 4.2 PARENT-CLASS CHECK 4.3 LOCAL ACCIDENT ACTIVATION 4.4 VALUE / GRADUS RESOLUTION 4.5 DEPENDENCY CHECK 4.6 AGREEMENT / GOVERNMENT / CONSTRUCTION 4.7 GRAMMATICAL Q PROFILE 4.8 INTERNAL GRAMMATICAL T RELATIONS 4.9 GRAMMATICAL RESULT ``` ### XI.1 Part classification Candidate set: ```text B NOMEN_SUBSTANTIVUM C NOMEN_ADIECTIVUM D PRONOMEN E VERBUM F ADVERBIUM G PARTICIPIUM H CONIUNCTIO I PRAEPOSITIO K INTERIECTIO ``` For B/C, preserve: ```text parent = DON.PARS.NOMEN adaptation_status = USER_AUTHORITY ``` ### XI.2 Accident activation ```text activate only where APPLIES_TO(accidens, pars) ``` Evaluate dependencies before values are accepted. ### XI.3 Grammatical Q Use object-level profiles: ```text PARS profile ACCIDENS profile VALUE profile TOKEN profile CONSTRUCTION profile ``` The direct Llullian Article 88 applications receive priority where applicable. ### XI.4 Grammatical T Resolve: ```text agreement regency composition comparison part–whole act–agent–patient beginning–middle–end ``` Each record requires relata and respectus. ## XII. Stage 5 — Logical analysis The logic pass executes: ```text 5.1 TERM EXTRACTION 5.2 SUBJECT / PREDICATE BINDING 5.3 PORPHYRIAN PREDICABLE CANDIDATE 5.4 ARISTOTELIAN CATEGORY CANDIDATE 5.5 PROPOSITION FORM 5.6 INFERENCE / CONSEQUENCE 5.7 LOGICAL Q PROFILE 5.8 INTERNAL LOGICAL T RELATIONS 5.9 LOGICAL RESULT ``` ### XII.1 Porphyrian medium For a predicate `P` of subject `S`, test: ```text GENUS? SPECIES? DIFFERENTIA? PROPRIUM? ACCIDENS? ``` Multiple candidates may remain until definition and context resolve them. ### XII.2 Aristotelian categories Always keep the canonical ten-category registry available. The experimental nine-slot view may support placement but must carry its status. ### XII.3 Logical inference Record: ```text premises conclusion medium validity status assumptions counterexamples unresolved entailment ``` A persuasive or grammatically well-formed expression is not thereby logically valid. ## XIII. Stage 6 — Rhetorical analysis ### XIII.1 Source-bounded available pass When admitted, analyze: ```text speaker / agent addressee / audience occasion proximate purpose ultimate purpose candidate arrangement salience figural or stylistic choices expected effect source-bound AGU Article 86 functions ``` ### XIII.2 Reserved-port state If a carrier-dependent operation is requested while the wheel is unresolved: ```text RHETORICAL_RESULT.status = DEFERRED_CARRIERS_UNRESOLVED ``` The execution may still return a source-bounded situated analysis, but it cannot simulate a full wheel traversal. ### XIII.3 Rhetorical custodial checks Even in custodial mode, test whether: ```text persuasive force obscures logical invalidity wording obscures grammatical ambiguity audience adaptation changes apparent meaning telos conflicts with declared content ``` ## XIV. Stage 7 — Specialized Q execution Q execution occurs within each art and may also interrogate cross-art relations. ### XIV.1 Activation algorithm ```text for each admitted object: read object_level load PRIMARY species add SECONDARY if mode ≥ EXTENDED add CONDITIONAL when condition true add DIAGNOSTIC when collapse risk detected if mode = FULL: expose all 54 species as traversal space ``` ### XIV.2 Result record ```text Q_RESULT := object_ref activated_species[] questions_generated[] answers_or_states[] source_status[] unresolved_questions[] ``` Q clarifies and articulates. It does not decide a relation that belongs to T. ## XV. Stage 8 — T resolver execution ### XV.1 Request form ```text T_REQUEST := RELATUM_1 RELATUM_2 relation_search_frame respectus direction_candidate level ``` ### XV.2 BCD resolution ```text DIFFERENTIA: state non-identity and level CONCORDANTIA: state common operation/ratio without identity CONTRARIETAS: require resistance and divergent end/operation ``` Local species: ```text SENS_SENS SENS_INTEL INTEL_INTEL ``` ### XV.3 EFG resolution ```text PRINCIPIUM: CAUSA / QUANTITAS / TEMPUS MEDIUM: CONIUNCTIO / MENSURATIO / INTER_EXTREMA FINIS: PRIVATIO / TERMINATIO / PERFECTIO ``` ### XV.4 HIK resolution ```text MAIORITAS / AEQUALITAS / MINORITAS × SUB_SUB / SUB_ACC / ACC_ACC ``` The operator and the local species are separate fields. ### XV.5 Multi-respectus law The same relata may support different H/I/K relations under different respectus. Preserve separate records rather than forcing one global comparison. ## XVI. Stage 9 — Cross-art `T(BCD)` execution Execute pairwise: ```text G ↔ L L ↔ R R ↔ G ``` For each pair: ```text 1. Bind result objects. 2. Determine comparison level. 3. State DIFFERENTIA. 4. Test CONCORDANTIA and its medium. 5. Test CONTRARIETAS only where resistance is real. 6. Record unresolved ambiguity. ``` ### XVI.1 Cross-art record ```text CROSS_ART_RESULT := art_1 art_2 level respectus differentia concordantia medium contrarietas contrarietas_condition unresolved ``` ### XVI.2 Triangular closure ```text TRIVIUM_CLOSURE := pairwise_records + global non-collapse checks + art amplification result + residual ambiguity ``` If rhetoric is unavailable, emit an open triangle rather than inventing closure. ## XVII. Stage 10 — Critical synthesis Synthesis must preserve diagnostic contradiction. ```text SYNTHESIS ≠ SMOOTHING ``` Required distinctions: ```text what is grammatically established what is logically established what is rhetorically established where they differ where they cooperate where they resist what remains undecidable ``` Examples of lawful non-closure: ```text grammatically valid / logically invalid / rhetorically effective logically valid / rhetorically ineffective grammatically ambiguous / logically underdetermined ``` ## XVIII. Stage 11 — Art amplification resolution After analysis, verify whether the admitted profile remained appropriate. ```text ART_PROFILE_RESULT := grammar_state logic_state rhetoric_state justification_by_telos changes_from_initial_profile ``` OPERA may report that a secondary art became load-bearing, but it cannot mutate TENET into a fixed hierarchy. ## XIX. Stage 12 — Downstream OPERA routing TRIVIUM may recommend or prepare downstream AGLA operations only through explicit route records. ```text DOWNSTREAM_ROUTE := candidate_opera reason required_substrate maturity_state arepo_required expected_handoff ``` Routing is not execution of the downstream OPERA. Possible functions: ```text further Q investigation T relation expansion A principial evaluation S subject binding G evacuatio H multiplicatio NUOVA extraction handoff when canon is absent and exploration is admitted ``` ## XX. Stage 13 — `RATIO OPERATIVA EXPLICATA` When Latin trace mode is admitted, render a typed explicit rationale: ```text SUBIECTUM CONTEXTUS FINIS PROPRIUS FINIS PROXIMUS FINIS INTERMEDIUS FINIS ULTIMUS TERMINI DISTINCTIONES FONTES REGULAE ACTIVAE SPECIES ACTIVAE RELATA RESPECTUS PROPOSITIONES OBIECTIONES SED CONTRA RESPONDEO SOLUTIONES CONCLUSIO DUBIA STATUS ADMISSIBILITATIS STATUS EXECUTIONIS HANDOFF ``` This is a documented operative representation. It is not proof by Latin style and does not require exposing an inaccessible private scratchpad. ## XXI. Stage 14 — Machine trace Create one execution record: ```text TRIVIUM_EXECUTION_RECORD := meta source_trace admission_import object_binding telos_binding oratio_instances grammatical_result logical_result rhetorical_result q_results[] t_results[] cross_art_results[] art_profile_result downstream_routes[] claim_provenance[] inferred_items[] unresolved_items[] failure_items[] completion_state ``` MACHINA may later serialize this record. This OPERA does not claim that serialization is canon or execution authority. ## XXII. Stage 15 — Handoff ### XXII.1 Human handoff ```text critical result important distinctions source/inference disclosure unresolved items next lawful route ``` ### XXII.2 Agent handoff ```text typed execution record stable semantic IDs source pointers admission/execution states next permitted transition termination condition ``` ### XXII.3 Dual handoff Both surfaces derive from the same execution record; they may differ in compression, not in status or conclusion. ## XXIII. Completion states ```text COMPLETE COMPLETE_WITH_FLAGS PROVISIONAL_COMPLETE PARTIAL_RHETORIC_DEFERRED PARTIAL_SOURCE_GAP BLOCKED_DURING_EXECUTION FAILED_NON_COLLAPSE TERMINATED_BY_AREPO_STATE ``` A partial result must not be labeled complete without its qualifier. ## XXIV. Failure handling On failure: ```text stop the invalid transition preserve completed stages record failure code preserve source and state trace do not silently repair route to SATOR diagnostic output ``` Runtime failure does not authorize local invention as canonical Trivium. Any exploratory invented method must be separately governed by NUOVA. ## XXV. Reproducibility package A replay package contains: ```text artifact versions source ledger input hash or stable input reference object/telos bindings art profile Q species IDs T species IDs relata and respectus traversal order inferences and confidence/status unresolved fields completion state ``` Replay aims at comparable operative path, not identical generated prose. ## XXVI. Compact execution sequence ```text IMPORT AREPO REGISTER SOURCES BIND OBJECT BIND FOUR ENDS INSTANTIATE ORATIO EXECUTE GRAMMAR EXECUTE LOGIC EXECUTE RHETORIC OR DEFER SOURCEFULLY ACTIVATE Q PROFILES RESOLVE T RELATIONS EXECUTE CROSS-ART T(BCD) PRESERVE CONTRADICTIONS RESOLVE ART AMPLIFICATION ROUTE DOWNSTREAM WRITE EXPLICIT TRACE PACKAGE HANDOFF RETURN TO SATOR ``` ## XXVII. Validation conditions | Gate | Required result | |---|---| | AREPO admission imported | PASS | | Object and four ends preserved | PASS or flagged restricted mode | | Grammar profile uses local accidents | PASS | | Logic preserves Porphyry/category distinction | PASS | | Rhetoric gap is not invented away | PASS | | Q references universal species | PASS | | T records relata and respectus | PASS | | T(BCD) does not collapse difference/contrariety | PASS | | Contradictions preserved when diagnostic | PASS | | Provenance recorded | PASS | | Downstream routes not executed implicitly | PASS | | Trace/mediation separated | PASS | ## XXVIII. Final law ```text OPERA TRIVIUM executes admitted discourse analysis through distinct but coordinated arts. It interrogates through Q, relates through T, compares the arts through T(BCD), and preserves the telos-conditioned amplification of each layer. It does not turn fluent synthesis into hidden collapse. ``` ## XXIX. Closure ```text OPERA TRIVIUM STATUS: EXECUTION DRAFT COMPLETE READY FOR SATOR TRIVIUM CANONICAL EFFECT: NONE ```