Search results

governance(hypatia): confirm CSA004 agda_postulate dismissal is documented (likely already closeable)

Status: Open.

#272 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

governance(hypatia): no_tests high finding is a false-positive on a proof library — allow-list it

Status: Open.

#271 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

chore(git): delete merged/closed claude/* branches (GS007 single-main policy)

Status: Open.

#270 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

ci(codeql): language matrix has no in-repo language → SAST records zero results

Status: Open.

#269 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

security(scorecard): Token-Permissions alert on scorecard.yml is 19 days stale (CSA001/CSA003)

Status: Open.

#268 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

Real-valued Shannon entropy H(P) = −Σ pᵢ·log pᵢ (reals + probability layer)

Status: Open.

#264 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

Extract the retired ordinal/Buchholz/Veblen ladder to its own ordinal-notation repo

Status: Open.

#263 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 21, 2026

Assign echo-types a clade in the gv-clade-index registry

Status: Open.

#197 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 13, 2026

chore: review CLAUDE.md.audit (108 KB) tracked at repo root

Status: Open.

#193 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 12, 2026

docs: TOPOLOGY.adoc says canonical roadmap is ROADMAP.adoc (rename pending)

Status: Open.

#192 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 12, 2026

docs: OpenSSF badge is a registration placeholder

Status: Open.

#191 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 12, 2026

governance: add 6a2/anchor/ANCHOR.a2ml realignment record

Status: Open.

#190 In hyperpolymath/echo-types;

· hyperpolymath opened on Jun 12, 2026