Hypergendered Logic Source

Hypergendered Logic — Page 173

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

P.2b PH tests 
•
Keep PH(NOT S) distinct from NOT PH(S). 
•
Do not distribute PH over AND or OR. 
•
Keep PH distinct from PA and IH. 
•
A concrete trait is deducible from PH only if profile membership or a causal consequence is 
specified. 
•
Do not define a stage using PH of that same stage; use stage-lagged lower-state PH sources. 
P.3 Stage-definition tests 
•
SF1 exact: SF1 = PA(x AND NOT y). 
•
SM1 exact: SM1 = PA(NOT x AND y). 
•
SF2 exact: eight conjuncts — 2 IH + 1 PH + 1 NOT-PH + 1 UD + 2 standalone PA + 1 NOT-FD. 
•
SM2 exact: eight conjuncts — 2 IH + 1 PH + 1 NOT-PH + 1 UD + 2 standalone PA + 1 NOT-FD. 
•
Higher recursion begins with construction of Stage 3 from Stage 2. 
P.4 Type tests 
•
SF1 is FemaleType without requiring standalone PA(x). 
•
SM1 is MaleType without requiring standalone PA(y). 
•
Archfemale/Archmale are occupancy labels, not velocity labels. 
P.5 Depth tests 
•
SF1 depth 0. 
•
SF2 depth 1. 
•
SF3 depth 2. 
•
SF10 depth 9. 
•
SF100 depth 99. 
P.6 Temporal tests 
•
Same stage can coexist with changing maturity. 
•
Puberty need not change stage. 
•
High stage need not imply maturity. 
•
Permanent stage stagnation need not imply biological stasis. 
P.7 Phenotype tests 
•
Stage entails its canonical PH profiles. Do not infer unspecified concrete traits without profile 
membership or an explicit causal law. 
•
Possible examples must be labeled possible/illustrative. 
•
No automatic psychological or conceptual effects. 
•
No stereotype escalation theorem. 
P.8 Deprecated-form tests 
The following may appear only in historical/superseded explanation, not as canonical current rules: 
•
old PA-only, four-term IH-only, or six-term PH-era SF2/SM2 forms without the canonical UD/FD 
terms; 
•
primitive whole-state 
 ladder generator; 
𝐴𝑆
( )
•
nested PA; 
•
PA monotonicity; 
•
Archfemale defined by 
 rather than FemaleType; 
𝐹= 𝑃𝐴𝑥
( )
•
automatic IH distribution;

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