Search results

[P1] echidna: ConfidenceLattice.lean E4-Lean half fails lake build (unfold_let removed)

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#136 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[Estate] standards CI lint: seam-less Rust + zero-contract SPARK_Mode

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#135 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P2] ephapax: 11 partial + add ABI seam (Rust/SPARK NON-COMPLIANT)

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#134 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P2] absolute-zero: finish Lean CNO cons-case + Coq tier-0 rebuild

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#133 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P1] proven: ~30 Safe* modules with no Proofs.idr

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#132 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P1] gossamer: 11 believe_me (proofs owe despite frozen Rust)

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#131 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P1] typed-wasm: 5 believe_me + 5 assert_total in ABI surface

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#130 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P1] stapeln: 20 idris_crash + 10 believe_me + chainCommutative regression

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#129 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P0-discharge] proof-of-work: discharge OWED ABI postulates

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#128 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

[P0] ambientops: add RUST-SPARK-STANCE + kill SPARK theatre

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#127 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

Epic: estate proof-debt remediation (2026-05-18 reconciled audit)

majorMajor / load-bearing workMajor / load-bearing work

requirements-targetTracked requirements-target item (joint-close)Tracked requirements-target item (joint-close)

Status: Open.

#124 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026

Wave 14: Nix-mirror retirement (v-rest…zotero-tools)

Status: Open.

#119 In hyperpolymath/standards;

· hyperpolymath opened on May 18, 2026