Issues

• Security: Dependency vulnerabilities detected

  dependenciespriority:p1scope:reposecurity
  hyperpolymath/neurophone#155 · Filter by author github-actions opened on Jul 1, 2026

• build(#83): delete legacy android/ Kotlin+Gradle tree (both CI gates green)

  chorecicdpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#115 · Filter by author hyperpolymath opened on Jun 2, 2026

• build(#83): AffineScript UI replacing activity_main.xml (gossamer webview)

  chorecicdpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#114 · Filter by author hyperpolymath opened on Jun 2, 2026

• build(#83): widget triple → generated Java shims (AppWidgetProvider + actions + configure)

  chorecicdpriority:p1scope:repostatus:needs-ruling
  hyperpolymath/neurophone#113 · Filter by author hyperpolymath opened on Jun 2, 2026
  1

• build(#83): BootReceiver → generated Java BroadcastReceiver shim → JNI

  bindingschorecicdpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#112 · Filter by author hyperpolymath opened on Jun 2, 2026

• build(#83): NeurophoneService → generated Java Service shim → JNI

  bindingschorecicdpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#111 · Filter by author hyperpolymath opened on Jun 2, 2026

• build(#83): port NativeLib JNI to crates/neurophone-android (Rust)

  bindingschorecicdmigrationpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#110 · Filter by author hyperpolymath opened on Jun 2, 2026
  1

• build(#83): gossamer Android scaffolding (WebView host + JNI bridge)

  bindingschorecicdpriority:p1scope:repostatus:blocked
  hyperpolymath/neurophone#109 · Filter by author hyperpolymath opened on Jun 2, 2026

• proof(2.3): resource/affine lifecycle (acquire-release exactly once)

  chorepriority:p2proofsscope:repostatus:ready
  hyperpolymath/neurophone#93 · Filter by author hyperpolymath opened on Jun 2, 2026

• proof: first-principles proof-obligation map (foundations → non-trivial)

  chorepriority:p3proofsscope:repo
  hyperpolymath/neurophone#84 · Filter by author hyperpolymath opened on Jun 2, 2026
  1

• build: migrate Kotlin/Gradle Android app to gossamer (clears banned-language CI)

  chorecicdpriority:p2scope:repostatus:ready
  hyperpolymath/neurophone#83 · Filter by author hyperpolymath opened on Jun 2, 2026
  1