All issues

Search results

Lean FilesystemCNO and LambdaCNO each prove False; lake build reports success and CI never runs the Lean leg

Status: Open.

#125In hyperpolymath/absolute-zero;

· hyperpolymath opened on Aug 5, 2026

governance: decide whether a Bustfile runner is wanted (old bust.ncl referenced nonexistent ../_base.ncl)

Status: Open.

#81In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

automation: automate docs/wiki → GitHub Wiki sync

Status: Open.

#80In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

docs: consolidate root MAINTAINERS.adoc (estate, 65L) vs docs/MAINTAINERS.adoc (48L)

Status: Open.

#79In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

governance: .machine_readable/svc/README.adoc orphaned after k9 → self-validating rename

Status: Open.

#78In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

security: prune stale .hypatia-ignore entries

Status: Open.

#77In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

governance: .machine_readable/contractiles/Justfile byte-identical to root Justfile

Status: Open.

#76In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

build: Justfile dead recipe build-rescript

Status: Open.

#75In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

docs: maintainer edit — .claude/CLAUDE.md references removed .scm files

Status: Open.

#74In hyperpolymath/absolute-zero;

· hyperpolymath opened on Jun 12, 2026

proof-debt: triage matches proven#107 overly-cautious-OWED pattern — 17 Coq axioms + 5 Idris believe_me's discharge candidates

Status: Open.

#70In hyperpolymath/absolute-zero;

· hyperpolymath opened on May 30, 2026

security: 7 Critical/High panic-attack findings need human triage (Track C)

Status: Open.

#43In hyperpolymath/absolute-zero;

· hyperpolymath opened on May 26, 2026

audit: 2 Idris2 postulates in src/abi/Layout.idr — alignment + alignedSize correctness

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#27In hyperpolymath/absolute-zero;

· hyperpolymath opened on May 20, 2026