Search results

proofs (needs-network): neural-convergence — PageRank power-iteration + ESN echo-state stability (Lean 4 + Mathlib)

Status: Open.

#486 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 14, 2026

audit (needs-owner): rsr-template ↔ standards divergence

Status: Open.

#485 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 14, 2026

ops(scanner): self-scan runs a stale packaged hypatia — merged rule fixes (e.g. #462) don't reach live scans

Status: Open.

#484 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 14, 2026

chore(hygiene): doc + contractile currency pass and rot/unused sweep

Status: Open.

#483 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 14, 2026

docs(wiki): bring the GitHub wikis to bleeding-edge (hypatia / gitbot-fleet / .git-private-farm)

Status: Open.

#482 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 14, 2026

ci(merge-orchestration): guard against auto-merging DO-NOT-MERGE / draft / hold PRs

Status: Open.

#472 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

[estate] audit Base ruleset across repos for unsatisfiable rules that force bypass merges

Status: Open.

#473 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

ci(ruleset): re-add copilot_code_review + code_quality once those features produce PR results

Status: Open.

#471 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

ci(ruleset): code-scanning gating reworked (rule removed -> required status checks) + triage 71-alert backlog

Status: Open.

#470 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

🚩 PR-stewardship special cases (cross-owner / ARR / ruleset / dirty)

Status: Open.

#466 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

📜 Manual review queue: licence/security PRs (owner-only per policy)

Status: Open.

#465 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026

🟠 Estate CI-health backlog: public repos with independently-red CI

Status: Open.

#464 In hyperpolymath/hypatia;

· hyperpolymath opened on Jun 13, 2026