-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Security: Dependency vulnerabilities detected
dependenciesPull requests that update a dependency filePull requests that update a dependency filesecuritySecurity issueSecurity issueStatus: Open.#155 In hyperpolymath/neurophone;build(#83): delete legacy android/ Kotlin+Gradle tree (both CI gates green)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#115 In hyperpolymath/neurophone;build(#83): AffineScript UI replacing activity_main.xml (gossamer webview)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#114 In hyperpolymath/neurophone;build(#83): widget triple → generated Java shims (AppWidgetProvider + actions + configure)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#113 In hyperpolymath/neurophone;build(#83): BootReceiver → generated Java BroadcastReceiver shim → JNI
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfaceschoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#112 In hyperpolymath/neurophone;build(#83): NeurophoneService → generated Java Service shim → JNI
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfaceschoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#111 In hyperpolymath/neurophone;build(#83): port NativeLib JNI to crates/neurophone-android (Rust)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfaceschoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesmigrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)Status: Open.#110 In hyperpolymath/neurophone;build(#83): gossamer Android scaffolding (WebView host + JNI bridge)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfaceschoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#109 In hyperpolymath/neurophone;proof(2.3): resource/affine lifecycle (acquire-release exactly once)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#93 In hyperpolymath/neurophone;proof: first-principles proof-obligation map (foundations → non-trivial)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#84 In hyperpolymath/neurophone;build: migrate Kotlin/Gradle Android app to gossamer (clears banned-language CI)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changecicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#83 In hyperpolymath/neurophone;