01The question of anterior realization
The Artex CN presents a specific question for FBM: what changes in the declared organization of a mechanical system when the realization of its anterior constraint changes? The starting point is the relation between the frame, posterior constraints, anterior reference and their coupling. Their geometric description becomes useful within this structural declaration.
The original paper considers the nominal configuration and alternative anterior realizations within the same frame. This study develops that question by distinguishing a change in one constraint, a change in joint admissibility and a change in the selected equilibrium.
The same frame allows a comparison to be posed. What is retained and what changes require their own declaration.
Two exact mathematical results follow under explicit assumptions. They are developments of this page, dated , starting from the CN relations; they are not attributed retrospectively to the original manuscript.
02The exact starting point of the work
Artex CN as a Frame-Bound Constraint System by Panagiotis Salikopoulos is a two-page text dated April 2026. Section 2 declares:
SCN = (FCN, Θ, C, A, D, G, R), C = {Cc, Ci, Cb}.
FCN is the fixed frame, Θ the parameter set and C the constraint family. These are followed by the admissible set A, dominance structure D, projection G and realized regime R. Section 1 treats the object as a constraint-defined mechanical architecture, without identifying it with biological simulation.
This compact declaration organizes the research problem. It does not yet contain a fully specified configuration space, contact functions or numerical values from which an actual path could be calculated. The original remains an autonomous work; each additional assumption in the present analysis is stated where it is used.
Original source: §§1–2, page 1. This is the file CN.pdf, distinct from the earlier CN Functional Decoding in the works catalogue.
03The anterior relation in primitive closure
A separate, precisely located definition helps establish the place of the anterior reference. In §4 of Constraint Compatibility, Mechanical Bonwill Closure, and Anterior-Induced Regime Transitions in Mechanical Articulator Systems, mechanical closure is declared through the left and right condylar elements and the incisal table–pin relation.
The anterior reference is a relation participating in the definition of mechanical boundary conditions. Teeth, as constructed elements within the system, do not replace this primitive reference. Correspondingly, the mechanical scheme does not acquire its definition by reproducing an anatomical incisal point.
This definition explains why anterior realization merits its own study. It is not a theorem that any three constraints ensure closure, unique motion or equilibrium. Furthermore, the three elements of this definition and the three symbolic roles Cc, Ci, Cb in the CN paper are different enumerations.
Separate source: §4, printed page 3. Only the definition of mechanical closure and the anterior reference is used here.
04Three constraint roles, joint admissibility
Section 3 of the CN paper distinguishes the posterior constraint, nominal anterior relation and coupling:
Cc : x ∈ Γc,
Ci : x ∈ Σi(x),
Cb : ψb(x; θb) = 0.
The dependence of Σi on x states that the anterior condition depends on configuration. The notation can be read as a test: for a candidate x, is the anterior relation associated with that configuration satisfied? The source does not provide the specific form of the relation from which a particular surface or trajectory could be constructed.
Joint admissibility requires simultaneous satisfaction of the three declared roles. Section 4 writes A(Θ) = {x : x ∈ Γc, x ∈ Σi(x), ψb(x) = 0}. The parameter θb is omitted in this abbreviated source notation; in the comparisons below we explicitly declare what is held fixed.
Original source: §§3.1–3.2, page 1; §§3.3–4, page 2. The map organizes the symbolic relations; it does not depict measured device geometry.
05When does the admissible set change?
To isolate the anterior change, we add an explicit comparison assumption: a common space X, the same posterior relation and the same coupling, with their parameters fixed. Set:
B = Γc ∩ {x ∈ X : ψb(x; θb) = 0},
Im = {x ∈ X : x ∈ Σim(x)}, Am = B ∩ Im.
The label m identifies the anterior realization under consideration. A common B is an additional assumption; it does not follow merely from having the same FCN. For two realizations, the following exact identity holds:
Am △ An = B ∩ (Im △ In).
Proof: the difference is tested within the common B
The symbol △ denotes symmetric difference: elements belonging to exactly one of the two sets. If x ∈ Am △ An, it belongs to B and satisfies exactly one of the two anterior conditions. Thus x ∈ B ∩ (Im △ In). Conversely, every element of B satisfying exactly one anterior condition belongs to exactly one of Am, An. The two inclusions prove equality. ∎
A change in the anterior relation outside B can therefore leave joint admissibility unchanged. To establish Am ≠ An, a configuration within B must pass exactly one anterior test. The same frame alone proves neither equality nor inequality of the two sets.
New mathematical analysis, 4 November 2026, starting from §§3–4. No such configuration has been specified here for the actual CN realizations.
06When is the selected equilibrium retained?
Section 5 already includes the functional φ(x; Θ, w) and the notation x∗ = arg minx ∈ A(Θ) φ(x; Θ, w). It does not, however, define the form of φ or conditions for existence and uniqueness. In the present analysis we read arg min as a set and write:
Mm = arg minx ∈ Am φ(x).
For the next result, assume the same real-valued function φ : X → ℝ, with its dependencies fixed, and An ⊆ Am. If an old minimizer q remains admissible, then:
q ∈ Mm ∩ An ⇒ q ∈ Mn.
Proof and the case of a unique equilibrium
Every z ∈ An also belongs to Am. Since q minimizes the same φ on Am, we have φ(q) ≤ φ(z). Together with q ∈ An, this gives q ∈ Mn. If q was the unique minimizer on Am, the inequality is strict for every z ≠ q in An, so uniqueness is also retained. ∎
If instead q ∉ An, any new minimizer, if one exists, differs from q. A change in admissibility therefore does not always force a change in equilibrium. The result does not presume that actual CN anterior realizations yield nested sets or a common φ; those claims would require separate support.
New conditional proof starting from §5, page 2. In general Mm can be empty or contain several elements; the original symbolic minimization does not exclude these possibilities.
07Anatomical, flat and reversed realizations
Section 10 connects channel-type behavior to the anatomical incisal table. It also describes flat and reversed realizations as alternatives producing distinct regime structures within the same frame. This is the structural interpretation stated by the source.
The interest of this proposal is that it identifies anterior realization as a substantive part of the declaration. A quantitative comparison requires the corresponding Σim, coupling conditions and selection criterion. The two-page text does not supply these data or prove a specific classification of the variants through the preceding results.
| Declared condition | Exact conclusion |
|---|---|
| B ∩ (Im △ In) = ∅ | Am = An, even if the anterior relations differ elsewhere. |
| An ⊆ Am, same φ, q ∈ Mm ∩ An | q is retained as a minimizer. |
| q ∉ An | Any new minimizing configuration, if it exists, differs from q. |
Original interpretation of realizations: §§10–11, page 2. The table summarizes the present analysis; it assigns no measurements, angles or stability ordering to the variants.
08Dominance, position and regime identity
Section 6 writes D = D(x): dominance is declared to depend on configuration. This does not make geometry primitive. The variable x describes a configuration within the declared architecture; D concerns the organization of interaction there. Calculation requires the specific relation D and its connection to constraints or selection.
In §7, the source writes R = x∗(Θ, w). We retain this as the original work's local convention. A selected position, a class of behavior and a full structural regime identity require distinct definitions before they can be compared.
Thus, retaining q in the preceding result proves that this particular minimizer is retained. It does not prove preservation of every dominance relation or of full regime identity. Equally, two different positions do not by themselves establish a general classification of regimes.
Original source: §§6–7, page 2. Related clarification: dominance and numerical weights.
09What observation can establish
Sections 8–9 introduce G : X → Y, the observation y = G(x∗), and the claim that G(x1) = G(x2) does not necessarily imply x1 = x2. Projection is the level at which a realization becomes available as an observation.
Proving non-injectivity on a specific domain requires two different configurations in that domain with the same declared image. The paper does not construct such a pair for a fully specified CN. The name “projection” does not supply the proof by itself.
If the target is to identify anterior realization m, the question changes: can two different admissible realization declarations produce a common observation of their realized configurations? The family of compared declarations, the realizations and G must then be defined. This formulation leads from the observed image back to a specific structural target.
Original source: §§8–9, page 2. Methodological connection: observation as a specific map.
10The specific contribution of the Re-audit
The Re-audit connects the original foundations to the present analysis through specific distinctions. For CN, the distinction between admissibility and realization allows Am and Mm to be studied separately. A change in the former does not predetermine a change in the latter.
The distinction between dominance and numerical weighting keeps the precise meaning of D(x) open, without replacing it with an undeclared weight vector. Declaring the observation domain specifies where an identifiability claim must be tested.
These connections support an autonomous deepening of the original work. The mathematical cases in the EXT series retain their own families and proofs. No particular quadratic construction or experimental arrangement from another case is identified here with the CN.
The links lead to analyses already incorporated in the site and their exact sources. The two results on this page are subsequent developments, not content of the historical Re-audit.
11The autonomous continuation of the CN study
The next substantive specialization can begin with a controlled pair of anterior realizations. First declare which posterior and coupling relations remain common. Then define the two anterior tests and seek a configuration within the common B that distinguishes them. That is enough for a specific conclusion about admissibility.
A conclusion about equilibrium additionally requires φ and an examination of its minimizers. A time-dependent trajectory requires an evolution law; static minimization does not determine that trajectory. Any contact, separation or mechanical reaction must be expressed through its corresponding relation.
A future bench connection would need to match actual settings, observations and their uncertainty to these declarations. That connection remains under investigation in the present study. The CN already has an autonomous mathematical question that can develop progressively, with the original work and each new addition visible in their respective places.
12Sources and reading routes
Panagiotis Salikopoulos. Artex CN as a Frame-Bound Constraint System.
April 2026 · file CN.pdf · 2 pages, 11 sections. Page 1: §§1–2, purpose and system; §§3.1–3.2, posterior and anterior relations. Page 2: §§3.3–4, coupling and admissibility; §§5–7, selection, dominance and local regime notation; §§8–9, projection and non-identifiability; §§10–11, realizations and conclusion.
Read the unchanged original work ↗Constraint Compatibility, Mechanical Bonwill Closure, and Anterior-Induced Regime Transitions in Mechanical Articulator Systems.
Only §4, printed page 3, is used for the definition of the mechanical condylar elements and table–pin relation in primitive closure. The work's other claims are not transferred here.
Open the separate source ↗Present analytical development · 4 November 2026.
The definitions B, Im, Am, Mm, the symmetric-difference identity and minimizer retention under restriction of the set are developed in sections 05–06 under their own assumptions. Their date is separate from the original paper's April 2026 date.
- The work in the catalogue →
Original works and subsequent studies with distinct provenance.
- Frame, constraints and admissibility →
The foundations of reading from the declared structure.
- From the foundations to the Re-audit →
The intermediate distinctions supporting the new analysis.
- The autonomous Hanau study →
A different original work and a deeper analysis of its own declaration.