01Structure as the research aim
The study of the Hanau begins with its own organisation: frame, guides, contact relations, constraints and interaction. In FBM, structure is the starting point and fundamental research target. Parameters, geometric descriptions and observations help us investigate that organisation and its realizations.
Hanau H as a Frame-Bound Mechanical System remains a standalone original work here. It declares a symbolic framework for admissibility, equilibrium selection and observation. This page develops its mathematical reading while distinguishing the source text, subsequent clarifications and questions that remain open.
The question is what knowledge of the Hanau’s declared structure an observation can support, and under which assumptions.
The following analysis proceeds from the paper’s own symbolic framework. The Hanau need not be assigned a different mathematical construction in order to examine existence of a realization, observation and recovery of particular features.
02The original declaration
In the original work, the posterior condylar guidance Γc, anterior surface Σi and lateral relation ψb contribute to the admissible set for Θ = (θc, θi, θb):
A(Θ) = {x ∈ X : x ∈ Γc(θc), x ∈ Σi(θi), ψb(x; θb) = 0}.
The interaction functional and minimization relation are already included in the paper:
Φ(x; Θ, w) = wcΦc(x; θc) + wiΦi(x; θi) + wbΦb(x; θb),
wk ≥ 0, x∗ ∈ arg minx ∈ A(Θ) Φ(x; Θ, w), y = G(x∗).
The geometric description of the guides expresses part of the declared constraints. A(Θ) describes admissible configurations; Φ and minimization declare the selection problem under examination. A change in angle may therefore change A(Θ), the terms of Φ or their weights. It cannot be identified in advance with a change in just one numerical coefficient.
Section 6 writes D(Θ) = (wc, wi, wb) and relates angles to weights. Computational use requires a specific law for that correspondence. If it is retained as a binding relation, Θ and w cannot be chosen independently. This detail determines which comparisons between models are admissible.
Original source: §§2–6, PDF 1–2. The file supplies the symbolic relations; it does not specify concrete formulas for Φc, Φi, Φb or a calibrated angle-to-weight law here.
03From admissibility to realization
To read the minimization precisely, we declare a set of candidate models P, with p = (Θ, w), in a common space X. P contains only the combinations permitted by the particular declaration; if w = D(Θ) applies, that restriction is incorporated into P.
The following set-valued notation is developed in this study:
M(p) = arg minx ∈ A(Θ) Φ(x; Θ, w),
P+ = {p ∈ P : M(p) ≠ ∅}, O(p) = {G(x) : x ∈ M(p)}.
M(p) collects all minimizers. The notation promises neither existence nor uniqueness. Even a nonempty A(Θ) is insufficient to ensure that Φ attains a minimum. O(p) is the set of possible observations of the selected realizations under a declared G : X → Y.
If M(p) contains exactly one element for each p ∈ P+, we can write:
Q : P+ → X, M(p) = {Q(p)}, F = G ∘ Q.
A unique realization gives a single-valued forward prediction F(p). It does not, by itself, determine whether different p have different images. Conversely, a singleton O(p) does not imply a singleton M(p): several realizations may share an observation. In a multivalued case, an additional selection rule requires its own declaration and justification.
Starting point: §5 and §§8–9, PDF 2–3. Relevant clarification: MRA-01-F013, 36–37; MRA-10 §2.4, 508, and §2.7, 509–510. M, P+, O, Q and F are the present analytical formulation, not additional proven properties of the device.
04Reading the work after the Re-audit
The Re-audit connects to this work through specific questions about definitions and assumptions. The original source retains its content; the following distinctions guide the subsequent reading.
Admissibility and realization. A(Θ) specifies which configurations satisfy the declared constraints. The minimization relation adds a selection criterion. Distinguishing the two prevents us from attributing to admissibility a unique equilibrium that has not yet been established.
Weights and dominance. In the paper, the wk weight particular terms of Φ. The broader dominance structure is not exhausted by this vector by definition. A weight change acquires structural meaning once the relation or distinction it expresses is declared.
Equilibrium and regime. The notation R(Θ, w) = x∗(Θ, w) in §7 is a local convention of the original work. Examining a fuller structural regime identity requires a definition of its constituent features. A different position or weight value does not automatically establish a different regime.
Observation and identifiability. G’s role is specified by its domain and the information it retains. Calling it a “projection” does not prove non-injectivity on the particular family. Section 9 of the Hanau states non-identifiability without a calculated pair establishing it for a fully specialized declaration of the instrument.
Sources: §§5–9 and MRA-01-F009–F010, 32–34; F013, 36–37; MRA-05 D7, 185; MRA-10 §§2.4, 2.6–2.7, 508–510. The comparison is present analytical work.
05What observation can identify
Before seeking an inverse, we need to declare the target J : P+ → I. It may be a parameter, a relation between coefficients or a specified structural category. Recovering the entire p is one particular choice. These requirements are not interchangeable.
For an exact observed y, define the compatible model family:
C(y) = {p ∈ P+ : y ∈ O(p)}.
When C(y) ≠ ∅, observation identifies J exactly when J has the same value for every member of C(y). The justification is direct: if two compatible members have different J, y cannot select between them; if all share the same J, every compatible description assigns the same value to the declared target. The conclusion remains relative to the chosen family P and the exact observation model.
In the single-valued case, the corresponding requirement across all observations is:
F(p1) = F(p2) ⇒ J(p1) = J(p2), p1, p2 ∈ P+.
A specific conditional result follows directly from the Hanau’s weighted Φ. If Θ, A(Θ) and the terms Φk remain fixed, and the family P permits both w and cw for c > 0, then:
Φ(x; Θ, cw) = cΦ(x; Θ, w),
M(Θ, cw) = M(Θ, w), O(Θ, cw) = O(Θ, w).
Indeed, positive multiplication preserves every comparison between functional values on the same admissible set, and therefore preserves the minimizers. With the same G, it also preserves their possible observations. For nonzero w and c ≠ 1, wherever a realization exists, this observation cannot distinguish the two different vectors. It does not follow that every structural feature that could be selected as J changes.
The condition on P is essential: if w = D(Θ) uniquely determines the weights, both vectors at the same Θ may not be admissible. The implication above is a mathematical analysis of the declared form of Φ, not proof that the physical Hanau possesses this freedom of scale.
Homogeneity in the weights follows here from §5, PDF 2, with the additional assumptions stated above. The target and compatibility formulation is developed here using the methodological direction of Deepening & Expansion, PDF 53–55. No numerical model from another case is introduced.
06Continuing the study
The autonomous deepening of the Hanau can now proceed from explicit questions: what P is, how the individual terms of Φ are defined, which combinations of guides and settings are admissible, which realization is examined, and exactly which structural feature is sought.
A further specialization needs to connect these declarations to the mechanical arrangement. Membership of a point in a surface alone supplies no separation, friction or reaction law. Studying motion also requires the corresponding evolution relation; static minimization does not supply it.
The empirical correspondence with Hanau/Atlas bench records remains under investigation for the questions on this page. It will require specified conditions, observed quantities and their relationship to the model. That outstanding step concerns this particular connection.
The original paper, the present mathematical reading and a future mechanical or empirical specialization form distinct stages of study. New results will be added with their own assumptions and evidence, keeping the provenance of each conclusion visible.
Static declaration and proposed bench consequences: §5 and §10, PDF 2–3. The distinct role of realization: MRA-03 §2.6, 84; MRA-10 §2.4, 508.
07Sources and reading routes
Hanau H as a Frame-Bound Mechanical System.
Three-page manuscript, with no internal date or version number. §§2–4, PDF 1–2: structural declaration; §§5–6, PDF 2: minimization and weights; §§7–9, PDF 2–3: regime and observation; §10, PDF 3: proposed bench consequences. The title and description refer to this particular file.
Read the original manuscript ↗Theory Formalization Re-Audit.
Working edition of 553 pages. MRA-01-F009–F010: 32–34; F013: 36–37; MRA-03 §2.6: 84; MRA-05 D7: 185; MRA-10 §2.4: 508, §2.6: 509, §2.7: 509–510. The reconstruction’s distinctions are read as subsequent review and clarification.
From the foundation to the Re-audit →Theory Formalization Deepening & Expansion.
Research direction text of 66 pages. PDF 53–55: predetermined target and additional information; 62–66: documented correspondences and the distinction between source, present synthesis and new development. The methodological direction is used here, without treating a particular mathematical case as a model of the Hanau.
PDF numbers follow the file’s page sequence. Re-audit references use the pagination of the particular working edition. The original manuscript remains unchanged; the set-valued relations, the criterion for J and the conditional scaling implication are developments of this page.