Hypergendered Logic Source

Hypergendered Logic — Page 153

HGL Source Framework · Page 153 of 293 · Source: Hypergendered Logic

Depth is 3. A phenotype mechanism can now, in principle, distinguish whether a prerequisite arrived through 
a chain three IH links deep. 
D.3 SF5 and SM5 
SF5 = IH(SF4) AND IH(NOT SM4) AND PH(SF4) AND NOT PH(SM4) AND UD(SF4) AND NOT FD(SF4) 
SM5 = IH(SM4) AND IH(NOT SF4) AND PH(SM4) AND NOT PH(SF4) AND UD(SM4) AND NOT FD(SM4) 
Depth is 4. A Stage-5 phenotype need not have five visible parts. Stage number counts recursive order, not 
trait count. 
D.4 Stage 6 
SF6 = IH(SF5) AND IH(NOT SM5) AND PH(SF5) AND NOT PH(SM5) AND UD(SF5) AND NOT FD(SF5) 
A possible causal law could make a Stage-6 trait depend specifically on the new IH¬SM5 source. Another 
law could ignore it entirely. The logic fixes the source’s presence, not its phenotype effect. 
D.5 Stage 7 
SF7 = IH(SF6) AND IH(NOT SM6) AND PH(SF6) AND NOT PH(SM6) AND UD(SF6) AND NOT FD(SF6) 
Inheritance depth 6. Cross-depth interactions can involve a Stage-2 route preserved inside the own-side 
ancestry and the newly inherited non-SM6 source. 
D.6 Stage 8 
SF8 = IH(SF7) AND IH(NOT SM7) AND PH(SF7) AND NOT PH(SM7) AND UD(SF7) AND NOT FD(SF7) 
A causal map could make Stage 8 externally subtle but physiologically distinctive. 
D.7 Stage 9 
SF9 = IH(SF8) AND IH(NOT SM8) AND PH(SF8) AND NOT PH(SM8) AND UD(SF8) AND NOT FD(SF8) 
If a law maps IH¬SM8 to a specific trait, that trait becomes causally deducible at Stage 9. 
D.8 Stage 10 
SF10 = IH(SF9) AND IH(NOT SM9) AND PH(SF9) AND NOT PH(SM9) AND UD(SF9) AND NOT FD(SF9) 
Inheritance depth is 9. A complete explanatory model of a Stage-10 phenotype can require tracing several 
ancestors rather than inspecting only the top formula. 
D.9 Male sequence 
Every female formula above has the exact SM/SF-swapped counterpart. No additional asymmetry is 
assumed by the logic itself. 
D.10 Stage 100 without expansion 
Do not write 99 nested layers manually. Store 
SF[100] = IH(SF[99]) AND IH(NOT SM[99]) AND PH(SF[99]) AND NOT PH(SM[99]) AND UD(SF[99]) AND 
NOT FD(SF[99]) 
and recurse symbolically. The theory is structurally precise without textual explosion.

Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:153.