============================================================ AREPO TRIVIUM — INPUT ADMISSIBILITY GRAMMATICA / LOGICA / RHETORICA Version: 1.0.0-AREPO-TRIVIUM-ADD-ON Status: STABLE ADD-ON SOURCE / DUAL-MODE SOURCE-BOUNDED GRAMMATICA + LOGICA AVAILABLE RHETORICA FAIL-CLOSED Authority: USER / HUMAN CONTROL PLANE / 13_STACK_ADD_ONS Class: AREPO Domain Class: AGLA / AREPO / TRIVIUM Depends-On: • TENET_TRIVIUM_DoctrinalInvariants.md@1.0.0 • ROTAS_TRIVIUM_StructuralInstantiation.md@1.0.0 • LIBER_X_TRIVIUM_MATRIX_RECORDS.json@1.0.0 • AGLA_AREPO_CLASS_LAW Scope: • opt-in activation • object, source and telos binding • Trivium art readiness • Q/T profile readiness • namespace and provenance admission • rhetoric-gap control • agent/human/dual trace admission Integration Effect: PROMOTED ADD-ON SOURCE / PRINCIPAL-STACK COMPOSABLE Standalone Effect: STANDALONE DEPLOYABLE UNDER TRIVIUM ADD-ON PROFILE Runtime Boundary: UNRESOLVED OR RHETORICAL REQUESTS FAIL CLOSED OR DEFER Promotion Source: _01_INTEGRATION_CANDIDATES/Trivium_Stack/AREPO_TRIVIUM_InputAdmissibility.md@0.1.0 Mutation Policy: VERSION-CONTROLLED ONLY ============================================================ ## I. Purpose AREPO TRIVIUM determines whether an input may enter Trivium analysis and what depth of analysis is lawfully available. It receives doctrine from TENET and structure from ROTAS. It does not define either, execute analysis, invent missing rhetoric or mediate the result. Core question: ```text May this input be interpreted and analyzed through the TRIVIUM stack, under which arts, species, depth, source posture and output mode? ``` ## II. Control-plane position ```text TENET TRIVIUM → invariant constraints ROTAS TRIVIUM → structural spaces and placements AREPO TRIVIUM → admission state OPERA TRIVIUM → execution only after admission SATOR TRIVIUM → mediation only after execution or lawful suspension ``` ```text NO TENET BINDING → NO ADMISSION NO ROTAS BINDING → NO ADMISSION NO AREPO ADMISSION → NO OPERA ``` ## III. Activation gate AGLA-mediated prompt interpretation is opt-in. ### III.1 Admitted activation ```text AGLA_AVAILABLE = true AND ( USER_DECLARED_AGLA_USE = true OR USER_EXPLICITLY_INVOKED_TRIVIUM_STACK = true ) ``` The current user command `ACTIVATE TRIVIUM LOOP` is a development-loop activation, not by itself a perpetual global prompt-interpretation grant. ### III.2 Failure ```text AGLA_UNAVAILABLE AGLA_USE_NOT_DECLARED TRIVIUM_INVOCATION_AMBIGUOUS ``` If activation is absent, AREPO does not reinterpret the prompt through Trivium silently. ## IV. Admission objects AREPO may evaluate: ```text RAW_PROMPT SOURCE_SET OBJECT_BINDING TELOS_BINDING GRAMMATICAL_REQUEST LOGICAL_REQUEST RHETORICAL_REQUEST CROSS_ART_REQUEST Q_PROFILE_REQUEST T_RELATION_REQUEST LATIN_TRACE_REQUEST MULTI_AGENT_HANDOFF DOWNSTREAM_OPERA_ROUTE ``` ## V. Required input contract Minimum record: ```text TRIVIUM_INPUT := input_id raw_input activation_state requested_output source_set[] user_bindings[] inferred_bindings[] object_candidates[] telos_candidates[] operator_class requested_depth ``` For source-sensitive work: ```text source_set must preserve source type, authority, freshness and provenance. ``` ## VI. Object-binding gate The input must expose a sufficiently bounded object at one or more levels: ```text CLASS ACCIDENT VALUE_OR_GRADUS TOKEN CONSTRUCTION ORATIO DISCOURSE ``` Admission states: ```text OBJECT_EXPLICIT OBJECT_INFERRED_WITH_HIGH_SUPPORT OBJECT_MULTIPLE_BUT_MANAGEABLE OBJECT_UNRESOLVED_BLOCKING OBJECT_COLLAPSED_INTO_MEDIUM ``` ### VI.1 Non-collapse check AREPO blocks if a salient medium, example, token or surface silently replaces the declared object. ```text TOKEN ≠ CLASS EXAMPLE ≠ PRINCIPLE INTERFACE ≠ OBJECT RHETORICAL SALIENCE ≠ LOGICAL SUBJECT ``` ## VII. Telos-binding gate At least the immediate end must be bound. Extended execution should bind all four: ```text FINIS_PROPRIUS_OPERAE FINIS_PROXIMUS_INPUT FINIS_INTERMEDIUS_CATENAE FINIS_ULTIMUS_OPERIS ``` Validity states: ```text TELOS_EXPLICIT TELOS_INFERRED_WITH_TRACE TELOS_MULTIPLE_ORDERED TELOS_CONFLICTING TELOS_ABSENT ``` `TELOS_CONFLICTING` may be admitted with flags if the conflict is itself the object of analysis. Otherwise it blocks execution routing. ## VIII. Source and provenance gate Every source or claim channel must be typed: ```text USER_AUTHORITY DIRECT_SOURCE AGLA_ARTIFACT LIBER_INFORMANT MODEL_PRIOR COMMON_INFERENCE STRUCTURAL_DERIVATION EXPERIMENTAL_HYPOTHESIS UNRESOLVED ``` ### VIII.1 Admission rules ```text DIRECT_SOURCE: requires source identity and parsed support AGLA_ARTIFACT: requires artifact identity, class and status MODEL_PRIOR: admissible as inferential substrate only when marked STRUCTURAL_DERIVATION: requires declared premises and transformation UNRESOLVED: may proceed only if nonblocking and exposed ``` ### VIII.2 Blocking failures ```text SOURCE_TRACE_ABSENT INFERENCE_PRESENTED_AS_SOURCE MIRROR_PRESENTED_AS_SOURCE_TARGET MODEL_PRIOR_PRESENTED_AS_AGLA_LAW USER_BINDING_PRESENTED_AS_HISTORICAL_FACT STALE_MUTABLE_SOURCE_NOT_REFRESHED ``` ## IX. Namespace gate These terms require qualified domain binding in machine traces: ```text ACCIDENS GENUS SPECIES QUALITAS FIGURA RELATIO SUBIECTUM PRAEDICATUM ``` A human-facing answer may use natural qualifiers, but the operative trace must resolve namespaces. Block or flag: ```text DON_ACCIDENT_ARIST_ACCIDENT_COLLAPSE DON_GENUS_PORPH_GENUS_COLLAPSE DON_QUALITAS_ARIST_QUALITAS_COLLAPSE QG_CATEGORY_QUALITY_COLLAPSE ARIST_RELATIO_REGIMEN_T_COLLAPSE ``` ## X. Grammatical readiness gate Grammar is admitted when at least one of the following can be bound: ```text part-of-speech candidate local accident profile token/lemma relation agreement or government relation construction boundary reference/ambiguity question ``` ### X.1 Donatian adaptation disclosure When B/C are used: ```text DON.PARS.NOMEN parent must remain declared. NOMEN_SUBSTANTIVUM / NOMEN_ADIECTIVUM must be marked AGLA adaptation. ``` ### X.2 Accident admissibility An accident may be activated only if it belongs to the selected part profile. ```text APPLIES_TO(accidens, pars) = true ``` Comparison additionally requires its Donatian conditions or an explicit provisional flag. ## XI. Logical readiness gate Logic is admitted when the input exposes or permits binding of: ```text term subject/predicate relation predicable question category candidate proposition inference contradiction ``` ### XI.1 Aristotle source/placement gate A candidate nine-slot placement is admitted only if: ```text canonical ten-category registry remains available experimental placement is disclosed B gate is not called a predicament RELATIO delegation is not called identity with T ``` ### XI.2 Porphyry gate Porphyrian mode is admitted only as a mode of predication, not as a grammatical class or category. ## XII. Rhetorical readiness gate Three states are distinguished: ```text RHETORICA_SOURCE_FUNCTIONS_AVAILABLE RHETORICA_CARRIERS_UNRESOLVED RHETORICA_EXECUTION_PROFILE_UNAVAILABLE ``` Admitted uses: ```text basic situated-purpose/audience analysis source-bound Article 86 functions reserved-port handoff explicit rhetoric deferral ``` Blocked uses: ```text full carrier traversal claim of completed rhetorical wheel pseudo-canonical rhetorical classification ``` A grammar–logic operation may proceed with `RHETORICA_DEFERRED` when rhetoric is not required by the immediate telos. A request for full Trivium closure receives `PROVISIONAL` or `DEFERRED` until rhetoric is source-bound. ## XIII. Q profile gate A Q traversal is ready when: ```text object level is declared at least one carrier/species is source-referenced or profile-derived profile class is declared full-sweep availability is preserved ``` Profile classes: ```text PRIMARY SECONDARY CONDITIONAL DIAGNOSTIC FULL ``` Block: ```text Q_PROFILE_REDEFINES_SPECIES Q_PROFILE_PRUNES_UNIVERSAL_APPLICABILITY SAME_LETTER_IDENTITY_ASSUMED SPECIES_WITHOUT_SOURCE_OR_DERIVATION ``` ## XIV. T relation gate A T request requires: ```text RELATUM_1 RELATUM_2 RELATION OR RELATION SEARCH FRAME LOCAL SPECIES OR RESOLUTION PERMISSION RESPECTUS DIRECTION when asymmetric ``` ### XIV.1 Local species resolution ```text BCD species: resolve domain of relata EFG species: resolve kind of beginning/medium/end HIK species: resolve substance/accident status of relata ``` ### XIV.2 Mandatory guard ```text GRAMMATICAL_ACCIDENT ≠ automatic ontological ACCIDENT ``` ### XIV.3 Failure codes ```text RELATA_MISSING RELATA_COLLAPSED RESPECTUS_MISSING DIRECTION_MISSING LOCAL_SPECIES_UNRESOLVED GENERIC_G_LEVEL_USED_AS_SEMANTIC_ID DIFFERENCE_PROMOTED_TO_CONTRARIETY CONCORDANCE_PROMOTED_TO_IDENTITY ``` ## XV. Cross-art T(BCD) gate Pairwise comparison is admitted when each side has at least a minimally bounded result. ```text GRAM_RESULT ↔ LOG_RESULT LOG_RESULT ↔ RHET_RESULT RHET_RESULT ↔ GRAM_RESULT ``` For each relation, require: ```text level respectus differentia statement concordantia condition contrarietas condition or explicit absence ``` A complete triangular closure requires three pairwise records or a declared unavailable edge. ## XVI. Art activation profile gate Each art receives one state: ```text AMPLIFIED FULL CUSTODIAL DEFERRED UNAVAILABLE ``` Admission conditions: ```text AMPLIFIED: telos justifies local majority FULL: complete admitted profile for the stage CUSTODIAL: boundary checks remain active DEFERRED: relevant but postponed with reason UNAVAILABLE: required structure/source is missing ``` No profile may assign permanent superiority to an art. ## XVII. Analysis depth gate ```text NORMAL: primary species and mandatory guards EXTENDED: primary + secondary + conditional species FULL: all admitted Q species, all relevant T relations, and pairwise Trivium closure ``` `FULL` is not admitted merely because the user asks for exhaustiveness. It requires structural and source readiness. ## XVIII. Operator-class gate ```text HUMAN AGENT HYBRID ``` Agent or hybrid execution additionally requires: ```text trace schema handoff target or termination condition state markers source trace unresolved field policy ``` A human-facing exploratory analysis may be admitted with a lighter trace, but cannot hide source/inference distinctions. ## XIX. Scholastic-Latin trace gate A `RATIO OPERATIVA EXPLICATA` request is admissible when: ```text Latin mode is explicitly requested or selected by an admitted profile field schema is available the trace is treated as explicit representation Latin form is not used as a validity claim ``` Allowed statuses: ```text LATIN_TRACE_FULL LATIN_TRACE_COMPRESSED LATIN_TRACE_DEFERRED ``` Block: ```text LATIN_AS_AUTHORITY LATIN_AS_PROOF UNSCHEMATIZED_LATIN_ORNAMENT HIDDEN_REASONING_DEPENDENCY ``` ## XX. Model-prior gate Ordinary model inference is admissible as substrate when: ```text it does not impersonate source text or AGLA law it is marked when load-bearing it may be contested or replaced by source parsing it remains inside TENET/ROTAS constraints ``` No admission requires pretending that AGLA eliminates model weights or priors. ## XXI. OPERA maturity and routing gate Before routing to OPERA TRIVIUM or downstream OPERAE, AREPO asks: ```text 1. Is the requested operation sufficient for the object? 2. Does the object contain recursion, analogy, cross-domain homonymy or unclear relata? 3. Would missing Q/T/Trivium support materially change the result? 4. Are required supports parsed and bound? 5. Is the rhetoric port required but unavailable? ``` Outcomes: ```text ROUTE_READY ROUTE_READY_WITH_FLAGS SUPPORT_REQUIRED DEFERRED_FOR_SOURCE BLOCKED_FOR_STRUCTURE ``` ## XXII. Admission classes Every request receives exactly one top-level class. ### `ADMISSIBLE` All mandatory bindings are present; requested depth is supported. ### `ADMISSIBLE_WITH_FLAGS` Execution may proceed with explicit nonblocking uncertainty, inferred binding or deferred custodial art. ### `PROVISIONAL` A useful restricted execution is possible, but a required structure/source is incomplete; no definitive closure may be claimed. ### `DEFERRED` The request is relevant but must await a source, artifact, relation binding or later stage. ### `BLOCKED` A structural, doctrinal, namespace, source or activation failure prevents execution. ### `REJECTED` The request is outside the lawful scope or explicitly asks the stack to counterfeit canon, mutate universal Q/T, or perform an inadmissible transition. ## XXIII. Failure registry ```text TRIV_ACTIVATION_MISSING OBJECT_UNBOUND OBJECT_MEDIUM_COLLAPSE TELOS_UNBOUND TELOS_CONFLICT_UNRESOLVED SOURCE_TRACE_ABSENT SOURCE_INFERENCE_COLLAPSE NAMESPACE_UNRESOLVED DONATUS_ADAPTATION_HIDDEN ACCIDENT_NOT_APPLICABLE_TO_PART COMPARATIO_CONDITION_UNMET ARISTOTLE_SOURCE_PLACEMENT_COLLAPSE PORPHYRY_CATEGORY_COLLAPSE RHETORIC_CARRIER_NOT_AVAILABLE Q_SPECIALIZATION_MUTATION T_SPECIALIZATION_MUTATION RELATA_MISSING RESPECTUS_MISSING ART_HIERARCHY_FIXED FULL_MODE_NOT_SUPPORTED LATIN_VALIDITY_COLLAPSE MODEL_PRIOR_AUTHORITY_COLLAPSE OPERA_PREMATURE HANDOFF_INCOMPLETE ``` ## XXIV. Admission output schema ```text AREPO_TRIVIUM_RESULT := request_id 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 downstream_route flags[] blocking_failures[] unresolved_items[] next_permitted_transition ``` ## XXV. Transition law Allowed transitions: ```text ADMISSIBLE → OPERA_TRIVIUM ADMISSIBLE_WITH_FLAGS → OPERA_TRIVIUM_RESTRICTED PROVISIONAL → OPERA_TRIVIUM_PROVISIONAL OR SOURCE/STRUCTURE REPAIR DEFERRED → CHECKPOINT / HANDOFF BLOCKED → DIAGNOSTIC ONLY REJECTED → TERMINATION / SATOR DISCLOSURE ``` AREPO never executes a fallback analysis. ## XXVI. Validation examples ### Example A — Donatian comparison ```text OBJECT: Petrus doctior Paulo ADMISSION: grammatical comparative profile available relata explicit respectus = doctrina QF/QG ready TF.MENSURATIO ready HIK species resolved from relata RESULT: ADMISSIBLE ``` ### Example B — adjective = quality ```text REQUEST: treat every adjective as Aristotelian quality FAILURE: ADJECTIVE_QUALITY_CATEGORY_COLLAPSE RESULT: BLOCKED unless reframed as a hypothesis to test by T(BCD) ``` ### Example C — full rhetoric wheel ```text REQUEST: traverse all rhetorical carriers STATE: carriers unresolved RESULT: DEFERRED or PROVISIONAL source-bound interface analysis ``` ## XXVII. Final law ```text AREPO TRIVIUM admits only what is: explicitly activated, object-bound, telos-bound, source-discriminated, namespace-safe, structurally placeable, Q/T-preserving, and honest about rhetoric, inference and unresolved fields. AREPO admits or blocks. AREPO does not execute. ``` ## XXVIII. Closure ```text AREPO TRIVIUM STATUS: ADMISSIBILITY DRAFT COMPLETE READY TO GOVERN OPERA TRIVIUM CANONICAL EFFECT: NONE ```