LLULLIANA_PROTOCOL_SURFACE:
version: 1.0.0-A-PRINCIPIAL-OPERA
posture: EMBEDDED_LOCAL_FACET / DORMANT_UNLESS_SELECTED
role: supply admitted principial evaluation to OPERA_LLULLIANA without impersonating the general hermeneutic OPERA
authority: OPERA A remains the local principial execution authority
activation: requires explicit Llulliana routing, AREPO admission, and composition trace
non_coupling: OPERA A is reusable independently and does not call Stack Llulliana by default
transitive_consumers: D / F / G / H / I expose the effective OPERA A ancestry when used
============================================================
OPERA A — REGIMEN_A EXECUTION ENGINE
Ars Generalis Applied — Principial Evaluation System
Version: 1.1.0-OPERA-A-DUPLEX-DIGNITATUM
Status: PROPOSED / FULL ENGINE / CANONICAL TARGET
Scope: deterministic qualitative evaluation of admitted off-diagonal predication carriers, with contracted-locus summaries derived from their results
Authority: TENET A / AREPO A
Mutation Policy: VERSION-CONTROLLED ONLY
Class: OPERA
ALIAS BINDING:
Alias_Artifact: ./ALIAS_A
Alias_Class: AGLA / ALIAS
Canonical_Invocation: OPERA A
Invocation_Surfaces:
- OPERA A
- A OPERA
- OPERA REGIMEN_A
- OPERA CONTRACTIO DIGNITATUM
Alias_Law: routing only; no execution, admissibility, doctrine, structure, or mediation authority transfers from alias.
============================================================
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: OPERA
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_OPERA_DISCIPLINE:
notation_source: 90_STACK_LIBER/LIBRI X/LIBER X - NOTATIONIS STYLATAE ATQS
effect: OPERA may accept optional human sigils and styled notation only by normalizing them to canonical regimen/operator structure before execution.
normalization_examples: !B -> A_FORMAL(B); :B -> T_FORMAL(B); ?B -> Q_FORMAL(B); ;B -> S_FORMAL(B); #B -> ALL_REGIMENS(B) across admitted lanes only.
local_slot_rule: context-derived, OPERA-derived, or qualified LIBER_EX_OPERAE content may fill LOCAL_APPLIED_PREPROCESSED slots only with provenance and expiry/discardability.
rosetta_source_trace:
enabled: OPTIONAL_WHERE_OUTPUT_SCHEMA_ACCEPTS_TRACE
fields: [liber_x_source, caput_rosetta, agu_dataset_lane, normalized_input, ascii_mirror, local_slot_status]
prohibition: no glyph, sigil, punctuation, CAPUT, or LIBER source creates OPERA authority by itself.
============================================================
ROTA_A_DUPLEX_EXECUTION_PROFILE:
profile_version: 1.0.0-A-DUPLEX
effective_date: 2026-08-14
status: CANONICAL_LOCAL_AMENDMENT
prerequisite: AREPO A admission against ROTA_A_DUPLEX_STRUCTURAL_PROFILE
modes:
REFERENCE_ONLY: exposes L0 identities and emits no execution state
DIRECTED_PREDICATION: evaluates one or more admitted carriers ABS_i -> CON_j where i != j; this is the only L1/L2 execution mode
structural_counts: { absolute_loci: 9, contracted_loci: 9, homologous_axes: 9, predication_carriers: 72, pair_keys: 36 }
output_partition:
CONTRACTED_LOCUS_SUMMARY_MAP: derived BY_PREDICATE view over primary carrier results; never overwrites absolute canon and never stores independent truth
PREDICATION_CARRIER_STATE: keyed by carrier_id + context_id + execution_id; never collapsed to predicate token or ordered tokens alone
BY_SUBJECT: derived view over up to eight outgoing carriers
BY_PREDICATE: derived view over up to eight incoming carriers
PAIR_VIEW: derived reciprocal view only; never a camera; a distinct G_CAMERA_REF may bind the same unordered token pair only when supplied by Stack G or an explicit adapter, without changing either identity
execution_modes: [REFERENCE_ONLY, FULL_72, SELECTED_SET]
carrier_states: [NOT_SELECTED, ADMITTED_EMPTY, EVALUATED_AFFIRMED, EVALUATED_QUALIFIED, EVALUATED_NEGATED, INDETERMINATE, BLOCKED]
contraction_levels: { L0: ABSOLUTE_REFERENCE, L1: SUBALTERNATE_PRINCIPIAL_PREDICATION, L2: SINGULAR_APPLIED_CONTRACTION }
subject_fields: PRINCIPIAL_SUBJECT_ID is required for L1/L2; EXTERNAL_SUBJECT_BINDING is optional at L1 and required with provenance at L2; neither is required for reference-only L0
legacy_subject_binding: any later SUBJECT_BINDING field is a compatibility view only and cannot replace the two typed subject fields above
morphology_output: emit PREDICATION_CARRIER_REF, CONTRACTED_PREDICATE_LOCUS_REF, CONTRACTED_LOCUS_LABEL, and grammatical realization constraints as distinct fields; do not replace an ID with an inflected surface string or assume realization is mechanical inflection
mode_matrix: REFERENCE_ONLY iff L0; FULL_72 or SELECTED_SET iff L1/L2; no L0 request may carry or emit carrier, contracted-locus-summary, Q/T execution, or circular-validation state
prohibition: OPERA may populate carrier state but may not write a carrier-free contracted-locus result, mutate either wheel, create a dignity, infer truth from a line, or grant itself mediation
============================================================
<!-- LOCAL_SECTION_INDEX_START -->
## LOCAL SECTION INDEX
Scope: local anchors within this artifact only. No cross-artifact links are introduced here.
- [PURPOSE](#local-section-02-stack-a-opera-a-executionmechanism-purpose)
- [CONTROL PRINCIPLE](#local-section-02-stack-a-opera-a-executionmechanism-control-principle)
- [MODEL](#local-section-02-stack-a-opera-a-executionmechanism-model)
- [I. REGIME ORDER LAW](#local-section-02-stack-a-opera-a-executionmechanism-i-regime-order-law)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule)
- [RATIONALE](#local-section-02-stack-a-opera-a-executionmechanism-rationale)
- [II. INPUT CONTRACT](#local-section-02-stack-a-opera-a-executionmechanism-ii-input-contract)
- [MANDATORY CONDITIONS](#local-section-02-stack-a-opera-a-executionmechanism-mandatory-conditions)
- [III. STAGE I — BCD CORE EVALUATION](#local-section-02-stack-a-opera-a-executionmechanism-iii-stage-i-bcd-core-evaluation)
- [SYNTHESIS](#local-section-02-stack-a-opera-a-executionmechanism-synthesis)
- [FIELD:](#local-section-02-stack-a-opera-a-executionmechanism-field)
- [BCD_STABILITY STATES](#local-section-02-stack-a-opera-a-executionmechanism-bcd-stability-states)
- [GLOBAL EFFECT](#local-section-02-stack-a-opera-a-executionmechanism-global-effect)
- [IV. INHERITANCE GATE](#local-section-02-stack-a-opera-a-executionmechanism-iv-inheritance-gate)
- [IF PARTIAL / FRACTURED:](#local-section-02-stack-a-opera-a-executionmechanism-if-partial-fractured)
- [IF STABLE:](#local-section-02-stack-a-opera-a-executionmechanism-if-stable)
- [V. STAGE II — EXTENDED CONTRACTED EVALUATION](#local-section-02-stack-a-opera-a-executionmechanism-v-stage-ii-derived-evaluation)
- [INHERITANCE APPLICATION](#local-section-02-stack-a-opera-a-executionmechanism-inheritance-application)
- [INHERITANCE RULES](#local-section-02-stack-a-opera-a-executionmechanism-inheritance-rules)
- [VI. GLOBAL SYNTHESIS](#local-section-02-stack-a-opera-a-executionmechanism-vi-global-synthesis)
- [CONVERTIBILITY_STATUS](#local-section-02-stack-a-opera-a-executionmechanism-convertibility-status)
- [VII. CARRIER EVALUATION DIMENSIONS](#local-section-02-stack-a-opera-a-executionmechanism-vii-core-evaluation-axes-all-dignities)
- [PRESENCE_MODE:](#local-section-02-stack-a-opera-a-executionmechanism-presence-mode)
- [CONVERTIBILITY_EFFECT:](#local-section-02-stack-a-opera-a-executionmechanism-convertibility-effect)
- [CORRELATIVE_PROFILE:](#local-section-02-stack-a-opera-a-executionmechanism-correlative-profile)
- [ATTRIBUTION_MODE:](#local-section-02-stack-a-opera-a-executionmechanism-attribution-mode)
- [DISTORTION_FLAGS:](#local-section-02-stack-a-opera-a-executionmechanism-distortion-flags)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-2)
- [VIII. T-MEDIATED ENGINE](#local-section-02-stack-a-opera-a-executionmechanism-viii-t-mediated-engine)
- [EXTENDED T](#local-section-02-stack-a-opera-a-executionmechanism-extended-t)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-3)
- [IX. Q-SUPPORT ENGINE](#local-section-02-stack-a-opera-a-executionmechanism-ix-q-support-engine)
- [EXTENDED SUPPORT](#local-section-02-stack-a-opera-a-executionmechanism-extended-support)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-4)
- [X. SUBJECT BINDING LAW](#local-section-02-stack-a-opera-a-executionmechanism-x-subject-binding-law)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-5)
- [XI. SUPPORT DEPTH](#local-section-02-stack-a-opera-a-executionmechanism-xi-support-depth)
- [MULTI-PATH](#local-section-02-stack-a-opera-a-executionmechanism-multi-path)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-6)
- [XII. FAILURE CONDITIONS](#local-section-02-stack-a-opera-a-executionmechanism-xii-failure-conditions)
- [XIII. OUTPUT STRUCTURE](#local-section-02-stack-a-opera-a-executionmechanism-xiii-output-structure)
- [XIV. INTERPRETIVE FUNCTION](#local-section-02-stack-a-opera-a-executionmechanism-xiv-interpretive-function)
- [XV. SYSTEM ALIGNMENT](#local-section-02-stack-a-opera-a-executionmechanism-xv-system-alignment)
- [TENET A:](#local-section-02-stack-a-opera-a-executionmechanism-tenet-a)
- [AREPO A:](#local-section-02-stack-a-opera-a-executionmechanism-arepo-a)
- [OPERA A:](#local-section-02-stack-a-opera-a-executionmechanism-opera-a)
- [ROTAS A:](#local-section-02-stack-a-opera-a-executionmechanism-rotas-a)
- [SATOR A:](#local-section-02-stack-a-opera-a-executionmechanism-sator-a)
- [XVI. SUMMARY](#local-section-02-stack-a-opera-a-executionmechanism-xvi-summary)
- [CLOSURE RULE](#local-section-02-stack-a-opera-a-executionmechanism-closure-rule)
- [Class: OPERA](#local-section-02-stack-a-opera-a-executionmechanism-class-opera)
- [PURPOSE](#local-section-02-stack-a-opera-a-executionmechanism-purpose-2)
- [PATCH PRINCIPLE](#local-section-02-stack-a-opera-a-executionmechanism-patch-principle)
- [PATCH-01 — ACT GENERATION LAW](#local-section-02-stack-a-opera-a-executionmechanism-patch-01-act-generation-law)
- [ACT GENERATION LAW](#local-section-02-stack-a-opera-a-executionmechanism-act-generation-law)
- [INTERPRETATION](#local-section-02-stack-a-opera-a-executionmechanism-interpretation)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-7)
- [CONSTRAINT](#local-section-02-stack-a-opera-a-executionmechanism-constraint)
- [PATCH-02 — AGENT GROUNDING LAW](#local-section-02-stack-a-opera-a-executionmechanism-patch-02-agent-grounding-law)
- [AGENT GROUNDING LAW](#local-section-02-stack-a-opera-a-executionmechanism-agent-grounding-law)
- [INTERPRETATION](#local-section-02-stack-a-opera-a-executionmechanism-interpretation-2)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-8)
- [CONSTRAINT](#local-section-02-stack-a-opera-a-executionmechanism-constraint-2)
- [PATCH-03 — FULL CIRCLE CLOSURE LAW](#local-section-02-stack-a-opera-a-executionmechanism-patch-03-full-circle-closure-law)
- [FULL CIRCLE CLOSURE LAW](#local-section-02-stack-a-opera-a-executionmechanism-full-circle-closure-law)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-9)
- [MEANING](#local-section-02-stack-a-opera-a-executionmechanism-meaning)
- [CONSTRAINT](#local-section-02-stack-a-opera-a-executionmechanism-constraint-3)
- [PATCH-04 — CIRCULAR CONSISTENCY CHECK](#local-section-02-stack-a-opera-a-executionmechanism-patch-04-circular-consistency-check)
- [CIRCULAR CONSISTENCY CHECK](#local-section-02-stack-a-opera-a-executionmechanism-circular-consistency-check)
- [CHECK 1:](#local-section-02-stack-a-opera-a-executionmechanism-check-1)
- [CHECK 2:](#local-section-02-stack-a-opera-a-executionmechanism-check-2)
- [FORMAL SCHEMA](#local-section-02-stack-a-opera-a-executionmechanism-formal-schema)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-10)
- [PATCH-05 — NEW DISTORTION FLAG](#local-section-02-stack-a-opera-a-executionmechanism-patch-05-new-distortion-flag)
- [CIRCULAR_INCONSISTENCY](#local-section-02-stack-a-opera-a-executionmechanism-circular-inconsistency)
- [EXAMPLES OF USE](#local-section-02-stack-a-opera-a-executionmechanism-examples-of-use)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-11)
- [PATCH-06 — VALIDITY CONSEQUENCES](#local-section-02-stack-a-opera-a-executionmechanism-patch-06-validity-consequences)
- [VALIDITY CONSEQUENCES OF CIRCULAR FAILURE](#local-section-02-stack-a-opera-a-executionmechanism-validity-consequences-of-circular-failure)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-12)
- [PATCH-07 — RELATION TO BCD INHERITANCE](#local-section-02-stack-a-opera-a-executionmechanism-patch-07-relation-to-bcd-inheritance)
- [RELATION TO INHERITANCE LAW](#local-section-02-stack-a-opera-a-executionmechanism-relation-to-inheritance-law)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-13)
- [CONSTRAINT](#local-section-02-stack-a-opera-a-executionmechanism-constraint-4)
- [PATCH-08 — OUTPUT INTEGRATION](#local-section-02-stack-a-opera-a-executionmechanism-patch-08-output-integration)
- [CIRCULAR_VALIDATION:](#local-section-02-stack-a-opera-a-executionmechanism-circular-validation)
- [ACT_SOURCE_STATUS:](#local-section-02-stack-a-opera-a-executionmechanism-act-source-status)
- [AGENT_TARGET_STATUS:](#local-section-02-stack-a-opera-a-executionmechanism-agent-target-status)
- [CIRCULAR_CLOSURE_STATUS:](#local-section-02-stack-a-opera-a-executionmechanism-circular-closure-status)
- [CIRCULAR_FLAGS:](#local-section-02-stack-a-opera-a-executionmechanism-circular-flags)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-14)
- [PATCH-09 — DOWNSTREAM CONSEQUENCE](#local-section-02-stack-a-opera-a-executionmechanism-patch-09-downstream-consequence)
- [DOWNSTREAM CONSEQUENCE](#local-section-02-stack-a-opera-a-executionmechanism-downstream-consequence)
- [RULE](#local-section-02-stack-a-opera-a-executionmechanism-rule-15)
- [PATCH SUMMARY](#local-section-02-stack-a-opera-a-executionmechanism-patch-summary)
<!-- LOCAL_SECTION_INDEX_END -->
<a id="local-section-02-stack-a-opera-a-executionmechanism-purpose"></a>
PURPOSE
============================================================
OPERA A defines the lawful execution system for evaluating admitted
off-diagonal predication carriers under contracted conditions. It
reads absolute dignity identities without evaluating or mutating them.
It provides:
• deterministic principial evaluation
• structured qualitative outputs (no scoring)
• doctrinally consistent contraction reading
• dependency-ordered carrier evaluation and locus aggregation
• compatibility with AREPO admissibility
• structured outputs for SATOR mediation
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-control-principle"></a>
CONTROL PRINCIPLE
------------------------------------------------------------
OPERA A does not evaluate “absolute truth in itself”.
OPERA A evaluates:
how an admitted ABS_i -> CON_j predication is qualified
on a principial subject and, at L2, an external referent.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-model"></a>
MODEL
------------------------------------------------------------
RULE-STRUCTURED QUALITATIVE EVALUATION
• discrete states
• explicit rules
• no numeric scoring
• no analogy-based inference
• no hidden heuristics
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-i-regime-order-law"></a>
I. REGIME ORDER LAW
============================================================
Contracted predicate columns are aggregated in strict order while
all absolute dignity identities remain read-only:
STAGE I — CORE FIELD (BCD)
B — Bonitas
C — Magnitudo
D — Duratio
STAGE II — EXTENDED CONTRACTED EVALUATION FIELD (EFGHIK)
E — Potestas
F — Sapientia
G — Voluntas
H — Virtus
I — Veritas
K — Gloria
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule"></a>
RULE
------------------------------------------------------------
No evaluation of EFGHIK is structurally valid
before BCD_FIELD is established.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rationale"></a>
RATIONALE
------------------------------------------------------------
BCD is the minimal differentiated field required to express A
without collapse into undifferentiated singularity.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-ii-input-contract"></a>
II. INPUT CONTRACT
============================================================
A_INPUT := {
DUPLEX_SCHEMA_VERSION,
OPERA_ARTIFACT_ID,
CONTEXT_ID,
EXECUTION_ID,
EXECUTION_MODE,
CONTRACTION_LEVEL,
PRINCIPIAL_SUBJECT_ID,
EXTERNAL_SUBJECT_BINDING | null,
SELECTED_PREDICATION_CARRIER_REFS,
LEGACY_SUBJECT_BINDING | null,
Q_SUPPORT,
T_SUPPORT,
VALIDITY_STATE,
PATH_TYPE
}
SELECTED_CONTRACTED_LOCUS_REFS, when exposed as a compatibility
view, is derived exactly from the predicate-token projection of
SELECTED_PREDICATION_CARRIER_REFS. It is rejected if supplied as an
independent or inconsistent selection surface.
L0 is reference-only. It does not invoke carrier evaluation and
does not emit CARRIER_RESULTS. Only L1 and L2 execute PRED(i,j),
where i != j. FULL_72 evaluates all 72 carriers. SELECTED_SET
requires explicit carrier refs and writes NOT_SELECTED for every
omitted direction within the declared variant scope.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-mandatory-conditions"></a>
MODE-CONDITIONED MANDATORY CONDITIONS
------------------------------------------------------------
REFERENCE_ONLY is valid if and only if CONTRACTION_LEVEL = L0. It
requires only ABSOLUTE_LOCUS_REF, schema/version identity, and
reference provenance. It forbids PRINCIPIAL_SUBJECT_ID,
EXTERNAL_SUBJECT_BINDING, contracted-locus/carrier/pair selection,
Q/T execution support, CARRIER_RESULTS, derived contracted-locus
summaries, and CIRCULAR_VALIDATION.
FULL_72 and SELECTED_SET are valid if and only if CONTRACTION_LEVEL
is L1 or L2. Their mandatory conditions are:
1. TENET A bound
2. AREPO A admitted
3. PRINCIPIAL_SUBJECT_ID resolved under TENET A
and, only for L2, EXTERNAL_SUBJECT_BINDING classified through
an admitted TENET K path where that substrate taxonomy applies
4. Q-min present:
Q-C, Q-E, Q-G
5. T-ground present:
T-B, T-C, T-D
Failure → BLOCK
L1 permits EXTERNAL_SUBJECT_BINDING = null. L2 requires a bounded
external subject and provenance. Every selected carrier must be
off-diagonal, in the chosen OPERA variant scope, and admitted by
AREPO A. Angular adjacency is not an input condition.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-iii-stage-i-bcd-core-evaluation"></a>
III. STAGE I — BCD CORE EVALUATION
============================================================
After the six primary BCD carrier directions have been evaluated,
derive the compatibility summaries:
B_RESULT := BY_PREDICATE(ROTA_A.CON.B, evaluated BCD carrier keys)
C_RESULT := BY_PREDICATE(ROTA_A.CON.C, evaluated BCD carrier keys)
D_RESULT := BY_PREDICATE(ROTA_A.CON.D, evaluated BCD carrier keys)
The three objects above are contracted-locus summaries. Primary
directed work is preserved as:
BCD_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
}
In FULL_72 mode all six BCD directions are evaluated as the first
slice. In SELECTED_SET mode every unselected direction is recorded
as NOT_SELECTED; it
is never inferred from its reverse or hidden inside B/C/D summary.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-synthesis"></a>
SYNTHESIS
------------------------------------------------------------
BCD_FIELD := {
B_RESULT,
C_RESULT,
D_RESULT,
<a id="local-section-02-stack-a-opera-a-executionmechanism-field"></a>
FIELD:
{
BCD_STABILITY,
BCD_CONVERTIBILITY,
BCD_CORRELATIVE_STATE,
BCD_DISTORTION_PROFILE
}
}
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-bcd-stability-states"></a>
BCD_STABILITY STATES
------------------------------------------------------------
• STABLE
• PARTIAL
• FRACTURED
• COLLAPSED
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-global-effect"></a>
GLOBAL EFFECT
------------------------------------------------------------
A_FIELD_STATUS :=
• VIABLE
• LIMITED
• UNSTABLE
• INVALID
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-iv-inheritance-gate"></a>
IV. INHERITANCE GATE
============================================================
IF BCD_STABILITY = COLLAPSED:
→ OPERA A TERMINATES
→ GLOBAL VALIDITY = BLOCKED
<a id="local-section-02-stack-a-opera-a-executionmechanism-if-partial-fractured"></a>
IF PARTIAL / FRACTURED:
→ Extended contracted evaluation allowed with constraints
<a id="local-section-02-stack-a-opera-a-executionmechanism-if-stable"></a>
IF STABLE:
→ Full evaluation allowed
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-v-stage-ii-derived-evaluation"></a>
V. STAGE II — EXTENDED CONTRACTED EVALUATION
============================================================
After the admitted Stage II carriers have been evaluated, derive:
E_RESULT := BY_PREDICATE(ROTA_A.CON.E, evaluated composite carrier keys)
F_RESULT := BY_PREDICATE(ROTA_A.CON.F, evaluated composite carrier keys)
G_RESULT := BY_PREDICATE(ROTA_A.CON.G, evaluated composite carrier keys)
H_RESULT := BY_PREDICATE(ROTA_A.CON.H, evaluated composite carrier keys)
I_RESULT := BY_PREDICATE(ROTA_A.CON.I, evaluated composite carrier keys)
K_RESULT := BY_PREDICATE(ROTA_A.CON.K, evaluated composite carrier keys)
These six are contracted-locus summaries. Stage II also evaluates
the admitted subset of the remaining 66 ordered carriers across
33 pair keys. FULL_72 mode evaluates all 66; selected mode
records every omitted direction as NOT_SELECTED.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-inheritance-application"></a>
INHERITANCE APPLICATION
------------------------------------------------------------
Each Dx ∈ {E..K} must:
• read BCD_FIELD
• inherit constraints
• apply local evaluation
• reconcile both
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-inheritance-rules"></a>
INHERITANCE RULES
------------------------------------------------------------
BCD_STABLE → full range allowed
BCD_PARTIAL → capped evaluation
BCD_FRACTURED → degraded evaluation
BCD_COLLAPSED → blocked
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-vi-global-synthesis"></a>
VI. GLOBAL SYNTHESIS
============================================================
A_DUPLEX_WORKING_SUMMARY := {
BCD_FIELD,
EXTENDED_CONTRACTED_RESULTS,
CARRIER_RESULTS,
GLOBAL
}
------------------------------------------------------------
GLOBAL := {
CONVERTIBILITY_STATUS,
SUPPORT_DEPTH,
ATTRIBUTION_PROFILE,
VALIDITY_STATE
}
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-convertibility-status"></a>
CONVERTIBILITY_STATUS
------------------------------------------------------------
Derived from BCD + EFGHIK:
• NEAR_INTEGRAL (rare)
• STABLE_CONTRACTED
• PARTIAL
• FRAGMENTED
• BROKEN
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-vii-core-evaluation-axes-all-dignities"></a>
VII. CARRIER EVALUATION DIMENSIONS
============================================================
Every evaluated predication carrier must expose all five
evaluation dimensions below. `ROTA_A.AXIS.*` is structural and
non-executable. Contracted-locus summaries aggregate these fields
without becoming primary stores.
<a id="local-section-02-stack-a-opera-a-executionmechanism-presence-mode"></a>
PRESENCE_MODE:
STRONG | MODERATE | WEAK | DEFORMED | ABSENT
<a id="local-section-02-stack-a-opera-a-executionmechanism-convertibility-effect"></a>
CONVERTIBILITY_EFFECT:
NEAR_INTEGRAL | STABLE_CONTRACTED | PARTIAL |
FRAGMENTED | BROKEN
<a id="local-section-02-stack-a-opera-a-executionmechanism-correlative-profile"></a>
CORRELATIVE_PROFILE:
BALANCED | AGENT_DOMINANT | PATIENT_DOMINANT |
ACT_DOMINANT | INCOMPLETE
<a id="local-section-02-stack-a-opera-a-executionmechanism-attribution-mode"></a>
ATTRIBUTION_MODE:
PROPER | APPROPRIATED | MISATTRIBUTED
<a id="local-section-02-stack-a-opera-a-executionmechanism-distortion-flags"></a>
DISTORTION_FLAGS:
{ ... }
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-2"></a>
RULE
------------------------------------------------------------
No evaluated carrier may omit any evaluation dimension.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-viii-t-mediated-engine"></a>
VIII. T-MEDIATED ENGINE
============================================================
All evaluation must pass through T:
T-B — Difference
T-C — Concordance
T-D — Contrariety
Required for every selected predication carrier.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-extended-t"></a>
EXTENDED T
------------------------------------------------------------
T-E — Beginning
T-F — Middle
T-G — End
T-H — Majority
T-I — Equality
T-K — Minority
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-3"></a>
RULE
------------------------------------------------------------
T-D has veto power over false coherence.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-ix-q-support-engine"></a>
IX. Q-SUPPORT ENGINE
============================================================
Minimum required:
Q-C — what is it?
Q-E — why is it so?
Q-G — what quality is claimed?
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-extended-support"></a>
EXTENDED SUPPORT
------------------------------------------------------------
Q-D — from what?
Q-F — how much?
Q-K1 — how?
Q-K2 — through what?
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-4"></a>
RULE
------------------------------------------------------------
Without Q-min:
→ degrade or BLOCK
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-x-subject-binding-law"></a>
X. SUBJECT BINDING LAW
============================================================
Every carrier evaluation must resolve PRINCIPIAL_SUBJECT_ID under
TENET A. L1 may stop there. L2 additionally requires a bounded
EXTERNAL_SUBJECT_BINDING and provenance. When the selected domain
uses Stack K substrate classes, that external binding is classified
through an admitted TENET K path, for example:
B — God
C — Angel
D — Heaven
E — Human
F — Imago
G — Animal
H — Vegetal
I — Elemental
K — Instrumental
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-5"></a>
RULE
------------------------------------------------------------
If subject cannot be bound:
→ SUBJECT_UNBOUND
→ degrade or BLOCK
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xi-support-depth"></a>
XI. SUPPORT DEPTH
============================================================
Default:
SUPPORT_DEPTH = SINGLE_PATH
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-multi-path"></a>
MULTI-PATH
------------------------------------------------------------
Only if:
• Q expansion present
• T reinforcement present
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-6"></a>
RULE
------------------------------------------------------------
Support depth must be explicitly declared.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xii-failure-conditions"></a>
XII. FAILURE CONDITIONS
============================================================
BLOCK if:
• REFERENCE_ONLY is paired with a non-L0 level or any execution field
• FULL_72 / SELECTED_SET is paired with L0
• an L1/L2 execution lacks PRINCIPIAL_SUBJECT_ID
• an L2 execution lacks external subject binding and provenance
• an L1/L2 execution lacks Q-min support
• BCD_COLLAPSED
• dominant contradiction ignored
------------------------------------------------------------
DEGRADE if:
• partial support
• asymmetry unresolved
• attribution unstable
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xiii-output-structure"></a>
XIII. OUTPUT STRUCTURE
============================================================
A_DUPLEX_RESULT := {
EXECUTION_IDENTITY: {
OPERA_ARTIFACT_ID,
OPERA_VERSION,
DUPLEX_SCHEMA_VERSION,
EXECUTION_MODE,
CONTEXT_ID,
EXECUTION_ID,
CONTRACTION_LEVEL,
EXECUTED_SCOPE,
AREPO_ADMISSION_REF,
SATOR_MEDIATION_TARGET
},
CARRIER_RESULTS: {
[carrier_id, context_id, execution_id]: {
CARRIER_ID,
PAIR_KEY,
DIRECTION: {
SUBJECT_TOKEN,
PREDICATE_TOKEN
},
CONTRACTION_LEVEL,
PRINCIPIAL_SUBJECT_ID,
ABSOLUTE_SUBJECT_LOCUS_REF,
CONTRACTED_PREDICATE_LOCUS_REF,
CONTRACTED_LOCUS_LABEL,
LEXICAL_LEMMA,
EXTERNAL_SUBJECT_BINDING | null,
RESULT_STATE,
EVALUATION: {
PRESENCE_MODE,
CONVERTIBILITY_EFFECT,
CORRELATIVE_PROFILE,
ATTRIBUTION_MODE,
DISTORTION_FLAGS,
Q_SUPPORT,
T_SUPPORT
},
EVIDENCE_TRACE,
JUSTIFICATION,
REUSE_STATE,
SURFACE_REALIZATION_CONSTRAINTS,
AREPO_ADMISSION_REF,
REVERSE_CARRIER_REF,
REVERSE_RESULT_REF | NOT_EVALUATED,
CIRCULAR_CHECK_REF
}
},
PAIR_VIEWS: {
[pair_key]: {
FORWARD_CARRIER_REF,
FORWARD_RESULT_REF | NOT_EVALUATED,
REVERSE_CARRIER_REF,
REVERSE_RESULT_REF | NOT_EVALUATED,
RECIPROCITY_STATUS
}
},
BY_SUBJECT: derived view over CARRIER_RESULTS,
BY_PREDICATE: derived view over CARRIER_RESULTS,
CONTRACTED_LOCUS_SUMMARY_MAP: {
ROTA_A.CON.B: B_RESULT,
ROTA_A.CON.C: C_RESULT,
ROTA_A.CON.D: D_RESULT,
ROTA_A.CON.E: E_RESULT,
ROTA_A.CON.F: F_RESULT,
ROTA_A.CON.G: G_RESULT,
ROTA_A.CON.H: H_RESULT,
ROTA_A.CON.I: I_RESULT,
ROTA_A.CON.K: K_RESULT
},
LEGACY_SUMMARY_VIEW: {
LEGACY_CONTRACTED_LOCUS_SUMMARY: {
CON_B: B_RESULT,
CON_C: C_RESULT,
CON_D: D_RESULT,
CON_E: E_RESULT,
CON_F: F_RESULT,
CON_G: G_RESULT,
CON_H: H_RESULT,
CON_I: I_RESULT,
CON_K: K_RESULT
}
},
BCD_FIELD: {
BCD_STABILITY,
BCD_CONVERTIBILITY,
BCD_CORRELATIVE_STATE,
BCD_DISTORTION_PROFILE
},
GLOBAL: {
CONVERTIBILITY_STATUS,
SUPPORT_DEPTH,
ATTRIBUTION_PROFILE,
VALIDITY_STATE
},
CIRCULAR_VALIDATION: {
CARRIER_CHECKS,
RECIPROCAL_PAIR_CHECKS,
CONTRACTED_LOCUS_AGGREGATE_CHECKS,
GLOBAL_CYCLE_CHECK: {
ACT_SOURCE_STATUS,
AGENT_TARGET_STATUS,
CIRCULAR_CLOSURE_STATUS
},
CIRCULAR_FLAGS
},
DERIVATION_LAWS: {
PAIR_VIEWS: derived view over CARRIER_RESULTS,
CONTRACTED_LOCUS_SUMMARY_MAP: derived BY_PREDICATE view over primary carrier results,
CIRCULAR_VALIDATION: derived validation view over CARRIER_RESULTS
}
}
The legacy contracted-locus summary is a compatibility view only.
It is not the primary result store and cannot collapse the eight
independent incoming or outgoing carriers associated with a token.
PAIR_VIEWS: derived view over CARRIER_RESULTS.
CONTRACTED_LOCUS_SUMMARY_MAP: derived BY_PREDICATE view over primary carrier results.
CIRCULAR_VALIDATION: derived validation view over CARRIER_RESULTS.
PAIR_KEY(i,j) is the canonical unordered key for i != j. Exactly
36 keys exist; each groups PRED(i,j) with PRED(j,i). A pair key has
no truth state, execution state, camera identity, or output
authority of its own.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xiv-interpretive-function"></a>
XIV. INTERPRETIVE FUNCTION
============================================================
OPERA A governs:
• principial evaluation of contracted A
• detection of structural coherence
• detection of distortion and contradiction
• lawful extension from BCD evaluation to EFGHIK contracted evaluations
• preparation for downstream OPERAE
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xv-system-alignment"></a>
XV. SYSTEM ALIGNMENT
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-tenet-a"></a>
TENET A:
preserves principial invariance
<a id="local-section-02-stack-a-opera-a-executionmechanism-arepo-a"></a>
AREPO A:
governs admissibility
<a id="local-section-02-stack-a-opera-a-executionmechanism-opera-a"></a>
OPERA A:
executes principial evaluation
<a id="local-section-02-stack-a-opera-a-executionmechanism-rotas-a"></a>
ROTAS A:
provides duplex structure and typed result loci/carriers
<a id="local-section-02-stack-a-opera-a-executionmechanism-sator-a"></a>
SATOR A:
mediates output
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-xvi-summary"></a>
XVI. SUMMARY
============================================================
OPERA A is:
a deterministic symbolic constraint evaluator
operating over qualitative discrete states
with explicit structural rules
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-closure-rule"></a>
CLOSURE RULE
------------------------------------------------------------
No principial reading is valid unless:
BCD stabilizes,
inheritance is respected,
and all carrier evaluations and derived locus aggregates remain
structurally consistent with that field.
============================================================
END OF OPERA A
============================================================
============================================================
PATCH BLOCK — OPERA A CIRCULAR CONSISTENCY LAW
Ars Generalis Applied — Regimen_A Validation Patch
Version: 0.1.0-OPERA-A-CIRCULAR-CONSISTENCY-PATCH
Status: PROPOSED / NON-DESTRUCTIVE PATCH BLOCK
Scope: cyclic validation of dignity coherence through ACT and AGENT closure
Authority: TENET A / AREPO A
Mutation Policy: VERSION-CONTROLLED ONLY
<a id="local-section-02-stack-a-opera-a-executionmechanism-class-opera"></a>
Class: OPERA
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-purpose-2"></a>
PURPOSE
------------------------------------------------------------
This patch adds a circular validation layer to OPERA A.
It does NOT replace:
• BCD priority
• BCD→EFGHIK inheritance
• local carrier evaluation and derived locus aggregation
• T-mediated evaluation
• Q-min support requirements
It DOES add:
• cyclic consistency checking
• act-source validation
• agent-target validation
• full-circle principial closure control
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-principle"></a>
PATCH PRINCIPLE
------------------------------------------------------------
A carrier result or contracted-locus aggregate is not fully
validated merely because it appears locally coherent.
It must also be coherent with:
• the triad of which it is the act
• the triad of which it is the agent
Thus OPERA A gains a second-order validation surface:
local validity
+
inherited validity
+
circular validity
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-01-act-generation-law"></a>
PATCH-01 — ACT GENERATION LAW
============================================================
Add to OPERA A:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-act-generation-law"></a>
ACT GENERATION LAW
------------------------------------------------------------
The following contracted evaluation aggregates depend on prior
triads; no absolute dignity is derived by this rule:
Eval(CON_E) = ACT_AGGREGATE(Eval(CON_B),Eval(CON_C),Eval(CON_D))
Eval(CON_F) = ACT_AGGREGATE(Eval(CON_C),Eval(CON_D),Eval(CON_E))
Eval(CON_G) = ACT_AGGREGATE(Eval(CON_D),Eval(CON_E),Eval(CON_F))
Eval(CON_H) = ACT_AGGREGATE(Eval(CON_E),Eval(CON_F),Eval(CON_G))
Eval(CON_I) = ACT_AGGREGATE(Eval(CON_F),Eval(CON_G),Eval(CON_H))
Eval(CON_K) = ACT_AGGREGATE(Eval(CON_G),Eval(CON_H),Eval(CON_I))
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-interpretation"></a>
INTERPRETATION
------------------------------------------------------------
This means that an admitted contracted evaluation for Potestas,
Sapientia, and the following loci is checked against the specified
prior aggregate. It does not make Potestas, Sapientia, or any
other absolute dignity an output of BCD.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-7"></a>
RULE
------------------------------------------------------------
No contracted evaluation in EFGHIK may receive a strong reading
if its declared dependency triad cannot lawfully sustain that
aggregate. Absolute identity is unaffected.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-constraint"></a>
CONSTRAINT
------------------------------------------------------------
This law refines but does not replace ordinary local evaluation.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-02-agent-grounding-law"></a>
PATCH-02 — AGENT GROUNDING LAW
============================================================
Add to OPERA A:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-agent-grounding-law"></a>
AGENT GROUNDING LAW
------------------------------------------------------------
The following core contracted aggregates are retro-checked against
later aggregates:
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))
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-interpretation-2"></a>
INTERPRETATION
------------------------------------------------------------
This means:
• Eval(CON_B) must remain compatible with the later aggregate
constituted by Eval(CON_H), Eval(CON_I), Eval(CON_K)
• Eval(CON_C) must remain compatible with Eval(CON_I,K,B)
• Eval(CON_D) must remain compatible with Eval(CON_K,B,C)
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-8"></a>
RULE
------------------------------------------------------------
BCD is not only prior cause-field.
BCD is also validated retroactively by later principial closure.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-constraint-2"></a>
CONSTRAINT
------------------------------------------------------------
This does not erase BCD primacy.
It introduces retroactive validation, not retroactive reversal.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-03-full-circle-closure-law"></a>
PATCH-03 — FULL CIRCLE CLOSURE LAW
============================================================
Add to OPERA A:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-full-circle-closure-law"></a>
FULL CIRCLE CLOSURE LAW
------------------------------------------------------------
The A-field must be readable as a cyclic principial closure.
Minimal circular articulation:
BCD → E → F → G → H → I → K → BCD
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-9"></a>
RULE
------------------------------------------------------------
After OPERA A execution, the system checks the selected carrier
results, their reciprocal pair views, their contracted-locus
aggregates, and finally the global dependency cycle.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-meaning"></a>
MEANING
------------------------------------------------------------
A result may be:
• locally coherent
• inheritedly admissible
• yet circularly inconsistent
Such a result is not invalidated absolutely,
but it must be flagged and possibly degraded.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-constraint-3"></a>
CONSTRAINT
------------------------------------------------------------
Circular closure is a validation layer,
not a separate execution engine.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-04-circular-consistency-check"></a>
PATCH-04 — CIRCULAR CONSISTENCY CHECK
============================================================
Add to OPERA A final validation phase:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-circular-consistency-check"></a>
CIRCULAR CONSISTENCY CHECK
------------------------------------------------------------
For each selected composite carrier key
`[carrier_id,context_id,execution_id]`:
<a id="local-section-02-stack-a-opera-a-executionmechanism-check-1"></a>
CHECK 1 — LOCAL_CARRIER_CHECK:
carrier identity, admission, evidence, and result coherence
<a id="local-section-02-stack-a-opera-a-executionmechanism-check-2"></a>
CHECK 2 — RECIPROCAL_PAIR_CHECK:
forward and reverse remain independently keyed;
ASYMMETRIC is permitted and equality is never presumed
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-formal-schema"></a>
FORMAL SCHEMA
------------------------------------------------------------
For contracted-locus aggregates and EFGHIK dependency aggregates:
CONSISTENT_ACT(Dx) :=
Dx is structurally compatible with source_triad(Dx)
For retro-grounding core contracted-locus aggregates:
CONSISTENT_AGENT(Dx) :=
Dx is structurally compatible with target_triad(Dx)
Full circular consistency:
CIRCULAR_OK :=
ALL LOCAL_CARRIER_CHECKS pass or are explicitly degraded
AND ALL RECIPROCAL_PAIR_CHECKS preserve direction
AND ALL CONTRACTED_LOCUS_AGGREGATE_CHECKS are traceable
AND GLOBAL_CYCLE_CHECK is coherent or explicitly flagged
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-10"></a>
RULE
------------------------------------------------------------
This check occurs after:
• local carrier evaluation
• reciprocal-pair validation
• contracted-locus aggregation, including the BCD slice
• inheritance application
• global result composition
It is a late validation layer.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-05-new-distortion-flag"></a>
PATCH-05 — NEW DISTORTION FLAG
============================================================
Add to OPERA A distortion system:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-circular-inconsistency"></a>
CIRCULAR_INCONSISTENCY
------------------------------------------------------------
Definition:
assigned when a carrier result or contracted-locus aggregate is locally plausible
but structurally inconsistent with:
• its ACT source triad
• its AGENT target triad
• or the full circular closure of the A-field
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-examples-of-use"></a>
EXAMPLES OF USE
------------------------------------------------------------
1. F appears strong locally,
but CDE cannot lawfully generate it
→ CIRCULAR_INCONSISTENCY
2. GHI cannot lawfully sustain K as evaluated
→ CIRCULAR_INCONSISTENCY
3. HIK does not support B as agent
→ CIRCULAR_INCONSISTENCY on B-field closure
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-11"></a>
RULE
------------------------------------------------------------
This flag must be explicit.
Silent circular failure is forbidden.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-06-validity-consequences"></a>
PATCH-06 — VALIDITY CONSEQUENCES
============================================================
Add to OPERA A:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-validity-consequences-of-circular-failure"></a>
VALIDITY CONSEQUENCES OF CIRCULAR FAILURE
------------------------------------------------------------
If circular inconsistency is minor and local:
• keep result admissible
• degrade strength
• attach flag
If circular inconsistency is repeated or load-bearing:
• degrade GLOBAL validity
• reduce downstream reuse readiness
If circular inconsistency breaks the full field:
• mark result as:
A_FIELD_CIRCULAR_FAILURE
• block combinatory downstream reuse unless explicitly
overridden by later repair or reformulation
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-12"></a>
RULE
------------------------------------------------------------
Circular inconsistency does not always force total block.
But it always prevents silent “clean field” presentation.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-07-relation-to-bcd-inheritance"></a>
PATCH-07 — RELATION TO BCD INHERITANCE
============================================================
Add clarification:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-relation-to-inheritance-law"></a>
RELATION TO INHERITANCE LAW
------------------------------------------------------------
BCD inheritance remains primary.
Circular consistency does not abolish:
BCD → EFGHIK priority
Instead:
BCD priority establishes the field
circular consistency validates its full closure
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-13"></a>
RULE
------------------------------------------------------------
Validation order remains:
1. local carrier evaluation
2. reciprocal-pair checks and BCD contracted-locus aggregation
3. inheritance application to EFGHIK
4. global synthesis
5. circular consistency check
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-constraint-4"></a>
CONSTRAINT
------------------------------------------------------------
Circular closure must not be used to justify skipping BCD-first
evaluation.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-08-output-integration"></a>
PATCH-08 — OUTPUT INTEGRATION
============================================================
Add to OPERA A global output object:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-circular-validation"></a>
CIRCULAR_VALIDATION:
------------------------------------------------------------
{
CARRIER_CHECKS:
keyed by [carrier_id, context_id, execution_id]
RECIPROCAL_PAIR_CHECKS:
<RECIPROCAL_EVALUATED | ASYMMETRIC | HALF_EVALUATED |
NOT_SELECTED | CONFLICT>
CONTRACTED_LOCUS_AGGREGATE_CHECKS:
derived BY_PREDICATE checks only
<a id="local-section-02-stack-a-opera-a-executionmechanism-act-source-status"></a>
GLOBAL_CYCLE_CHECK: {
ACT_SOURCE_STATUS:
<COHERENT | PARTIAL | FAILED>
<a id="local-section-02-stack-a-opera-a-executionmechanism-agent-target-status"></a>
AGENT_TARGET_STATUS:
<COHERENT | PARTIAL | FAILED>
<a id="local-section-02-stack-a-opera-a-executionmechanism-circular-closure-status"></a>
CIRCULAR_CLOSURE_STATUS:
<CLOSED | WEAKLY_CLOSED | OPEN | FAILED>
}
<a id="local-section-02-stack-a-opera-a-executionmechanism-circular-flags"></a>
CIRCULAR_FLAGS:
{ ... }
}
This object is embedded in `A_DUPLEX_RESULT`; it is not a detached
second result store.
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-14"></a>
RULE
------------------------------------------------------------
If this field is present, SATOR A must preserve it in
self-binding explanation when downstream reuse is relevant.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-09-downstream-consequence"></a>
PATCH-09 — DOWNSTREAM CONSEQUENCE
============================================================
Add to OPERA A reuse discipline:
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-downstream-consequence"></a>
DOWNSTREAM CONSEQUENCE
------------------------------------------------------------
A-result is combinatorially cleaner when:
• BCD is stable
• inheritance is lawful
• circular closure is closed or weakly closed
A-result is not combinatorially ready when:
• circular closure is open or failed
• CIRCULAR_INCONSISTENCY is load-bearing
------------------------------------------------------------
<a id="local-section-02-stack-a-opera-a-executionmechanism-rule-15"></a>
RULE
------------------------------------------------------------
D / TERTIA / QUARTA reuse must not silently ignore circular
failure.
============================================================
<a id="local-section-02-stack-a-opera-a-executionmechanism-patch-summary"></a>
PATCH SUMMARY
============================================================
This patch adds to OPERA A:
• ACT generation law
• AGENT grounding law
• full-circle closure law
• circular consistency check
• CIRCULAR_INCONSISTENCY distortion flag
• explicit validity consequences
• output integration for cyclic validation
Net effect:
OPERA A ceases to be only a linear dependency engine
and becomes a cyclic principial validation engine.
This sharpens:
• anti-drift control
• coherence checking
• reuse discipline
• Llullian structural fidelity
============================================================
END OF PATCH BLOCK — OPERA A CIRCULAR CONSISTENCY LAW
============================================================
Actual artifact: 02_STACK_A/OPERA_A_ExecutionMechanism.md