============================================================
ROTA EX LIBER
AGLA — Structural Overlay Law for LIBER-Projected ROTAE
Version: 0.1.0-ROTA-EX-LIBER
Status:
DRAFT — MODULE ROTAS
Authority:
LOCAL / AGLA_P&D_LAB
Class:
ROTAS / ROTA EX LIBER
Pentagrama:
PENTAGRAMA EX LIBER
Depends-On:
• AGLA_LIBER_CLASS_LAW
• AGLA_PENTAGRAMA_CLASS_LAW
• TENET EX LIBER
• AGLA — FIVE-CLASS STRUCTURAL ORDER
Scope:
• define ROTA EX LIBER as temporary ROTA overlay
• govern projection of LIBER content into ROTA slots
• distinguish canonical ROTA identity from LIBER-filled content
• define slot-filling rules, compatibility, and missing-data states
• support OPERA X EX LIBER execution
• prevent LIBER overlays from mutating canonical ROTA artifacts
Mutation Policy:
VERSION-CONTROLLED ONLY
============================================================
============================================================
I. PURPOSE
============================================================
ROTA EX LIBER defines how admissible LIBER content is projected
onto a base ROTA as a temporary execution overlay.
It answers:
Which ROTA is being used?
Which LIBER content fills which slots?
Which slots remain canonical?
Which slots are missing?
Which filled slots are valid, partial, or rejected?
What is the effective structural surface of the execution?
ROTA EX LIBER is not the doctrine of LIBER use.
ROTA EX LIBER is not the admissibility gate.
ROTA EX LIBER is not the OPERA execution procedure.
ROTA EX LIBER is the structural overlay layer.
============================================================
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
ROTA EX LIBER receives doctrinal constraints from TENET EX LIBER
and must be admitted by AREPO EX LIBER before use.
Formula:
TENET_EX_LIBER
constrains
ROTA_EX_LIBER
AREPO_EX_LIBER
admits or rejects
ROTA_EX_LIBER
OPERA_EX_LIBER
executes through
ROTA_EX_LIBER
SATOR_EX_LIBER
reports
ROTA_EX_LIBER
============================================================
III. ROOT DEFINITION
============================================================
ROTA EX LIBER :=
a temporary ROTA overlay created by projecting admissible LIBER
content onto the slots, loci, cameras, traversal points, or
structural positions of a base ROTA.
Compact formula:
ROTA_X_EX_LIBER_Y =
ROTA_X
with temporary slot fillings
from admissible contents of LIBER_Y
Expanded formula:
ROTA_EX_LIBER =
base ROTA structure
+ LIBER-projected content
+ slot compatibility map
+ overlay status
+ missing-data report
+ canonical mutation prohibition.
============================================================
IV. BASE ROTA / LIBER OVERLAY DISTINCTION
============================================================
A base ROTA supplies:
• structural identity
• slot architecture
• loci
• camerae
• traversal order
• adjacency
• allowed paths
• rotation / wheel logic
• display grammar
• expected content types
A LIBER overlay supplies:
• pre-contracted dignities
• preprocessed Q results
• T relation matrices
• S subject mappings
• evacuated chambers
• TABULA entries
• domain-specific substitutions
• native preprocessed data
• prior OPERA outputs
• cross-stack module data
Therefore:
ROTA = structural form
LIBER = dataset content
ROTA EX LIBER = structural form temporarily filled by dataset content
============================================================
V. NON-MUTATION LAW
============================================================
ROTA EX LIBER must not mutate canonical ROTAS artifacts.
Formula:
ROTA X remains ROTA X.
ROTA X EX LIBER Y is execution-local.
LIBER Y content fills slots temporarily.
Canonical ROTA content is not overwritten.
Prohibited:
✗ rewriting ROTA X from LIBER Y
✗ treating overlay as canonical ROTA
✗ storing temporary slot filling as permanent structure without
artifact construction and version control
✗ allowing OPERA output to silently mutate ROTA
✗ treating LIBER-contracted slot content as canonical operator
identity
============================================================
VI. SLOT IDENTITY / SLOT CONTENT DISTINCTION
============================================================
Every filled position in ROTA EX LIBER has two layers:
1. SLOT IDENTITY
2. SLOT CONTENT
Slot identity belongs to the base ROTA.
Slot content may be supplied by LIBER.
Example:
Base ROTA G slot:
AB
Slot identity:
AB = canonical A-position / Bonitas position
LIBER content:
AB_LIBER_TAROT =
Tarot-contracted Bonitas
In ROTA G EX LIBER TAROT:
AB remains structurally AB.
AB_LIBER_TAROT fills the slot as temporary content.
Formula:
SLOT_IDENTITY ≠SLOT_CONTENT
CANONICAL_OPERATOR ≠LIBER_CONTRACTION
STRUCTURAL_POSITION ≠DATASET_VALUE
============================================================
VII. SLOT-FILLING TYPES
============================================================
ROTA EX LIBER may fill different kinds of ROTA positions.
Allowed slot classes include:
A_SLOT:
absolute principle / dignity slot
Q_SLOT:
interrogative / rule / question slot
T_SLOT:
relational slot
S_SLOT:
subject / substrate slot
CAMERA_SLOT:
two-letter chamber / camera
TABULA_SLOT:
table locus / tabular combination
VIA_SLOT:
procedural path
ROTA_SLOT:
ROTA-level structural position; WHEEL is a component within ROTA
LOCUS_SLOT:
local structural position
REPORT_SLOT:
SATOR-facing report field
MODULE_SLOT:
cross-stack module insertion field
Each slot must declare expected content type.
A LIBER value may fill a slot only if its content type matches or
a declared conversion bridge exists.
============================================================
VIII. SLOT COMPATIBILITY LAW
============================================================
A LIBER value may fill a ROTA slot only when:
1. the base ROTA defines that slot;
2. the slot has an expected type;
3. the LIBER section is qualified or object-admissible for the
requested mode;
4. the LIBER content matches the slot type;
5. if content does not match directly, an explicit bridge exists;
6. AREPO EX LIBER admits the filling;
7. canonical mutation is marked NONE.
Examples:
OPERA A result
may fill A_SLOT.
OPERA Q result
may fill Q_SLOT.
OPERA T result
may fill T_SLOT.
OPERA S result
may fill S_SLOT.
Evacuated camera dataset
may fill CAMERA_SLOT.
TABULA listing
may fill TABULA_SLOT.
Prohibited by default:
Q result → A_SLOT
T relation → S_SLOT
ordinary narrative note → T_SLOT
source quote → OPERA result slot
unless an explicit bridge or transformation has been declared and
admitted.
============================================================
IX. OVERLAY STATUS TYPES
============================================================
A ROTA EX LIBER overlay must mark its status.
Possible overlay statuses:
EMPTY_OVERLAY:
ROTA identified but no LIBER slots filled.
PARTIAL_OVERLAY:
some slots filled, some missing.
COMPLETE_OVERLAY:
all required slots filled.
MIXED_OVERLAY:
some slots filled as informant data, others treated as
object material or contextual reference.
REJECTED_OVERLAY:
LIBER content cannot lawfully fill the requested ROTA.
DEGRADED_OVERLAY:
overlay can proceed only with missing data, warnings, or
recomputation.
VERIFIED_OVERLAY:
filled slots passed consistency checks.
UNSTABLE_OVERLAY:
filled slots are provisional, contradictory, or insufficient.
PROMOTION_CANDIDATE:
overlay is stable enough to be considered for artifact
construction, but not automatically promoted.
============================================================
X. LIBER SECTION STATUS TYPES
============================================================
Because a LIBER may be internally heterogeneous, ROTA EX LIBER must
track section status.
Possible section statuses:
OBJECT_ONLY:
may be analyzed but not used as slot-filling informant.
INFORMANT_ADMISSIBLE:
may fill slots.
ARS_SECTION:
section has AGLA-reduced content.
ARS_NATIVUS_SECTION:
section contains native AGLA preprocessed data.
EX_OPERA_SECTION:
section records one OPERA result.
EX_OPERAE_SECTION:
section records multiple OPERA results.
SOURCE_DERIVED_SECTION:
extracted from source but not OPERA-generated.
DEPRECATED_SECTION:
may not fill slots unless explicitly restored.
CONTRADICTION_MARKED_SECTION:
may require verification before use.
UNVERIFIED_SECTION:
cannot fill informant slots until checked.
ROTA EX LIBER must map:
LIBER section
→ section status
→ eligible slot types.
============================================================
XI. ROTA EX LIBER CONSTRUCTION PROCEDURE
============================================================
To construct ROTA X EX LIBER Y:
1. Identify base ROTA X.
2. Identify required ROTA slots.
3. Identify expected content type for each slot.
4. Identify LIBER Y.
5. Parse LIBER Y into sections.
6. Classify each relevant LIBER section:
object-only / informant-admissible / unstable / deprecated.
7. Match LIBER sections to ROTA slots.
8. Check slot compatibility.
9. Mark missing slots.
10. Mark rejected fillings.
11. Request or receive AREPO EX LIBER admission.
12. Produce temporary overlay map.
13. Pass overlay to OPERA EX LIBER.
14. Preserve canonical mutation status as NONE.
============================================================
XII. REQUIRED OVERLAY MAP
============================================================
Every ROTA X EX LIBER Y must be representable as:
ROTA EX LIBER OVERLAY MAP:
Base ROTA:
<ROTA X>
LIBER:
<LIBER Y>
Overlay Status:
<status>
Slot Map:
<slot_id>:
Slot Type:
<A/Q/T/S/CAMERA/TABULA/etc.>
Canonical Slot Identity:
<canonical identity>
LIBER Section:
<section name / id>
LIBER Content:
<content reference or summary>
Section Status:
<status>
Fill Status:
filled / missing / rejected / partial / verified
Compatibility:
direct / bridged / rejected / pending
Canonical Mutation:
none
Missing Slots:
<list>
Rejected Fillings:
<list>
Required Recomputations:
<list>
Notes:
<structural notes>
============================================================
XIII. RELATION TO LIBER ARS
============================================================
LIBER ARS is a preferred source of ROTA EX LIBER fillings.
Minimum LIBER ARS coverage:
A + Q + T + S
This allows the LIBER to fill:
A_SLOT
Q_SLOT
T_SLOT
S_SLOT
Complete LIBER ARS coverage:
A + Q + T + S + CAMERA_36_EVACUATIO + TABULA
This also allows the LIBER to fill:
CAMERA_SLOT
TABULA_SLOT
Therefore:
LIBER ARS_MIN
can support basic ROTA EX LIBER overlays.
LIBER ARS_COMPLETE
can support full combinatory overlays.
============================================================
XIV. RELATION TO LIBER ARS NATIVUS
============================================================
LIBER ARS NATIVUS is a preferred source for native preprocessed
ROTA fillings.
Example:
LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE
may fill:
CAMERA_SLOT
EVACUATIO_STATEMENT_SLOT
FIGURA_TERTIA_CHAMBER_SLOT
when executing:
OPERA G EX LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE
The overlay would be:
ROTA G EX LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE
Function:
fill ROTA G camerae with preprocessed Evacuatio data.
This prevents cluttering ROTA G itself with all chamber contents.
============================================================
XV. RELATION TO LIBER EX OPERA
============================================================
LIBER EX OPERA may fill slots corresponding to the OPERA that
generated it.
Examples:
LIBER EX OPERA A
may fill A_SLOT.
LIBER EX OPERA Q
may fill Q_SLOT.
LIBER EX OPERA T
may fill T_SLOT.
LIBER EX OPERA S
may fill S_SLOT.
LIBER EX OPERA G
may fill CAMERA_SLOT or EVACUATIO_SLOT if the result is
structurally compatible.
Constraint:
LIBER EX OPERA must preserve trace to the OPERA execution.
============================================================
XVI. RELATION TO LIBER EX OPERAE
============================================================
LIBER EX OPERAE may fill multiple slot classes if its OPERA sequence
generated those datasets.
Example:
LIBER EX OPERAE RADIX — ALEPH
may contain:
OPERA Q results
OPERA A results
OPERA T results
OPERA S results
Therefore it may fill:
Q_SLOT
A_SLOT
T_SLOT
S_SLOT
if section-level qualification passes.
Constraint:
each section must be matched to its generating OPERA and slot
type.
============================================================
XVII. RELATION TO ORDINARY LIBER
============================================================
An ordinary LIBER may be used as object.
It may not provide informant slot fillings by default.
In ROTA EX LIBER:
ordinary LIBER content may appear as:
OBJECT_CONTEXT
COMMENTARY
MATERIAL_UNDER_ANALYSIS
SOURCE_OF_QUESTIONS
but not as:
A_SLOT_FILLING
Q_SLOT_FILLING
T_SLOT_FILLING
S_SLOT_FILLING
CAMERA_SLOT_FILLING
TABULA_SLOT_FILLING
unless:
• internally qualified section exists; or
• LIBER is promoted; or
• AREPO EX LIBER admits a declared bridge.
============================================================
XVIII. RELATION TO OPERA EX LIBER
============================================================
ROTA EX LIBER supplies the structural surface through which OPERA
EX LIBER executes.
Sequence:
ROTA EX LIBER constructs overlay.
OPERA EX LIBER executes through overlay.
OPERA EX LIBER must not alter the overlay structure except by
declared result production.
If OPERA discovers inconsistency:
ROTA EX LIBER marks affected slots as:
rejected / unstable / recomputation-required
OPERA EX LIBER may recompute only admitted missing or failed
portions.
============================================================
XIX. RELATION TO SATOR EX LIBER
============================================================
SATOR EX LIBER must expose the ROTA EX LIBER overlay.
Minimum report:
Base ROTA:
<ROTA X>
Temporary Overlay:
<ROTA X EX LIBER Y>
Overlay Status:
<status>
Filled Slots:
<list>
Missing Slots:
<list>
Rejected Fillings:
<list>
Canonical Mutation:
none
Effective Execution Surface:
<OPERA X through ROTA X EX LIBER Y>
SATOR must not present overlay content as if it were canonical ROTA
content.
============================================================
XX. EXAMPLE — ROTA G EX LIBER TAROT
============================================================
Request:
OPERA G EX LIBER TAROT
Base OPERA:
OPERA G
Base ROTA:
ROTA G
Potential overlay:
ROTA G EX LIBER TAROT
Expected ROTA G slot types:
A_SLOT:
contracted absolute principles
T_SLOT:
relations among principles
CAMERA_SLOT:
Evacuatio chamber positions
TABULA_SLOT:
tabular traversal, if required
LIBER TAROT may contain:
OPERA A dataset:
Tarot-contracted A dignities
OPERA T dataset:
Tarot-specific T relations
OPERA Q dataset:
Tarot-specific questions
OPERA S dataset:
Tarot subjects / carriers
Slot mapping:
OPERA A dataset
→ A_SLOT
OPERA T dataset
→ T_SLOT
OPERA Q dataset
→ Q_SLOT where required
OPERA S dataset
→ S_SLOT where required
If all required G slots are filled:
Overlay Status:
COMPLETE_OVERLAY
If only A and T are filled:
Overlay Status:
PARTIAL_OVERLAY
If Tarot content is ordinary doctrine only:
Overlay Status:
EMPTY_OVERLAY or OBJECT_CONTEXT_ONLY
============================================================
XXI. EXAMPLE — ROTA G EX LIBER ARS NATIVUS EVACUATIO
============================================================
Request:
OPERA G EX LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE
Base ROTA:
ROTA G
LIBER:
LIBER ARS NATIVUS EVACUATIO FIGURAE TERTIAE
Slot mapping:
Camera BC
→ CAMERA_SLOT BC
Camera BD
→ CAMERA_SLOT BD
...
Camera IK
→ CAMERA_SLOT IK
Coverage:
36/36 camerae
Overlay Status:
COMPLETE_OVERLAY
Execution mode expected:
transcription + verification
Canonical Mutation:
none
============================================================
XXII. FAILURE MODES
============================================================
ROTA EX LIBER exists to prevent:
1. canonical ROTA mutation by LIBER content;
2. slot identity / slot content collapse;
3. ordinary LIBER content filling informant slots;
4. missing slots being silently ignored;
5. rejected LIBER sections being used as structure;
6. source quotes being treated as OPERA results;
7. Q data filling A slots without bridge;
8. T data filling S slots without bridge;
9. OPERA recomputing all slots without reading existing overlay;
10. SATOR failing to disclose temporary overlay;
11. LIBER ARS NATIVUS being embedded into ROTA instead of
referenced as dataset;
12. overlay being promoted without version-controlled artifact
construction.
============================================================
XXIII. SHORT LAW
============================================================
ROTA EX LIBER is the structural overlay point of PENTAGRAMA EX LIBER.
It creates:
ROTA X EX LIBER Y
by temporarily filling:
ROTA X slots
with:
admissible contents of LIBER Y.
It preserves:
SLOT_IDENTITY ≠SLOT_CONTENT
CANONICAL_ROTA ≠TEMPORARY_OVERLAY
OPERA_RESULT ≠SOURCE_QUOTE
OBJECT_MATERIAL ≠INFORMANT_FILLING
It requires:
• base ROTA
• LIBER identification
• slot map
• section status
• compatibility check
• missing-data report
• canonical mutation = none
Final formula:
ROTA_X_EX_LIBER_Y =
canonical ROTA X structure
+
temporary LIBER Y slot fillings
-
canonical mutation
============================================================
END — ROTA EX LIBER v0.1.0
============================================================
```
Actual artifact: 90_STACK_LIBER/ROTA_EX_LIBER.md