============================================================ AREPO EX LIBER AGLA — Admissibility Law for LIBER-Conditioned Execution Version: 0.1.0-AREPO-EX-LIBER Status: DRAFT — MODULE AREPO Authority: LOCAL / AGLA_P&D_LAB Class: AREPO / EX LIBER Pentagrama: PENTAGRAMA EX LIBER Depends-On: • AGLA_LIBER_CLASS_LAW • AGLA_PENTAGRAMA_CLASS_LAW • TENET EX LIBER • ROTA EX LIBER • OPERA EX LIBER • AGLA — FIVE-CLASS STRUCTURAL ORDER Scope: • gate LIBER-conditioned execution • distinguish LIBER object use from informant use • admit or reject LIBER sections as ROTA fillings • enforce double-gate execution for OPERA X EX LIBER Y • prevent ordinary LIBER from acting as hidden execution authority • decide when transcription, verification, recomputation, or fresh execution is required • prevent canonical mutation through temporary overlays Mutation Policy: VERSION-CONTROLLED ONLY ============================================================ ============================================================ I. PURPOSE ============================================================ AREPO EX LIBER is the admissibility gate for LIBER-conditioned AGLA execution. It answers: May this LIBER be used in this operation? Is this LIBER being used as object, informant, or mixed? Is the referenced LIBER section qualified? Can this LIBER content fill this ROTA slot? Should OPERA reuse, verify, recompute, or reject the LIBER data? Does the requested execution risk class collapse or canonical mutation? AREPO EX LIBER does not define doctrine. AREPO EX LIBER does not execute OPERA. AREPO EX LIBER does not construct the ROTA overlay. AREPO EX LIBER decides whether LIBER-conditioned use is admissible. ============================================================ II. POSITION IN PENTAGRAMA EX LIBER ============================================================ Within PENTAGRAMA EX LIBER: TENET EX LIBER: doctrine and non-collapse law AREPO EX LIBER: admissibility and gate ROTA EX LIBER: temporary overlay structure OPERA EX LIBER: execution modulation SATOR EX LIBER: mediation and report surface AREPO EX LIBER is bound by TENET EX LIBER. AREPO EX LIBER admits or rejects ROTA EX LIBER overlays. AREPO EX LIBER authorizes OPERA EX LIBER modes. AREPO EX LIBER supplies SATOR EX LIBER with gate status. ============================================================ III. ROOT DEFINITION ============================================================ AREPO EX LIBER := the admissibility module that determines whether and how a LIBER may condition an AGLA operation. Compact formula: AREPO_EX_LIBER = gate(LIBER use mode + section status + slot compatibility) Expanded formula: AREPO_EX_LIBER = object/informant gate + LIBER species check + section-level admissibility + ROTA slot compatibility + reuse/recompute decision + mutation-risk check + effective execution surface validation. ============================================================ IV. DOUBLE-GATE LAW ============================================================ Any invocation: OPERA X EX LIBER Y requires two gates: 1. AREPO X 2. AREPO EX LIBER Formula: ADMISSIBLE(OPERA_X_EX_LIBER_Y) iff AREPO_X(input) = PASS AND AREPO_EX_LIBER(input, LIBER_Y, use_mode) = PASS AREPO X gates the base OPERA. AREPO EX LIBER gates the LIBER-conditioned modulation. Neither gate may replace the other. Prohibited: ✗ executing OPERA X EX LIBER Y with only AREPO X ✗ executing OPERA X EX LIBER Y with only AREPO EX LIBER ✗ treating LIBER qualification as base OPERA admissibility ✗ treating base OPERA admissibility as LIBER informant admissibility ============================================================ V. USE MODE GATE ============================================================ AREPO EX LIBER must first determine LIBER use mode. Possible modes: OBJECT INFORMANT MIXED UNRESOLVED ------------------------------------------------------------ OBJECT MODE ------------------------------------------------------------ LIBER is the material being analyzed. Rule: any LIBER may be used as OPERA object, subject to base AREPO X. Gate result: OBJECT_PASS Default consequence: no informant slot filling is authorized. ------------------------------------------------------------ INFORMANT MODE ------------------------------------------------------------ LIBER supplies preprocessed data to execution. Rule: only qualified LIBRI may inform OPERA execution. Qualified species: • LIBER ARS • LIBER ARS NATIVUS • LIBER EX OPERA • LIBER EX OPERAE Gate result: INFORMANT_PASS or INFORMANT_FAIL ------------------------------------------------------------ MIXED MODE ------------------------------------------------------------ LIBER contains both: object material and: qualified informant sections. Rule: AREPO EX LIBER must classify each section separately. Gate result: MIXED_PASS if qualified sections are isolated and admissible. MIXED_PARTIAL if only some sections qualify. MIXED_FAIL if informant use is requested but no section qualifies. ------------------------------------------------------------ UNRESOLVED MODE ------------------------------------------------------------ If the user request does not clarify whether LIBER is object or informant, AREPO EX LIBER must infer from wording where possible. Examples: “OPERA Q about LIBER X” → OBJECT “OPERA G using LIBER X” → INFORMANT or MIXED “OPERA T EX LIBER X” → requires section inspection If unresolved after inference: Gate result: LIBER_USE_MODE_UNRESOLVED SATOR EX LIBER must request clarification or proceed in object mode only, depending on context. ============================================================ VI. LIBER SPECIES GATE ============================================================ AREPO EX LIBER must classify the LIBER species. Species: LIBER LIBER ARS LIBER ARS NATIVUS LIBER EX LIBER EX X LIBER EX OPERA LIBER EX OPERAE Default admissibility: LIBER: object yes, informant no LIBER ARS: object yes, informant yes LIBER ARS NATIVUS: object yes, informant yes LIBER EX: object yes, informant no by default LIBER EX X: object yes, informant no by default LIBER EX OPERA: object yes, informant yes LIBER EX OPERAE: object yes, informant yes Decision table: Species Object Use Informant Use --------------------------------------------------- LIBER PASS FAIL LIBER ARS PASS PASS LIBER ARS NATIVUS PASS PASS LIBER EX PASS FAIL LIBER EX X PASS FAIL LIBER EX OPERA PASS PASS LIBER EX OPERAE PASS PASS ============================================================ VII. SECTION-LEVEL GATE ============================================================ A LIBER may contain sections with different statuses. Therefore AREPO EX LIBER must gate at section level whenever informant use is requested. Section statuses: OBJECT_ONLY INFORMANT_ADMISSIBLE ARS_SECTION ARS_NATIVUS_SECTION EX_OPERA_SECTION EX_OPERAE_SECTION SOURCE_DERIVED_SECTION DEPRECATED_SECTION CONTRADICTION_MARKED_SECTION UNVERIFIED_SECTION Gate rules: OBJECT_ONLY: may be analyzed; may not fill informant slots. INFORMANT_ADMISSIBLE: may fill compatible slots. ARS_SECTION: may fill slots matching its A/Q/T/S coverage. ARS_NATIVUS_SECTION: may fill declared native-data slots. EX_OPERA_SECTION: may fill slots corresponding to the generating OPERA. EX_OPERAE_SECTION: may fill slots corresponding to its OPERA sequence. SOURCE_DERIVED_SECTION: may not fill OPERA-result slots unless transformed or verified. DEPRECATED_SECTION: fails unless explicitly restored. CONTRADICTION_MARKED_SECTION: requires verification before use. UNVERIFIED_SECTION: cannot fill informant slots until checked. ============================================================ VIII. COVERAGE GATE ============================================================ AREPO EX LIBER must determine whether LIBER coverage is sufficient for requested use. Coverage types: A_COVERAGE Q_COVERAGE T_COVERAGE S_COVERAGE CAMERA_36_COVERAGE TABULA_COVERAGE NATIVE_DATA_COVERAGE DOMAIN_COVERAGE PARTIAL_COVERAGE Coverage results: COVERAGE_COMPLETE COVERAGE_PARTIAL COVERAGE_ABSENT COVERAGE_SCOPE_MISMATCH COVERAGE_UNVERIFIED Rules: LIBER ARS_MIN requires: A + Q + T + S LIBER ARS_COMPLETE requires: A + Q + T + S + 36 evacuated chambers + TABULA LIBER ARS NATIVUS requires: declared native-data coverage + consuming OPERA + equivalence law where generative procedure exists. If coverage is partial: AREPO EX LIBER may admit partial overlay and require recomputation for missing portions. If coverage is absent: informant use fails. If coverage mismatch occurs: informant use fails or degrades to object mode. ============================================================ IX. ROTA SLOT COMPATIBILITY GATE ============================================================ When LIBER is used as informant, AREPO EX LIBER must determine whether LIBER content may fill the requested ROTA slot. A slot filling passes if: 1. base ROTA defines the slot; 2. slot type is known; 3. LIBER section is informant-admissible; 4. LIBER content type matches slot type; 5. no canonical mutation risk exists; 6. no contradiction or deprecation blocks use; 7. bridge exists if direct type match is absent. Allowed default mappings: OPERA A result → A_SLOT OPERA Q result → Q_SLOT OPERA T result → T_SLOT OPERA S result → S_SLOT Evacuated camera dataset → CAMERA_SLOT TABULA listing → TABULA_SLOT Native preprocessed Evacuatio data → EVACUATIO / CAMERA slots for OPERA G Rejected default mappings: Q result → A_SLOT T result → S_SLOT ordinary narrative note → T_SLOT source quote → OPERA result slot SATOR explanation → OPERA result slot unless an explicit bridge has been declared and admitted. ============================================================ X. OVERLAY ADMISSIBILITY GATE ============================================================ AREPO EX LIBER must admit or reject the construction of: ROTA X EX LIBER Y Overlay statuses: OVERLAY_PASS_COMPLETE OVERLAY_PASS_PARTIAL OVERLAY_PASS_DEGRADED OVERLAY_FAIL OVERLAY_OBJECT_ONLY OVERLAY_REQUIRES_VERIFICATION OVERLAY_REQUIRES_RECOMPUTATION Rules: COMPLETE: all required slots are filled by qualified compatible sections. PARTIAL: some required slots are filled; missing slots must be reported. DEGRADED: overlay may be used with warnings and recomputation. FAIL: overlay cannot be used. OBJECT_ONLY: LIBER can be analyzed but cannot fill ROTA. REQUIRES_VERIFICATION: LIBER data may be usable after checks. REQUIRES_RECOMPUTATION: missing or failed portions must be recomputed. AREPO EX LIBER must never allow overlay to mutate canonical ROTA. ============================================================ XI. REUSE / VERIFY / RECOMPUTE DECISION GATE ============================================================ AREPO EX LIBER must instruct OPERA EX LIBER which execution mode is admissible. Possible decisions: TRANSCRIBE VERIFY PARTIAL_RECOMPUTE FRESH_EXECUTION OBJECT_ANALYSIS_ONLY REJECT Decision rules: ------------------------------------------------------------ TRANSCRIBE ------------------------------------------------------------ Allowed when: • relevant OPERA result exists; • section is qualified; • scope matches; • no inconsistency is detected; • no verification requirement is triggered. ------------------------------------------------------------ VERIFY ------------------------------------------------------------ Required when: • data is contradiction-marked; • data is old but not deprecated; • data depends on section-level qualification; • equivalence law must be checked; • ROTA slot compatibility is non-trivial; • user asks for consistency check. ------------------------------------------------------------ PARTIAL_RECOMPUTE ------------------------------------------------------------ Required when: • qualified data exists but is incomplete; • some slots are missing; • some sections fail; • some relations are absent; • overlay is partial or degraded. ------------------------------------------------------------ FRESH_EXECUTION ------------------------------------------------------------ Allowed when: • no qualified informant data exists; • user requests fresh execution; • all relevant LIBER data fails; • scope mismatch blocks reuse; • base OPERA requires full rerun. ------------------------------------------------------------ OBJECT_ANALYSIS_ONLY ------------------------------------------------------------ Required when: • LIBER is ordinary; • informant use fails; • user request can still be satisfied as analysis about LIBER. ------------------------------------------------------------ REJECT ------------------------------------------------------------ Required when: • base AREPO X fails; • LIBER use causes class collapse; • canonical mutation is required but not authorized; • no legal object or informant mode remains. ============================================================ XII. CANONICAL MUTATION GATE ============================================================ AREPO EX LIBER must reject any use that silently mutates canonical artifacts. Prohibited mutations: ✗ ROTA X overwritten by ROTA X EX LIBER Y ✗ OPERA X modified by LIBER Y ✗ TENET X overwritten by LIBER conclusion ✗ SATOR report converted into doctrine ✗ LIBER overlay promoted without artifact construction ✗ temporary filled slot stored as canonical slot Allowed: • temporary overlay; • execution-local slot filling; • explicit artifact construction request; • version-controlled promotion; • report of candidate status. Default mutation status: CANONICAL_MUTATION: NONE ============================================================ XIII. ADAPTATION CONSENT GATE ============================================================ If EX LIBER use changes the effective execution surface beyond the literal user request, consent may be required. Examples: User asks: OPERA G Assistant proposes: OPERA G EX LIBER ARS NATIVUS EVACUATIO Consent required unless context already authorizes this adaptation. User asks: OPERA G EX LIBER TAROT Consent not required for EX LIBER adaptation, because user explicitly requested it. AREPO EX LIBER must report: ADAPTATION_CONSENT: not required / granted / required but absent / denied If consent is required but absent: execution must not proceed in adapted form. ============================================================ XIV. FAILURE CODES ============================================================ AREPO EX LIBER may return: PASS_OBJECT PASS_INFORMANT PASS_MIXED PASS_PARTIAL PASS_DEGRADED FAIL_BASE_AREPO_REQUIRED FAIL_LIBER_NOT_FOUND FAIL_LIBER_SPECIES_NOT_INFORMANT FAIL_SECTION_NOT_QUALIFIED FAIL_COVERAGE_ABSENT FAIL_COVERAGE_SCOPE_MISMATCH FAIL_SLOT_TYPE_MISMATCH FAIL_CANONICAL_MUTATION_RISK FAIL_DEPRECATED_SECTION FAIL_UNVERIFIED_SECTION FAIL_CONTRADICTION_UNRESOLVED FAIL_ADAPTATION_CONSENT_REQUIRED FAIL_CLASS_COLLAPSE_RISK OBJECT_ONLY_AVAILABLE RECOMPUTATION_REQUIRED VERIFICATION_REQUIRED ============================================================ XV. AREPO EX LIBER PROCEDURE ============================================================ To gate OPERA X EX LIBER Y: 1. Confirm base OPERA X. 2. Require AREPO X gate. 3. Identify LIBER Y. 4. Determine requested use mode: object / informant / mixed / unresolved. 5. Classify LIBER species. 6. Parse relevant LIBER sections. 7. Classify section statuses. 8. Determine coverage. 9. Identify base ROTA X. 10. Determine expected ROTA slot types. 11. Check LIBER section → ROTA slot compatibility. 12. Determine overlay status. 13. Check canonical mutation risk. 14. Check adaptation consent requirement. 15. Return gate decision: pass / partial / degraded / object-only / fail. 16. Instruct OPERA EX LIBER mode: transcribe / verify / partial recompute / fresh execute / object analysis / reject. ============================================================ XVI. EXAMPLE — OPERA Q EX LIBER TAROT ============================================================ Request: OPERA Q EX LIBER TAROT Base gate: AREPO Q Module gate: AREPO EX LIBER Checks: 1. Is LIBER TAROT present? 2. Is the requested use object, informant, or mixed? 3. Does LIBER TAROT contain a qualified OPERA Q section? 4. Is that section complete or partial? 5. Are Q results deprecated, unstable, or contradictory? Decision: If qualified Q section exists: VERIFICATION_REQUIRED or TRANSCRIBE If Q section partial: PARTIAL_RECOMPUTE If no qualified Q section: OBJECT_ANALYSIS_ONLY or FRESH_EXECUTION Not allowed: OPERA Q from zero by default when stable qualified Q results exist. ============================================================ XVII. EXAMPLE — OPERA G EX LIBER TAROT ============================================================ Request: OPERA G EX LIBER TAROT Base gate: AREPO G Module gate: AREPO EX LIBER Checks: 1. Is LIBER TAROT present? 2. Does it contain A coverage? 3. Does it contain T coverage? 4. Does it contain Q/S support if required? 5. Can those sections fill ROTA G slots? 6. Is any required chamber or TABULA data missing? Decision: If A and T coverage exist: OVERLAY_PASS_PARTIAL If A/T/Q/S coverage exist: OVERLAY_PASS_COMPLETE for minimal G substrate, depending on OPERA G scope. If 36 chambers and TABULA exist: OVERLAY_PASS_COMPLETE for full combinatory substrate. If only ordinary Tarot doctrine exists: OBJECT_ONLY_AVAILABLE or FAIL_LIBER_SPECIES_NOT_INFORMANT. Not allowed: ordinary doctrine filling T_SLOT as if it were OPERA T output. ============================================================ XVIII. EXAMPLE — OPERA G EX LIBER ARS NATIVUS EVACUATIO ============================================================ Request: OPERA G EX LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE Base gate: AREPO G Module gate: AREPO EX LIBER Checks: 1. Is the LIBER ARS NATIVUS present? 2. Does it declare coverage? 3. Does it declare consuming OPERA G? 4. Does it cover all required camerae? 5. Does it declare equivalence: PREPROCESSED[c] ≡ GENERATIVE(c)? 6. Does it preserve non-executable status? Decision: If all pass: PASS_INFORMANT OVERLAY_PASS_COMPLETE TRANSCRIBE or VERIFY If equivalence must be checked: VERIFICATION_REQUIRED If coverage is partial: PASS_PARTIAL PARTIAL_RECOMPUTE ============================================================ XIX. REPORT OUTPUT ============================================================ AREPO EX LIBER must provide a gate report to SATOR EX LIBER. Required report: AREPO EX LIBER REPORT: Base OPERA: Base AREPO: LIBER: LIBER Species: Use Mode: object / informant / mixed / unresolved Section Status:
Coverage: Base ROTA: Slot Compatibility: Overlay Decision: pass complete / pass partial / degraded / object-only / fail Execution Mode Authorized: transcribe / verify / partial recompute / fresh execution / object analysis / reject Canonical Mutation: none / risk detected Adaptation Consent: not required / granted / required but absent / denied Gate Result: ============================================================ XX. SHORT LAW ============================================================ AREPO EX LIBER is the admissibility point of PENTAGRAMA EX LIBER. It gates: whether and how LIBER may condition execution. It requires: AREPO X + AREPO EX LIBER for every: OPERA X EX LIBER Y It distinguishes: object informant mixed It admits informant use only for: • LIBER ARS • LIBER ARS NATIVUS • LIBER EX OPERA • LIBER EX OPERAE It gates: • LIBER species • section status • coverage • ROTA slot compatibility • overlay admissibility • canonical mutation risk • adaptation consent • execution mode Final formula: AREPO_EX_LIBER_PASS iff LIBER use mode is lawful AND section status is admissible AND coverage is sufficient or partially recoverable AND slot compatibility passes AND canonical mutation risk is none AND required consent is satisfied. ============================================================ END — AREPO EX LIBER v0.1.0 ============================================================