Issues

• docs/foundation.adoc cites flake.guix, which does not exist on main (removed with flake.nix in #275)

  bugpackaging
  hyperpolymath/echo-types#335 · Filter by author hyperpolymath opened on Oct 1, 2026

• arena-ai-coding-agent PRs get zero CI signal: all 5 Actions workflows STARTUP_FAILURE (actor not allowed to trigger workflows) — #328 merged on this

  priority:p1scope:repo
  hyperpolymath/echo-types#330 · Filter by author hyperpolymath opened on Sep 30, 2026

• Actions allow-list live count (92) drifts from the standards canon (93): tailscale/github-action@* missing

  priority:p2scope:repostatus:blockedtech-debt
  hyperpolymath/echo-types#324 · Filter by author hyperpolymath opened on Sep 22, 2026

• main is red: Governance Check documentation (no CONTRIBUTING) and gitleaks generic-api-key at .machine_readable/6a2/STATE.a2ml:261 (retire the file)

  documentationgovernancepriority:p0scope:reposecuritystatus:ready
  hyperpolymath/echo-types#323 · Filter by author hyperpolymath opened on Sep 22, 2026

• agda.yml installs an unpinned apt-get install -y agda at L51 and L176 — the prover under the proofs changes without a commit

  cicdpriority:p2scope:repostatus:ready
  hyperpolymath/echo-types#322 · Filter by author hyperpolymath opened on Sep 22, 2026

• experimental/echo-additive (7 modules incl. the Grade dioid) is in no CI lane; 'typechecks standalone' is unmeasured on main

  feeds:valence-shellpriority:p2scope:repostatus:readytesting
  hyperpolymath/echo-types#321 · Filter by author hyperpolymath opened on Sep 22, 2026

• Preserved: 4 bit-narrowing Agda modules (36d04b5) on preserve/bit-narrowing-agda-2026-09-11, in no CI lane

  chorefeeds:valence-shellpriority:p3scope:repo
  hyperpolymath/echo-types#320 · Filter by author hyperpolymath opened on Sep 22, 2026

• governance(licence): LICENSE has no SPDX-License-Identifier header → "Licence consistency" check red

  documentationpriority:p2scope:repo
  hyperpolymath/echo-types#282 · Filter by author hyperpolymath opened on Jun 27, 2026
  1

• Pillar E (external validation): clear paper.adoc [EXPAND] tags, then packaging / DOI / outreach

  documentationfeeds:valence-shellpriority:p3scope:repo
  hyperpolymath/echo-types#281 · Filter by author hyperpolymath opened on Jun 27, 2026

• Mirror the general EchoAggregation into the EchoTypes.jl finite-domain falsifier

  enhancementfeeds:valence-shellpriority:p2scope:repostatus:ready
  hyperpolymath/echo-types#280 · Filter by author hyperpolymath opened on Jun 27, 2026

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

  automationchoregovernancepriority:p2scope:repostatus:ready
  hyperpolymath/echo-types#271 · Filter by author hyperpolymath opened on Jun 21, 2026

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

  chorecicdpriority:p2scope:repo
  hyperpolymath/echo-types#269 · Filter by author hyperpolymath opened on Jun 21, 2026
  1

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

  chorecicdpriority:p2scope:reposecurity
  hyperpolymath/echo-types#268 · Filter by author hyperpolymath opened on Jun 21, 2026
  1

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

  enhancementfeeds:valence-shellpriority:p3scope:repo
  hyperpolymath/echo-types#264 · Filter by author hyperpolymath opened on Jun 21, 2026

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

  feeds:valence-shellpriority:p2refactorscope:repostatus:blocked
  hyperpolymath/echo-types#263 · Filter by author hyperpolymath opened on Jun 21, 2026

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

  choregovernancepriority:p2scope:repostatus:blocked
  hyperpolymath/echo-types#197 · Filter by author hyperpolymath opened on Jun 13, 2026

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

  chorepriority:p3scope:repo
  hyperpolymath/echo-types#193 · Filter by author hyperpolymath opened on Jun 12, 2026
  1

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

  documentationfeeds:valence-shellmeta:roadmappriority:p3scope:repo
  hyperpolymath/echo-types#192 · Filter by author hyperpolymath opened on Jun 12, 2026
  1

• docs: OpenSSF badge is a registration placeholder

  documentationpriority:p3scaffoldingscope:repostatus:ready
  hyperpolymath/echo-types#191 · Filter by author hyperpolymath opened on Jun 12, 2026

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

  choregovernancepriority:p2scope:repostatus:ready
  hyperpolymath/echo-types#190 · Filter by author hyperpolymath opened on Jun 12, 2026

• governance: 6a2/0-AI-MANIFEST.a2ml is not TOML

  choregovernancepriority:p2scope:estatestatus:ready
  hyperpolymath/echo-types#189 · Filter by author hyperpolymath opened on Jun 12, 2026

• governance: estate flat contractiles are non-TOML rsr-template stubs — port repo-true checks

  choregovernancemigrationpriority:p1scaffoldingscope:estate
  hyperpolymath/echo-types#188 · Filter by author hyperpolymath opened on Jun 12, 2026
  1

• docs: author docs/bridges/ECHO-EPHAPAX-BRIDGE.adoc (per-bridge doc, CNO-equivalent)

  documentationfeeds:valence-shellpriority:p2scope:repostatus:ready
  hyperpolymath/echo-types#164 · Filter by author hyperpolymath opened on May 30, 2026