Freedom is the base.
Warranted claim is the summit.
Begin with the concept of freedom. A free algebra generates without restraint: every word its symbols can spell, every product its grammar permits, every sum, and every graded twist of sign. This forms an unbounded domain of expressions multiplying outward, unconstrained by factual correspondence. Most of these expressions refer to nothing. The free algebra is the broadest construct in mathematics and also the most vacuous, a language poised for application before any world exists for it to describe. All subsequent structure is a process of subtraction. The object of interest is what remains after freedom is constrained, one requirement at a time, to yield meaning.
There is often suspicion toward any algebra constructed for a specific purpose: that it has been engineered, with generators selected to produce a predetermined outcome and relations adjusted to yield desired theorems. This suspicion misinterprets the history of the field. William Kingdon Clifford, in 1878, developed an algebra intended for quadratic forms, which ultimately became the algebra of spinors. Decades earlier, Hermann Grassmann, working in relative obscurity, created the exterior algebra to represent the geometry of extended magnitudes, thereby providing physics with the differential form. The universal enveloping algebra was designed for Lie algebra representations; the BRST complex—developed by Becchi, Rouet, Stora, and independently Tyutin—for the ghost fields essential to gauge theory consistency; the antifields and master equation of Batalin and Vilkovisky, in 1981, for gauge theories resistant to simpler approaches; the Virasoro algebra for string symmetries; and the operator algebras of Rudolf Haag and Daniel Kastler, in 1964, for quantum field observables, assigning an algebra to each spacetime region. Each originated as a tailored formalism addressing a specific, persistent problem. Universality, when it appeared, emerged later, for only a select few, and often unexpectedly. Bespoke construction is the typical origin of nearly every significant algebra.
Our algebra follows this tradition. It is constructed from established components: tensor words and their graded signs, the Koszul rule for sign transposition, BRST and Batalin–Vilkovisky frameworks, the classical master equation, ghosts and antifields, the formal grammar distinguishing closed from exact elements, cohomology quantifying their separation, quotients, shuffle and product corrections, transport, and the residuals arising when a field equation is imposed. None of these elements are novel; a mathematical physicist would recognize each term and might seek a more descriptive name for our construction. Our contribution lies in the specific alignment of these components: a generator vocabulary tailored to our subject, a set of active, paired BV-derivative generators, a custom product correction, a quotient stable under both this correction and the BV differential, and an interpretation in which the resulting terms acquire physical significance, such as laminar fields, sources, transport, and partial differential equations extended from measured surfaces. This construction is best described as a custom BV/BRST framework with a domain-specific generator set, a hierarchical quotient structure, and a central purpose: certification. This intent is fundamental to its identity. The algebra is designed to determine when a structure derived from the boundary of a living body qualifies as a physical observable.
A bespoke algebra establishes its legitimacy as any research algebra does: by providing identifiable generators, explicit relations, closed operations, nontrivial theorems, identifiable obstruction surfaces, a quotient with consistent semantics, justified restrictions, and connections both to established mathematics and to physical interpretation. Our algebra achieved this not through elegance, but through repeated constraint. The central question is whether the product of observables remains physical—specifically, whether multiplying two admissible elements yields a third that is closed under the algebra's differential. Multiplication is expansive, generating branches in many directions: canonical field-antifield pairs, bare residuals, same-operator residuals, prefixed terms, tails of varying lengths, and a unique term at the tensor unit. The algebra repeatedly sought a universal law—fold-completeness across all words—but the proof assistant, maintaining the construction in its core, refused to certify such a law. At the tensor unit, there is no symbol for the signed insertion to act upon; the recursion governing interior words does not apply, and the boundary term must be addressed separately. The system would not permit the boundary to be assimilated into the interior. The resulting law is more restrictive, but also more accurate: fold-completeness for nonunit words, with the unit's contribution explicitly identified as a boundary term, together forming a boundary-corrected structure. What might appear externally as a formalism engineered for a desired result was, internally, a process of being repeatedly constrained by what could not be asserted. The algebra's structure was shaped by these refusals.
The proof demonstrated, in detail, how each branch of a product achieves closure, revealing a process more intricate than the simple assertion of closure. Canonical pairs achieve closure by internal balancing: a bare residual retains its value until the corresponding same-operator residual appears, at which point they sum to zero—each field paired with its antifield according to a consistent scheme. Nonunit tails close through a different mechanism: the carriers that could introduce forbidden coefficients are too long to reach them, effectively filtered out by their own support length, so problematic terms are neither generated nor require cancellation. Even the more complex diagonal cases close by this same mechanism of support. The unique term at the unit, once properly identified, is carried into the transport and shown to vanish when the surrounding structure provides no admissible contribution, ensuring that the boundary does not impede subsequent operations. The boundary is addressed by a genuine condition, explicitly represented and resolved, leaving the quotient unused and the interior structure distinct. At each stage, the proof could have taken shortcuts—such as quotienting the obstruction, declaring inconvenient terms zero, and proceeding—but consistently refrained, since a quotient should represent a genuine physical equivalence, not merely conceal algebraic difficulties. Closure is not achieved by assumption; each branch closes through canonical pairing, exclusion by support length, explicit boundary accounting, or by routing through an already admitted residual.
Thus, the governing law for a product is the comprehensive account of its closure: canonical cancellation, exclusion by support, boundary correction, same-operator transport, with each branch addressed according to its specific requirements. A composite observable is deemed physical only when every branch generated by multiplication has been paired, excluded, accounted for at the boundary, or admitted through an existing residual. This structure also underlies the instrument itself. The features of a data packet qualify as claims only when each has been verified at its source, calibrated, stabilized against motion, checked for artifacts, closed under the differential, reliably transported, and accounted for at the boundary. Underlying all of these considerations is the central result repeatedly revealed by the proof: the boundary is the locus where the algebra determines what is real.
When considering the broader structure, this discipline can be visualized as a staircase. The free algebra, capable of generating all expressions, forms the foundation. Above it, the physical algebra retains only those elements consistent with physical law, a property termed admissibility. Next, the observable algebra retains only elements that are closed under its operations, with residuals vanishing, a property called closure. Above this, the measurement algebra retains only those elements grounded in actual data captured from real surfaces with documented provenance, termed witness. At the summit, the claim algebra retains only those elements for which the underlying evidence is sufficiently established to be asserted, termed maturity. Thus, freedom lies at the base, warranted claim at the top, and between them a sequence of admissions, each serving as a gate that must be passed to ascend to the next level.
Formal methods typically ascend only the first two steps of this staircase. They restrict free terms to those that are well-typed, and further to those that are provable, concluding their work at the boundary of model-theoretic truth. However, this conceptual staircase continues upward. The same process—deriving each higher level from the one below through a specific admission—extends beyond the mathematical domain into the empirical, encompassing measurement and ultimately claim validation. The instrument facilitating this transition is the same as that which defines the hierarchy: the right to assert a claim becomes an additional predicate, subject to verification like all others, transforming the question of whether a statement may be made from a matter of judgment to one of proof.
The terms designating each level of the hierarchy predate their current application and possess multiple meanings, yet the staircase remains coherent because these meanings converge at each step. Closure refers to an algebra closed under its operations, a set of statements closed under deduction, and a field equation whose residual vanishes and law is satisfied. Witness denotes both the object a constructive proof must provide to establish existence and the record left by a measurement to substantiate an observable, encapsulating the act that transforms possibility into fact. Maturity signifies both a degree of evidential strength and readiness for trust. These are not mere wordplays; each term represents a unified concept that extends from logic through physics to clinical application without altering its essence. The hierarchy is cohesive because the foundational terms are inherently integrated.
One level of the hierarchy is distinct and merits particular attention. The first three levels are genuine algebras, meaning their subalgebras are closed under their respective operations, so any construct formed from admissible components remains admissible. Witness and maturity, however, do not share this property. For example, the sum of two witnessed observables is not necessarily witnessed; the individual components are measured, but their sum may not be, and the straightforward closure of the algebra fails. The uppermost levels constitute a filtration of evidence superimposed on an algebra, with a grading sufficiently flexible that combinations may fall outside the structure. The precise point where combination ceases to be unrestricted marks the transition from mathematics to measurement. This discontinuity is the boundary itself, and intellectual honesty requires acknowledging it explicitly.
These concepts are already integral to the functioning of the instrument. Closure serves as the criterion applied to a sealed reading, where the reconstructed field is evaluated against physical law templates and its residual is reported transparently, regardless of outcome. Witness corresponds to the data packet, the capture with all conditions and provenance documented, transforming a computed value into a measured one. Maturity represents the discipline of maintaining a coefficient at zero until the requisite predicate is satisfied, ensuring that the instrument does not assert more about a body than the evidence from its surface justifies. The algebra and the certification process together form a unified apparatus, extending from the initial measurement at the body's surface to the final claim that can be substantiated.
This leads to the most significant unresolved question, which must remain open. The present algebra was specifically designed for a single instrument measuring a particular type of boundary. Whether it is uniquely suited to this context or constitutes a general calculus for boundary-generated observables in diverse settings—a cell's surface, an organ's interface, a watershed's edge, or a star's photosphere—remains unknown, and any claim to the contrary would be unfounded. There is, however, a suggestive indication: the construction is demonstrably scale-agnostic, with its laws and proofs remaining valid under rescaling, as the rescaling maps commute with the dynamics. Thus, the algebra does not depend on the scale of its original context. An algebra that is indifferent to scale may also be indifferent to context. Clifford's algebra gained significance because its structure recurred in multiple domains—spin, relativity, and geometries unknown to its creator; Virasoro's algebra similarly found applications beyond its initial context. An algebra attains importance when its structure is discovered in settings beyond its origin. Whether our construction will be found applicable to other boundaries, bodies, or scales is the most compelling open question, and we acknowledge it as such.
This constitutes the structural analysis of the object, detailing its construction and the rationale for its design. Whether its computations genuinely reflect the health of a living body is a separate, empirical question that remains unresolved and is currently being investigated through real data. The elegance of a bespoke algebra does not guarantee its relevance. There is reason to believe that this construction is appropriately targeted, but definitive validation must come from empirical evidence, and any such claim will be made only after the data substantiate it.
Companion reflections: The temperament of a bespoke algebra considers the character revealed by this construction under proof; The making of an observable places its certification discipline beside other observational sciences; Reading the living boundary carries the hierarchy into the instrument; and How we try to make the signal fail follows the empirical question into real data.