Semicrank vs. Bioelectric: Syntax, Semantics, and the Inspection Spaces of Bioelectric Morphogenesis

Developmental bioelectricity reads spatial patterns of resting membrane potential (Vmem) as an instructive layer for growth and form. This paper develops one continuous argument in three movements. First, it asks what is invariant in exactly the cases where voltage instructs form, and finds a real, non-vacuous invariant: a spatial Vmem difference across an electrically coupled cell collective, preceding structure and read out into gene expression. That invariant is the grammar of the instruction, not its message: it fixes the format, the medium, and the character, but not which map means which form. Second, it argues that this residual is not a vacuum but a known problem type—the symbol-grounding problem—whose solution architecture biology has instantiated at least four times (genetic code, protein folding/prions, neural representation, adaptive immunity). Across all four the winning move is level-invariant: meaning sits in the reader, not the carrier; is implemented as a frozen lookup or a dynamical attractor landscape; and is anchored by selection. Applied to bioelectric form-semantics, this reclassifies the open gap from a missing mechanism to a selected mapping embodied in a distributed decoder, and redesigns the decisive experiment—to produce ‘same pattern, different form’ one must perturb the reader, not the pattern. Third, because the winning move is level-invariant, each load-bearing part of the solution architecture becomes an interrogation point that imports a mature toolkit from a neighbouring field, yielding six concrete inspection spaces. The paper closes on the two highest-value entry points and names the single place the formalism may genuinely fail: plasticity of the coupling, which threatens the existence of a global energy function. Scope and provenance. This work contributes no new biology. The empirical phenomena and the framing of morphogenesis as regulation toward a target morphology / attractor memory are established results of Michael Levin's research program and collaborators; the analytical toolkits (symbol grounding, the good-regulator theorem, Hopfield attractors, teleosemantics, coding theory, catastrophe theory, positional information) are prior work, credited at each use. The contribution is a re-description: identifying the open ‘which map means which form’ question as an instance of the symbol-grounding problem, extracting a level-invariant solution move, and deriving from it six inspection spaces.