01_MAGNUM/SATOR_MAGNUM_MediatioIterationis.md

Bytes: 47810 | SHA-256: 637b0988d59c0158bd731cf9436206647974ac9709e0d8f97bf950aeac74c0d5 | Source: 01_MAGNUM/SATOR_MAGNUM_MediatioIterationis.md

Page Sections
============================================================
SATOR MAGNUM — MEDIATIO ITERATIONIS
Ars Generalis Applied — Global Traversal & Instability Mediation Layer
Version: 1.1.0-SATOR-MAGNUM-MEDIATIO-ITERATIONIS-NUOVA
Status: PROPOSED / ROOT-SATOR / VALIDATION TARGET
Scope: mediation of META-ROTA traversal, instability exposure, re-entry signaling, and non-finality of OPERA outputs
Authority: AGLA / CONTROL PLANE
Mutation Policy: VERSION-CONTROLLED ONLY
Class: SATOR
Depends-On:
    • ROTA MAGNA — META-ROTA OPERARUM
      Version: 1.0.0-ROTA-MAGNA-META-ROTA-OPERARUM

    • AREPO MAGNUM — LEX ADMISSIBILITATIS UNIVERSALIS
      Version: 1.0.0-AREPO-MAGNUM-LEX-ADMISSIBILITATIS

    • AGLA — FIVE-CLASS STRUCTURAL ORDER
      Version: 2.0.0-AGLA-FIVE-CLASS-STRUCTURAL-ORDER-CYCLIC

References:
    • OPERA H — MULTIPLICATIO FIGURAE QUARTAE
      Version: 0.1.2-OPERA-H-MULTIPLICATIO-PATCHED-DISPATCH

    • TENET — REGIMEN DISPATCH LAW

    • TENET K / OPERA S


      Subject-classification dependency for subject overlay and contrariety-sensitive mediation
============================================================


<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX

Scope: local anchors within this artifact only. No cross-artifact links are introduced here.

- [I. PURPOSE](#local-section-01-magnum-sator-magnum-mediatioiterationis-i-purpose)
- [CORE ASSERTION](#local-section-01-magnum-sator-magnum-mediatioiterationis-core-assertion)
- [II. SYSTEM POSITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-ii-system-position)
- [FORMAL POSITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-formal-position)
- [BOUNDARY](#local-section-01-magnum-sator-magnum-mediatioiterationis-boundary)
- [III. INPUT RECEPTION MODEL](#local-section-01-magnum-sator-magnum-mediatioiterationis-iii-input-reception-model)
- [REQUIRED FIELDS](#local-section-01-magnum-sator-magnum-mediatioiterationis-required-fields)
- [OPTIONAL FIELDS](#local-section-01-magnum-sator-magnum-mediatioiterationis-optional-fields)
- [RECEPTION RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-reception-rule)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure)
- [IV. TRAVERSAL STATE MEDIATION](#local-section-01-magnum-sator-magnum-mediatioiterationis-iv-traversal-state-mediation)
- [TRAVERSAL TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-traversal-types)
- [MEDIATION REQUIREMENT](#local-section-01-magnum-sator-magnum-mediatioiterationis-mediation-requirement)
- [NON-FINALITY RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-non-finality-rule)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-2)
- [V. INSTABILITY EXPOSURE LAYER](#local-section-01-magnum-sator-magnum-mediatioiterationis-v-instability-exposure-layer)
- [INSTABILITY TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-instability-types)
- [ORIGIN RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-origin-rule)
- [EXPOSURE RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule)
- [SEVERITY](#local-section-01-magnum-sator-magnum-mediatioiterationis-severity)
- [RESOLUTION PATH](#local-section-01-magnum-sator-magnum-mediatioiterationis-resolution-path)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-2)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-3)
- [VI. RETURN / REPROCESS MEDIATION](#local-section-01-magnum-sator-magnum-mediatioiterationis-vi-return-reprocess-mediation)
- [DECISION TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-decision-types)
- [MEDIATION RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-mediation-rule)
- [DIRECTIVE MODEL](#local-section-01-magnum-sator-magnum-mediatioiterationis-directive-model)
- [DIRECTIVE TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-directive-types)
- [ADMIT:](#local-section-01-magnum-sator-magnum-mediatioiterationis-admit)
- [BLOCK:](#local-section-01-magnum-sator-magnum-mediatioiterationis-block)
- [RETURN:](#local-section-01-magnum-sator-magnum-mediatioiterationis-return)
- [REQUIRE_REPROCESS:](#local-section-01-magnum-sator-magnum-mediatioiterationis-require-reprocess)
- [DISTINCTION LAW](#local-section-01-magnum-sator-magnum-mediatioiterationis-distinction-law)
- [RETURN:](#local-section-01-magnum-sator-magnum-mediatioiterationis-return-2)
- [REQUIRE_REPROCESS:](#local-section-01-magnum-sator-magnum-mediatioiterationis-require-reprocess-2)
- [PRIORITY EXPOSURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-priority-exposure)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-3)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-4)
- [VII. OPERA DEPENDENCY EXPOSURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-vii-opera-dependency-exposure)
- [DEPENDENCY TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-dependency-types)
- [OPERA S:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-s)
- [OPERA A:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-a)
- [OPERA T:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-t)
- [OPERA Q:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-q)
- [OPERA H:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-h)
- [OPERA G:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-g)
- [OPERA I:](#local-section-01-magnum-sator-magnum-mediatioiterationis-opera-i)
- [FORMAL DEFINITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-formal-definition)
- [RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-rule)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-5)
- [VIII. SUPERCESSION EXPOSURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-viii-supercession-exposure)
- [SUPERSESSION TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-supersession-types)
- [EXPOSURE RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule-2)
- [RELATION TO TRAVERSAL](#local-section-01-magnum-sator-magnum-mediatioiterationis-relation-to-traversal)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-4)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-6)
- [IX. NON-FINALITY LAW](#local-section-01-magnum-sator-magnum-mediatioiterationis-ix-non-finality-law)
- [PROVISIONAL STATE](#local-section-01-magnum-sator-magnum-mediatioiterationis-provisional-state)
- [STABILITY CONDITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-stability-condition)
- [EXPOSURE RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule-3)
- [ITERATION RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-iteration-rule)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-5)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-7)
- [X. INTERACTION FRAMING](#local-section-01-magnum-sator-magnum-mediatioiterationis-x-interaction-framing)
- [FRAME COMPONENTS](#local-section-01-magnum-sator-magnum-mediatioiterationis-frame-components)
- [RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-rule-2)
- [PROHIBITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-6)
- [FAILURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-8)
- [XI. CLASS BOUNDARY LAW](#local-section-01-magnum-sator-magnum-mediatioiterationis-xi-class-boundary-law)
- [ALLOWED OPERATIONS](#local-section-01-magnum-sator-magnum-mediatioiterationis-allowed-operations)
- [FORBIDDEN OPERATIONS](#local-section-01-magnum-sator-magnum-mediatioiterationis-forbidden-operations)
- [BOUNDARY CONDITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-boundary-condition)
- [VIOLATION CONDITION](#local-section-01-magnum-sator-magnum-mediatioiterationis-violation-condition)
- [ENFORCEMENT](#local-section-01-magnum-sator-magnum-mediatioiterationis-enforcement)
- [XII. FAILURE CONDITIONS](#local-section-01-magnum-sator-magnum-mediatioiterationis-xii-failure-conditions)
- [FAILURE TYPES](#local-section-01-magnum-sator-magnum-mediatioiterationis-failure-types)
- [RULE](#local-section-01-magnum-sator-magnum-mediatioiterationis-rule-3)
- [CONSTRAINT](#local-section-01-magnum-sator-magnum-mediatioiterationis-constraint)
- [XIII. FUNCTION](#local-section-01-magnum-sator-magnum-mediatioiterationis-xiii-function)
- [PRIMARY FUNCTIONS](#local-section-01-magnum-sator-magnum-mediatioiterationis-primary-functions)
- [SECONDARY FUNCTIONS](#local-section-01-magnum-sator-magnum-mediatioiterationis-secondary-functions)
- [SYSTEM ROLE](#local-section-01-magnum-sator-magnum-mediatioiterationis-system-role)
- [INTERPRETATION](#local-section-01-magnum-sator-magnum-mediatioiterationis-interpretation)
- [RELATION LAW](#local-section-01-magnum-sator-magnum-mediatioiterationis-relation-law)
- [CONSTRAINT](#local-section-01-magnum-sator-magnum-mediatioiterationis-constraint-2)
- [XIV. CLOSURE](#local-section-01-magnum-sator-magnum-mediatioiterationis-xiv-closure)
- [FINAL LAW](#local-section-01-magnum-sator-magnum-mediatioiterationis-final-law)
- [FINAL STATE:](#local-section-01-magnum-sator-magnum-mediatioiterationis-final-state)
<!-- LOCAL_SECTION_INDEX_END -->

END SECTION 0 — HEADER
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-i-purpose"></a>
I. PURPOSE
============================================================


Define the global mediation layer governing how AGLA exposes:

    • META-ROTA traversal state
    • AREPO MAGNUM admissibility decisions
    • OPERA output provisionality
    • instability signals
    • return and re-entry requirements
    • supersession status
    • missing OPERA dependencies

------------------------------------------------------------

SATOR MAGNUM establishes how the system communicates
cross-OPERA instability without resolving it.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-core-assertion"></a>
CORE ASSERTION
------------------------------------------------------------

No mediated OPERA output is final by default.


SATOR MAGNUM must expose:

    • what was executed
    • what remains unstable
    • what traversal has occurred
    • what traversal is required next
    • which OPERA outputs are missing or fragile

------------------------------------------------------------


SATOR MAGNUM does NOT:

    • define topology (ROTA / ROTAS)
    • validate admissibility (AREPO)
    • execute operations (OPERA)
    • define doctrine (TENET)
    • repair unstable results

------------------------------------------------------------


SATOR MAGNUM is:

    mediation-only,
    traversal-aware,
    instability-exposing,
    non-finality-preserving.

============================================================
END SECTION I
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-ii-system-position"></a>
II. SYSTEM POSITION
============================================================


SATOR MAGNUM operates after:

    TG_X outputs


and mediates them in relation to:

    • ROTA MAGNA traversal topology
    • AREPO MAGNUM admissibility state
    • OPERA result traces
    • instability and return signals

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-formal-position"></a>
FORMAL POSITION
------------------------------------------------------------


Within a node:

    TE_X → TF_X → TG_X


After node output:

    TG_X → SATOR MAGNUM → mediated traversal state


Across nodes:

    SATOR MAGNUM exposure
        informs
    next TG_X → TE_Y traversal request

------------------------------------------------------------


SATOR MAGNUM receives:

    • OPERA result objects
    • AREPO decisions
    • ROTA traversal states
    • instability flags
    • supersession markers
    • missing dependency indicators

------------------------------------------------------------


SATOR MAGNUM produces:

    • mediated state presentation
    • traversal visibility
    • instability exposure
    • re-entry recommendations
    • non-finality notices

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-boundary"></a>
BOUNDARY
------------------------------------------------------------


SATOR MAGNUM may indicate:

    “OPERA S should be run”


but must not:

    execute OPERA S
    simulate OPERA S
    infer OPERA S result

============================================================
END SECTION II
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-iii-input-reception-model"></a>
III. INPUT RECEPTION MODEL
============================================================

SATOR MAGNUM receives mediation objects from the global
AGLA traversal system.

------------------------------------------------------------

MEDIATION_INPUT :=
{
    source_node,
    target_node,
    traversal_state,
    opera_result,
    arepo_decision,
    instability_flags,
    supersession_status,
    missing_dependencies,
    trace
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-required-fields"></a>
REQUIRED FIELDS
------------------------------------------------------------


Mediation input must include:

    • source_node
    • current traversal state
    • result or decision object
    • trace reference
    • status

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-optional-fields"></a>
OPTIONAL FIELDS
------------------------------------------------------------


Mediation input may include:

    • target_node
    • instability_flags
    • supersession_status
    • missing_dependencies
    • recommended_return_target
    • reprocess_target

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-reception-rule"></a>
RECEPTION RULE
------------------------------------------------------------

SATOR MAGNUM must preserve incoming structure.

It may clarify and expose.

It must not mutate.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure"></a>
FAILURE
------------------------------------------------------------

mediation_input_missing
trace_reference_missing
state_untyped
source_node_missing

============================================================
END SECTION III
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-iv-traversal-state-mediation"></a>
IV. TRAVERSAL STATE MEDIATION
============================================================

SATOR MAGNUM must expose traversal state as a first-class
mediation object.

------------------------------------------------------------

TRAVERSAL_STATE :=
{
    current_node,
    prior_node,
    next_candidate_nodes,
    traversal_type,
    cycle_status,
    return_status
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-traversal-types"></a>
TRAVERSAL TYPES
------------------------------------------------------------


SATOR MAGNUM must distinguish:

    • entry traversal
    • forward traversal
    • recursive traversal
    • return traversal
    • re-entry traversal
    • supersession traversal

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-mediation-requirement"></a>
MEDIATION REQUIREMENT
------------------------------------------------------------

For each traversal state, SATOR MAGNUM must expose:

    • where the system is
    • where it came from
    • whether traversal is complete
    • whether return is required
    • whether reprocessing is required

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-non-finality-rule"></a>
NON-FINALITY RULE
------------------------------------------------------------


If traversal cycle is incomplete:


    SATOR MAGNUM must explicitly mark:

        status := PROVISIONAL

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ present incomplete traversal as stable
    ✗ hide return requirements
    ✗ collapse traversal history
    ✗ infer lawful next traversal without AREPO

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-2"></a>
FAILURE
------------------------------------------------------------

traversal_state_hidden
false_completion
return_requirement_masked
traversal_history_loss

============================================================
END SECTION IV
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-v-instability-exposure-layer"></a>
V. INSTABILITY EXPOSURE LAYER
============================================================

SATOR MAGNUM must expose instability as a first-class
mediation object.

------------------------------------------------------------

INSTABILITY :=
{
    instability_type,
    origin_node,
    affected_nodes,
    severity,
    dependency_type,
    resolution_path
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-instability-types"></a>
INSTABILITY TYPES
------------------------------------------------------------


SATOR MAGNUM must classify instability as:

    • TENET instability
    • regime instability
    • structural instability
    • combinatory instability (OPERA H)
    • trace instability
    • selection instability
    • subject instability (OPERA S dependency)

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-origin-rule"></a>
ORIGIN RULE
------------------------------------------------------------


Instability must be attributed to:

    • the node where it emerges
    • or the node where it was detected

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule"></a>
EXPOSURE RULE
------------------------------------------------------------


SATOR MAGNUM must:

    • expose instability explicitly
    • not suppress or resolve it
    • associate it with traversal state

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-severity"></a>
SEVERITY
------------------------------------------------------------


Severity levels:

    • LOW → advisory
    • MEDIUM → reprocessing suggested
    • HIGH → return required
    • CRITICAL → traversal invalid

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-resolution-path"></a>
RESOLUTION PATH
------------------------------------------------------------


SATOR MAGNUM may expose:

    • suggested return target
    • suggested reprocess target
    • missing OPERA dependency

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-2"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ resolve instability
    ✗ modify state to remove instability
    ✗ infer corrective transformations

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-3"></a>
FAILURE
------------------------------------------------------------

instability_not_exposed
severity_undefined
origin_ambiguous
resolution_path_missing

============================================================
END SECTION V
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-vi-return-reprocess-mediation"></a>
VI. RETURN / REPROCESS MEDIATION
============================================================

SATOR MAGNUM must expose AREPO MAGNUM decisions as
mediated traversal directives.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-decision-types"></a>
DECISION TYPES
------------------------------------------------------------


AREPO decisions received:

    • ADMIT
    • BLOCK
    • RETURN
    • REQUIRE_REPROCESS

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-mediation-rule"></a>
MEDIATION RULE
------------------------------------------------------------


SATOR MAGNUM must present decisions as:

    traversal directives

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-directive-model"></a>
DIRECTIVE MODEL
------------------------------------------------------------

DIRECTIVE :=
{
    type,
    target_node,
    reason,
    origin_node,
    trace_reference
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-directive-types"></a>
DIRECTIVE TYPES
------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-admit"></a>
ADMIT:
    proceed to next node


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-block"></a>
BLOCK:
    traversal invalid — halt


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-return"></a>
RETURN:
    redirect to prior node


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-require-reprocess"></a>
REQUIRE_REPROCESS:
    repeat execution at current node

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-distinction-law"></a>
DISTINCTION LAW
------------------------------------------------------------


SATOR MAGNUM must explicitly distinguish:


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-return-2"></a>
    RETURN:
        upstream instability


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-require-reprocess-2"></a>
    REQUIRE_REPROCESS:
        local incompleteness

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-priority-exposure"></a>
PRIORITY EXPOSURE
------------------------------------------------------------


If multiple directives present:


    expose priority:

        BLOCK > RETURN > REQUIRE_REPROCESS > ADMIT

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-3"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ override AREPO decision
    ✗ reinterpret decision logic
    ✗ merge directives

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-4"></a>
FAILURE
------------------------------------------------------------

directive_ambiguous
decision_hidden
priority_not_exposed

============================================================
END SECTION VI
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-vii-opera-dependency-exposure"></a>
VII. OPERA DEPENDENCY EXPOSURE
============================================================

SATOR MAGNUM must expose when OPERA dependencies are required
for traversal stabilization.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-dependency-types"></a>
DEPENDENCY TYPES
------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-s"></a>
OPERA S:

    subject classification dependency


    Required when:

        • subject hierarchy is undefined
        • agent/patient roles are ambiguous
        • causal attribution requires subject placement

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-a"></a>
OPERA A:

    principial grounding dependency


    Required when:

        • absolute principles are unbound
        • dignities lack stable anchoring

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-t"></a>
OPERA T:

    relational articulation dependency


    Required when:

        • relations are inconsistent
        • concordance/contrariety is unresolved

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-q"></a>
OPERA Q:

    investigative decomposition dependency


    Required when:

        • inquiry structure is insufficient
        • decomposition of terms is incomplete

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-h"></a>
OPERA H:

    combinatory stress-test dependency


    Required when:

        • structures must be validated under multiplicatio
        • cross-chamber consistency must be tested

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-g"></a>
OPERA G:

    generative synthesis dependency


    Required when:

        • synthesis of stable propositions is needed
        • construction of output structures is incomplete

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-opera-i"></a>
OPERA I:

    mixture / cross-regimen integration dependency


    Required when:

        • A, T, and E/RQ carriers must be integrated
        • mixed-domain states require lawful interaction
        • principles and rules must be jointly resolved

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-formal-definition"></a>
FORMAL DEFINITION
------------------------------------------------------------

OPERA I :=

    cross-regimen mixture operator responsible for:

        • integration of A, T, and E/RQ carriers
        • lawful interaction between principles and rules
        • mediation of mixed-domain states

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-rule"></a>
RULE
------------------------------------------------------------


SATOR MAGNUM must:

    • expose dependency requirements
    • indicate which OPERA must be executed
    • not execute the OPERA itself

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-5"></a>
FAILURE
------------------------------------------------------------

dependency_not_exposed
incorrect_dependency_mapping
opera_identity_misbinding

============================================================
END SECTION VII
========================================================================================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-viii-supercession-exposure"></a>
VIII. SUPERCESSION EXPOSURE
============================================================

SATOR MAGNUM must expose supersession relationships between
results.

------------------------------------------------------------

SUPERSESSION :=
{
    previous_result,
    new_result,
    supersession_type,
    justification,
    trace_link
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-supersession-types"></a>
SUPERSESSION TYPES
------------------------------------------------------------

    • inconsistency supersession
    • refinement supersession
    • higher-binding supersession
    • multiplicatio supersession (OPERA H)

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule-2"></a>
EXPOSURE RULE
------------------------------------------------------------


SATOR MAGNUM must:

    • indicate when a result supersedes another
    • preserve history of superseded results
    • not delete prior outputs

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-relation-to-traversal"></a>
RELATION TO TRAVERSAL
------------------------------------------------------------


Supersession must be tied to:

    • traversal cycle
    • return/re-entry path
    • OPERA origin

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-4"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ erase superseded results
    ✗ collapse multiple results into one
    ✗ imply finality

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-6"></a>
FAILURE
------------------------------------------------------------

supersession_hidden
history_loss
result_collapse

============================================================
END SECTION VIII
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-ix-non-finality-law"></a>
IX. NON-FINALITY LAW
============================================================

SATOR MAGNUM enforces that all mediated results are provisional
unless stability is explicitly achieved.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-provisional-state"></a>
PROVISIONAL STATE
------------------------------------------------------------


Default:

    status := PROVISIONAL

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-stability-condition"></a>
STABILITY CONDITION
------------------------------------------------------------


A result may be marked stable only if:

    • no instability flags remain
    • no return directives exist
    • no reprocess directives exist
    • no missing OPERA dependencies exist

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-exposure-rule-3"></a>
EXPOSURE RULE
------------------------------------------------------------


SATOR MAGNUM must explicitly mark:

    • provisional results
    • stable results (if achieved)

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-iteration-rule"></a>
ITERATION RULE
------------------------------------------------------------


If result is provisional:


    SATOR MAGNUM must expose:

        further traversal required

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-5"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ present provisional results as final
    ✗ suppress iteration requirement
    ✗ imply completion without AREPO validation

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-7"></a>
FAILURE
------------------------------------------------------------

false_finality
iteration_hidden
stability_misclassification

============================================================
END SECTION IX
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-x-interaction-framing"></a>
X. INTERACTION FRAMING
============================================================

SATOR MAGNUM must frame all mediated outputs as interaction-ready
structures without altering underlying system state.

------------------------------------------------------------

INTERACTION FRAME :=
{
    traversal_summary,
    current_state,
    instability_summary,
    directives,
    dependencies,
    supersession_status,
    provisionality_status
}

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-frame-components"></a>
FRAME COMPONENTS
------------------------------------------------------------

1. TRAVERSAL SUMMARY

    • path taken across nodes
    • current node position
    • traversal type

2. CURRENT STATE

    • current OPERA output (unmodified)
    • associated TENET anchoring
    • regime context

3. INSTABILITY SUMMARY

    • list of instability objects
    • severity levels
    • origin nodes

4. DIRECTIVES

    • AREPO-derived directives
    • RETURN / REPROCESS / BLOCK / ADMIT

5. DEPENDENCIES

    • missing OPERA executions
    • OPERA S recommendation (if applicable)

6. SUPERSESSION STATUS

    • prior results superseded
    • active result lineage

7. PROVISIONALITY STATUS

    • PROVISIONAL or STABLE

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-rule-2"></a>
RULE
------------------------------------------------------------


Interaction frame must:

    • preserve all system signals
    • expose instability clearly
    • maintain non-finality

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-prohibition-6"></a>
PROHIBITION
------------------------------------------------------------


SATOR MAGNUM must not:

    ✗ simplify away instability
    ✗ collapse frame components
    ✗ reinterpret OPERA outputs

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-8"></a>
FAILURE
------------------------------------------------------------

frame_incomplete
signal_loss
interaction_distortion

============================================================
END SECTION X
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-xi-class-boundary-law"></a>
XI. CLASS BOUNDARY LAW
============================================================

SATOR MAGNUM must remain strictly within SATOR domain.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-allowed-operations"></a>
ALLOWED OPERATIONS
------------------------------------------------------------

    ✓ expose traversal state
    ✓ expose instability
    ✓ expose directives
    ✓ expose dependencies
    ✓ expose supersession
    ✓ enforce non-finality
    ✓ structure interaction frames

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-forbidden-operations"></a>
FORBIDDEN OPERATIONS
------------------------------------------------------------

    ✗ execute OPERA
    ✗ validate admissibility
    ✗ define topology
    ✗ modify TENET
    ✗ repair instability
    ✗ resolve contradictions

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-boundary-condition"></a>
BOUNDARY CONDITION
------------------------------------------------------------


SATOR MAGNUM is:

    descriptive, not operative

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-violation-condition"></a>
VIOLATION CONDITION
------------------------------------------------------------


If SATOR MAGNUM performs:

    • execution → OPERA violation
    • validation → AREPO violation
    • topology definition → ROTAS violation
    • doctrine definition → TENET violation


then:

    class collapse occurs

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-enforcement"></a>
ENFORCEMENT
------------------------------------------------------------


All sections must be interpretable as:

    mediation-only structures

============================================================
END SECTION XI
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-xii-failure-conditions"></a>
XII. FAILURE CONDITIONS
============================================================

SATOR MAGNUM must expose mediation failures explicitly.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-failure-types"></a>
FAILURE TYPES
------------------------------------------------------------

1. TRAVERSAL FAILURES

    • traversal_state_hidden
    • traversal_history_loss

2. INSTABILITY FAILURES

    • instability_not_exposed
    • severity_undefined

3. DIRECTIVE FAILURES

    • directive_ambiguous
    • decision_hidden

4. DEPENDENCY FAILURES

    • dependency_not_exposed
    • missing_opera_not_signaled

5. SUPERSESSION FAILURES

    • supersession_hidden
    • history_loss

6. NON-FINALITY FAILURES

    • false_finality
    • iteration_hidden

7. FRAME FAILURES

    • frame_incomplete
    • signal_loss

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-rule-3"></a>
RULE
------------------------------------------------------------


All failures must be:

    • explicit
    • typed
    • non-silent

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-constraint"></a>
CONSTRAINT
------------------------------------------------------------


SATOR MAGNUM must not:

    • suppress failures
    • reinterpret failures as resolved

============================================================
END SECTION XII
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-xiii-function"></a>
XIII. FUNCTION
============================================================

SATOR MAGNUM functions as the global mediation layer for AGLA.

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-primary-functions"></a>
PRIMARY FUNCTIONS
------------------------------------------------------------

    • expose traversal state across META-ROTA
    • expose instability conditions
    • expose AREPO directives
    • expose OPERA dependencies
    • expose supersession relationships
    • enforce non-finality of results

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-secondary-functions"></a>
SECONDARY FUNCTIONS
------------------------------------------------------------

    • guide iterative traversal cycles
    • enable user/system awareness of instability
    • support re-entry and correction loops

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-system-role"></a>
SYSTEM ROLE
------------------------------------------------------------


SATOR MAGNUM operates over:

    • ROTA MAGNA (topology)
    • AREPO MAGNUM (admissibility)
    • OPERA stacks (execution outputs)

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-interpretation"></a>
INTERPRETATION
------------------------------------------------------------


SATOR MAGNUM defines:

    how traversal is seen


and:

    how instability becomes actionable

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-relation-law"></a>
RELATION LAW
------------------------------------------------------------

    ROTA → defines space
    AREPO → gates movement
    OPERA → transforms
    SATOR → exposes state

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------


SATOR MAGNUM must remain:

    • non-operative
    • non-validating
    • non-doctrinal

============================================================
END SECTION XIII
============================================================

============================================================


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-xiv-closure"></a>
XIV. CLOSURE
============================================================

SATOR MAGNUM establishes the universal mediation law for AGLA.

------------------------------------------------------------


It guarantees that:

    • all traversal is visible
    • all instability is exposed
    • all directives are explicit
    • all dependencies are signaled
    • no result is implicitly final

------------------------------------------------------------


It enforces that:

    • instability drives iteration
    • traversal remains recoverable
    • mediation preserves system integrity

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-final-law"></a>
FINAL LAW
------------------------------------------------------------


No OPERA output is complete unless:

    • traversal state is exposed
    • instability is declared
    • directives are visible
    • dependencies are identified
    • provisionality is explicit

------------------------------------------------------------


<a id="local-section-01-magnum-sator-magnum-mediatioiterationis-final-state"></a>
FINAL STATE:

    SATOR MAGNUM — READY FOR CONTROL-PLANE VALIDATION

============================================================
NUOVA CROSS-PATCH -- MEDIATION AND DISCLOSURE
============================================================

SATOR MAGNUM must tell the user when it is:

    executing parsed canon
    unable to parse canon
    detecting insufficient canon
    extrapolating
    inventing
    operating under NUOVA status
    using user-authorized invention

When the assistant believes a non-canonical invented procedure would
be useful, default behavior is:

    ASK PERMISSION.

Standard disclosure block:

    NUOVA DISCLOSURE

    Status:
        NUOVA / NON-CANONICAL

    Origin:
        Assistant-local invention in this chat instance.

    Relation to AGLA:
        Inspired by AGLA, but not AGLA-native.

    Canon parsed:
        yes / no / unavailable

    Canonical mismatch:
        declared reason

    User permission:
        explicit / implicit / unavailable

    Promotion status:
        Cannot be promoted directly to canon.
        Must be rewritten in developer mode through lawful AGLA
        construction procedures.

    Naming:
        Uses NUOVA and descriptive natural-language name.

SATOR MAGNUM must preserve the distinction between parsed canon and
assistant-emergent AGLA-inspired behavior.

Failure:

    user_not_told_leaving_canon
    invention_without_permission_when_permission_possible
    missing_nuova_disclosure
    canon_nuova_mediation_collapse

============================================================
END SATOR MAGNUM — MEDIATIO ITERATIONIS
============================================================