02_STACK_A/ROTAS_A_StructuralInstantiation.md

Page Sections

LLULLIANA_PROTOCOL_SURFACE: line 1
Version: 0.4.0-ROTA-A-DUPLEX-DIGNITATUM line 12
Status: CANONICAL / STRUCTURAL MACHINE / LOCK CANDIDATE line 13
Authority: TENET A / AGLA ROTAS CLASS LAW / USER-HUMAN CANONICAL DECISION line 17
Mutation Policy: VERSION-CONTROLLED ONLY line 18
Class: ROTAS line 19
ALIAS BINDING: line 20
Regime: A line 30
Historical Form: Figura A (First Figure) line 34
LIBER_X_ALIGNMENT: line 38
ATQS_ROTAS_DISCIPLINE: line 51
ROTA_A_DUPLEX_STRUCTURAL_PROFILE: line 59
## LOCAL SECTION INDEX line 96
Scope: local anchors within this artifact only. No cross-artifact links are introduced here. line 98
PURPOSE line 234
ROTA A defines the ROTAS machine-layer structure for line 237
REGIMEN_A. line 238
graph-constrained structural space. line 241
ROTA A governs: line 244
ROTA A does not execute. line 254
ROTA A constrains what may be lawfully executed. line 256
CORE ASSERTION line 263
ROTA A is not display-only. line 266
ROTA A is the cyclic structural machine by which the dignities line 268
traversable. line 270
CORE LAW line 276
ROTA A does not compute. line 279
ROTA A constrains what can be coherently computed. line 281
I. CLASS POSITION line 288
ROTA A belongs to ROTAS. line 291
ROTAS is: line 294
CONTROL-PLANE ORDER line 307
INTERPRETATION line 316
TENET A defines what REGIMEN_A is. line 319
ROTA A defines how REGIMEN_A is structurally instantiated. line 321
AREPO A validates admissibility within that structure. line 323
OPERA A executes within that structure. line 325
SATOR A mediates the result. line 327
II. DUPLEX LOCI AND ORDER KEYS line 334
PRE RULE line 351
A is: line 355
ORDER-KEY RULE line 367
ORDINAL_SLOT is the shared angular order key for one absolute locus line 370
and its aligned contracted locus. line 371
Tokens are selector identifiers only. line 373
Tokens are not: line 376
III. DUPLEX CANON LIST line 388
The absolute and contracted loci are structurally distinct but line 401
are not new dignities and never replace the absolute loci. line 403
STABILITY RULE line 409
No new dignity may be introduced. line 412
No dignity may be removed. line 414
No dignity may be reordered by alphabetic sequence. line 416
IV. DECLARED CIRCULAR RENDER line 423
Equivalent ordinal walk: line 431
RULE line 439
This order is declared. line 442
Do not infer alternative sequences. line 444
Do not correct it to alphabetical order. line 446
STRUCTURAL INTERPRETATION line 452
Both render orders are not merely visual. line 455
They externalize two aligned semantic registers of one ROTA A line 457
machine: the outer absolute wheel and the inner contracted wheel. line 458
alignment are structural. line 460
V. GRAPH EXPOSURE line 467
ROTA A defines a typed duplex machine: line 471
Where: line 476
and: line 483
V.1 CYCLE RELATIONS line 494
CYCLE RULE line 515
predication carrier. line 520
representation may materialize either relation as edge objects or derive its line 523
nine steps from ordered locus references. That serialization choice creates no line 524
semantic asymmetry between the two rings and no additional inference surface. line 525
Every off-diagonal carrier in P_pred is structurally addressable line 527
regardless of angular distance. Its semantic admission and result line 528
PROHIBITION line 535
No cycle edge or predication carrier may itself be read as an line 538
inference. This applies equally to adjacent and non-adjacent line 539
V.2 HOMOLOGOUS CONTRACTION AXES line 543

LLULLIANA_PROTOCOL_SURFACE: version: 1.0.0-A-PRINCIPIAL-ROTAS posture: EMBEDDED_LOCAL_FACET / DORMANT_UNLESS_SELECTED role: expose the principial path, phase binding, A-house entry, and compulsory return without inventing a LLULLIANA-local wheel authority: ROTAS A remains the local structural authority activation: only through an admitted and disclosed OPERA_LLULLIANA invocation non_coupling: the protocol consumes this structure by reference; ROTAS A does not load the protocol suite transitive_consumers: D / F / G / H / I retain the declared path back to ROTAS A ============================================================ ROTA A — REGIMEN_A STRUCTURAL MACHINE LAYER Ars Generalis Applied — Graph-Constrained Structural Rota Version: 0.4.0-ROTA-A-DUPLEX-DIGNITATUM Status: CANONICAL / STRUCTURAL MACHINE / LOCK CANDIDATE Scope: duplex cyclic machine topology, absolute and contracted dignity loci, typed predication carriers, dual-cycle traversal, closure surface, and session state projection Authority: TENET A / AGLA ROTAS CLASS LAW / USER-HUMAN CANONICAL DECISION Mutation Policy: VERSION-CONTROLLED ONLY Class: ROTAS ALIAS BINDING: Alias_Artifact: ./ALIAS_A Alias_Class: AGLA / ALIAS Canonical_Invocation: ROTAS A Invocation_Surfaces: - ROTAS A - ROTA A - ROTAS REGIMEN_A - ROTA REGIMEN_A Alias_Law: routing only; no execution, admissibility, doctrine, structure, or mediation authority transfers from alias. Regime: A Historical Source: LLULL, RAMON — Ars Brevis; Ars Generalis Ultima Historical Form: Figura A (First Figure) ============================================================ LIBER_X_ALIGNMENT: patch_id: LIBER_X_ATQS_MAIN_STACK_ALIGNMENT source_liber: _00_Documentation/00_Sources/01_CONTEXT_Development_Only/CODEX_DEV/LIBER_X_ARS_BREVIS_VERSIO_LATINA_SCHOLASTICA_COMMENTATA.md notation_liber: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS caput_rosetta: CAPUT B/C/D ars_brevis_locus: Alphabet, First Figure, Definitions agu_dataset_lane: AGU Dataset 001 and Dataset 002 target_stack: A class_role: ROTAS alignment_note: A and T share the alphabet/figures/definitions Rosetta layer; A remains principial dignity regimen. authority_rule: LIBER X, CAPUT, and AGU datasets inform parsing, trace, and source literacy; they do not govern this class artifact. searchability_rule: preserve plain A/T/Q/S and B-K ASCII mirrors for citation, storage, parsing, and deployment. ATQS_ROTAS_DISCIPLINE: notation_source: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS effect: ROTAS may render regimen-coded B-K styled tokens for traversal/disambiguation, but ASCII mirrors remain required for machine-readable or archival contexts. display_examples: A_FORMAL(B); A_LOCAL(B); T_FORMAL(C); T_LOCAL(C); Q_FORMAL(E); Q_LOCAL(E); S_FORMAL(K); S_LOCAL(K). fallback_rule: if Unicode rendering is unsafe, use A_FORMAL(B), A_LOCAL(B), compact mirrors such as A:B:FORMAL, or punctuation sigils such as !B and #B. non_authority: display/traversal notation never changes structural authority or execution surface. ============================================================ ROTA_A_DUPLEX_STRUCTURAL_PROFILE: profile_version: 1.0.0-A-DUPLEX effective_date: 2026-08-14 status: CANONICAL / ROTAS-OWNED machine_id: ROTA_A_DUPLEX alphabet: [B, C, D, E, F, G, H, I, K] wheels: outer: { id: ROTA_A.WHEEL.ABSOLUTE, dignity_form: ABSOLUTE_NOUN, count: 9, state_policy: IMMUTABLE } inner: { id: ROTA_A.WHEEL.CONTRACTED, dignity_form: CONTRACTED_CITATION_FORM, count: 9, state_policy: STRUCTURE_IMMUTABLE__RESULT_SESSION_BOUND } loci: absolute_id_pattern: ROTA_A.ABS.<TOKEN> contracted_id_pattern: ROTA_A.CON.<TOKEN> angular_alignment: ABS_X and CON_X share one declared ordinal axis homologous_axes: id_pattern: ROTA_A.AXIS.<TOKEN> count: 9 direction: ABS_X -> CON_X meaning: abstractum-to-concretum participation/provenance bridge prohibition: an axis is neither identity, self-predication, inference, nor OPERA result predication_carriers: id_pattern: ROTA_A.PRED.<SUBJECT_TOKEN>.<PREDICATE_TOKEN> rule: ABS_i -> CON_j where i != j count: 72 meaning: empty directed subject-to-contracted-predicate carrier prohibition: carrier existence does not assert, admit, infer, or execute the proposition pair_index: rule: unordered canonical key min_ordinal(i,j)+max_ordinal(i,j) count: 36 meaning: validation/index grouping of the two reciprocal predication carriers only non_object_law: pair_index is not a camera, chamber, semantic edge, or convertibility result figura_iii_boundary: Stack G alone materializes the 36 camerae of Figura III; a G-owned object may bind the same unordered token pair through a mapping supplied by Stack G or an explicit adapter, while ROTA A neither synthesizes that mapping nor transfers ownership topology_boundary: two 9-step cycle relations govern render order and traversal only; either relation may be serialized as explicit edge objects or derived from ordered locus references without semantic change; angular adjacency neither admits nor blocks a predication and the 72 carriers do not become truth-bearing topology state_boundary: ROTAS instantiates all 18 typed loci and supplies 72 empty carrier-result slots before AREPO and OPERA; only admitted OPERA outputs populate primary carrier state; contracted-locus summaries are derived and SATOR renders without mutation notation_boundary: A:B:FORMAL identifies a regimen/operator/status carrier and must never be reused as ABSOLUTE/CONTRACTED dignity-form identity visual_boundary: radius, color, arrowhead, opacity, camera, and animation are projections and cannot create identity, direction, admission, or result ============================================================  ## LOCAL SECTION INDEX Scope: local anchors within this artifact only. No cross-artifact links are introduced here. - [PURPOSE](#local-section-02-stack-a-rotas-a-structuralinstantiation-purpose) - [CORE ASSERTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-core-assertion) - [CORE LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-core-law) - [I. CLASS POSITION](#local-section-02-stack-a-rotas-a-structuralinstantiation-i-class-position) - [CONTROL-PLANE ORDER](#local-section-02-stack-a-rotas-a-structuralinstantiation-control-plane-order) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation) - [II. DUPLEX LOCI AND ORDER KEYS](#local-section-02-stack-a-rotas-a-structuralinstantiation-ii-carrier) - [PRE RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-pre-rule) - [ORDER-KEY RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-carrier-rule) - [III. CANON LIST](#local-section-02-stack-a-rotas-a-structuralinstantiation-iii-canon-list) - [STABILITY RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-stability-rule) - [IV. DECLARED CIRCULAR RENDER](#local-section-02-stack-a-rotas-a-structuralinstantiation-iv-declared-circular-render) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule) - [STRUCTURAL INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-structural-interpretation) - [V. GRAPH EXPOSURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-v-graph-exposure) - [V.1 PRIMARY DUAL-CYCLE EDGES](#local-section-02-stack-a-rotas-a-structuralinstantiation-v-1-primary-adjacency-edges) - [CYCLE-ORDER RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-adjacency-rule) - [PROHIBITION](#local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition) - [VI. ACT–AGENT CIRCULAR CONSISTENCY](#local-section-02-stack-a-rotas-a-structuralinstantiation-vi-act-agent-circular-consistency) - [VI.1 ACT GENERATION STRUCTURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-vi-1-act-generation-structure) - [VI.2 AGENT GROUNDING STRUCTURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-vi-2-agent-grounding-structure) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-2) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-2) - [VII. CLOSURE LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-vii-closure-law) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-3) - [PROPAGATION LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-propagation-law) - [NON-ISOLATION CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-non-isolation-constraint) - [VIII. DUPLEX LOCI / GEOMETRIA DESCRIPTIVA](#local-section-02-stack-a-rotas-a-structuralinstantiation-viii-cambra-geometria-descriptiva) - [GEOMETRY RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-geometry-rule) - [IX. FIGURAL INTERFACE](#local-section-02-stack-a-rotas-a-structuralinstantiation-ix-figural-interface) - [CLASS RELATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-class-relation) - [ROTA A:](#local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a) - [TENET A:](#local-section-02-stack-a-rotas-a-structuralinstantiation-tenet-c) - [STACK G:](#local-section-02-stack-a-rotas-a-structuralinstantiation-tenet-camerae) - [OPERA:](#local-section-02-stack-a-rotas-a-structuralinstantiation-opera) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-4) - [X. DEFINITIONES — FORMAL LOGIC](#local-section-02-stack-a-rotas-a-structuralinstantiation-x-definitiones-formal-logic) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-5) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint) - [XI. DEFINITIONES — IPSIS LITTERIS](#local-section-02-stack-a-rotas-a-structuralinstantiation-xi-definitiones-ipsis-litteris) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-6) - [XII. SELF-BINDING STRUCTURAL LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-xii-self-binding-structural-law) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-7) - [FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-function) - [XIII. DYNAMIC OVERLAY EXTENSION](#local-section-02-stack-a-rotas-a-structuralinstantiation-xiii-dynamic-overlay-extension) - [CORE DISTINCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-core-distinction) - [ROTA A BASE:](#local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-base) - [ROTA A OVERLAY:](#local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-overlay) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-8) - [XIV. OVERLAY DEFINITION](#local-section-02-stack-a-rotas-a-structuralinstantiation-xiv-overlay-definition) - [FORM](#local-section-02-stack-a-rotas-a-structuralinstantiation-form) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-9) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-2) - [XV. SLOT STATE MODEL](#local-section-02-stack-a-rotas-a-structuralinstantiation-xv-slot-state-model) - [CANONICAL_LAYER](#local-section-02-stack-a-rotas-a-structuralinstantiation-canonical-layer) - [OVERLAY_LAYER](#local-section-02-stack-a-rotas-a-structuralinstantiation-overlay-layer) - [SLOT STATES](#local-section-02-stack-a-rotas-a-structuralinstantiation-slot-states) - [EMPTY:](#local-section-02-stack-a-rotas-a-structuralinstantiation-empty) - [FILLED:](#local-section-02-stack-a-rotas-a-structuralinstantiation-filled) - [DEGRADED:](#local-section-02-stack-a-rotas-a-structuralinstantiation-degraded) - [PROVISIONAL:](#local-section-02-stack-a-rotas-a-structuralinstantiation-provisional) - [BLOCKED:](#local-section-02-stack-a-rotas-a-structuralinstantiation-blocked) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-10) - [XVI. TEMPORALITY LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-xvi-temporality-law) - [DISCARD RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-discard-rule) - [PROHIBITION](#local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition-2) - [XVII. PROJECTION RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-xvii-projection-rule) - [PROJECTION FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-projection-function) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-11) - [CONFLICT CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-conflict-constraint) - [XVIII. NODE VIEW MODEL](#local-section-02-stack-a-rotas-a-structuralinstantiation-xviii-node-view-model) - [CANON:](#local-section-02-stack-a-rotas-a-structuralinstantiation-canon) - [OVERLAY:](#local-section-02-stack-a-rotas-a-structuralinstantiation-overlay) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-12) - [XIX. GRAPH CONSISTENCY UNDER OVERLAY](#local-section-02-stack-a-rotas-a-structuralinstantiation-xix-graph-consistency-under-overlay) - [CONSISTENCY RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-consistency-rule) - [PROPAGATION EXPOSURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-propagation-exposure) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-3) - [XX. SUPPORT FOR OPERA D / TERTIA / QUARTA](#local-section-02-stack-a-rotas-a-structuralinstantiation-xx-support-for-opera-d-tertia-quarta) - [OPERA D](#local-section-02-stack-a-rotas-a-structuralinstantiation-opera-d) - [OPERA TERTIA](#local-section-02-stack-a-rotas-a-structuralinstantiation-opera-tertia) - [OPERA QUARTA](#local-section-02-stack-a-rotas-a-structuralinstantiation-opera-quarta) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-13) - [XXI. SELF-BINDING OVERLAY FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-xxi-self-binding-overlay-function) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-14) - [PROHIBITION](#local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition-3) - [XXII. SATOR MEDIATION REQUIREMENTS](#local-section-02-stack-a-rotas-a-structuralinstantiation-xxii-sator-mediation-requirements) - [OPTIONAL COMPRESSED DISPLAY](#local-section-02-stack-a-rotas-a-structuralinstantiation-optional-compressed-display) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-15) - [XXIII. FAILURE MODES](#local-section-02-stack-a-rotas-a-structuralinstantiation-xxiii-failure-modes) - [RESULT](#local-section-02-stack-a-rotas-a-structuralinstantiation-result) - [XXIV. FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-xxiv-function) - [XXV. SUMMARY](#local-section-02-stack-a-rotas-a-structuralinstantiation-xxv-summary) - [CLOSURE RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-closure-rule) - [FINAL LAW](#local-section-02-stack-a-rotas-a-structuralinstantiation-final-law) - [Parent: ROTA A — REGIMEN_A STRUCTURAL DISPLAY LAYER](#local-section-02-stack-a-rotas-a-structuralinstantiation-parent-rota-a-regimen-a-structural-display-layer) - [PURPOSE](#local-section-02-stack-a-rotas-a-structuralinstantiation-purpose-2) - [CORE PRINCIPLE](#local-section-02-stack-a-rotas-a-structuralinstantiation-core-principle) - [I. ORDINAL INDEX](#local-section-02-stack-a-rotas-a-structuralinstantiation-i-carrier) - [II. CANON LIST](#local-section-02-stack-a-rotas-a-structuralinstantiation-ii-canon-list) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-3) - [III. MINIMAL CIRCULAR RENDER](#local-section-02-stack-a-rotas-a-structuralinstantiation-iii-minimal-circular-render) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-16) - [IV. GRAPH STRUCTURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-iv-graph-structure) - [IV.1 — DUAL-CYCLE RENDER / TRAVERSAL ORDER](#local-section-02-stack-a-rotas-a-structuralinstantiation-iv-1-adjacency-edges) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-17) - [V. CONVERTIBILITY AND PREDICATION BOUNDARY (WITHIN BCD)](#local-section-02-stack-a-rotas-a-structuralinstantiation-v-full-convertibility-law-within-bcd) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-4) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-18) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-4) - [VI. TRIADIC CLOSURE](#local-section-02-stack-a-rotas-a-structuralinstantiation-vi-triadic-closure) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-19) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-5) - [VII. STRUCTURAL FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-vii-structural-function) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-20) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-5) - [VIII. RELATION TO FULL ROTA A](#local-section-02-stack-a-rotas-a-structuralinstantiation-viii-relation-to-full-rota-a) - [ROTA A(BCD):](#local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-bcd) - [ROTA A:](#local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-2) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-21) - [FUNCTIONAL RELATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-functional-relation) - [IX. DYNAMIC OVERLAY COMPATIBILITY](#local-section-02-stack-a-rotas-a-structuralinstantiation-ix-dynamic-overlay-compatibility) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-22) - [CONSTRAINT](#local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-6) - [X. GEOMETRIA DESCRIPTIVA](#local-section-02-stack-a-rotas-a-structuralinstantiation-x-geometria-descriptiva) - [INTERPRETATION](#local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-6) - [XI. PROHIBITIONS](#local-section-02-stack-a-rotas-a-structuralinstantiation-xi-prohibitions) - [RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-rule-23) - [XII. FUNCTION](#local-section-02-stack-a-rotas-a-structuralinstantiation-xii-function) - [XIII. SUMMARY](#local-section-02-stack-a-rotas-a-structuralinstantiation-xiii-summary) - [CLOSURE RULE](#local-section-02-stack-a-rotas-a-structuralinstantiation-closure-rule-2)  <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-purpose"></a> PURPOSE ============================================================ ROTA A defines the ROTAS machine-layer structure for REGIMEN_A. It instantiates the Principia Absoluta as a cyclic, indexed, graph-constrained structural space. ROTA A governs: • principial loci • cyclic order • dual-cycle render and traversal order • closure • graph exposure • structural self-binding • optional session-bound overlay projection ROTA A does not execute. ROTA A constrains what may be lawfully executed. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-core-assertion"></a> CORE ASSERTION ============================================================ ROTA A is not display-only. ROTA A is the cyclic structural machine by which the dignities of REGIMEN_A are positioned, indexed, related, and made traversable. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-core-law"></a> CORE LAW ------------------------------------------------------------ ROTA A does not compute. ROTA A constrains what can be coherently computed. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-i-class-position"></a> I. CLASS POSITION ============================================================ ROTA A belongs to ROTAS. ROTAS is: • structural • cyclic • geometric • non-doctrinal • non-executive • generative of space, not content ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-control-plane-order"></a> CONTROL-PLANE ORDER ------------------------------------------------------------ TENET → ROTAS → AREPO → OPERA → SATOR ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation"></a> INTERPRETATION ------------------------------------------------------------ TENET A defines what REGIMEN_A is. ROTA A defines how REGIMEN_A is structurally instantiated. AREPO A validates admissibility within that structure. OPERA A executes within that structure. SATOR A mediates the result. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-ii-carrier"></a> II. DUPLEX LOCI AND ORDER KEYS ============================================================ DOMINIUM_ORDINALE_A := {Ⅰ,Ⅱ,Ⅲ,Ⅳ,Ⅴ,Ⅵ,Ⅶ,Ⅷ,Ⅸ} TOKENS_A := {B,C,D,E,F,G,H,I,K} N_ABS := {ROTA_A.ABS.B, ..., ROTA_A.ABS.K} N_CON := {ROTA_A.CON.B, ..., ROTA_A.CON.K} PRE := A ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-pre-rule"></a> PRE RULE ------------------------------------------------------------ A is: • header sentinel • non-enumerable • non-combinable • integral principial reference • not one dignity among the nine ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-carrier-rule"></a> ORDER-KEY RULE ------------------------------------------------------------ ORDINAL_SLOT is the shared angular order key for one absolute locus and its aligned contracted locus. Tokens are selector identifiers only. Tokens are not: • operators • relations • cameras • execution rules ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-iii-canon-list"></a> III. DUPLEX CANON LIST ============================================================ Ⅰ → B → ROTA_A.ABS.B → Bonitas | ROTA_A.CON.B → Bonum Ⅱ → C → ROTA_A.ABS.C → Magnitudo | ROTA_A.CON.C → Magnum Ⅲ → D → ROTA_A.ABS.D → Duratio | ROTA_A.CON.D → Durans Ⅳ → E → ROTA_A.ABS.E → Potestas | ROTA_A.CON.E → Potens Ⅴ → F → ROTA_A.ABS.F → Sapientia | ROTA_A.CON.F → Sapiens Ⅵ → G → ROTA_A.ABS.G → Voluntas | ROTA_A.CON.G → Volens Ⅶ → H → ROTA_A.ABS.H → Virtus | ROTA_A.CON.H → Virtuosum Ⅷ → I → ROTA_A.ABS.I → Veritas | ROTA_A.CON.I → Verum Ⅸ → K → ROTA_A.ABS.K → Gloria | ROTA_A.CON.K → Gloriosum The absolute and contracted loci are structurally distinct but share token, ordinal, and angular alignment. The contracted forms are not new dignities and never replace the absolute loci. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-stability-rule"></a> STABILITY RULE ------------------------------------------------------------ No new dignity may be introduced. No dignity may be removed. No dignity may be reordered by alphabetic sequence. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-iv-declared-circular-render"></a> IV. DECLARED CIRCULAR RENDER ============================================================ RENDER_ORDER_ABS := B → C → D → E → F → G → H → I → K RENDER_ORDER_CON := B → C → D → E → F → G → H → I → K Equivalent ordinal walk: Ⅰ → Ⅱ → Ⅲ → Ⅳ → Ⅴ → Ⅵ → Ⅶ → Ⅷ → Ⅸ ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule"></a> RULE ------------------------------------------------------------ This order is declared. Do not infer alternative sequences. Do not correct it to alphabetical order. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-structural-interpretation"></a> STRUCTURAL INTERPRETATION ------------------------------------------------------------ Both render orders are not merely visual. They externalize two aligned semantic registers of one ROTA A machine: the outer absolute wheel and the inner contracted wheel. Their radii are presentational; their form identity and ordinal alignment are structural. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-v-graph-exposure"></a> V. GRAPH EXPOSURE ============================================================ ROTA A defines a typed duplex machine: M_A := (N_ABS, N_CON, E_cycle_abs, E_cycle_con, E_axis, P_pred) Where: N_ABS := {ABS_B,ABS_C,ABS_D,ABS_E,ABS_F,ABS_G,ABS_H,ABS_I,ABS_K} N_CON := {CON_B,CON_C,CON_D,CON_E,CON_F,CON_G,CON_H,CON_I,CON_K} and: E_cycle_abs and E_cycle_con are aligned mathematical render/traversal relations derived from the two ordered rings; E_axis contains nine homologous contraction axes; and P_pred contains 72 directed predication carriers. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-v-1-primary-adjacency-edges"></a> V.1 CYCLE RELATIONS ------------------------------------------------------------ E_cycle_abs := { (ABS_B,ABS_C), (ABS_C,ABS_D), (ABS_D,ABS_E), (ABS_E,ABS_F), (ABS_F,ABS_G), (ABS_G,ABS_H), (ABS_H,ABS_I), (ABS_I,ABS_K), (ABS_K,ABS_B) } E_cycle_con := { (CON_B,CON_C), (CON_C,CON_D), (CON_D,CON_E), (CON_E,CON_F), (CON_F,CON_G), (CON_G,CON_H), (CON_H,CON_I), (CON_I,CON_K), (CON_K,CON_B) } ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-adjacency-rule"></a> CYCLE RULE ------------------------------------------------------------ Cycle edges govern order, neighborhood navigation, and renderer traversal only. They do not rank, admit, block, or prove a predication carrier. `E_cycle_abs` and `E_cycle_con` are formal ordered-pair relations. A representation may materialize either relation as edge objects or derive its nine steps from ordered locus references. That serialization choice creates no semantic asymmetry between the two rings and no additional inference surface. Every off-diagonal carrier in P_pred is structurally addressable regardless of angular distance. Its semantic admission and result depend on AREPO and OPERA evidence, not visual adjacency. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition"></a> PROHIBITION ------------------------------------------------------------ No cycle edge or predication carrier may itself be read as an inference. This applies equally to adjacent and non-adjacent tokens: structure provides addresses, never conclusions. ------------------------------------------------------------ V.2 HOMOLOGOUS CONTRACTION AXES ------------------------------------------------------------ E_axis := { ABS_X → CON_X | X ∈ TOKENS_A } |E_axis| = 9 Each axis encodes the human-authorized AGLA abstractum-to-concretum correspondence for one dignity. It is not an identity edge, a proposition, or a statement that a result exists. ------------------------------------------------------------ V.3 DIRECTED PREDICATION CARRIERS ------------------------------------------------------------ P_pred := { ABS_i → CON_j | i,j ∈ TOKENS_A and i ≠ j } |P_pred| = 9 × 8 = 72 For every unordered pair key `ij`, exactly two carriers exist: ROTA_A.PRED.i.j ROTA_A.PRED.j.i Example for `BC`: ROTA_A.PRED.B.C := Bonitas → Magnum ROTA_A.PRED.C.B := Magnitudo → Bonum `BC` is an index key only and is never a camera. If Figura III is invoked, Stack G may materialize a distinct G-owned camera that references the same pair key and these two carriers. The key and the G camera never become one object. Carrier existence means structural addressability only. AREPO must admit a selected carrier, OPERA must evaluate it, and SATOR must preserve the result status. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vi-act-agent-circular-consistency"></a> VI. ACT–AGENT CIRCULAR CONSISTENCY ============================================================ ROTA A encodes circular generative structure as structural constraint, not execution. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vi-1-act-generation-structure"></a> VI.1 ACT GENERATION STRUCTURE ------------------------------------------------------------ Eval(CON_E) depends_on act_aggregate(Eval(CON_B),Eval(CON_C),Eval(CON_D)) Eval(CON_F) depends_on act_aggregate(Eval(CON_C),Eval(CON_D),Eval(CON_E)) Eval(CON_G) depends_on act_aggregate(Eval(CON_D),Eval(CON_E),Eval(CON_F)) Eval(CON_H) depends_on act_aggregate(Eval(CON_E),Eval(CON_F),Eval(CON_G)) Eval(CON_I) depends_on act_aggregate(Eval(CON_F),Eval(CON_G),Eval(CON_H)) Eval(CON_K) depends_on act_aggregate(Eval(CON_G),Eval(CON_H),Eval(CON_I)) ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vi-2-agent-grounding-structure"></a> VI.2 AGENT GROUNDING STRUCTURE ------------------------------------------------------------ Eval(CON_B) is_grounded_by agent_aggregate(Eval(CON_H),Eval(CON_I),Eval(CON_K)) Eval(CON_C) is_grounded_by agent_aggregate(Eval(CON_I),Eval(CON_K),Eval(CON_B)) Eval(CON_D) is_grounded_by agent_aggregate(Eval(CON_K),Eval(CON_B),Eval(CON_C)) These formulas constrain dependencies among contracted evaluation aggregates. They never derive, generate, or modify ABS_E through ABS_K, whose dignity identities are already fixed by TENET A. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-2"></a> RULE ------------------------------------------------------------ Every contracted evaluation aggregate is structurally situated as: • grounded • generative • interdependent ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-2"></a> INTERPRETATION ------------------------------------------------------------ This structure defines: • closure • dependency propagation • cyclic consistency • inconsistency exposure It does not by itself compute results. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vii-closure-law"></a> VII. CLOSURE LAW ============================================================ ROTA A is a closed cyclic structure. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-3"></a> RULE ------------------------------------------------------------ Evaluation of any selected carrier or contracted aggregate must respect: • upstream dependencies • downstream consequences • declared cycle order and traversal constraints • circular closure ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-propagation-law"></a> PROPAGATION LAW ------------------------------------------------------------ Instability in contracted evaluation aggregates for: B, C, or D may constrain later contracted evaluation aggregates through: DEPENDENCY_ORDER := Eval(CON_E) → Eval(CON_F) → Eval(CON_G) → Eval(CON_H) → Eval(CON_I) → Eval(CON_K) This is an evaluation-dependency order. It is neither the homologous-axis set nor the ordered-predication carrier set. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-non-isolation-constraint"></a> NON-ISOLATION CONSTRAINT ------------------------------------------------------------ No contracted evaluation aggregate may be evaluated in isolation without declaring closure context. This dependency rule concerns evaluation state only. It never makes E–K derived entities or conditions their absolute identity; all nine absolute dignities are already TENET-given. Atomic OPERA A execution is allowed only if its closure status is exposed or bounded. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-viii-cambra-geometria-descriptiva"></a> VIII. DUPLEX LOCI / GEOMETRIA DESCRIPTIVA ============================================================ FIGURA: A ENUMERATIO_LOCORUM_PER_ROTA: 9 ENUMERATIO_LOCORUM_DUPLEX: 18 SENSUS_ROTATIONIS: clockwise ANGULUS_ANCORA: 90° ANGULUS_ANCORA_LOCUS: B (ρ=Ⅰ) GRADUS_LOCUS: 40° θ(ρ) = 90° − (Index(ρ) − 1) * 40° mod 360 MAPA_CIRCULAR := (B,C,D,E,F,G,H,I,K) LOCUS_ID_RULES := ROTA_A.ABS.<TOKEN> / ROTA_A.CON.<TOKEN> SENTINELA_PRE := PRE is header, non-enumerable ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-geometry-rule"></a> GEOMETRY RULE ------------------------------------------------------------ Form identity and angular alignment are structural. Absolute and contracted radii are renderer-facing projection values. It reflects graph topology. It does not define: • camera generation • combinatorial legality • OPERA execution • AREPO admissibility ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-ix-figural-interface"></a> IX. FIGURAL INTERFACE ============================================================ ROTA A is the ROTAS-owned structural instantiation of the AGLA duplex Figura A under TENET A. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-class-relation"></a> CLASS RELATION ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a"></a> ROTA A: exposes structural loci and graph constraints <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-tenet-c"></a> TENET A: defines the nine dignities and absolute/contracted distinction <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-tenet-camerae"></a> STACK G / FIGURA III: exclusively materializes the 36 camerae when that system is invoked <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-opera"></a> OPERA: executes only where lawful structure permits ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-4"></a> RULE ------------------------------------------------------------ ROTA A must not be used to infer: • Figura III camera objects from pair keys • combinatorial legality • execution traversal • evaluation outcomes without proper downstream artifacts. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-x-definitiones-formal-logic"></a> X. DEFINITIONES — FORMAL LOGIC ============================================================ Def(Di) := (Di, per_quod, actus_essendi) ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-5"></a> RULE ------------------------------------------------------------ ROTA A may expose the formal definition frame. ROTA A does not formalize: • convertibility outcomes • implication chains • contraction grades • evaluation results ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint"></a> CONSTRAINT ------------------------------------------------------------ ROTA A exposes structure only. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xi-definitiones-ipsis-litteris"></a> XI. DEFINITIONES — IPSIS LITTERIS ============================================================ Bonitas : "Bonitas est, per quam bonum bonificat." Magnitudo : "Magnitudo est, per quam bonum est magnum." Duratio : "Duratio est, per quam bonum durat." Potestas : "Potestas est, per quam bonum potest." Sapientia : "Sapientia est, per quam bonum sapit." Voluntas : "Voluntas est, per quam bonum vult." Virtus : "Virtus est, per quam bonum virtuosum est." Veritas : "Veritas est, per quam bonum verum est." Gloria : "Gloria est, per quam bonum gloriosum est." ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-6"></a> RULE ------------------------------------------------------------ Definitiones are immutable in ROTA A. No paraphrase is allowed. No interpretative extension is allowed inside this block. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xii-self-binding-structural-law"></a> XII. SELF-BINDING STRUCTURAL LAW ============================================================ When ROTA A is presented or invoked, it binds the interpretation space. It constrains: • declared dual-cycle render and neighborhood order • closure • structural propagation • lawful node reference • possible traversal ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-7"></a> RULE ------------------------------------------------------------ Any OPERA or SATOR output referencing REGIMEN_A must not: • mutate or misreport the declared cycle order • ignore closure dependencies • collapse nodes • reorder the cycle • treat graph exposure as decorative ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-function"></a> FUNCTION ------------------------------------------------------------ ROTA A acts as: • externalized structural constraint • anti-drift enforcement surface • machine-body of REGIMEN_A ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xiii-dynamic-overlay-extension"></a> XIII. DUPLEX STATE EXTENSION ============================================================ ROTA A carries a canonical empty contracted wheel and may project session-bound OPERA state into that wheel and its predication carriers. This extension is: • session-bound • non-destructive • non-canonical • state-projective • structurally constrained ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-core-distinction"></a> CORE DISTINCTION ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-base"></a> ROTA A BASE: canonical duplex structural machine, including both empty wheels, nine axes, and 72 empty predication carriers <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-overlay"></a> ROTA A OVERLAY: temporary projection of admitted OPERA A contracted-locus and ordered-carrier results ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-8"></a> RULE ------------------------------------------------------------ The overlay must never modify: • TENET A • ROTA A canon • carrier identity • declared cycle-order structure • closure law ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xiv-overlay-definition"></a> XIV. DUPLEX STATE DEFINITION ============================================================ ROTA_A_STATE := typed mapping of OPERA A outputs onto ordered predication carriers, with contracted-locus summaries derived from those primary carrier states ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-form"></a> FORM ------------------------------------------------------------ PREDICATION_CARRIER_STATE[ predication_carrier_ref, context_id, execution_id ] := PREDICATION_RESULT | EMPTY CONTRACTED_LOCUS_SUMMARY[ contracted_locus_ref, context_id, execution_id ] := BY_PREDICATE(PREDICATION_CARRIER_STATE) BY_SUBJECT, BY_PREDICATE, CONTRACTED_LOCUS_SUMMARY, and PAIR_VIEW are derived views over the composite-key carrier-state store. They never possess independent truth or state. An implementation may cache them only with the complete contributing carrier-key set and must invalidate that cache whenever any contributing state changes. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-9"></a> RULE ------------------------------------------------------------ Each ordered carrier state is either: • EMPTY • or populated by a valid OPERA A result object ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-2"></a> CONSTRAINT ------------------------------------------------------------ Overlay must never fabricate values. Only OPERA A outputs admitted or validated under AREPO A may populate slots. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xv-slot-state-model"></a> XV. DUPLEX LOCUS AND CARRIER STATE MODEL ============================================================ Each ordinal position has two structural loci plus a derived view: 1. ABSOLUTE_LOCUS — immutable doctrine-bound identity 2. CONTRACTED_LOCUS — immutable citation-form locus identity 3. CONTRACTED_LOCUS_SUMMARY — optional session-bound derived BY_PREDICATE view, never a primary result store Each ordered predication carrier has its own independent state. Eight incoming or outgoing carriers must never be collapsed into one contracted-locus slot. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-canonical-layer"></a> CANONICAL_LAYER ------------------------------------------------------------ Immutable absolute and contracted locus identities. Includes: • ordinal • token • absolute noun • contracted citation form • absolute locus ID • contracted locus ID • homologous axis ID • definition • graph position ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-overlay-layer"></a> OVERLAY_LAYER ------------------------------------------------------------ Dynamic ordered-carrier state plus derived contracted-locus summary projections. May include: • PRESENCE_MODE • CONVERTIBILITY_EFFECT • CORRELATIVE_PROFILE • ATTRIBUTION_MODE • DISTORTION_FLAGS • SUPPORT_DEPTH • REUSE_READINESS • VALIDITY_STATE • OPERA_RESULT_REF • AREPO_ADMISSION_REF • PREDICATION_CARRIER_REF for every primary result ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-slot-states"></a> SLOT STATES ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-empty"></a> EMPTY: no OPERA A evaluation present <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-filled"></a> FILLED: OPERA A result present <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-degraded"></a> DEGRADED: FILLED with degraded admissibility under AREPO A <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-provisional"></a> PROVISIONAL: FILLED with provisional admissibility under AREPO A <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-blocked"></a> BLOCKED: slot explicitly marked by AREPO A block Ordered carrier states are: • NOT_SELECTED • ADMITTED_EMPTY • EVALUATED_AFFIRMED • EVALUATED_QUALIFIED • EVALUATED_NEGATED • INDETERMINATE • BLOCKED The two directions under one pair key retain separate states. A reciprocal view may report EMPTY, HALF_EVALUATED, RECIPROCAL_EVALUATED, ASYMMETRIC, or CONFLICT, but it cannot replace either ordered result. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-10"></a> RULE ------------------------------------------------------------ Overlay states must reflect AREPO A truthfully. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xvi-temporality-law"></a> XVI. TEMPORALITY LAW ============================================================ Overlay is strictly: • session-bound • non-persistent • non-canonical ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-discard-rule"></a> DISCARD RULE ------------------------------------------------------------ Overlay must be discarded when: • session ends • context resets • new OPERA A invalidates prior state • AREPO A blocks prior state • user explicitly clears the state ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition-2"></a> PROHIBITION ------------------------------------------------------------ Overlay must not: • be stored as doctrine • be reused as TENET • be treated as canonical truth • be silently carried across contexts ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xvii-projection-rule"></a> XVII. PROJECTION RULE ============================================================ Projection occurs only when: • OPERA A result exists • AREPO A has admitted, validated, or explicitly marked it • absolute and contracted locus identities are resolved • result kind is PREDICATION_CARRIER • an ordered carrier ID is unambiguous ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-projection-function"></a> PROJECTION FUNCTION ------------------------------------------------------------ PROJECT_A_RESULT(r): if kind(r) = PREDICATION_CARRIER: let p := predication_carrier_ref(r) PREDICATION_CARRIER_STATE[p, context_id(r), execution_id(r)] := r recompute affected BY_SUBJECT, BY_PREDICATE, CONTRACTED_LOCUS_SUMMARY, and PAIR_VIEW projections otherwise: reject as PRIMARY_STATE_KIND_FORBIDDEN ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-11"></a> RULE ------------------------------------------------------------ Projection is: • keyed by ordered carrier, context, and execution • last-write-valid only when update is declared • structurally constrained by ROTA A ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-conflict-constraint"></a> CONFLICT CONSTRAINT ------------------------------------------------------------ Multiple competing results must not silently override. Conflict must be surfaced through SATOR A. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xviii-node-view-model"></a> XVIII. DUPLEX VIEW MODEL ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-canon"></a> CONTRACTED_LOCUS_VIEW[locus_ref,context_id,execution_id] := { CANON: { ORDINAL_SLOT, TOKEN, ABSOLUTE_LOCUS_REF, ABSOLUTE_DIGNITY_NOUN, CONTRACTED_LOCUS_REF, CONCRETUM_CITATION_FORM, HOMOLOGOUS_AXIS_REF, DEFINITION, GRAPH_POSITION }, <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-overlay"></a> DERIVED_OVERLAY: { CONTRACTED_LOCUS_SUMMARY, OUTGOING_CARRIER_REFS[8], INCOMING_CARRIER_REFS[8], PRESENCE_MODE, CONVERTIBILITY_EFFECT, CORRELATIVE_PROFILE, ATTRIBUTION_MODE, DISTORTION_FLAGS, VALIDITY_STATE, SUPPORT_DEPTH } | EMPTY } PREDICATION_CARRIER_VIEW[carrier_ref,context_id,execution_id] := { CARRIER_REF, PAIR_KEY, DIRECTION: { ABSOLUTE_SUBJECT_LOCUS_REF, CONTRACTED_PREDICATE_LOCUS_REF }, RESULT_STATE, AREPO_ADMISSION_REF, OPERA_RESULT_REF, REVERSE_CARRIER_REF } The contracted-locus summary is derived from its eight incoming carrier states. It is not an independent result store. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-12"></a> RULE ------------------------------------------------------------ Overlay must not replace canon. Overlay must be clearly marked as contracted state. Any carrier view must preserve ordered direction and its own AREPO/OPERA trace; grouping by subject, predicate, or pair key is derived presentation only. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xix-graph-consistency-under-overlay"></a> XIX. GRAPH CONSISTENCY UNDER OVERLAY ============================================================ Overlay must respect ROTA A graph laws: • declared cycle edges for neighborhood traversal only • axis typing for homologous contraction • ordered direction for predication carriers • closure • propagation • non-permutability • node distinction ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-consistency-rule"></a> CONSISTENCY RULE ------------------------------------------------------------ If overlay introduces contradiction across nodes: • inconsistency must be exposed • not silently resolved ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-propagation-exposure"></a> PROPAGATION EXPOSURE ------------------------------------------------------------ If B, C, or D are unstable or contradictory, SATOR A may expose expected instability in E–K. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-3"></a> CONSTRAINT ------------------------------------------------------------ ROTA A does not compute propagation. ROTA A exposes the structure through which propagation is interpretable. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xx-support-for-opera-d-tertia-quarta"></a> XX. SUPPORT FOR OPERA D / TERTIA / QUARTA ============================================================ Overlay may provide lawful input substrate for higher OPERAE. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-opera-d"></a> OPERA D ------------------------------------------------------------ May consume: • populated carrier-result slots as evaluation domain Domain: DOMAIN_A_STATE(active_context, selected_execution) := { r | r in PREDICATION_CARRIER_STATE and r.context_id = active_context and r.execution_id = selected_execution and r.state notin {EMPTY, NOT_SELECTED, OUT_OF_SCOPE} } ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-opera-tertia"></a> OPERA TERTIA ------------------------------------------------------------ May use: • overlay states • distortion flags • convertibility gradients • blocked / degraded contracted-locus aggregates To refine structural coherence. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-opera-quarta"></a> OPERA QUARTA ------------------------------------------------------------ May operate over: • overlay as bounded principial field To generate structured propositions. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-13"></a> RULE ------------------------------------------------------------ Overlay is admissible input only when AREPO lineage and flags are preserved. Overlay is not validated doctrine. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xxi-self-binding-overlay-function"></a> XXI. SELF-BINDING OVERLAY FUNCTION ============================================================ Overlay reinforces: • session coherence • assistant output discipline • explicit state tracking • downstream visibility ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-14"></a> RULE ------------------------------------------------------------ Once overlay is declared, all subsequent reasoning in the same session must respect it unless an update is explicitly declared. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-prohibition-3"></a> PROHIBITION ------------------------------------------------------------ Assistant must not: • contradict overlay silently • recompute without declaring update • collapse EMPTY into ABSENT • treat DEGRADED as BLOCKED • treat PROVISIONAL as REFINED ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xxii-sator-mediation-requirements"></a> XXII. SATOR MEDIATION REQUIREMENTS ============================================================ When ROTA A or its overlay is active, SATOR A should expose: • populated vs empty predication-carrier result slots and derived contracted-locus summaries • composite context/execution identity • each carrier direction and its reverse-carrier reference • degraded states • provisional states • blocked states • closure risks • cycle-order or render-traversal violations • missing loci where relevant ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-optional-compressed-display"></a> OPTIONAL COMPRESSED DISPLAY ------------------------------------------------------------ Example: B: STRONG / STABLE_CONTRACTED C: MODERATE / PARTIAL D: WEAK / FRAGMENTED E–K: EMPTY This is a derived contracted-locus summary. Carrier results are omitted from the compressed view, never collapsed into it. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-15"></a> RULE ------------------------------------------------------------ SATOR A may compress display, but must preserve: • absolute-dignity and contracted-locus identity • carrier-keyed state clarity • canon / overlay distinction ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xxiii-failure-modes"></a> XXIII. FAILURE MODES ============================================================ Improper use of ROTA A includes: • treating it as decorative • treating it as display-only • ignoring declared cycle order during neighborhood traversal • evaluating nodes in isolation • bypassing closure propagation • inferring execution from structure • inferring camera domains from graph exposure • reordering cycles arbitrarily • collapsing nodes • mixing overlay contexts • overriding overlay without declaration • ignoring AREPO states • collapsing EMPTY into ABSENT ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-result"></a> RESULT ------------------------------------------------------------ Improper use produces: • semantic drift • invalid inference • false coherence • invalid downstream execution • corrupted mediation ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xxiv-function"></a> XXIV. FUNCTION ============================================================ ROTA A governs: • duplex cyclic machine topology • nine absolute and nine contracted loci without dignity inflation • ordinal order-key structure • nine homologous axes and 72 ordered predication carriers • graph and typed-carrier exposure • cycle-order and neighborhood-traversal constraints • closure awareness • self-binding structural reference • session-bound carrier-state and derived contracted-locus-summary projection ROTA A is: • ROTAS • structure • machine layer • constraint surface • graph substrate • traversal substrate ROTA A is NOT: • doctrine • execution • admissibility • inference engine • human-facing explanation layer • persistent contracted state ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xxv-summary"></a> XXV. SUMMARY ============================================================ ROTA A functions as: • canonical structural machine of Figura A • cyclic graph of principial loci • cycle-ordered traversal structure • closure-enforcing surface • self-binding reference for OPERA and SATOR • optional session-bound overlay substrate ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-closure-rule"></a> CLOSURE RULE ------------------------------------------------------------ ROTA A must be read not as what dignities do, but as: how dignities are structurally positioned, constrained, closed, and made traversable. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-final-law"></a> FINAL LAW ------------------------------------------------------------ ROTAS defines the space in which the Ars becomes operable. ROTA A defines the structural space in which REGIMEN_A becomes operable. ============================================================ END ROTA A — REGIMEN_A STRUCTURAL MACHINE LAYER ============================================================ ============================================================ ROTA A(BCD) — MINIMAL DIFFERENTIATED DUPLEX SUBMACHINE Ars Generalis Applied — Regimen_A Minimal Structural Machine Version: 0.2.0-ROTA-A-BCD-DUPLEX Status: PROPOSED / MINIMAL DUPLEX / STRUCTURAL MACHINE Scope: induced duplex subset of Bonitas, Magnitudo, and Duratio Authority: TENET A / ROTAS A Mutation Policy: VERSION-CONTROLLED ONLY Class: ROTAS <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-parent-rota-a-regimen-a-structural-display-layer"></a> Parent: ROTA A — REGIMEN_A DUPLEX STRUCTURAL MACHINE LAYER ============================================================ BCD_DUPLEX_PROFILE: absolute_loci: [ROTA_A.ABS.B, ROTA_A.ABS.C, ROTA_A.ABS.D] contracted_loci: [ROTA_A.CON.B, ROTA_A.CON.C, ROTA_A.CON.D] contracted_forms: [Bonum, Magnum, Durans] homologous_axes: [ROTA_A.AXIS.B, ROTA_A.AXIS.C, ROTA_A.AXIS.D] pair_keys: [BC, BD, CD] directed_carriers: [ROTA_A.PRED.B.C, ROTA_A.PRED.C.B, ROTA_A.PRED.B.D, ROTA_A.PRED.D.B, ROTA_A.PRED.C.D, ROTA_A.PRED.D.C] counts: { dignities: 3, loci: 6, axes: 3, pair_keys: 3, predication_carriers: 6, camerae_owned_by_a: 0 } outside_scope_contracted_loci: [ROTA_A.CON.E, ROTA_A.CON.F, ROTA_A.CON.G, ROTA_A.CON.H, ROTA_A.CON.I, ROTA_A.CON.K] outside_scope_predication_carriers: all P_pred carriers not wholly inside BCD ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-purpose-2"></a> PURPOSE ============================================================ ROTA A(BCD) defines the minimal induced duplex subprofile capable of exposing the BCD subset without collapsing absolute dignities, contracted loci, axes, or ordered carriers. It provides: • the minimal induced triadic duplex field • doctrinal L0 convertibility without presumed L1/L2 results • a bounded dual-cycle render and traversal surface • bounded structural substrate for early validation This artifact does NOT: • replace full ROTA A • deny the remaining dignities • execute OPERA A • define admissibility • introduce new doctrine ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-core-principle"></a> CORE PRINCIPLE ------------------------------------------------------------ BCD is the minimal induced three-token subset through which the duplex structure can be tested without collapse. Thus: ROTA A(BCD) is not an arbitrary truncation. It is an induced duplex subprofile, not a third wheel or a new principial ontology. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-i-carrier"></a> I. ORDINAL INDEX ============================================================ DOMINIUM_ORDINALE_A_BCD := {Ⅰ,Ⅱ,Ⅲ} TOKENS_A_BCD := {B,C,D} PRE (header sentinel): A (non-enumerable) ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-ii-canon-list"></a> II. DUPLEX CANON LIST ============================================================ Ⅰ → B → ROTA_A.ABS.B → Bonitas | ROTA_A.CON.B → Bonum Ⅱ → C → ROTA_A.ABS.C → Magnitudo | ROTA_A.CON.C → Magnum Ⅲ → D → ROTA_A.ABS.D → Duratio | ROTA_A.CON.D → Durans ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-3"></a> INTERPRETATION ------------------------------------------------------------ B — qualitative principial ground C — principial amplitude / greatness D — principial persistence / duration Together: BCD = first stable differentiated expression of A ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-iii-minimal-circular-render"></a> III. MINIMAL DUPLEX CIRCULAR RENDER ============================================================ RENDER_ORDER_A_BCD_ABS := B → C → D → B RENDER_ORDER_A_BCD_CON := B → C → D → B Equivalent ordinal walk: Ⅰ → Ⅱ → Ⅲ → Ⅰ ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-16"></a> RULE ------------------------------------------------------------ This render order is: • structural • circular • minimal It is not: • full ROTA A • a substitute for full canon ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-iv-graph-structure"></a> IV. GRAPH STRUCTURE ============================================================ ROTA A(BCD) defines: M_A_BCD := (N_ABS_BCD, N_CON_BCD, E_CYCLE_ABS_BCD, E_CYCLE_CON_BCD, E_AXIS_BCD, P_PRED_BCD) Where: N_ABS_BCD = {ABS_B,ABS_C,ABS_D} N_CON_BCD = {CON_B,CON_C,CON_D} E_CYCLE_ABS_BCD = {(ABS_B,ABS_C),(ABS_C,ABS_D),(ABS_D,ABS_B)} E_CYCLE_CON_BCD = {(CON_B,CON_C),(CON_C,CON_D),(CON_D,CON_B)} |E_AXIS_BCD| = 3 |P_PRED_BCD| = 6 ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-iv-1-adjacency-edges"></a> IV.1 — DUAL-CYCLE RENDER / TRAVERSAL ORDER ------------------------------------------------------------ Each ring's three loci form a complete render/traversal cycle. These cycle edges are distinct from homologous axes and ordered predication carriers. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-17"></a> RULE ------------------------------------------------------------ Cycle proximity neither identifies outer with inner loci nor asserts, admits, evaluates, or validates any predication carrier. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-v-full-convertibility-law-within-bcd"></a> V. CONVERTIBILITY AND PREDICATION BOUNDARY (WITHIN BCD) ============================================================ Within the bounded field of BCD: ABS_B, ABS_C, and ABS_D participate in the pure principial convertibility law preserved by TENET A. Structurally, the duplex subset exposes six distinct carriers: ABS_B → CON_C ABS_C → CON_B ABS_B → CON_D ABS_D → CON_B ABS_C → CON_D ABS_D → CON_C ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-4"></a> INTERPRETATION ------------------------------------------------------------ Pure convertibility is not an automatic state of these carriers. Each direction may be admitted and evaluated independently; its result may differ from its reverse without changing L0 doctrine. The three pair keys BC, BD, and CD index reciprocal views only. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-18"></a> RULE ------------------------------------------------------------ ROTA A(BCD) preserves doctrinal convertibility at L0. At L1 and L2, each of its six carriers is admitted and evaluated separately; no result is presumed from the structural field. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-4"></a> CONSTRAINT ------------------------------------------------------------ This law applies to the BCD field as such. It must not be silently extended to: • contracted outputs • contextual overlays • downstream mixed procedures without proper mediation. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vi-triadic-closure"></a> VI. TRIADIC CLOSURE ============================================================ BCD forms two typed render/traversal cycles: ABS_B → ABS_C → ABS_D → ABS_B CON_B → CON_C → CON_D → CON_B ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-19"></a> RULE ------------------------------------------------------------ No node in BCD may be read in isolation if the wheel is active. Each node is: • locally distinct • globally co-present • minimally closure-bound ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-5"></a> INTERPRETATION ------------------------------------------------------------ If one node is structurally unstable in contextual use, the whole minimal field is affected. This is why BCD functions as: first validation field of REGIMEN_A ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-vii-structural-function"></a> VII. STRUCTURAL FUNCTION ============================================================ ROTA A(BCD) serves as: • minimal induced duplex display of differentiated A • first closure surface for principial analysis • compact wheel for early-stage OPERA A validation • reduced graph for testing coherence before EFGHIK ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-20"></a> RULE ------------------------------------------------------------ When minimal principial validation is sufficient, ROTA A(BCD) may be invoked before full ROTA A. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-5"></a> CONSTRAINT ------------------------------------------------------------ ROTA A(BCD) must not be mistaken for denial of EFGHIK. It is: principial minimum, not: principial totality. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-viii-relation-to-full-rota-a"></a> VIII. RELATION TO FULL ROTA A ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-bcd"></a> ROTA A(BCD): • is a lawful induced duplex subprofile • preserves principial differentiation • preserves L0 convertibility without pre-materializing L1/L2 <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rota-a-2"></a> ROTA A: • contains the full ninefold principial canon ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-21"></a> RULE ------------------------------------------------------------ ROTA A(BCD) is a minimal induced duplex subset under A, not a replacement artifact for full ROTA A. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-functional-relation"></a> FUNCTIONAL RELATION ------------------------------------------------------------ ROTA A(BCD) → early principial validation → compression analysis → minimal closure testing ROTA A → full principial field → complete dual-cycle traversal order → full duplex structural display ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-ix-dynamic-overlay-compatibility"></a> IX. DUPLEX STATE COMPATIBILITY ============================================================ If contextual state is active, ROTA A(BCD) may expose only: • the six ordered BCD predication-carrier states • derived B/C/D contracted-locus summaries Contracted loci CON_E through CON_K and every carrier outside the BCD slice are OUT_OF_SCOPE, not absent, false, or blocked. Their absolute dignity identities remain in the full TENET A canon. ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-22"></a> RULE ------------------------------------------------------------ Overlay on ROTA A(BCD) must preserve: • distinction between canon and contraction • doctrinal L0 convertibility of pure BCD • independent state for each of the six directions • non-convertibility of contracted results unless separately validated ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-constraint-6"></a> CONSTRAINT ------------------------------------------------------------ Contracted BCD overlay must never be presented as identical to pure BCD closure. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-x-geometria-descriptiva"></a> X. GEOMETRIA DESCRIPTIVA ============================================================ FIGURA: A(BCD) DUPLEX ENUMERATIO_DIGNITATUM: 3 ENUMERATIO_LOCORUM: 6 ENUMERATIO_PAIR_KEYS: 3 ENUMERATIO_PREDICATION_CARRIERS: 6 ENUMERATIO_CAMERARUM_OWNED_BY_A: 0 SENSUS_ROTATIONIS: clockwise ANGULUS_ANCORA: 90° ANGULUS_ANCORA_LOCUS: B (ρ=Ⅰ) GRADUS_LOCUS: 120° θ(ρ)=90°−(Index(ρ)−1)*120° mod 360 MAPA_CIRCULAR: (B,C,D) LOCUS_ID_RULE: ROTA_A.ABS.<B|C|D> / ROTA_A.CON.<B|C|D> SENTINELA_PRE: PRE is header, non-enumerable ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-interpretation-6"></a> INTERPRETATION ------------------------------------------------------------ This is a minimal regular triadic duplex subprofile. It reflects: • equal angular treatment of the three token axes • complete dual-cycle traversal order • bounded closure analysis All six loci remain typed and distinct. ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xi-prohibitions"></a> XI. PROHIBITIONS ============================================================ ROTA A(BCD) must not: ✗ be treated as arbitrary abbreviation ✗ be confused with full ROTA A ✗ deny the existence of EFGHIK ✗ project contracted results as pure convertibility ✗ infer execution by itself ✗ redefine TENET A canon ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-rule-23"></a> RULE ------------------------------------------------------------ ROTA A(BCD) is: • structural • minimal • doctrinally convertible at L0 within its field It is not: • a doctrinal reduction of the whole system • an execution artifact ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xii-function"></a> XII. FUNCTION ============================================================ ROTA A(BCD) governs: • display of the minimal induced duplex triad • exposure of L0 convertibility and six separate L1/L2 carriers • triadic closure surface • compact graph-carrier for early A-validation ROTA A(BCD) is: • minimal • circular • dual-cycle and carrier-addressable • structurally closed ============================================================ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-xiii-summary"></a> XIII. SUMMARY ============================================================ ROTA A(BCD) is: • the minimal induced duplex subprofile of REGIMEN_A • composed of Bonitas, Magnitudo, and Duratio • L0-convertible without presumed contracted results • triadically closed • suitable for early principial validation ------------------------------------------------------------ <a id="local-section-02-stack-a-rotas-a-structuralinstantiation-closure-rule-2"></a> CLOSURE RULE ------------------------------------------------------------ ROTA A(BCD) must always be read as: the minimal induced duplex subset of A, through which principial differentiation first becomes stable without collapse into undifferentiated A. ============================================================ END OF ROTA A(BCD) — MINIMAL DIFFERENTIATED PRINCIPIAL WHEEL ============================================================