-
-
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
- Status: Open.#380 In hyperpolymath/ephapax;
Add hard-gated Creusot verification for proof-critical Rust kernels
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#378 In hyperpolymath/ephapax;clippy: box the
Value::Closurepayload (large_enum_variant, currently allowed)tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#360 In hyperpolymath/ephapax;codegen: structural miscompile — region + let-bound String.new/String.len emits invalid wasm (type mismatch, empty stack)
architectureStructural/system-level shape and runtime behaviourStructural/system-level shape and runtime behaviourbindingsABI, 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 behaviourStatus: Open.#348 In hyperpolymath/ephapax;Estate continuation (post-branding): wiki + business case; gated CLADE/ANCHOR reconciliation
cicdCI/CD: workflows, actions, lockfiles, pins, runners, release gatesCI/CD: workflows, actions, lockfiles, pins, runners, release gatesStatus: Open.#327 In hyperpolymath/ephapax;Machine-readable currency: deferred follow-ups (post-checkpoint #288)
tech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#289 In hyperpolymath/ephapax;deps: classify #139 fxhash CVE as dev-dep-only + recommended fix
wasmtime = { default-features = false }choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changeStatus: Open.#269 In hyperpolymath/ephapax;ci:
mirror.yml— mirror-radicle job fails (needs upstream investigation at hyperpolymath/standards)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:blockedCannot proceed until a dependency clearsCannot proceed until a dependency clearsStatus: Open.#268 In hyperpolymath/ephapax;Phase 3b Stage 4 (Phase 5): compound non-linear values + unconditional preservation_l2
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.#242 In hyperpolymath/ephapax;Phase 3b Stage 3: relaxed restriction via declared_lambda_r_ins + CPS substitution lemma signature
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.#241 In hyperpolymath/ephapax;Phase 3b Stage 2 (L4 track): ELam annotation extension — R_in / R_out as program-level commitments
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.#240 In hyperpolymath/ephapax;