Hypergendered Logic Source
Hypergendered Logic — Page 225
hgl_logic_core.py constructs PA/IH/PH/UD/FD nodes and generates canonical SF1/SM1, eight-conjunct SF2/SM2, and six-conjunct higher finite stages. It never distributes PA. IH projection is explicit. Quality levels are represented symbolically by finite magnitudes and aleph-index lower bounds. verify_hgl_claims.py executes hundreds of checks. It verifies exact conjunct counts, exact source symmetry, IH projection, FD/UD countermodels, PA irreducibility countermodels, and the minimum post-omega aleph trajectory. SymPy satisfiability is used where propositional countermodels are the correct verification method. audit_hgl_docx.py scans the delivered DOCX for required canonical phrases and selected forbidden legacy canon. run_all_hgl_verifiers.py executes both suites. The generated JSON report records pass/fail status. Important verification boundary: no finite program can prove a merely illustrative biological causal inference true without a causal model that defines the mapping. Accordingly, the verifier does not falsely “prove” CI/ILL phenotype examples. Instead it verifies that they are not mislabeled as deductions and can verify CD only when the explicit causal law is supplied as a premise. This is a feature of rigorous inference classification, not a limitation to be hidden. Machine-checkable proof-trace pattern: PREMISES -> NAMED RULE -> CONCLUSION -> STATUS. Example: [SF2 definition] -> conjunction elimination -> UD(SF1) -> D. [IH(SF1)] -> IH projection -> SF1 -> D. [StageSucc(SF^omega,SF^(omega+1)), UD(SF^omega)] -> SUQB -> SQI -> D. [SQI, CardMag=aleph_0] -> transfinite significance + successor-cardinal minimality -> CardMag successor >= aleph_1 -> D. [aleph_1 quality] -> “specific breast morphology” has no mapping law -> OPEN/CI, not D. Appendix AL — Final one-page canonical quick reference SF1 = PA(x AND NOT y) SM1 = PA(NOT x AND y) SF2 = IH(SF1) AND IH(NOT SM1) AND PH(SF1) AND NOT PH(SM1) AND UD(SF1) AND PA(x) AND PA(NOT y) AND NOT FD(SF1) SM2 = IH(SM1) AND IH(NOT SF1) AND PH(SM1) AND NOT PH(SF1) AND UD(SM1) AND PA(NOT x) AND PA(y) AND NOT FD(SM1) SF^(n+1) = IH(SF^n) AND IH(NOT SM^n) AND PH(SF^n) AND NOT PH(SM^n) AND UD(SF^n) AND NOT FD(SF^n), for n >= 2 SM^(alpha+1) = IH(SM^alpha) AND IH(NOT SF^alpha) AND PH(SM^alpha) AND NOT PH(SF^alpha) AND UD(SM^alpha) AND NOT FD(SM^alpha), for every defined ordinal alpha >= 2 FD(a): a physically instantiated feature whose presence decreases the quality of ANY extent of the physical structure or form. UD(a): a physically instantiated feature whose presence significantly increases the quality of the whole physical structure and form. NOT FD(a) does not entail UD(a). FD(a) does not entail NOT UD(a). Opposite-Profile Exclusion Rule: canonical SF/SM successors require IH(NOT opposite) and NOT PH(opposite), while opposite-source UD/FD status remains open unless separately axiomized. Unified SQI: Q=<mu,delta>; SignificantIncrease(Q1,Q2) iff mu(Q2)>mu(Q1). Finite and transfinite significance therefore use one magnitude-crossing rule. Transfinite Significant Quality Rule: if the predecessor whole-quality is transfinite, a Significant Quality Increase must change cardinal magnitude. SUQB: canonical successor + UD(own predecessor) => SignificantIncrease of whole-form quality from predecessor to successor.
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:225.