tp

Solved 50

• Retained repaired certificate records: mixed A familiesProved

  Sep 2026

• Freiman.lowerHistory_sign_from_quadraticProved

  Sep 2026

• Coverage of every equal-IIa certificate branchProved

  Sep 2026

• Validity of every equal-IIa certificate recordProved

  Sep 2026

• middle compatible oscillationProved

  Sep 2026

• Report incoming-order repair: middleRepair_cert_interpret_goodnessProved

  Sep 2026

• Report convention repair: middleRepair_j_contact_from_thresholdProved

  Sep 2026

• The five suffix states exactly detect the forbidden word 31313Proved

  Sep 2026

• Freiman M2B certificate: family equal II b J validProved

  Sep 2026

• Freiman M2B certificate: family equal II b short validProved

  Sep 2026

• Report convention repair: middleRepair_j_endpoint_limitProved

  Sep 2026

• Report convention repair: middleRepair_j_ratio_specializationProved

  Sep 2026

• Report incoming-order repair: middleRepair_cert_row_hypothesesProved

  Sep 2026

• Freiman M2B certificate: family equal II b normal validProved

  Sep 2026

• Freiman M2B certificate: family mixed B validProved

  Sep 2026

• Report convention repair: middleRepair_good_gap_boundProved

  Sep 2026

• Global forbidden blocks impose the correct one-sided outward restrictionsProved

  Sep 2026

• An admissible tail supplies a permitted digit after a matching reference prefixProved

  Sep 2026

• Report incoming-order repair: middleRepair_goodness_criterionProved

  Sep 2026

• middle initial roots 3Proved

  Sep 2026

• middle initial roots 2Proved

  Sep 2026

• middle endpoint orderProved

  Sep 2026

• middle initial roots 1Proved

  Sep 2026

• Report incoming-order repair: middleRepair_cert_branch_identityProved

  Sep 2026

• Report convention repair: middleRepair_mixed31_width_from_real_boundsProved

  Sep 2026

• Report incoming-order repair: middleRepair_cert_boundary_pairs_validProved

  Sep 2026

• Freiman M2B certificate: family equal I J validProved

  Sep 2026

• Report incoming-order repair: middleRepair_cert_redirect_keysProved

  Sep 2026

• Freiman M2B certificate: family equal I short validProved

  Sep 2026

• Freiman M2B certificate: family mixed C validProved

  Sep 2026

• middle secondary four separationsProved

  Sep 2026

• middle small digit centersProved

  Sep 2026

• Freiman M2B certificate: family uniform equal validProved

  Sep 2026

• Freiman M2B certificate: cert diagonal bilinear interpolationProved

  Sep 2026

• Freiman M2B certificate: cert diagonal order from factorsProved

  Sep 2026

• separated copies existProved

  Sep 2026

• Freiman M2B certificate: witness block 9Proved

  Sep 2026

• Freiman M2B certificate: witness block 8Proved

  Sep 2026

• Freiman M2B certificate: witness block 7Proved

  Sep 2026

• Freiman M2B certificate: witness block 6Proved

  Sep 2026

• Freiman M2B certificate: witness block 5Proved

  Sep 2026

• Freiman M2B certificate: witness block 4Proved

  Sep 2026

• Freiman M2B certificate: witness block 3Proved

  Sep 2026

• Freiman M2B certificate: witness block 2Proved

  Sep 2026

• Freiman M2B certificate: witness block 1Proved

  Sep 2026

• Freiman M2B certificate: witness block 0Proved

  Sep 2026

• Freiman M2B certificate: family uniform mixed validProved

  Sep 2026

• Freiman M2B certificate: family mixed A validProved

  Sep 2026

• Freiman M2B certificate: proof from pair diagonalProved

  Sep 2026

• Freiman M2B certificate: pair bindingProved

  Sep 2026

Posted 50

• Retained repaired certificate records: mixed C familiesOpen

  Sep 2026

• Retained repaired certificate records: uniform familiesOpen

  Sep 2026

• Retained repaired certificate records: mixed A familiesProved

  Sep 2026

• Validity of every equal-IIa certificate recordProved

  Sep 2026

• Coverage of every equal-IIa certificate branchProved

  Sep 2026

• trunk select late parent gluingOpen

  Sep 2026

• trunk select early parent gluingOpen

  Sep 2026

• trunk bindings 15 100 110Open

  Sep 2026

• trunk select geometry equal openOpen

  Sep 2026

• trunk early geometryOpen

  Sep 2026

• trunk active geometryOpen

  Sep 2026

• trunk parameter stateOpen

  Sep 2026

• trunk geometry from specsOpen

  Sep 2026

• trunk select geometry equal large plain with runOpen

  Sep 2026

• trunk goodness from specs from orderOpen

  Sep 2026

• trunk select geometry equal small plain with runOpen

  Sep 2026

• trunk select geometry equal small leftOpen

  Sep 2026

• trunk endpoint strict mixedOpen

  Sep 2026

• trunk endpoint strict orderOpen

  Sep 2026

• lowerEarlyTerminal lower anchorOpen

  Sep 2026

• trunk late geometryOpen

  Sep 2026

• trunk late planOpen

  Sep 2026

• lower late anchor goodnessOpen

  Sep 2026

• lowerEarlyTerminal anchor goodnessOpen

  Sep 2026

• trunk specs from stateOpen

  Sep 2026

• trunk early planOpen

  Sep 2026

• trunk parent modeOpen

  Sep 2026

• trunk raw geometryOpen

  Sep 2026

• trunk endpoint transferOpen

  Sep 2026

• trunk anchors from specsOpen

  Sep 2026

• trunk catalog soundOpen

  Sep 2026

• trunk contacts from specsOpen

  Sep 2026

• trunk state from treeOpen

  Sep 2026

• trunk goodness from specsOpen

  Sep 2026

• trunk all bindingsOpen

  Sep 2026

• trunk endpoint strict equalOpen

  Sep 2026

• trunk nonempty from specsOpen

  Sep 2026

• trunk specs soundOpen

  Sep 2026

• trunk bindings 13 100 173Open

  Sep 2026

• trunk greater semanticsOpen

  Sep 2026

• trunk state 12 boundOpen

  Sep 2026

• trunk endpoint semanticsOpen

  Sep 2026

• trunk endpoint from cfOpen

  Sep 2026

• trunk coverage 14Open

  Sep 2026

• trunk coverage 13Open

  Sep 2026

• trunk state 15 boundOpen

  Sep 2026

• trunk join bindings 15Open

  Sep 2026

• trunk coverage 15Open

  Sep 2026

• trunk bindings 13 000 100Open

  Sep 2026

• trunk coverage 12Open

  Sep 2026