Hypergendered Logic Source
Hypergendered Logic — Page 159
G.11 Phenotype
Π = Φ 𝐻, 𝐼, 𝑃, 𝐷, 𝐸
(
).
No arbitrary exact concrete trait without explicit PH-profile membership or an additional causal law.
Appendix H — Proofs and countermodels for stage stagnation
H.1 Constant stage, changing maturity
Let
for all in an interval, while
increases. This is a model of HGL because no axiom equates
𝑠𝐹𝑡
( ) = 4
𝑡
𝐷𝐹𝑡
( )
the variables. Therefore stage constancy does not entail maturity constancy.
H.2 Constant stage, changing phenotype
Let
depend on maturity. With stage fixed and maturity changing, phenotype changes. Therefore same
Π 𝑡
( )
stage over time does not entail identical body state.
H.3 Puberty without Archstage increase
Set puberty variable Pt to progress while sFt=3. No contradiction follows. Thus puberty does not entail SF4.
H.4 Archstage increase without immediate puberty increase
Let
move from 3 to 4 at a moment while the puberty/maturity variable is constant. This is also consistent
𝑠𝐹
unless a special coupling law is added.
H.5 Permanent stasis
Let
for all future time while aging and maturity continue. “Permanent” modifies stage, not all
𝑠𝐹𝑡
( ) = 5
biology.
H.6 Archfemale classification at zero velocity
Because Archfemale depends on FemaleType plus stage occupancy, a zero stage derivative does not
remove the label.
H.7 Same stage, different time since acquisition
Two subjects can both be SF6 while one reached it yesterday and the other ten years ago. If phenotype
depends on time-since-acquisition, they can differ.
H.8 Same stage, different history
Two subjects can reach SF8 through different temporal schedules. If history matters to , they can differ
Φ
even after matching age/maturity.
H.9 Stage fiber
For each stage , define
𝑛
Rn={Π:Π is a phenotype realization compatible with SFn}.
HGL does not currently require
. Thus each stage can correspond to a family of realizations rather
𝑅𝑛
|
| = 1
than one exact body.
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:159.