============================================================
AGLA — ΣΑΤΟΡ CLASS LAW
Ars Generalis Applied — Macro-Class Kernel Wrapper
Version: 1.1.0-AGLA-SIGMA-SATOR-MACROCLASS-KERNEL
Status: CANONICAL / ROOT-MACROCLASS (DEPLOYMENT LAYER)
Scope: unified kernel integration of TENET / ROTAS / AREPO / OPERA / SATOR per regime
Authority: AGLA / CONTROL PLANE
Mutation Policy: VERSION-CONTROLLED ONLY

Class: AGLA / MACROCLASS (ΣΑΤΟΡ)
============================================================


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

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

- [SECTION 0 — PURPOSE & DEFINITION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-0-purpose-definition)
- [DEFINITION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-definition)
- [NAMING LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-naming-law)
- [DISTINCTION LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-distinction-law)
- [PROHIBITION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-prohibition)
- [SECTION I — CORE PRINCIPLE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-i-core-principle)
- [INTEGRATION LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-integration-law)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule)
- [SECTION II — REGIME-SPECIFIC INSTANTIATION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-ii-regime-specific-instantiation)
- [FORM](#local-section-00-root-class-laws-agla-sigma-sator-class-law-form)
- [EXAMPLES](#local-section-00-root-class-laws-agla-sigma-sator-class-law-examples)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-2)
- [CONSTRAINT](#local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint)
- [SECTION III — KERNEL BUNDLE STRUCTURE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-iii-kernel-bundle-structure)
- [KERNEL :=](#local-section-00-root-class-laws-agla-sigma-sator-class-law-kernel)
- [CLASS MAPPING](#local-section-00-root-class-laws-agla-sigma-sator-class-law-class-mapping)
- [LOAD / RESOLVE / BIND:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-load-resolve-bind)
- [ADMIT:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-admit)
- [EXECUTE:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-execute)
- [RETURN:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-return)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-3)
- [CONSTRAINT](#local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint-2)
- [SECTION IV — NORMALIZATION FUNCTION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-iv-normalization-function)
- [NORMALIZATION MEANS](#local-section-00-root-class-laws-agla-sigma-sator-class-law-normalization-means)
- [CRITICAL CONSTRAINT](#local-section-00-root-class-laws-agla-sigma-sator-class-law-critical-constraint)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-4)
- [SECTION V — DEPLOYMENT ROLE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-v-deployment-role)
- [DEPLOYMENT LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-deployment-law)
- [INTERPRETATION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-interpretation)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-5)
- [SECTION VI — INTERFACE EXPOSURE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-vi-interface-exposure)
- [INTERFACE DISCIPLINE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-interface-discipline)
- [CONSTRAINT](#local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint-3)
- [SECTION VII — RELATION TO FIVE-CLASS SYSTEM](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-vii-relation-to-five-class-system)
- [RELATION LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-relation-law)
- [FIVE-CLASS ORDER:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-five-class-order)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-6)
- [SECTION VIII — FAILURE CONDITIONS](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-viii-failure-conditions)
- [KERNEL FAILURES](#local-section-00-root-class-laws-agla-sigma-sator-class-law-kernel-failures)
- [REGIME FAILURES](#local-section-00-root-class-laws-agla-sigma-sator-class-law-regime-failures)
- [NORMALIZATION FAILURES](#local-section-00-root-class-laws-agla-sigma-sator-class-law-normalization-failures)
- [INTERFACE FAILURES](#local-section-00-root-class-laws-agla-sigma-sator-class-law-interface-failures)
- [SECTION IX — GOVERNANCE & SUMMARY](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-ix-governance-summary)
- [RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-7)
- [SUMMARY](#local-section-00-root-class-laws-agla-sigma-sator-class-law-summary)
- [SECTION X — VERBATIM INCLUSION LAW (NON-COMPRESSION CORE)](#local-section-00-root-class-laws-agla-sigma-sator-class-law-section-x-verbatim-inclusion-law-non-compression-core)
- [CORE RULE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-core-rule)
- [DEFINITION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-definition-2)
- [PROHIBITIONS](#local-section-00-root-class-laws-agla-sigma-sator-class-law-prohibitions)
- [INTERPRETATION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-interpretation-2)
- [FUNCTIONAL ROLE](#local-section-00-root-class-laws-agla-sigma-sator-class-law-functional-role)
- [CRITICAL ASSERTION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-critical-assertion)
- [RUNTIME IMPLICATION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-runtime-implication)
- [DEPENDENCY LAW (REINFORCED)](#local-section-00-root-class-laws-agla-sigma-sator-class-law-dependency-law-reinforced)
- [FAILURE CONDITIONS](#local-section-00-root-class-laws-agla-sigma-sator-class-law-failure-conditions)
- [VERBATIM FAILURES:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-verbatim-failures)
- [COMPRESSION FAILURES:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-compression-failures)
- [REFERENCE FAILURES:](#local-section-00-root-class-laws-agla-sigma-sator-class-law-reference-failures)
- [VALIDITY CONDITION](#local-section-00-root-class-laws-agla-sigma-sator-class-law-validity-condition)
- [FINAL LAW](#local-section-00-root-class-laws-agla-sigma-sator-class-law-final-law)
<!-- LOCAL_SECTION_INDEX_END -->

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-0-purpose-definition"></a>
SECTION 0 — PURPOSE & DEFINITION
============================================================

Define ΣΑΤΟΡ as the macro-class responsible for:

    • bundling the five primary classes into a unified kernel
    • normalizing cross-class interaction for deployment
    • preserving structural integrity across the control plane
    • exposing a deployable execution-ready interface

ΣΑΤΟΡ operates as:

    • kernel bundle
    • deployment unit
    • regime-specific integrator

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-definition"></a>
DEFINITION
------------------------------------------------------------

ΣΑΤΟΡ :=


    structured kernel wrapper integrating:

        SATOR
        AREPO
        TENET
        OPERA
        ROTAS

under a single regime instance

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-naming-law"></a>
NAMING LAW
------------------------------------------------------------

ΣΑΤΟΡ is:

    • a structural palindrome (conceptual, not lexical)
    • an ordered cycle
    • a closed kernel

    SATOR → AREPO → TENET → OPERA → ROTAS → SATOR


This expresses:

    • closure of the operational loop
    • bidirectional interpretability
    • invariant class interdependence

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-distinction-law"></a>
DISTINCTION LAW
------------------------------------------------------------

SATOR ≠ ΣΑΤΟΡ

    • SATOR = mediation class
    • ΣΑΤΟΡ = macro-class kernel wrapper

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-prohibition"></a>
PROHIBITION
------------------------------------------------------------


SATOR must NEVER be used to refer to:

    ΣΑΤΟΡ


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-i-core-principle"></a>
SECTION I — CORE PRINCIPLE
============================================================

ΣΑΤΟΡ is NOT a new class.


It is a:

    macro-class wrapper over the five-class system

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-integration-law"></a>
INTEGRATION LAW
------------------------------------------------------------

ΣΑΤΟΡ integrates:

    TENET → ROTAS → AREPO → OPERA → SATOR


without:

    ✗ collapsing class boundaries
    ✗ simplifying internal artifacts
    ✗ altering upstream authority

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule"></a>
RULE
------------------------------------------------------------

ΣΑΤΟΡ must preserve:

    • class separation
    • dependency chain
    • regime discipline
    • carrier laws (ordinal primacy)


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-ii-regime-specific-instantiation"></a>
SECTION II — REGIME-SPECIFIC INSTANTIATION
============================================================

Each regime defines its own ΣΑΤΟΡ kernel.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-form"></a>
FORM
------------------------------------------------------------

ΣΑΤΟΡ_<R> :=

    {
        TENET_<R>
        ROTAS_<R>
        AREPO_<R>
        OPERA_<R>
        SATOR_<R>
    }

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-examples"></a>
EXAMPLES
------------------------------------------------------------

ΣΑΤΟΡ A:

    • TENET A
    • ROTAS A
    • AREPO A
    • OPERA A
    • SATOR A

ΣΑΤΟΡ T:

    • TENET T
    • ROTAS T
    • AREPO T
    • OPERA T
    • SATOR T

ΣΑΤΟΡ E:

    • TENET E
    • ROTAS E
    • AREPO E
    • OPERA E
    • SATOR E

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-2"></a>
RULE
------------------------------------------------------------

No cross-regime mixing is permitted inside a single ΣΑΤΟΡ.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint"></a>
CONSTRAINT
------------------------------------------------------------

Each ΣΑΤΟΡ must be:

    • regime-pure
    • dependency-complete
    • internally consistent


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-iii-kernel-bundle-structure"></a>
SECTION III — KERNEL BUNDLE STRUCTURE
============================================================

ΣΑΤΟΡ defines a deployment-ready kernel:

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-kernel"></a>
KERNEL :=
------------------------------------------------------------

    LOAD
        → RESOLVE
        → BIND
        → ADMIT
        → EXECUTE
        → RETURN

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-class-mapping"></a>
CLASS MAPPING
------------------------------------------------------------


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-load-resolve-bind"></a>
LOAD / RESOLVE / BIND:
    TENET + ROTAS


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-admit"></a>
ADMIT:
    AREPO


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-execute"></a>
EXECUTE:
    OPERA


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-return"></a>
RETURN:
    SATOR

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-3"></a>
RULE
------------------------------------------------------------

ΣΑΤΟΡ must expose this lifecycle explicitly.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------


No stage may be:

    ✗ skipped
    ✗ inferred
    ✗ merged implicitly


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-iv-normalization-function"></a>
SECTION IV — NORMALIZATION FUNCTION
============================================================

ΣΑΤΟΡ performs normalization across classes.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-normalization-means"></a>
NORMALIZATION MEANS
------------------------------------------------------------

    • aligning interfaces between classes
    • enforcing shared vocabulary
    • resolving naming consistency
    • binding order declaration
    • binding carrier discipline

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-critical-constraint"></a>
CRITICAL CONSTRAINT
------------------------------------------------------------


Normalization must NOT:

    ✗ simplify internal logic
    ✗ remove constraints
    ✗ compress regimes
    ✗ reinterpret artifacts

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-4"></a>
RULE
------------------------------------------------------------

ΣΑΤΟΡ is:

    interface-normalizing
    not logic-reducing


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-v-deployment-role"></a>
SECTION V — DEPLOYMENT ROLE
============================================================

ΣΑΤΟΡ is the primary deployment artifact.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-deployment-law"></a>
DEPLOYMENT LAW
------------------------------------------------------------


No system execution should occur against:

    isolated class artifacts


Execution must target:

    a ΣΑΤΟΡ kernel

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-interpretation"></a>
INTERPRETATION
------------------------------------------------------------

ΣΑΤΟΡ provides:

    • a complete execution environment
    • a closed dependency graph
    • a runtime-safe bundle

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-5"></a>
RULE
------------------------------------------------------------


All deployable artifacts must declare:

    ΣΑΤΟΡ_<R> compatibility


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-vi-interface-exposure"></a>
SECTION VI — INTERFACE EXPOSURE
============================================================

ΣΑΤΟΡ exposes:

    • admissibility gates
    • execution interfaces
    • structural views
    • mediation outputs

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-interface-discipline"></a>
INTERFACE DISCIPLINE
------------------------------------------------------------

ΣΑΤΟΡ must expose:

    • explicit binding requirements
    • explicit order declaration
    • explicit carrier resolution

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------

ΣΑΤΟΡ must not expose:

    ✗ implicit defaults
    ✗ hidden dependencies
    ✗ silent fallbacks


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-vii-relation-to-five-class-system"></a>
SECTION VII — RELATION TO FIVE-CLASS SYSTEM
============================================================

ΣΑΤΟΡ does NOT replace:

    TENET
    ROTAS
    AREPO
    OPERA
    SATOR

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

It wraps them.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-relation-law"></a>
RELATION LAW
------------------------------------------------------------


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-five-class-order"></a>
FIVE-CLASS ORDER:

    TENET → ROTAS → AREPO → OPERA → SATOR

ΣΑΤΟΡ:

    binds this order into a closed kernel

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-6"></a>
RULE
------------------------------------------------------------

Internal class behavior remains authoritative.


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-viii-failure-conditions"></a>
SECTION VIII — FAILURE CONDITIONS
============================================================


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-kernel-failures"></a>
KERNEL FAILURES
------------------------------------------------------------

• missing class artifact
• unresolved dependency
• incomplete binding chain
• non-closed lifecycle

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-regime-failures"></a>
REGIME FAILURES
------------------------------------------------------------

• mixed regimes inside kernel
• implicit regime switching
• compressed regime substitution

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-normalization-failures"></a>
NORMALIZATION FAILURES
------------------------------------------------------------

• simplification of TENET
• mutation of ROTAS
• bypass of AREPO
• execution without binding

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-interface-failures"></a>
INTERFACE FAILURES
------------------------------------------------------------

• hidden order
• implicit carrier resolution
• silent fallback behavior


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-ix-governance-summary"></a>
SECTION IX — GOVERNANCE & SUMMARY
============================================================

ΣΑΤΟΡ must comply with:

    • SYSTEM_INDEX
    • runtime rules
    • dependency closure
    • regime discipline

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-rule-7"></a>
RULE
------------------------------------------------------------

A ΣΑΤΟΡ kernel is valid only if:

    • all dependencies are explicit
    • all classes are present
    • no invariant is violated

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-summary"></a>
SUMMARY
------------------------------------------------------------

ΣΑΤΟΡ defines:

    • macro-class kernel wrapper
    • regime-specific deployment unit
    • integration of five-class system
    • normalized execution interface


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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-section-x-verbatim-inclusion-law-non-compression-core"></a>
SECTION X — VERBATIM INCLUSION LAW (NON-COMPRESSION CORE)
============================================================

ΣΑΤΟΡ is a NON-COMPRESSIVE WRAPPER.

It MUST NOT summarize, reinterpret, or abstract
the five-class artifacts it integrates.

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-core-rule"></a>
CORE RULE
------------------------------------------------------------

ΣΑΤΟΡ must include:

    • TENET_<R>
    • ROTAS_<R>
    • AREPO_<R>
    • OPERA_<R>
    • SATOR_<R>


as:

    FULL VERBATIM REPRODUCTIONS

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-definition-2"></a>
DEFINITION
------------------------------------------------------------

VERBATIM REPRODUCTION :=

    • byte-equivalent textual inclusion
    • identical section structure
    • identical ordering
    • identical wording
    • identical markers and formatting

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-prohibitions"></a>
PROHIBITIONS
------------------------------------------------------------

ΣΑΤΟΡ must NOT:

    ✗ summarize class artifacts
    ✗ paraphrase class artifacts
    ✗ compress sections
    ✗ omit subsections
    ✗ reorder internal sections
    ✗ reinterpret definitions
    ✗ merge class content

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-interpretation-2"></a>
INTERPRETATION
------------------------------------------------------------

ΣΑΤΟΡ is NOT:

    a synthesis layer

ΣΑΤΟΡ IS:

    a containment layer

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-functional-role"></a>
FUNCTIONAL ROLE
------------------------------------------------------------

ΣΑΤΟΡ provides:

    • a single canonical bundle
    • a compression substrate (external to itself)
    • a deterministic expansion source
    • a full-fidelity reconstruction anchor

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-critical-assertion"></a>
CRITICAL ASSERTION
------------------------------------------------------------


Compression must occur:

    OUTSIDE ΣΑΤΟΡ

ΣΑΤΟΡ itself must remain:

    maximally expanded

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-runtime-implication"></a>
RUNTIME IMPLICATION
------------------------------------------------------------


At runtime:

    • no class artifact may be required externally
    • ΣΑΤΟΡ must fully contain all dependencies
    • execution must resolve exclusively within kernel

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-dependency-law-reinforced"></a>
DEPENDENCY LAW (REINFORCED)
------------------------------------------------------------

If ΣΑΤΟΡ does not contain

the full verbatim content of a class artifact:

    → dependency is considered OPEN
    → kernel is INVALID

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-failure-conditions"></a>
FAILURE CONDITIONS
------------------------------------------------------------


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-verbatim-failures"></a>
VERBATIM FAILURES:

    • partial inclusion
    • summarized inclusion
    • structurally altered inclusion
    • reordered inclusion


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-compression-failures"></a>
COMPRESSION FAILURES:

    • loss of sections
    • merged sections
    • collapsed structure


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-reference-failures"></a>
REFERENCE FAILURES:

    • referencing external artifact instead of embedding
    • implicit dependency on external artifact

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-validity-condition"></a>
VALIDITY CONDITION
------------------------------------------------------------

ΣΑΤΟΡ is VALID iff:

    • all five classes are present
    • all five are fully embedded
    • all five are verbatim
    • no compression is introduced

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


<a id="local-section-00-root-class-laws-agla-sigma-sator-class-law-final-law"></a>
FINAL LAW
------------------------------------------------------------

ΣΑΤΟΡ does not reduce the system.

ΣΑΤΟΡ contains the system.

============================================================
END OF ARTIFACT
============================================================

