-
-
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
Machine-readable currency: deferred follow-ups (post-checkpoint #116)
tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#117 In hyperpolymath/developer-ecosystem;Epic/index: estate standards + dogfooding program — campaign index + lane triage (core-track vs handed-off)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:campaignCoordinated multi-repo push with a defined end stateCoordinated multi-repo push with a defined end stateStatus: Open.#115 In hyperpolymath/developer-ecosystem;Audit (6 reachable repos): C/.h vs pure-Zig, Idris2-ABI compliance, raw NIFs, Groove hard/soft, adapter + coprocessor footprint
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesgovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementresearchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codeStatus: Open.#114 In hyperpolymath/developer-ecosystem;unified-zig-api: extend (not rebuild), add missing API surfaces, share via a top-level repo, evaluate hard-groove deep-connect to http-capability-gateway
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#113 In hyperpolymath/developer-ecosystem;opsm (odds-and-sods-package-manager) → provenance + freshness + regeneration engine: end dogfooding staleness permanently
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourpackagingGuix, Nix, containers, distribution artefactsGuix, Nix, containers, distribution artefactsStatus: Open.#112 In hyperpolymath/developer-ecosystem;Campaign (master): codify + roll out the immutable estate standards (pure-Zig FFI, Idris2 ABI, hexadeca-unified, SNIF-not-NIF, Rust/SPARK)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:campaignCoordinated multi-repo push with a defined end stateCoordinated multi-repo push with a defined end stateStatus: Open.#111 In hyperpolymath/developer-ecosystem;Campaign: unified coprocessor backend (Axiom.jl pattern) + roll out to repos needing acceleration
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:campaignCoordinated multi-repo push with a defined end stateCoordinated multi-repo push with a defined end stateproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#110 In hyperpolymath/developer-ecosystem;Campaign: SNIF (Sandboxed-NIF) for all estate languages — wrap raw NIFs, add a Rust/SPARK SNIF
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmeta:campaignCoordinated multi-repo push with a defined end stateCoordinated multi-repo push with a defined end stateStatus: Open.#109 In hyperpolymath/developer-ecosystem;Campaign: estate-wide test + bench blitz (every repo, every level, cross-repo) + fix panic-attack-on-test-fail
meta:campaignCoordinated multi-repo push with a defined end stateCoordinated multi-repo push with a defined end statescope:estateAffects many or all repos across the estateAffects many or all repos across the estatetestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#108 In hyperpolymath/developer-ecosystem;