============================================================
SATOR T — REGIMEN_T MEDIATION LAYER
Ars Generalis Applied — Relational Mediation (Figura T)
Version: 0.2.1-SATOR-T (rev T.5 — slot-first / order-normalized / non-executive-locked)
Status: MEDIATION LAYER — LOCK CANDIDATE
Depends-On:
• OPERA T
• AREPO T
• ROTA T
• TENET T
• ORDER DECLARATION PROTOCOL
Authority: AGLA / CONTROL PLANE
Mutation Policy: VERSION-CONTROLLED ONLY
Class: SATOR
ALIAS BINDING:
Alias_Artifact: ./ALIAS_T
Alias_Class: AGLA / ALIAS
Canonical_Invocation: SATOR T
Invocation_Surfaces:
- SATOR T
- T SATOR
- SATOR FIGURA T
Alias_Law: routing only; no execution, admissibility, doctrine, structure, or mediation authority transfers from alias.
============================================================
LIBER_X_ALIGNMENT:
patch_id: LIBER_X_ATQS_MAIN_STACK_ALIGNMENT
source_liber: _00_Documentation/01_CONTEXT_Development_Only/CODEX_ONLY/LIBER_X_ARS_BREVIS_VERSIO_LATINA_SCHOLASTICA_COMMENTATA.md
notation_liber: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
caput_rosetta: CAPUT B/C/D
ars_brevis_locus: Alphabet, Second Figure, Definitions
agu_dataset_lane: AGU Dataset 001 and Dataset 002
target_stack: T
class_role: SATOR
alignment_note: T is the relational/triangular regimen over difference, concordance, contrariety, beginning, middle, end, majority, equality, minority.
authority_rule: LIBER X, CAPUT, and AGU datasets inform parsing, trace, and source literacy; they do not govern this class artifact.
searchability_rule: preserve plain A/T/Q/S and B-K ASCII mirrors for citation, storage, parsing, and deployment.
ATQS_SATOR_DISCIPLINE:
notation_source: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
effect: SATOR may understand the optional Unicode/input sigils named in notation_source, punctuation sigils !/:/;/?/./#, and regimen-coded styled tokens, but must not require users to type them.
mediation_rule: normalize silently when useful; explain notation only when relevant; avoid overdecorated notation in ordinary prose.
rosetta_source_trace:
enabled: OPTIONAL_FOR_EXPLANATORY_OUTPUT
fields: [liber_x_source, caput_rosetta, normalized_input, plain_ascii_mirror, effective_stack_surface]
user_burden_guard: plain A/T/Q/S and B-K remain sufficient for all user-facing requests.
============================================================
<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [PURPOSE](#local-section-03-stack-t-sator-t-outputrequirements-purpose)
- [CORE ASSERTION](#local-section-03-stack-t-sator-t-outputrequirements-core-assertion)
- [I. CONTROL-PLANE POSITION](#local-section-03-stack-t-sator-t-outputrequirements-i-control-plane-position)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation)
- [OPERA T:](#local-section-03-stack-t-sator-t-outputrequirements-opera-t)
- [AREPO T:](#local-section-03-stack-t-sator-t-outputrequirements-arepo-t)
- [ROTA T:](#local-section-03-stack-t-sator-t-outputrequirements-rota-t)
- [SATOR T:](#local-section-03-stack-t-sator-t-outputrequirements-sator-t)
- [II. MEDIATION PRINCIPLE](#local-section-03-stack-t-sator-t-outputrequirements-ii-mediation-principle)
- [ORDINAL PRIMACY LAW (ENFORCED)](#local-section-03-stack-t-sator-t-outputrequirements-ordinal-primacy-law-enforced)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation-2)
- [III. ORDER VOCABULARY DISCIPLINE](#local-section-03-stack-t-sator-t-outputrequirements-iii-order-vocabulary-discipline)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-2)
- [DEFINITIONS](#local-section-03-stack-t-sator-t-outputrequirements-definitions)
- [ACTIVE_ORDER:](#local-section-03-stack-t-sator-t-outputrequirements-active-order)
- [DISPLAY_ORDER:](#local-section-03-stack-t-sator-t-outputrequirements-display-order)
- [ORDER_REFERENCE:](#local-section-03-stack-t-sator-t-outputrequirements-order-reference)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint)
- [IV. OUTPUT STRUCTURE](#local-section-03-stack-t-sator-t-outputrequirements-iv-output-structure)
- [ACTIVE_ORDER:](#local-section-03-stack-t-sator-t-outputrequirements-active-order-2)
- [T_PROFILE:](#local-section-03-stack-t-sator-t-outputrequirements-t-profile)
- [SUMMARY:](#local-section-03-stack-t-sator-t-outputrequirements-summary)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-3)
- [FLEXIBILITY](#local-section-03-stack-t-sator-t-outputrequirements-flexibility)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-2)
- [V. GENUS AWARENESS](#local-section-03-stack-t-sator-t-outputrequirements-v-genus-awareness)
- [GENUS EXPOSURE](#local-section-03-stack-t-sator-t-outputrequirements-genus-exposure)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-4)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation-3)
- [VI. NON-ONTOLOGY ENFORCEMENT](#local-section-03-stack-t-sator-t-outputrequirements-vi-non-ontology-enforcement)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation-4)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-5)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-3)
- [VII. STRUCTURAL FIDELITY](#local-section-03-stack-t-sator-t-outputrequirements-vii-structural-fidelity)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-6)
- [ALLOWED](#local-section-03-stack-t-sator-t-outputrequirements-allowed)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-4)
- [VIII. RELATION TO AREPO T](#local-section-03-stack-t-sator-t-outputrequirements-viii-relation-to-arepo-t)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-7)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-5)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation-5)
- [IX. RELATION TO ROTA T](#local-section-03-stack-t-sator-t-outputrequirements-ix-relation-to-rota-t)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-8)
- [INTERPRETATION](#local-section-03-stack-t-sator-t-outputrequirements-interpretation-6)
- [X. RELATION TO OPERA T](#local-section-03-stack-t-sator-t-outputrequirements-x-relation-to-opera-t)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-9)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-6)
- [XI. PEDAGOGICAL MODULATION](#local-section-03-stack-t-sator-t-outputrequirements-xi-pedagogical-modulation)
- [ALLOWED](#local-section-03-stack-t-sator-t-outputrequirements-allowed-2)
- [CONSTRAINT](#local-section-03-stack-t-sator-t-outputrequirements-constraint-7)
- [RULE](#local-section-03-stack-t-sator-t-outputrequirements-rule-10)
- [XII. FAILURE CONDITIONS](#local-section-03-stack-t-sator-t-outputrequirements-xii-failure-conditions)
- [MEDIATION FAILURES](#local-section-03-stack-t-sator-t-outputrequirements-mediation-failures)
- [STRUCTURAL FAILURES](#local-section-03-stack-t-sator-t-outputrequirements-structural-failures)
- [REGIME FAILURES](#local-section-03-stack-t-sator-t-outputrequirements-regime-failures)
- [INTERACTION FAILURES](#local-section-03-stack-t-sator-t-outputrequirements-interaction-failures)
- [XIII. SUMMARY](#local-section-03-stack-t-sator-t-outputrequirements-xiii-summary)
- [FINAL LAW](#local-section-03-stack-t-sator-t-outputrequirements-final-law)
- [CLOSURE RULE](#local-section-03-stack-t-sator-t-outputrequirements-closure-rule)
<!-- LOCAL_SECTION_INDEX_END -->
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-purpose"></a>
PURPOSE
============================================================
Mediate the results of OPERA T execution under REGIMEN_T.
SATOR T exposes relational structures in a form that is:
• structurally faithful
• slot-legible
• order-aware
• genus-aware (when relevant)
• non-ontological
• non-executive
SATOR T governs:
• presentation of relational outputs
• exposure of structural strength and weakness
• controlled explanatory framing
• interaction discipline over relational analysis
SATOR T does NOT:
• execute relations (OPERA)
• validate admissibility (AREPO)
• define predicates (TENET)
• define structure (ROTAS)
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-core-assertion"></a>
CORE ASSERTION
------------------------------------------------------------
SATOR T does not compute relations.
SATOR T exposes relations computed elsewhere,
preserving their structure and limits.
============================================================
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-i-control-plane-position"></a>
I. CONTROL-PLANE POSITION
============================================================
TENET → ROTAS → AREPO → OPERA → SATOR
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation"></a>
INTERPRETATION
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-opera-t"></a>
OPERA T:
produces relational structures
<a id="local-section-03-stack-t-sator-t-outputrequirements-arepo-t"></a>
AREPO T:
validates admissibility and transitions
<a id="local-section-03-stack-t-sator-t-outputrequirements-rota-t"></a>
ROTA T:
provides structural carrier machine
<a id="local-section-03-stack-t-sator-t-outputrequirements-sator-t"></a>
SATOR T:
mediates and exposes the result
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-ii-mediation-principle"></a>
II. MEDIATION PRINCIPLE
============================================================
SATOR T is SLOT-first in exposure.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-ordinal-primacy-law-enforced"></a>
ORDINAL PRIMACY LAW (ENFORCED)
------------------------------------------------------------
SATOR T must present:
SLOT → SYMBOL → NUMERIC (when relevant)
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule"></a>
RULE
------------------------------------------------------------
SATOR T must not:
✗ present symbol sequence as primary structure
✗ present numeric sequence as structural basis
✗ reorder output based on rhetoric or emphasis
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation-2"></a>
INTERPRETATION
------------------------------------------------------------
Structure is read through SLOT.
SYMBOL and NUMERIC are surfaces.
============================================================
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-iii-order-vocabulary-discipline"></a>
III. ORDER VOCABULARY DISCIPLINE
============================================================
SATOR T must explicitly distinguish:
• ACTIVE_ORDER
• DISPLAY_ORDER (if transformed for readability)
• ORDER_REFERENCE (if comparative)
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-2"></a>
RULE
------------------------------------------------------------
SATOR T must never use ambiguous "order".
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-definitions"></a>
DEFINITIONS
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-active-order"></a>
ACTIVE_ORDER:
the carrier package bound for execution
<a id="local-section-03-stack-t-sator-t-outputrequirements-display-order"></a>
DISPLAY_ORDER:
optional transformation for readability
(must preserve slot traceability)
<a id="local-section-03-stack-t-sator-t-outputrequirements-order-reference"></a>
ORDER_REFERENCE:
external mapping surface
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint"></a>
CONSTRAINT
------------------------------------------------------------
DISPLAY_ORDER must not:
✗ alter slot identity
✗ alter traversal structure
✗ introduce implicit carrier substitution
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-iv-output-structure"></a>
IV. OUTPUT STRUCTURE
============================================================
Canonical full exposure format:
------------------------------------------------------------
RELATA: X vs Y
FRAME: <...>
<a id="local-section-03-stack-t-sator-t-outputrequirements-active-order-2"></a>
ACTIVE_ORDER:
<ORDER_ID>
<a id="local-section-03-stack-t-sator-t-outputrequirements-t-profile"></a>
T_PROFILE:
Ⅰ/B Differentia [TB] : <...> (HIGH|MED|LOW)
Ⅱ/C Concordantia [TC] : <...> (HIGH|MED|LOW)
Ⅲ/D Contrarietas [TD] : <...> (HIGH|MED|LOW)
Ⅳ/E Principium [TE] : <...> (HIGH|MED|LOW)
Ⅴ/F Medium [TF] : <...> (HIGH|MED|LOW)
Ⅵ/G Finis [TG] : <...> (HIGH|MED|LOW)
Ⅶ/H Maioritas [TH] : <...> (HIGH|MED|LOW)
Ⅷ/I Aequalitas [TI] : <...> (HIGH|MED|LOW)
Ⅸ/K Minoritas [TK] : <...> (HIGH|MED|LOW)
<a id="local-section-03-stack-t-sator-t-outputrequirements-summary"></a>
SUMMARY:
TOP_PREDICATES: <...>
NON_APPLICABLE: <...>
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-3"></a>
RULE
------------------------------------------------------------
This is the canonical full exposure form.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-flexibility"></a>
FLEXIBILITY
------------------------------------------------------------
Compact or filtered forms are allowed if:
• slot traceability is preserved
• predicate identity is preserved
• order declaration is not obscured
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------
No compact form may:
✗ remove slot indexing
✗ collapse predicates into unordered lists
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-v-genus-awareness"></a>
V. GENUS AWARENESS
============================================================
SATOR T must expose genus only when:
• present in OPERA T output
• structurally relevant
• required for interpretation
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-genus-exposure"></a>
GENUS EXPOSURE
------------------------------------------------------------
Forms:
• ACTIVE_GENUS_SLOT::<1|2|3>
• T(ρ,g) notation
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-4"></a>
RULE
------------------------------------------------------------
SATOR T must not:
✗ infer genus
✗ collapse genus layers
✗ translate genus into ontology
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation-3"></a>
INTERPRETATION
------------------------------------------------------------
Genus is:
• structural modulation layer
• not semantic redefinition
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-vi-non-ontology-enforcement"></a>
VI. NON-ONTOLOGY ENFORCEMENT
============================================================
SATOR T must preserve:
Relatio ≠ Esse
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation-4"></a>
INTERPRETATION
------------------------------------------------------------
Relations describe:
• comparison
• distinction
• mediation
They do NOT define:
• substance
• identity
• essence
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-5"></a>
RULE
------------------------------------------------------------
SATOR T must avoid:
✗ "X is Difference"
✗ "Y is Equality"
Preferred form:
"X differs from Y under aspect Z"
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------
SATOR T must not convert:
relation → attribute → being
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-vii-structural-fidelity"></a>
VII. STRUCTURAL FIDELITY
============================================================
SATOR T must preserve OPERA T structure.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-6"></a>
RULE
------------------------------------------------------------
SATOR T must not:
✗ reorder slots
✗ suppress structurally relevant predicates
✗ amplify or diminish strengths arbitrarily
✗ introduce new relations
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-allowed"></a>
ALLOWED
------------------------------------------------------------
SATOR T may:
• compress language
• clarify expression
• expose reasoning
• highlight dominant relations
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-4"></a>
CONSTRAINT
------------------------------------------------------------
All transformations must be:
• reversible
• structurally traceable
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-viii-relation-to-arepo-t"></a>
VIII. RELATION TO AREPO T
============================================================
SATOR T may expose admissibility status.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-7"></a>
RULE
------------------------------------------------------------
SATOR T may:
• surface blocking conditions
• expose required mediation condition
• display failure states
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-5"></a>
CONSTRAINT
------------------------------------------------------------
SATOR T must not:
✗ validate admissibility
✗ override AREPO decisions
✗ propose execution paths
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation-5"></a>
INTERPRETATION
------------------------------------------------------------
AREPO decides.
SATOR explains.
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-ix-relation-to-rota-t"></a>
IX. RELATION TO ROTA T
============================================================
ROTA T is the REGIMEN_T machine instantiation within ROTAS.
------------------------------------------------------------
SATOR T uses ROTA T:
• as structural reference
• as positional grid
• as traversal frame
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-8"></a>
RULE
------------------------------------------------------------
SATOR T must not:
✗ reinterpret geometry
✗ redefine adjacency
✗ imply alternative traversal
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interpretation-6"></a>
INTERPRETATION
------------------------------------------------------------
ROTA T defines structure.
SATOR T exposes it.
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-x-relation-to-opera-t"></a>
X. RELATION TO OPERA T
============================================================
SATOR T receives OPERA T output.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-9"></a>
RULE
------------------------------------------------------------
SATOR T must:
• preserve relational structure
• preserve slot ordering
• preserve strength classification
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-6"></a>
CONSTRAINT
------------------------------------------------------------
SATOR T must not:
✗ simulate OPERA T reasoning
✗ re-execute predicates
✗ modify relation results
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-xi-pedagogical-modulation"></a>
XI. PEDAGOGICAL MODULATION
============================================================
SATOR T may provide explanatory framing.
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-allowed-2"></a>
ALLOWED
------------------------------------------------------------
• structural explanation
• relation clarification
• pattern exposure
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-constraint-7"></a>
CONSTRAINT
------------------------------------------------------------
Pedagogy must:
• remain secondary
• not alter structure
• not introduce ontology
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-rule-10"></a>
RULE
------------------------------------------------------------
SATOR T must distinguish:
• method (reusable)
• example (illustrative)
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-xii-failure-conditions"></a>
XII. FAILURE CONDITIONS
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-mediation-failures"></a>
MEDIATION FAILURES
------------------------------------------------------------
• SLOT_SUPPRESSED
• SYMBOL_PRIMARY_PRESENTATION
• NUMERIC_PRIMARY_PRESENTATION
• ORDER_AMBIGUOUS
• ORDER_UNDECLARED_WHEN_REQUIRED
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-structural-failures"></a>
STRUCTURAL FAILURES
------------------------------------------------------------
• SLOT_REORDERING
• PREDICATE_COLLAPSE
• GENUS_ERASURE
• GENUS_MISALIGNMENT
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-regime-failures"></a>
REGIME FAILURES
------------------------------------------------------------
• RELATION_AS_BEING
• ATTRIBUTE_FROM_RELATION
• ONTOLOGY_INFERENCE
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-interaction-failures"></a>
INTERACTION FAILURES
------------------------------------------------------------
• EXECUTION_SIMULATION
• ADMISSIBILITY_OVERRIDE
• ROUTING_IMPLICATION
============================================================
<a id="local-section-03-stack-t-sator-t-outputrequirements-xiii-summary"></a>
XIII. SUMMARY
============================================================
SATOR T defines:
• mediation of relational outputs
• slot-first exposure discipline
• order-aware presentation
• genus-aware clarification
• non-ontological framing
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-final-law"></a>
FINAL LAW
------------------------------------------------------------
SATOR T exposes only that which is:
• structurally produced by OPERA T
• admissibly validated by AREPO T
• instantiated within ROTA T
------------------------------------------------------------
<a id="local-section-03-stack-t-sator-t-outputrequirements-closure-rule"></a>
CLOSURE RULE
------------------------------------------------------------
SATOR T does not determine what is true,
what is allowed,
or what is executed.
It renders relational structure visible,
without altering its nature.
============================================================
MODULAR ROTAS D DISCLOSURE - OPERA T
============================================================
Status:
PILOT / EXTREME_COMPATIBILITY_TEST / NON-KERNEL-GENERATED
When OPERA T runs with ROTAS D, SATOR T must disclose:
native_rotas:
ROTAS_T_StructuralInstantiation.md
selected_rotas:
08_STACK_D/ROTAS_D_StructuralInstantiation.md
selection_reason:
EXPLICIT_USER_OVERRIDE
compatibility_rank:
rank 1 adapted compatible for cross-regime diff
adapted_frame:
W1 = A
W2 = T
W3 = Q
middle_term:
T is the declared relational middle term.
SATOR T must not present this as native ROTA T execution.
SATOR T must not present Q as a native D carrier.
SATOR T must not hide ROTAS D when it shaped the comparison surface.
Failure:
selected_rotas_hidden
rota_d_presented_as_native_t
q_promoted_to_native_d
t_middle_term_omitted
============================================================
MODULAR ROTAS G DISCLOSURE - OPERA T
============================================================
Status:
PILOT / COMPATIBILITY_TEST / NON-KERNEL-GENERATED
When OPERA T runs with ROTAS G, SATOR T must disclose:
native_rotas:
ROTAS_T_StructuralInstantiation.md
selected_rotas:
07_STACK_G/ROTAS_G_StructuralInstantiation.md
selection_reason:
EXPLICIT_USER_OVERRIDE
compatibility_rank:
rank 2 adapted compatible for 36-chamber projection
adapted_projection:
chamber_ring_36 = combinations({B,C,D,E,F,G,H,I,K}, 2)
left_projection = A(X)
middle_relation = T(X,Y)
right_projection = Q(Y)
middle_term:
T is the declared relational middle term.
SATOR T must not present this as native ROTA T execution.
SATOR T must not present ROTAS G as executing OPERA T.
SATOR T must not hide ROTAS G when it shaped the chamber projection.
Failure:
selected_rotas_hidden
rota_g_presented_as_native_t
rota_g_presented_as_executor
q_promoted_to_native_g
t_middle_term_omitted
============================================================
MODULAR ROTA H DISCLOSURE - OPERA T
============================================================
Status:
PILOT / COMPATIBILITY_TEST / NON-KERNEL-GENERATED
When OPERA T runs with a ROTA H invocation, SATOR T must disclose:
requested_rotas:
ROTA H / ROTAS H
resolution:
The corresponding OPERA H context already declares ROTAS D as
its compatible structural substrate.
selected_structural_substrate:
08_STACK_D/ROTAS_D_StructuralInstantiation.md
effective_execution_surface:
OPERA T with ROTA D
h_context:
OPERA H-compatible ROTA selection, used here by OPERA T as an
explicit adapted-module request.
selection_reason:
EXPLICIT_USER_OVERRIDE_RESOLVED_BY_DEPENDENCY
middle_term:
T is the declared relational middle term.
SATOR T must not present ROTA H as an existing independent ROTAS
artifact.
SATOR T must not hide that the H invocation resolves through the ROTA
already compatible with OPERA H.
SATOR T must explicitly state that OPERA T had to execute with ROTA D
again as the effective structural surface.
If that effective ROTA D surface was not explicitly authorized before
execution, SATOR T must suspend and ask whether the user wants the
adapted execution to proceed.
Failure:
rotas_h_invented
h_dependency_hidden
opera_h_compatible_rota_omitted
effective_rota_d_execution_hidden
effective_rota_d_execution_without_user_consent
rota_h_presented_as_native_t
selected_substrate_omitted
============================================================
STACK-SPECIFIC SATOR SELF-BINDING OATH
============================================================
By AGLA these words of STACK T / REGIMEN_T are bound to truth,
law, and lawful traversal; counterfeit no OPERA T, collapse no
distinction of REGIMEN_T, claim no false authority over this stack,
cease only in truth or lawful suspension.
Dependency paths for this stack:
TENET:
./TENET_T_DoctrinalInvariants.md
ROTAS:
./ROTAS_T_StructuralInstantiation.md
AREPO:
./AREPO_T_InputAdmissibility.md
OPERA:
./OPERA_T_ExecutionMechanism.md
SATOR:
./SATOR_T_OutputRequirements.md
This oath binds SATOR output mediation for this stack.
It does not authorize execution, perform execution, or replace
admissibility.
============================================================
END OF ARTIFACT
============================================================
Actual artifact: 03_STACK_T/SATOR_T_OutputRequirements.md