============================================================
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:
<OPERA X>
Base AREPO:
<AREPO X status>
LIBER:
<LIBER Y>
LIBER Species:
<species>
Use Mode:
object / informant / mixed / unresolved
Section Status:
<section map>
Coverage:
<coverage map>
Base ROTA:
<ROTA X>
Slot Compatibility:
<slot map>
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:
<failure or pass code>
============================================================
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
============================================================
Actual artifact: 90_STACK_LIBER/AREPO_EX_LIBER.md