Issues

• Security: Dependency vulnerabilities detected

  dependenciespriority:p1scope:reposecurity
  hyperpolymath/hybrid-automation-router#138 · Filter by author github-actions opened on Aug 31, 2026

• 2C depth D3: enterprise functionality — provisioning, configuration, harnesses

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#108 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C depth D2: front-end functionality (nala, aptitude) as uniform provider capabilities

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#107 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C flagship workload: prover / solver / language-toolchain centralisation (tiers 1–2)

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/hybrid-automation-router#106 · Filter by author hyperpolymath opened on Jul 7, 2026

• Proof-pipeline domain: arghda co-use for ladder pipelines (candidate resource domain, gated on 2A skeleton)

  priority:p1proofsresearchscope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#104 · Filter by author hyperpolymath opened on Jul 7, 2026

• Phase 2C umbrella: install & package-management domain — staged subsumption ladder (ADR-0003)

  documentationenhancementpriority:p3scope:repo
  hyperpolymath/hybrid-automation-router#102 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C tier 5: core package managers (winget, Homebrew, apt, dnf/yum) as interface validation

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#101 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C tier 4: subsume secondary package managers (apk, scoop, chocolatey) behind one PackageProvider interface

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#100 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C tier 3: direct package-file installs (dpkg -i / rpm -i)

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#99 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C tier 2: forge-release install regularisation (GitHub Releases, tag-pinned source)

  enhancementpriority:p2scope:repostatus:blocked
  hyperpolymath/hybrid-automation-router#98 · Filter by author hyperpolymath opened on Jul 7, 2026

• 2C tier 1: regularise package-manager-less installs (curl|sh, tarballs, make install)

  enhancementpriority:p2scope:repostatus:ready
  hyperpolymath/hybrid-automation-router#97 · Filter by author hyperpolymath opened on Jul 7, 2026