Hypergendered Logic Source

Hypergendered Logic — Page 164

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

98. Stage skipping is defined. Not yet. 
99. The current theory can be extended. Yes, while preserving core scope/type rules. 
100. The safest high-level summary is inheritance depth plus explicit PH-profile possession plus causal 
underdetermination of unspecified concrete traits. Correct. 
Appendix K — AI parsing, storage, and theorem-proving rules 
K.1 AST grammar 
Recommended node schema: 
•
CondAtom(name) 
•
CondNot(child) 
•
CondAnd(children) 
•
CondOr(children) 
•
PA(condition) 
•
StateNot(state) 
•
StateAnd(states) 
•
StateOr(states) 
•
IH(source, source_sort, source_id, depth) 
•
PH(source, source_sort, profile_id); UD(source); FD(source); QualityMagnitude(value); 
SignificantIncrease(q1,q2) 
•
SF(order) 
•
SM(order) 
•
FemaleType(subject_or_state) 
•
MaleType(subject_or_state) 
K.2 Type checker 
PA child must be an inner condition node. 
IH source must be a typed inheritable source: either an inner condition source or an already-defined HGL 
state/non-state source. 
PH source must be a typed phenotype source: an inner condition or an already-defined HGL state/non-state 
source; same-stage self-reference is rejected. UD/FD sources must denote physically instantiated HGL 
features/state-structures in the quality layer; quality claims must preserve the distinction between whole-form 
magnitude and local measurements. 
Reject PA(IH(...)), PA(PH(...)), PA(SF(3)), and PA(PA(...)) in core HGL. 
Accept IH(CondAtom(x)), IH(PA(...)), IH(SF(3)), IH(StateNot(SM(3))), PH(CondAnd(...)), 
PH(SF(3)), and PH(StateNot(SM(3))). 
K.3 Rewriting rules 
Allowed inside condition tree: 
•
De Morgan; 
•
double negation; 
•
associativity/commutativity of classical AND/OR; 
•
other explicitly adopted Boolean equivalences.

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