Search results

[Idris2] hardwareEraseIrreversible non-theorem-as-stated (RMO.idr:213-215)

Status: Open.

#130 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 2, 2026

[meta] decide on .github/copilot/coding-agent.yml MCP config (from stale-branch cruft 2026-06-02)

Status: Open.

#111 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 2, 2026

Tier-S: #45 sub — 10 remaining practice gaps (3-12, gap-per-PR)

Status: Open.

#94 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #45 Frontier 5 — Lean → Rust correspondence mechanization

Status: Open.

#93 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #45 Frontier 4 — GDPR / RMO completeness theory (BLOCKED on #60, #61)

Status: Open.

#92 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #45 Frontier 3 — POSIX 2024 conformance theory

Status: Open.

#91 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #45 Frontier 2 — concurrency / linearizability theory

Status: Open.

#90 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #41 sub — 28 TODO markers by hot-spot file (per-file PR)

Status: Open.

#88 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #41 sub — 3 production panic! sites (typed-error conversion)

Status: Open.

#87 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #41 sub — 10 unreachable! production sites (one PR per file)

Status: Open.

#86 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #43 sub — fuzz targets (7 → 20, +13)

Status: Open.

#85 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026

Tier-S: #43 sub — benches (3 → 15, +12)

Status: Open.

#84 In hyperpolymath/valence-shell;

· hyperpolymath opened on Jun 1, 2026