All issues

Search results

Cap 3 implementors; implementor owns review L3; tested vs remaining lakes

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 20, 2026

Jobs queue: naming refactor, Extract parse leftover, lake-coord host, Slake MVP typecheck+compile+compare

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 19, 2026

check-local 96GiB nice 19; check-remote 256GiB; one builder L2

Status: Open.

#7 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 18, 2026

Complete Slake: self-host, high-assurance linear proofs, Lean IR beside Rust IR

Status: Open.

#6 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 17, 2026

North-star DAG: Slake QTT linear typecheck + CompCert C + Rust-compatible LLVM IR

Status: Open.

#5 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 17, 2026

Record leftover-heading halt as a process miss (mill stays 64 of 69)

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 12, 2026

provablyUnlocked isn't bound to the wire it sealed — offer of a stamp + check

Status: Open.

#3 In SurmountSystems/systems-lean;

· rpriven opened on Sep 12, 2026

Parallel remaining work: compiler map, mill extras waves, trait-object vtable IR

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 12, 2026

TECH.md: compiler dependency tree, tracking tables, and L2 token ledger

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In SurmountSystems/systems-lean;

· cryptoquick opened on Sep 10, 2026