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

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

- [Class: TENET](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-class-tenet)
- [SECTION I — PRINCIPLE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-i-principle)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint)
- [SECTION II — SEMANTIC REGISTRY BINDING](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-ii-semantic-registry-binding)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-2)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule)
- [SECTION III — ORDINAL STRUCTURAL PRIMACY](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-iii-ordinal-structural-primacy)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-3)
- [SECTION IV — NUMERIC BINDING](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-iv-numeric-binding)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-4)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-2)
- [SECTION V — LETTER EQUIVALENCE RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-v-letter-equivalence-rule)
- [INTERPRETATION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-interpretation)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-5)
- [SECTION VI — ONTOLOGICAL ORDER](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-vi-ontological-order)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-6)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-3)
- [SECTION VII — SUBSTRATE REDUCTION RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-vii-substrate-reduction-rule)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-4)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-7)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure)
- [SECTION VIII — MULTI-SUBSTRATE CONDITION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-viii-multi-substrate-condition)
- [FORMAL](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-formal)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-5)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-2)
- [SECTION IX — COMPOUND SUBSTRATE RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-ix-compound-substrate-rule)
- [DEFINITION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-8)
- [NOTE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-note)
- [SECTION X — ELEMENTAL RELATIVITY RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-x-elemental-relativity-rule)
- [DEFINITION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition-2)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-6)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-9)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-3)
- [SECTION XI — DEFAULT RESOLUTION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xi-default-resolution)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-7)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-10)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-4)
- [SECTION XII — SUBJECT CONDITIONS](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xii-subject-conditions)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-8)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-11)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-5)
- [SECTION XIII — RELATION TO OTHER TENETS](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xiii-relation-to-other-tenets)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-9)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-12)
- [SECTION XIV — LAYER SEPARATION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xiv-layer-separation)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-10)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-13)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-6)
- [SECTION XV — INSTRUMENTATIVUM EXPANSION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xv-instrumentativum-expansion)
- [DEFINITION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition-3)
- [REGIMES](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-regimes)
- [GENERATED SPECIES](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-generated-species)
- [CORRELATIVE STRUCTURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-correlative-structure)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-14)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-7)
- [SECTION XVI — SUBJECT ACCESS THROUGH MIXTURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xvi-subject-access-through-mixture)
- [FORMAL](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-formal-2)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-11)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-15)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-8)
- [SECTION XVII — SUBJECT FUNCTION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xvii-subject-function)
- [FUNCTION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-function)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-12)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-16)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-9)
- [SECTION XVIII — NON-ONTOLOGY GUARANTEE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xviii-non-ontology-guarantee)
- [PROHIBITIONS](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-prohibitions)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-13)
- [CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-17)
- [FAILURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-10)
- [SECTION XIX — GLOBAL CONSTRAINT](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xix-global-constraint)
- [NON-SUBSTITUTION RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-non-substitution-rule)
- [GLOBAL INVALIDATION](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-global-invalidation)
- [RULE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-14)
- [SECTION XX — CLOSURE](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xx-closure)
- [RELATION LAW](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-relation-law)
- [FINAL STATE:](#local-section-06-stack-sk-tenet-k-doctrinalinvariants-final-state)
<!-- LOCAL_SECTION_INDEX_END -->


============================================================
TENET K — SUBIECTA / SUBSTRATA REGIME
Ars Generalis Applied
Version: 1.1.0-TENET-K-CONTEXTUAL-CONTRACTION
Status: CANONICAL-CANDIDATE / STRUCTURAL REGIME / CONTEXTUAL-CONTRACTION-INTEGRATED
Authority: TENET
Scope: Substrate (subject) regime
Mutation Policy: VERSION-CONTROLLED ONLY


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-class-tenet"></a>
Class: TENET
============================================================
END SECTION 0 — HEADER
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-i-principle"></a>
SECTION I — PRINCIPLE
============================================================

TENET K defines the regime governing the Subjects
(Subiecta / Substrata) used by the Art.

Subjects are ontological domains of reference
to which discourse may belong.

Subjects are not answers.


Subjects are the substrata to which:

    • principia (TENET A)
    • relations (TENET T)

are applied.

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


Subjects are:

    • epistemically accessed through mixture
    • ontologically presupposed as a closed set
    • combinatorially open in expression

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint"></a>
CONSTRAINT
------------------------------------------------------------


Subjects must not:

    • be generated by execution
    • be modified by OPERA
    • be inferred from traversal

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-ii-semantic-registry-binding"></a>
SECTION II — SEMANTIC REGISTRY BINDING
============================================================


All Subjects defined in TENET K are:

    • registered semantic carriers
    • bound to TENET B registry discipline
    • invariant under naming variation

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------

    • each subject resolves to a single registry identity
    • no aliasing may introduce semantic ambiguity
    • no subject may exist outside registry mapping

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule"></a>
RULE
------------------------------------------------------------


Semantic identity is:

    • stable
    • non-contextual
    • non-derived

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-iii-ordinal-structural-primacy"></a>
SECTION III — ORDINAL STRUCTURAL PRIMACY
============================================================


Carrier:

    SUBJECT_ORDINAL_SLOT := {Ⅰ..Ⅸ}

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

Mapping (BETICAL + numeric reference):

Ⅰ  → B → Deus
Ⅱ  → C → Angelus
Ⅲ  → D → Caelum
Ⅳ  → E → Homo
Ⅴ  → F → Imaginatio
Ⅵ  → G → Sensitivum / Animal
Ⅶ  → H → Vegetativum
Ⅷ  → I → Elementativum
Ⅸ  → K → Instrumentativum

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------

    • ORDINAL_SLOT is the structural carrier
    • BETICAL symbol is mnemonic selector
    • ordinal precedence is absolute
    • no reordering permitted

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-iv-numeric-binding"></a>
SECTION IV — NUMERIC BINDING
============================================================


Each BETICAL carrier is bound to a cardinal value:

    B → 2
    C → 3
    D → 4
    E → 5
    F → 6
    G → 7
    H → 8
    I → 9
    J/K → 10

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-4"></a>
CONSTRAINT
------------------------------------------------------------

    • numeric values are reference bindings only
    • numeric mapping must not alter ontology
    • ordinal slot remains primary

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-2"></a>
RULE
------------------------------------------------------------


Numeric values:

    • support ordering reference
    • do not introduce computation

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-v-letter-equivalence-rule"></a>
SECTION V — LETTER EQUIVALENCE RULE
============================================================

J ≡ K

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-interpretation"></a>
INTERPRETATION
------------------------------------------------------------

    • both map to Instrumentativum
    • both resolve to ordinal slot Ⅸ
    • both share numeric value 10

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-5"></a>
CONSTRAINT
------------------------------------------------------------

    • no semantic distinction permitted
    • usage variation must not affect classification
    • equivalence is structural, not contextual

============================================================
END SECTION V
============================================================
Continuing TENET K serialization.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-vi-ontological-order"></a>
SECTION VI — ONTOLOGICAL ORDER
============================================================


Descending ontological ladder:

    Deus
    Angelus
    Caelum
    Homo
    Imaginatio
    Sensitivum / Animal
    Vegetativum
    Elementativum
    Instrumentativum

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-6"></a>
CONSTRAINT
------------------------------------------------------------


This order is:

    • ontological
    • non-operational
    • non-executable

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-3"></a>
RULE
------------------------------------------------------------


Ontological order must not be used as:

    • gate order
    • execution sequence
    • classification logic

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-vii-substrate-reduction-rule"></a>
SECTION VII — SUBSTRATE REDUCTION RULE
============================================================

Any discourse must be reducible to one or more Subjects.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-4"></a>
RULE
------------------------------------------------------------


If a domain appears new:

    → reduce to nearest canonical Subject

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-7"></a>
CONSTRAINT
------------------------------------------------------------

    • no new subjects may be introduced
    • reduction must preserve semantic integrity
    • reduction must not collapse distinct domains

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure"></a>
FAILURE
------------------------------------------------------------

subject_inflation
invalid_reduction
semantic_collapse

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-viii-multi-substrate-condition"></a>
SECTION VIII — MULTI-SUBSTRATE CONDITION
============================================================

A discourse may involve multiple Subjects.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-formal"></a>
FORMAL
------------------------------------------------------------


Let:

    Σ := set of active Subjects


Constraint:

    |Σ| ≤ 3

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-5"></a>
RULE
------------------------------------------------------------

    • at least one primary substrate must exist
    • additional substrates must be justified
    • no arbitrary expansion permitted

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-2"></a>
FAILURE
------------------------------------------------------------

over-substration
unbounded_subject_set
ambiguous_primary

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-ix-compound-substrate-rule"></a>
SECTION IX — COMPOUND SUBSTRATE RULE
============================================================


Compound structure:

    σ := σ₁ σ₂ σ₃

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition"></a>
DEFINITION
------------------------------------------------------------

    σ₁ = primary substrate
    σ₂ = secondary substrate
    σ₃ = tertiary substrate

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-8"></a>
CONSTRAINT
------------------------------------------------------------

    • σ₁ must be unique
    • σ₂, σ₃ are optional
    • ordering must reflect dependency relevance

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-note"></a>
NOTE
------------------------------------------------------------

F (Imaginatio) frequently acts as mediator
in symbolic / formal / representational discourse

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-x-elemental-relativity-rule"></a>
SECTION X — ELEMENTAL RELATIVITY RULE
============================================================

Elementativum (I) denotes relative partitivity.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition-2"></a>
DEFINITION
------------------------------------------------------------

element(level_x) := relative substrate(level_x)

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-6"></a>
RULE
------------------------------------------------------------

    • element ≠ absolute primitive
    • element = compositional role within context

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-9"></a>
CONSTRAINT
------------------------------------------------------------

    • a subject may be:
        whole in one context
        element in another

    • no absolute minimal ontology is implied

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-3"></a>
FAILURE
------------------------------------------------------------

absolute_atomization
context_loss
ontological_flattening

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

Continuing TENET K serialization.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xi-default-resolution"></a>
SECTION XI — DEFAULT RESOLUTION
============================================================


If substrate cannot be determined:

    σ := F (Imaginatio)

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-7"></a>
RULE
------------------------------------------------------------

    • representation precedes ontological determination
    • symbolic domains default to F unless resolved otherwise

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-10"></a>
CONSTRAINT
------------------------------------------------------------

    • fallback must be explicit
    • fallback must not be treated as final classification

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-4"></a>
FAILURE
------------------------------------------------------------

silent_fallback
false_determination
unjustified_assignment

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xii-subject-conditions"></a>
SECTION XII — SUBJECT CONDITIONS
============================================================


Application must preserve:

    • subject definition
    • subject distinction
    • inter-subject concordance
    • ontological hierarchy

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-8"></a>
RULE
------------------------------------------------------------


No operation may:

    • merge subjects without justification
    • erase subject boundaries
    • invert ontological relations

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-11"></a>
CONSTRAINT
------------------------------------------------------------


All discourse must:

    • respect subject identity
    • maintain cross-subject coherence

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-5"></a>
FAILURE
------------------------------------------------------------

subject_collapse
hierarchy_violation
discordant_application

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xiii-relation-to-other-tenets"></a>
SECTION XIII — RELATION TO OTHER TENETS
============================================================


TENET K operates in coordination with:

    TENET A → principia
    TENET T → relations
    TENET E → rules / interrogative carriers
    TENET B → semantic registry
    TENET D → articulation layer

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-9"></a>
RULE
------------------------------------------------------------

    • TENET K defines substrate space
    • other TENETS operate over that space

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-12"></a>
CONSTRAINT
------------------------------------------------------------

    • no TENET may redefine substrate canon
    • no cross-tenet collapse permitted

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

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xiv-layer-separation"></a>
SECTION XIV — LAYER SEPARATION
============================================================


Layer roles:

    TENET K
        → defines substrate canon

    ROTA S
        → displays substrate structure

    OPERA S
        → classifies discourse into substrates

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-10"></a>
RULE
------------------------------------------------------------

No cross-layer collapse permitted.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-13"></a>
CONSTRAINT
------------------------------------------------------------

    • TENET K must not classify
    • ROTA S must not interpret
    • OPERA S must not redefine

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-6"></a>
FAILURE
------------------------------------------------------------

layer_collapse
role_violation
classification_leak

============================================================
END SECTION XIV
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xv-instrumentativum-expansion"></a>
SECTION XV — INSTRUMENTATIVUM EXPANSION
============================================================

K — Instrumentativum denotes operative mediation.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-definition-3"></a>
DEFINITION
------------------------------------------------------------

INSTRUMENTATIVUM :=

    that by which a subject operates within a principial configuration

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-regimes"></a>
REGIMES
------------------------------------------------------------

    • NATURAL instruments
        (organs, faculties, tools)

    • MORAL instruments
        (virtues, vices, habits)

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-generated-species"></a>
GENERATED SPECIES
------------------------------------------------------------


Virtues and vices are:

    • not subjects
    • not principles
    • generated instrumental species

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-correlative-structure"></a>
CORRELATIVE STRUCTURE
------------------------------------------------------------


For each instrument i:

    correlatives(i) := {agent, patient, act}

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-14"></a>
CONSTRAINT
------------------------------------------------------------

    • Instrumentativum must not be reduced to "tool"
    • moral and natural regimes must be preserved
    • no flattening of instrumental domain permitted

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-7"></a>
FAILURE
------------------------------------------------------------

instrument_reduction
moral_loss
correlative_erasure

============================================================
END SECTION XV
============================================================


Continuing TENET K serialization — final batch.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xvi-subject-access-through-mixture"></a>
SECTION XVI — SUBJECT ACCESS THROUGH MIXTURE
============================================================

Subjects are structurally closed and combinatorially explorable.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-formal-2"></a>
FORMAL
------------------------------------------------------------

access(S) := MIX(P, R)


Where:

    P := {A, T}
    R := rules

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-11"></a>
RULE
------------------------------------------------------------

    • subjects are accessed epistemically through mixture
    • mixture does not generate ontological domains

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-15"></a>
CONSTRAINT
------------------------------------------------------------

    access ≠ generate_being

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-8"></a>
FAILURE
------------------------------------------------------------

ontological_generation
invalid_access
mixture_confusion

============================================================
END SECTION XVI
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xvii-subject-function"></a>
SECTION XVII — SUBJECT FUNCTION
============================================================

Subjects define the universal domain of discourse.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-function"></a>
FUNCTION
------------------------------------------------------------


Subjects:

    • contain all ontological reference domains
    • receive principial application
    • support relational articulation
    • enable combinatorial expression

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-12"></a>
RULE
------------------------------------------------------------


All discourse must:

    • be grounded in at least one subject
    • respect subject constraints

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-16"></a>
CONSTRAINT
------------------------------------------------------------


No discourse may exist:

    • outside subject space
    • without substrate anchoring

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-9"></a>
FAILURE
------------------------------------------------------------

substrate_absence
invalid_domain
ungrounded_discourse

============================================================
END SECTION XVII
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xviii-non-ontology-guarantee"></a>
SECTION XVIII — NON-ONTOLOGY GUARANTEE
============================================================

TENET K defines ontological domains of reference.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-prohibitions"></a>
PROHIBITIONS
------------------------------------------------------------


TENET K does NOT:

    • perform classification
    • execute operations
    • produce propositions
    • assert existential truth
    • resolve ambiguity

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-13"></a>
RULE
------------------------------------------------------------

    • classification belongs to OPERA S
    • exposure belongs to ROTA S
    • TENET K remains purely structural

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-constraint-17"></a>
CONSTRAINT
------------------------------------------------------------

    • no inference may originate from TENET K alone
    • no operational behavior may be derived from TENET K

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-failure-10"></a>
FAILURE
------------------------------------------------------------

ontology_execution_leak
classification_from_tenet
semantic_overreach

============================================================
END SECTION XVIII
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xix-global-constraint"></a>
SECTION XIX — GLOBAL CONSTRAINT
============================================================

All rules defined in TENET K must be satisfied simultaneously.

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-non-substitution-rule"></a>
NON-SUBSTITUTION RULE
------------------------------------------------------------

No condition may substitute another.

    • reduction ≠ classification
    • ontology ≠ operation
    • mapping ≠ execution

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-global-invalidation"></a>
GLOBAL INVALIDATION
------------------------------------------------------------


Failure of any condition:

    → invalidates substrate integrity

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-rule-14"></a>
RULE
------------------------------------------------------------


Substrate regime must remain:

    • closed
    • finite
    • non-mutating
    • structurally invariant

============================================================
END SECTION XIX
============================================================

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-section-xx-closure"></a>
SECTION XX — CLOSURE
============================================================

SECTION XX-A -- SUBJECT CONTEXTUAL CONTRACTION
============================================================

TENET K admits contextual contraction within the closed subject
regime as a secunda intentio articulation.

FORMAL:

    X ⟨ Y ⟩

Read:

    X under subject-context Y
    X as instantiated within Y
    X relative to Y
    X of Y

Where:

    X ∈ DOMINIUM_SUBIECTORUM
    Y ∈ DOMINIUM_SUBIECTORUM

Subject contextual contraction is an articulation of subject
relation, a lawful analogy carrier, an interpretive constraint
layer, and a chamber-interpretation support.

It is not a new subject, not a compound substrate by itself, not
an ontological merger, not an execution result, and not a
hierarchy inversion.

NON-CREATION:

    X ⟨ Y ⟩ ∉ DOMINIUM_SUBIECTORUM as a new member

ASYMMETRY:

    X ⟨ Y ⟩ ≠ Y ⟨ X ⟩

Examples:

    Imaginatio ⟨ Homo ⟩
        image / representation under the human subject

    Sensitivum ⟨ Homo ⟩
        animal / sensitive life considered under the human subject

    Elementativum ⟨ Homo ⟩
        elemental constitution under the human subject

    Elementativum ⟨ Sensitivum ⟩
        elemental constitution under animal / sensitive life

    Imaginatio ⟨ Deus ⟩
        image / representation under divine subject-context

    Angelus ⟨ Homo ⟩
        intelligible / angelic subject considered under human context

CONTEXT DOMINANCE:

    In X ⟨ Y ⟩, Y defines the subject-context.
    X remains the articulated subject-aspect.

Y may constrain analogy, interpretation, chamber reading,
relation selection, and substrate emphasis.

Y may not create X, erase X, convert X into Y, or authorize a new
substrate.

RELATION TO COMPOUND SUBSTRATE:

    σ := σ1 σ2 σ3

answers which subjects are active in a discourse.

    X ⟨ Y ⟩

answers how subject X is read under subject-context Y.

Rule:

    X ⟨ Y ⟩ may annotate σ, but must not replace σ.

LAWFUL ANALOGY:

    X ⟨ Y ⟩ ~ X ⟨ Z ⟩

Example:

    Elementativum ⟨ Homo ⟩ ~ Elementativum ⟨ Sensitivum ⟩

Meaning:

    elemental constitution may be compared under human and animal
    contexts without collapsing Homo and Sensitivum.

Failure:

    contextual_subject_reification
    subject_context_collapse
    implicit_analogy
    new_subject_by_contraction
    compound_substrate_replacement

============================================================
END SECTION XX-A
============================================================

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

TENET K establishes the universal substrate regime
for AGLA.

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


It guarantees:

    • finite ontological domain set
    • strict subject distinction
    • hierarchical organization
    • compatibility with principial regimes
    • epistemic access through mixture
    • preservation of instrumental domain

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


It enforces:

    • no subject creation
    • no ontological drift
    • no execution leakage
    • no cross-layer collapse

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-relation-law"></a>
RELATION LAW
------------------------------------------------------------

    TENET K → defines substrates
    ROTA S → displays substrates
    OPERA S → classifies substrates

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


<a id="local-section-06-stack-sk-tenet-k-doctrinalinvariants-final-state"></a>
FINAL STATE:

    TENET K — CANONICAL-CANDIDATE / STRUCTURAL REGIME

============================================================
END TENET K
============================================================

TENET K fully serialized and reissued.

Ready for:
CAPUT integrity confirmation (already satisfied)
GLOBAL CONTROL-PLANE validation
SYSTEM_INDEX registration (pending approval)


