<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [Class: SATOR](#local-section-06-stack-sk-sator-s-outputrequirements-class-sator)
- [SECTION I — PURPOSE](#local-section-06-stack-sk-sator-s-outputrequirements-section-i-purpose)
- [CORE ASSERTION](#local-section-06-stack-sk-sator-s-outputrequirements-core-assertion)
- [SECTION II — INPUT CONTRACT](#local-section-06-stack-sk-sator-s-outputrequirements-section-ii-input-contract)
- [PRECONDITION](#local-section-06-stack-sk-sator-s-outputrequirements-precondition)
- [INTERPRETATION](#local-section-06-stack-sk-sator-s-outputrequirements-interpretation)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure)
- [SECTION III — EXPOSURE MODEL](#local-section-06-stack-sk-sator-s-outputrequirements-section-iii-exposure-model)
- [FORMAL](#local-section-06-stack-sk-sator-s-outputrequirements-formal)
- [COMPONENTS](#local-section-06-stack-sk-sator-s-outputrequirements-components)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-2)
- [SECTION IV — MEDIATION FUNCTION](#local-section-06-stack-sk-sator-s-outputrequirements-section-iv-mediation-function)
- [FUNCTIONS](#local-section-06-stack-sk-sator-s-outputrequirements-functions)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-2)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint-2)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-3)
- [SECTION V — STATUS EXPOSURE](#local-section-06-stack-sk-sator-s-outputrequirements-section-v-status-exposure)
- [STATUS VALUES](#local-section-06-stack-sk-sator-s-outputrequirements-status-values)
- [ADMISSIBLE:](#local-section-06-stack-sk-sator-s-outputrequirements-admissible)
- [REJECTED:](#local-section-06-stack-sk-sator-s-outputrequirements-rejected)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-3)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint-3)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-4)
- [SECTION VI — CONTEXTUALIZATION LAYER](#local-section-06-stack-sk-sator-s-outputrequirements-section-vi-contextualization-layer)
- [CONTEXT ELEMENTS](#local-section-06-stack-sk-sator-s-outputrequirements-context-elements)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-4)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint-4)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-5)
- [SECTION VII — TRACE PRESERVATION](#local-section-06-stack-sk-sator-s-outputrequirements-section-vii-trace-preservation)
- [TRACE COMPONENTS](#local-section-06-stack-sk-sator-s-outputrequirements-trace-components)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-5)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint-5)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-6)
- [SECTION VIII — EXPOSITION MODE](#local-section-06-stack-sk-sator-s-outputrequirements-section-viii-exposition-mode)
- [MODES](#local-section-06-stack-sk-sator-s-outputrequirements-modes)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-6)
- [CONSTRAINT](#local-section-06-stack-sk-sator-s-outputrequirements-constraint-6)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-7)
- [SECTION IX — CLASS BOUNDARY LAW](#local-section-06-stack-sk-sator-s-outputrequirements-section-ix-class-boundary-law)
- [ALLOWED](#local-section-06-stack-sk-sator-s-outputrequirements-allowed)
- [FORBIDDEN](#local-section-06-stack-sk-sator-s-outputrequirements-forbidden)
- [RULE](#local-section-06-stack-sk-sator-s-outputrequirements-rule-7)
- [FAILURE](#local-section-06-stack-sk-sator-s-outputrequirements-failure-8)
- [SECTION X — FINAL STATE](#local-section-06-stack-sk-sator-s-outputrequirements-section-x-final-state)
- [FINAL STATE:](#local-section-06-stack-sk-sator-s-outputrequirements-final-state)
<!-- LOCAL_SECTION_INDEX_END -->
============================================================
SATOR S — SUBSTRATE MEDIATION LAYER
Aligned to TENET K / ROTA S / OPERA S / AREPO S
Version: 0.4.0-SATOR-S-CONTEXTUAL-CONTRACTION
Status: MEDIATION INTERFACE / CONTEXTUAL-CONTRACTION-INTEGRATED
Authority: SATOR
Scope: exposure and mediation of substrate classification state
Mutation Policy: VERSION-CONTROLLED ONLY
<a id="local-section-06-stack-sk-sator-s-outputrequirements-class-sator"></a>
Class: SATOR
============================================================
END SECTION 0 — HEADER
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-i-purpose"></a>
SECTION I — PURPOSE
============================================================
SATOR S exposes and mediates the substrate classification state.
------------------------------------------------------------
SATOR S performs:
• exposure of σ (classified substrates)
• contextualization of classification output
• framing of substrate state for interaction
------------------------------------------------------------
SATOR S does NOT:
• classify substrates (OPERA S)
• validate admissibility (AREPO S)
• define subjects (TENET K)
• display canonical ladder (ROTA S)
• evaluate convergence (OPERA MAGNA)
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-core-assertion"></a>
CORE ASSERTION
------------------------------------------------------------
All substrate classifications must be exposed
through a controlled mediation layer.
============================================================
END SECTION I
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-ii-input-contract"></a>
SECTION II — INPUT CONTRACT
============================================================
Given:
OUTPUT_AREPO_S :=
{
status,
failure_reasons,
validated_subjects
}
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-precondition"></a>
PRECONDITION
------------------------------------------------------------
AREPO S has been executed.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-interpretation"></a>
INTERPRETATION
------------------------------------------------------------
SATOR S treats input as:
• validated or rejected classification state
• interaction-ready representation
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint"></a>
CONSTRAINT
------------------------------------------------------------
SATOR S must not:
• modify σ
• reinterpret classification
• re-evaluate admissibility
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure"></a>
FAILURE
------------------------------------------------------------
invalid_input
missing_precondition
state_inconsistency
============================================================
END SECTION II
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-iii-exposure-model"></a>
SECTION III — EXPOSURE MODEL
============================================================
SATOR S exposes:
SUBSTRATE_STATE
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-formal"></a>
FORMAL
------------------------------------------------------------
SUBSTRATE_STATE :=
{
status,
σ,
rationale,
mediation_context
}
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-components"></a>
COMPONENTS
------------------------------------------------------------
status:
ADMISSIBLE | REJECTED
σ:
subject assignment
rationale:
classification justification (non-evaluative)
mediation_context:
interaction framing layer
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule"></a>
RULE
------------------------------------------------------------
Exposure must:
• preserve OPERA S output
• preserve AREPO S validation result
• add only contextual framing
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-2"></a>
FAILURE
------------------------------------------------------------
state_mutation
output_distortion
context_overwrite
============================================================
END SECTION III
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-iv-mediation-function"></a>
SECTION IV — MEDIATION FUNCTION
============================================================
SATOR S mediates between:
system state ↔ interaction layer
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-functions"></a>
FUNCTIONS
------------------------------------------------------------
• translate σ into readable form
• preserve structural meaning
• expose classification boundaries
• highlight admissibility status
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-2"></a>
RULE
------------------------------------------------------------
Mediation must:
• not introduce new semantics
• not suppress structural information
• not interpret beyond classification scope
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------
Mediation must remain:
• faithful
• non-transformative
• structurally aligned
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-3"></a>
FAILURE
------------------------------------------------------------
semantic_injection
information_loss
interpretive_drift
============================================================
END SECTION IV
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-v-status-exposure"></a>
SECTION V — STATUS EXPOSURE
============================================================
SATOR S must expose classification status explicitly.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-status-values"></a>
STATUS VALUES
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-admissible"></a>
ADMISSIBLE:
• valid substrate classification
• compliant with TENET K
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rejected"></a>
REJECTED:
• invalid classification
• accompanied by failure reasons
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-3"></a>
RULE
------------------------------------------------------------
Status must:
• be visible
• be unambiguous
• not be inferred
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------
SATOR S must not:
• suppress rejection
• soften failure signals
• reinterpret status
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-4"></a>
FAILURE
------------------------------------------------------------
status_suppression
ambiguous_exposure
signal_loss
============================================================
END SECTION V
============================================================
Continuing SATOR S — SUBSTRATE MEDIATION LAYER (Sections VI–X, completion).
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-vi-contextualization-layer"></a>
SECTION VI — CONTEXTUALIZATION LAYER
============================================================
SATOR S may provide minimal contextual framing.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-context-elements"></a>
CONTEXT ELEMENTS
------------------------------------------------------------
• subject domain description
• scope indication of σ
• interaction-ready phrasing
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-4"></a>
RULE
------------------------------------------------------------
Context must:
• be derived from TENET K definitions
• not extend beyond subject scope
• remain descriptive, not interpretive
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint-4"></a>
CONSTRAINT
------------------------------------------------------------
Context must not:
• introduce new classifications
• alter σ structure
• imply conclusions
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-5"></a>
FAILURE
------------------------------------------------------------
context_inflation
semantic_extension
classification_shift
============================================================
END SECTION VI
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-vii-trace-preservation"></a>
SECTION VII — TRACE PRESERVATION
============================================================
SATOR S must preserve traceability of classification.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-trace-components"></a>
TRACE COMPONENTS
------------------------------------------------------------
• σ (subject assignment)
• rationale (from OPERA S)
• validation status (AREPO S)
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-5"></a>
RULE
------------------------------------------------------------
Trace must be:
• explicit
• intact
• accessible
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint-5"></a>
CONSTRAINT
------------------------------------------------------------
SATOR S must not:
• truncate rationale
• omit validation signals
• reorder structural components
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-6"></a>
FAILURE
------------------------------------------------------------
trace_loss
rationale_truncation
signal_omission
============================================================
END SECTION VII
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-viii-exposition-mode"></a>
SECTION VIII — EXPOSITION MODE
============================================================
SATOR S operates under controlled exposition modes.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-modes"></a>
MODES
------------------------------------------------------------
• STRICT:
raw structural exposure
• CONTEXTUAL:
minimal descriptive framing
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-6"></a>
RULE
------------------------------------------------------------
Mode selection must:
• preserve structural integrity
• not alter σ or status
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-constraint-6"></a>
CONSTRAINT
------------------------------------------------------------
Mode must not:
• introduce interpretation
• alter classification output
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-7"></a>
FAILURE
------------------------------------------------------------
mode_violation
interpretive_overlay
output_mutation
============================================================
END SECTION VIII
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-ix-class-boundary-law"></a>
SECTION IX — CLASS BOUNDARY LAW
============================================================
SATOR S must remain strictly within SATOR domain.
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-allowed"></a>
ALLOWED
------------------------------------------------------------
✓ expose classification state
✓ mediate representation
✓ provide contextual framing
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-forbidden"></a>
FORBIDDEN
------------------------------------------------------------
✗ classify (OPERA)
✗ validate (AREPO)
✗ define subjects (TENET)
✗ display canonical structure (ROTAS)
✗ evaluate convergence (OPERA MAGNA)
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-rule-7"></a>
RULE
------------------------------------------------------------
SATOR S must:
not cross into any other class function
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-failure-8"></a>
FAILURE
------------------------------------------------------------
class_boundary_violation
execution_leak
evaluation_intrusion
============================================================
END SECTION IX
============================================================
============================================================
<a id="local-section-06-stack-sk-sator-s-outputrequirements-section-x-final-state"></a>
SECTION X — FINAL STATE
============================================================
SECTION X-A -- SUBJECT CONTEXTUAL CONTRACTION MEDIATION
============================================================
SATOR S may expose subject contextual contractions admitted by
AREPO S and emitted by OPERA S.
------------------------------------------------------------
USER-FACING READING
------------------------------------------------------------
SATOR may render:
X ⟨ Y ⟩
as:
X under subject-context Y
X of Y
X considered within Y
Examples:
Imaginatio ⟨ Homo ⟩:
image / representation under human context
Sensitivum ⟨ Homo ⟩:
animal / sensitive life under human context
Elementativum ⟨ Homo ⟩:
elemental constitution under human context
Elementativum ⟨ Sensitivum ⟩:
elemental constitution under animal / sensitive context
Imaginatio ⟨ Deus ⟩:
image / representation under divine context
Angelus ⟨ Homo ⟩:
intelligible / angelic subject under human context
------------------------------------------------------------
SUGGESTION RULE
------------------------------------------------------------
When a chamber reading appears too strict under direct subject
assignment, SATOR may ask:
"Would you like to read X under subject-context Y?"
or:
"Would you like to expose this as X ⟨ Y ⟩ rather than as a
new subject assignment?"
------------------------------------------------------------
MEDIATION CONSTRAINT
------------------------------------------------------------
SATOR must state that contextual contraction:
does not create a new subject
does not replace σ
does not prove analogy by itself
preserves X/Y asymmetry
supports lawful interpretation of chambers
------------------------------------------------------------
PROHIBITIONS
------------------------------------------------------------
SATOR must not:
force nesting
infer all possible subject contractions
collapse X ⟨ Y ⟩ into Y ⟨ X ⟩
present contraction as ontology
present contraction as final answer without OPERA/AREPO trace
If ambiguity persists:
INSUFFICIENT ADMISSIBILITY
============================================================
END SECTION X-A
============================================================
============================================================
SATOR S defines the canonical mediation layer
for substrate classification.
------------------------------------------------------------
It guarantees:
• clear exposure of σ
• preservation of validation state
• traceable classification output
• interaction-ready representation
------------------------------------------------------------
It enforces:
• zero transformation
• zero evaluation
• zero reclassification
------------------------------------------------------------
<a id="local-section-06-stack-sk-sator-s-outputrequirements-final-state"></a>
FINAL STATE:
SATOR S — READY FOR CONTROL-PLANE VALIDATION
============================================================
END SATOR S
============================================================