Hypergendered Logic Source
Hypergendered Logic — Page 182
Appendix Y — Formal macroscopic/outward modal semantics
Y.1 Domains
Let P be the total physical phenotype vocabulary. Partition it non-exclusively into domain predicates Micro(p),
Physio(p), Macro(p), InternalMacro(p), Outward(p), and StageGoverned_n(p). A phenotype can belong to
multiple domains.
Y.2 Female Macroscopic Manifestation Axiom
For each n >= 1, choose nonempty sets M^F_n subseteq {p: Macro(p)} and V^F_n subseteq {p: Outward(p)}.
For every valid Stage-n female phenotype world w: w |= OR(M^F_n) and w |= OR(V^F_n).
Equivalently in stage-relative modality: □^F_n OR(M^F_n) and □^F_n OR(V^F_n).
Y.2b Limit-Stage Manifestation Extension
The Macroscopic Manifestation Axiom applies to limit stages exactly as it applies to successor stages once
the limit state exists. LimF(lambda) and LimM(lambda) must therefore possess some stage-governed
macroscopic anatomical expression and some outwardly apparent expression. This does not require a
phenotype unique to lambda, a visually larger phenotype, or a visible discontinuity at the limit.
Y.2c Manifestation non-diagnosticity
Mandatory manifestation and stage-identifiability are different properties. Two distant stages, including a
transfinite stage and a finite stage, may share the same currently observable outward phenotype if their
Gamma-valid spaces overlap. The higher stage can still differ in microanatomy, physiology, provenance,
quality magnitude, latent responses, repair dynamics, or counterfactual phenotype-space.
Y.3 Male mirror
□^M_n OR(M^M_n) and □^M_n OR(V^M_n), with both sets nonempty.
Y.4 Non-injectivity
The map stage -> visible phenotype need not be injective. Therefore n != m does not entail disjoint visible
realization sets.
Y.5 Factivity and impossibility
□_n p -> p for a valid actual realization. NOT ◇_n p -> NOT p. p(actual) -> ◇_n p.
Y.6 Plateau theorem
Γ_n(t1)=Γ_n(t2) is compatible with P_macro/outward(t1)!=P_macro/outward(t2) whenever lower-level
developmental inputs differ and the phenotype map is nonconstant.
Y.7 Visual-overlap theorem
There exist models satisfying the Macroscopic Manifestation Axiom in which SF^5 and SF^6 share the same
current outward phenotype while differing in counterfactual accessibility. Therefore mandatory outward
manifestation does not imply visual stage-identifiability.
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:182.