Issues

• ci: Hypatia fails on two findings #117 does not cover (dependabot-automerge actor gate, rsr-antipattern regex); SonarCloud red on main 86cb69e

  chorecicd
  hyperpolymath/nextgen-typing#121 · Filter by author hyperpolymath opened on Sep 30, 2026

• ci: two pre-existing reds on main — Static Analysis Gate (Hypatia CWE-494 ×2 in setup.sh) and Well-Known Standards (security.txt under www/.well-known, validator reads the root)

  bugpriority:p0scope:repostatus:ready
  hyperpolymath/nextgen-typing#117 · Filter by author hyperpolymath opened on Sep 22, 2026
  4

• TYPE-CONNECTIONS.adoc: re-cite the residual receipt (run 35773288367 @ 8f3b46f) and give the Echo→Residual / Epistemic→Residual obligations acceptance criteria

  documentationfeeds:valence-shellpriority:p2scope:estatestatus:ready
  hyperpolymath/nextgen-typing#115 · Filter by author hyperpolymath opened on Sep 22, 2026
  3

• Estate tracking: verify + sign the per-repo AFFIRMATIONs (run suites in-env, GPG-sign, re-anchor to main)

  governancepriority:p2scope:estatetesting
  hyperpolymath/nextgen-typing#69 · Filter by author hyperpolymath opened on Jun 21, 2026

• k9: fix pre-existing "Validate K9 contracts" failures (3 errors, gates every PR)

  bugpriority:p1scope:repostatus:ready
  hyperpolymath/nextgen-typing#59 · Filter by author hyperpolymath opened on Jun 15, 2026

• docs: retarget stale src/interface/Abi references after the OQ-001 src/ drop

  documentationpriority:p3scope:repostatus:ready
  hyperpolymath/nextgen-typing#58 · Filter by author hyperpolymath opened on Jun 15, 2026

• ci(proofs): build verification/proofs/ in CI — nothing runs just proof-check-all

  cicdfeeds:valence-shellpriority:p2proofsscope:repostatus:ready
  hyperpolymath/nextgen-typing#57 · Filter by author hyperpolymath opened on Jun 15, 2026

• READINESS.md claims "CI passing (dogfood-gate…)" but dogfood-gate is currently red

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#53 · Filter by author hyperpolymath opened on Jun 14, 2026

• Remove committed Idris2 build artifacts under src/interface/build/ttc/

  enhancementfeeds:valence-shellpriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#51 · Filter by author hyperpolymath opened on Jun 14, 2026

• k9-validate: 3 remaining contract failures (2 trivial security_level + deploy.k9.ncl Nickel-indirection)

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#47 · Filter by author hyperpolymath opened on Jun 13, 2026

• docs: fix stale src/abi/ references (SD022 ×4)

  documentationpriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#42 · Filter by author hyperpolymath opened on Jun 12, 2026

• machine-readable: decide location of remaining root a2ml (CLADE, ENSAID_CONFIG, 0.1-AI-MANIFEST)

  chorepriority:p1scope:repostatus:needs-ruling
  hyperpolymath/nextgen-typing#41 · Filter by author hyperpolymath opened on Jun 12, 2026

• machine-readable: ANCHOR semantic-authority files are dead paths

  documentationpriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#40 · Filter by author hyperpolymath opened on Jun 12, 2026

• machine-readable: adapt self-validating/ k9 identity fields

  chorepriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#37 · Filter by author hyperpolymath opened on Jun 12, 2026

• governance: fill repo-identity placeholders across .github/

  governancepriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#36 · Filter by author hyperpolymath opened on Jun 12, 2026

• governance: fill SECURITY/CONDUCT contact placeholders

  governancepriority:p2scope:repostatus:ready
  hyperpolymath/nextgen-typing#35 · Filter by author hyperpolymath opened on Jun 12, 2026

• Rescope + instantiate the repo: resolve identity (OQ-001), fill template placeholders, fix CI (gitleaks/openssf/hypatia red)

  priority:p1scope:reposecuritystatus:ready
  hyperpolymath/nextgen-typing#32 · Filter by author hyperpolymath opened on Jun 5, 2026
  1