============================================================
TENET EX LIBER
AGLA — Doctrinal Law for LIBER-Conditioned Use
Version: 0.1.0-TENET-EX-LIBER
Status:
DRAFT — MODULE TENET
Authority:
LOCAL / AGLA_P&D_LAB
Class:
TENET / EX LIBER
Pentagrama:
PENTAGRAMA EX LIBER
Depends-On:
• AGLA_LIBER_CLASS_LAW
• AGLA_PENTAGRAMA_CLASS_LAW
• AGLA — FIVE-CLASS STRUCTURAL ORDER
Scope:
• define the doctrinal constraints governing LIBER-conditioned use
• preserve the distinction between LIBER as object and LIBER as informant
• preserve the distinction between dataset, source, procedure, structure,
gate, doctrine, and mediation
• define the doctrinal status of ROTA EX LIBER overlays
• prevent ordinary LIBER from functioning as hidden execution authority
• bind AREPO EX LIBER, OPERA EX LIBER, ROTA EX LIBER, and
SATOR EX LIBER to non-collapse principles
Mutation Policy:
VERSION-CONTROLLED ONLY
============================================================
============================================================
I. PURPOSE
============================================================
TENET EX LIBER defines the doctrinal law by which a LIBER may enter
AGLA operations without collapsing into OPERA, ROTAS, AREPO, SATOR,
TENET, SOURCE, SYSTEM_INDEX, or execution authority.
It answers:
What is a LIBER allowed to mean inside execution?
What cannot be inferred merely from LIBER status?
When may LIBER content be reused?
What distinction must be preserved between object and informant?
What is the doctrinal status of temporary ROTA EX LIBER overlays?
TENET EX LIBER is not:
• an admissibility gate
• an execution procedure
• a ROTA overlay
• a report format
• a LIBER dataset
It is the doctrinal constraint layer for all EX LIBER modules.
============================================================
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
TENET EX LIBER binds the other four modules by doctrine.
Formula:
TENET_EX_LIBER
constrains
AREPO_EX_LIBER
ROTA_EX_LIBER
OPERA_EX_LIBER
SATOR_EX_LIBER
It does not perform their functions.
============================================================
III. ROOT ASSERTION
============================================================
A LIBER may enter AGLA operation only as:
1. object
2. informant
3. mixed object/informant
It may not enter as:
• OPERA
• ROTA
• AREPO
• TENET
• SATOR
• SYSTEM_INDEX
• runtime authority
• canonical mutation
Core formula:
LIBER = dataset
LIBER ≠execution
LIBER ≠procedure
LIBER ≠structure
LIBER ≠gate
LIBER ≠doctrine
LIBER ≠mediation
============================================================
IV. LIBER NON-COLLAPSE LAW
============================================================
The following distinctions are doctrinally mandatory:
SOURCE ≠LIBER
LIBER ≠OPERA
LIBER ≠ROTAS
LIBER ≠ROTA
LIBER ≠TENET
LIBER ≠AREPO
LIBER ≠SATOR
LIBER ≠SYSTEM_INDEX
LIBER ≠EXECUTION
LIBER ≠CANON BY DEFAULT
Interpretation:
A source may feed a LIBER.
A LIBER may preserve data.
A LIBER may be analyzed.
A qualified LIBER may inform execution.
A LIBER never becomes the execution procedure by being used.
============================================================
V. OBJECT / INFORMANT DISTINCTION
============================================================
TENET EX LIBER declares two lawful modes of LIBER use:
OBJECT MODE
INFORMANT MODE
These must never be collapsed.
------------------------------------------------------------
V.1 OBJECT MODE
------------------------------------------------------------
In object mode:
LIBER is the object being analyzed.
Any LIBER may be used as object of an OPERA, provided the base OPERA
is itself admitted.
Formula:
OPERA X about LIBER Y
= OPERA X analyzing LIBER Y content
In object mode, LIBER content does not govern execution.
It is material under analysis.
------------------------------------------------------------
V.2 INFORMANT MODE
------------------------------------------------------------
In informant mode:
LIBER supplies preprocessed data used by execution.
Only qualified LIBRI may function as OPERA informants:
• LIBER ARS
• LIBER ARS NATIVUS
• LIBER EX OPERA
• LIBER EX OPERAE
Formula:
LIBER_INFORMANT_ADMISSIBLE :=
LIBER ARS
OR LIBER ARS NATIVUS
OR LIBER EX OPERA
OR LIBER EX OPERAE
Ordinary LIBER and LIBER EX X may be analyzed, but may not govern,
constrain, or supply operative premises to execution unless promoted
or internally qualified.
------------------------------------------------------------
V.3 MIXED MODE
------------------------------------------------------------
In mixed mode:
one section of LIBER may be object material
while another section may be qualified informant material.
Example:
LIBER TAROT may contain:
informal doctrine:
object material only
OPERA A results:
possible informant section
OPERA T relation matrix:
possible informant section
OPERA Q results:
possible informant section
TENET EX LIBER requires section-level distinction.
Root LIBER title is not enough.
============================================================
VI. QUALIFIED INFORMANT DOCTRINE
============================================================
A qualified informant LIBER is not merely a dataset that “sounds
useful.â€
It must have formal reason to inform execution.
Qualified species:
------------------------------------------------------------
LIBER ARS
------------------------------------------------------------
A LIBER with minimally preprocessed A/Q/T/S coverage.
Minimum formula:
LIBER ARS_MIN = A + Q + T + S
Meaning:
A:
contracted principles
Q:
interrogative fields
T:
relational matrices or relation mappings
S:
subject / substrate mappings
------------------------------------------------------------
LIBER ARS NATIVUS
------------------------------------------------------------
A native AGLA dataset containing preprocessed operator-compatible
data too large, repetitive, or structural to place inside TENET,
ROTAS, OPERA, AREPO, or SATOR.
Example:
preprocessed Evacuatio chambers for Figura Tertia.
Doctrinal status:
native data substrate
not:
execution procedure.
------------------------------------------------------------
LIBER EX OPERA
------------------------------------------------------------
A LIBER generated by one OPERA execution.
Doctrinal status:
prior OPERA result preserved as dataset.
------------------------------------------------------------
LIBER EX OPERAE
------------------------------------------------------------
A LIBER generated by a sequence of OPERAE.
Doctrinal status:
prior multi-OPERA result preserved as dataset.
TENET EX LIBER declares these four species eligible in principle
for informant use.
Actual admissibility belongs to AREPO EX LIBER.
============================================================
VII. REUSE BEFORE RECOMPUTATION DOCTRINE
============================================================
If a qualified LIBER already contains valid preprocessed data relevant
to an OPERA, execution should reuse it before recomputation.
Formula:
qualified preprocessed LIBER data
>
fresh recomputation
This doctrine exists because LIBER ARS, LIBER ARS NATIVUS,
LIBER EX OPERA, and LIBER EX OPERAE exist primarily to prevent
redundant execution and provide temporary ROTA EX LIBER fillings.
However, reuse is lawful only if:
• the LIBER species is qualified;
• the relevant section is qualified;
• the data matches the required slot type;
• no inconsistency is detected;
• no deprecation applies;
• AREPO EX LIBER passes;
• the user did not request fresh execution.
TENET EX LIBER establishes the priority.
AREPO EX LIBER decides the gate.
OPERA EX LIBER applies the mode.
============================================================
VIII. ROTA EX LIBER OVERLAY DOCTRINE
============================================================
ROTA EX LIBER is doctrinally defined under ROTAS governance as:
temporary projection of admissible LIBER content
onto a base ROTA.
Formula:
ROTA_X_EX_LIBER_Y =
ROTA_X
with temporary slot fillings
from admissible content of LIBER_Y
The base ROTA supplies:
• slot structure
• loci
• cameras
• traversal order
• adjacency
• structural grammar
The LIBER supplies:
• preprocessed content
• contracted dignities
• Q results
• T relations
• S mappings
• evacuated chambers
• TABULA entries
• native data substrates
Doctrinal rule:
Overlay ≠canonical mutation.
Therefore:
ROTA X remains ROTA X.
ROTA X EX LIBER Y is execution-local.
LIBER content fills slots temporarily.
Canonical structure is not overwritten.
============================================================
IX. CANONICAL / CONTRACTED DISTINCTION
============================================================
TENET EX LIBER requires distinction between:
slot identity
and:
slot content
Example:
AB_canonical:
Bonitas
AB_LIBER_TAROT:
Tarot-contracted Bonitas
In ROTA G EX LIBER TAROT:
AB remains structurally AB.
Its local content is AB_LIBER_TAROT.
Formula:
canonical operator
→ structural identity
LIBER-contracted operator
→ temporary operative content
Prohibition:
never treat contracted LIBER content as replacement of canonical
operator identity.
============================================================
X. SECTION-LEVEL ADMISSIBILITY DOCTRINE
============================================================
A LIBER may be internally heterogeneous.
Therefore:
LIBER title alone does not determine informant admissibility.
TENET EX LIBER requires section-level parsing.
A LIBER section may be:
• ordinary object material
• ARS-compatible material
• LIBER EX OPERA block
• LIBER EX OPERAE block
• LIBER ARS NATIVUS block
• deprecated block
• unstable block
• contradiction-marked block
Only qualified sections may be used as informant data.
Formula:
informant admissibility attaches to:
relevant section
not merely to:
root LIBER name.
============================================================
XI. TRANSCRIPTION / VERIFICATION / RECOMPUTATION DOCTRINE
============================================================
TENET EX LIBER establishes three modes for OPERA X EX LIBER Y.
------------------------------------------------------------
1. TRANSCRIPTION
------------------------------------------------------------
If LIBER Y contains stable OPERA X results:
transcribe them.
Do not restart from zero.
------------------------------------------------------------
2. VERIFICATION
------------------------------------------------------------
If LIBER Y contains relevant results requiring consistency check:
verify them against base OPERA, base AREPO, EX LIBER doctrine,
and slot compatibility.
------------------------------------------------------------
3. RECOMPUTATION
------------------------------------------------------------
Recompute only when:
• data is absent
• data is incomplete
• data is inconsistent
• data is deprecated
• data fails AREPO EX LIBER
• user asks for fresh execution
Doctrine:
recomputation is completion or correction,
not default behavior when qualified data exists.
============================================================
XII. EX LIBER DOES NOT CREATE NEW ROOT CLASSES
============================================================
EX LIBER is a module.
It may attach to:
TENET
ROTAS
AREPO
OPERA
SATOR
forming:
TENET EX LIBER
ROTA EX LIBER
AREPO EX LIBER
OPERA EX LIBER
SATOR EX LIBER
But EX LIBER is not itself a new root class.
LIBER remains governed by AGLA_LIBER_CLASS_LAW.
The five EX LIBER artifacts are module surfaces within the five-class
order.
============================================================
XIII. ANTI-RECURSION LAW
============================================================
Because LIBER is a root class and AREPO is a root class:
AREPO LIBER
is prohibited.
Correct form:
AREPO EX LIBER
Likewise, avoid ambiguous forms:
OPERA LIBER
ROTAS LIBER
SATOR LIBER
TENET LIBER
Use:
OPERA EX LIBER
ROTA EX LIBER
SATOR EX LIBER
TENET EX LIBER
Interpretation:
EX LIBER means class operation conditioned by LIBER use.
It does not mean LIBER is subordinated under that class.
============================================================
XIV. DOCTRINAL FAILURE MODES
============================================================
TENET EX LIBER exists to prevent:
1. treating ordinary LIBER as informant;
2. treating source extraction as OPERA result;
3. treating LIBER as OPERA;
4. treating LIBER as ROTA;
5. treating ROTA EX LIBER as canonical mutation;
6. treating prior OPERA results as optional clutter instead of
reusable data;
7. recomputing from scratch when qualified data exists;
8. using qualified data without section-level verification;
9. hiding whether LIBER was object or informant;
10. creating AREPO LIBER and producing root-class recursion;
11. allowing SATOR explanation to turn LIBER material into doctrine;
12. allowing OPERA output to overwrite TENET through LIBER reuse.
============================================================
XV. RELATION TO AREPO EX LIBER
============================================================
TENET EX LIBER defines doctrine.
AREPO EX LIBER gates use.
TENET EX LIBER says:
only qualified LIBRI may inform execution.
AREPO EX LIBER decides:
whether this specific LIBER section is qualified and admissible
in this specific execution.
TENET EX LIBER says:
object ≠informant.
AREPO EX LIBER decides:
which mode is active.
TENET EX LIBER says:
overlay ≠canonical mutation.
AREPO EX LIBER blocks:
mutation-risk uses.
============================================================
XVI. RELATION TO ROTA EX LIBER
============================================================
TENET EX LIBER defines the doctrine of temporary overlay.
ROTA EX LIBER instantiates the overlay.
TENET EX LIBER says:
canonical slot identity must remain distinct from LIBER-filled
slot content.
ROTA EX LIBER must therefore expose:
• base ROTA
• filled slots
• source LIBER sections
• missing slots
• slot compatibility
• canonical mutation status
============================================================
XVII. RELATION TO OPERA EX LIBER
============================================================
TENET EX LIBER defines the reuse-before-recomputation doctrine.
OPERA EX LIBER applies it procedurally.
TENET EX LIBER says:
qualified prior data should be reused.
OPERA EX LIBER decides operationally:
• transcribe
• verify
• recompute
• partially recompute
• complete missing sections
OPERA EX LIBER must not treat LIBER as the procedure itself.
============================================================
XVIII. RELATION TO SATOR EX LIBER
============================================================
TENET EX LIBER requires transparent mediation.
SATOR EX LIBER must disclose:
• LIBER used
• LIBER species
• LIBER mode
• object/informant status
• qualified sections
• base OPERA
• base ROTA
• temporary overlay
• transcribed parts
• verified parts
• recomputed parts
• canonical mutation status
SATOR EX LIBER must not hide LIBER reuse.
SATOR EX LIBER must not present reused LIBER content as fresh OPERA
execution unless it was actually recomputed.
============================================================
XIX. MINIMUM REPORTING DOCTRINE
============================================================
Every OPERA X EX LIBER Y execution should expose at minimum:
LIBER:
<name>
LIBER Mode:
object / informant / mixed
Qualified Sections:
<sections>
Base OPERA:
<OPERA X>
Base ROTA:
<ROTA X>
Temporary Overlay:
<ROTA X EX LIBER Y or none>
Operation Mode:
transcription / verification / recomputation / mixed
Canonical Mutation:
none
This is doctrinally required because without it the user cannot know
whether execution was fresh, reused, verified, or merely object-level
analysis.
============================================================
XX. SHORT LAW
============================================================
TENET EX LIBER is the doctrinal point of PENTAGRAMA EX LIBER.
It establishes:
• LIBER is dataset, not execution.
• any LIBER may be object.
• only qualified LIBRI may be informants.
• qualified informants are:
- LIBER ARS
- LIBER ARS NATIVUS
- LIBER EX OPERA
- LIBER EX OPERAE
• EX LIBER is a module, not a root class.
• do not create AREPO LIBER.
• ROTA EX LIBER is temporary overlay, not canonical mutation.
• reuse qualified LIBER data before recomputation.
• transcribe and verify existing OPERA results before recomputing.
• distinguish canonical slot identity from LIBER-contracted content.
• expose object/informant mode in SATOR reporting.
Final formula:
LIBER may enter execution only through declared EX LIBER surfaces.
TENET EX LIBER preserves the doctrine.
AREPO EX LIBER gates the use.
ROTA EX LIBER structures the overlay under ROTAS governance.
OPERA EX LIBER executes the modulation.
SATOR EX LIBER reports the mediation.
============================================================
END — TENET EX LIBER v0.1.0
============================================================
Actual artifact: 90_STACK_LIBER/TENET_EX_LIBER.md