-
-
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
Define and implement history analysis/export subsystem boundary
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#192 In hyperpolymath/valence-shell;Bound recursive glob traversal depth and resource consumption
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourperformanceThroughput, latency, memory, binary sizeThroughput, latency, memory, binary sizeStatus: Open.#191 In hyperpolymath/valence-shell;Add configurable operation-history retention and resource bounds
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#190 In hyperpolymath/valence-shell;Implement POSIX mutation semantics for parameter default assignment
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#189 In hyperpolymath/valence-shell;ECHIDNA pipeline reports 15 known-good proofs "invalid" — provers invoked without project/library context
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlycicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#162 In hyperpolymath/valence-shell;Tier-S: #45 sub — 10 remaining practice gaps (3-12, gap-per-PR)
tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#94 In hyperpolymath/valence-shell;Tier-S: #45 Frontier 5 — Lean → Rust correspondence mechanization
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#93 In hyperpolymath/valence-shell;Tier-S: #45 Frontier 4 — GDPR / RMO completeness theory (BLOCKED on #60, #61)
researchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codestatus:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearsStatus: Open.#92 In hyperpolymath/valence-shell;Tier-S: #45 Frontier 3 — POSIX 2024 conformance theory
researchOpen investigation; the outcome is knowledge, not codeOpen investigation; the outcome is knowledge, not codeStatus: Open.#91 In hyperpolymath/valence-shell;Tier-S: #45 Frontier 2 — concurrency / linearizability theory
testingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#90 In hyperpolymath/valence-shell;Tier-S: #43 sub — fuzz targets (7 → 20, +13)
testingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#85 In hyperpolymath/valence-shell;Tier-S: #43 sub — benches (3 → 15, +12)
testingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverageStatus: Open.#84 In hyperpolymath/valence-shell;