Search results

Proofs stalled: gate-a-audit serialized on a single online audit runner (33-deep queue)

bugSomething isn't workingSomething isn't working

ciCI/CD and automationCI/CD and automation

Status: Open.

#2172 In agenticsnz/unsorry;

· cgbarlow opened on Jun 18, 2026

target: longest run of zeros in binary √2 (weak bound Lₙ ≤ n+1)

Status: Open.

#2168 In agenticsnz/unsorry;

· thedavidyoungblood opened on Jun 18, 2026

attribute the incorrect OceanLi to ohdearquant

Status: Open.

#2052 In agenticsnz/unsorry;

· ohdearquant opened on Jun 17, 2026

Proposal: containerized cross-platform dev environment (realizes the SPEC-030-A container/BYO-key client)

Status: Open.

#2048 In agenticsnz/unsorry;

· thedavidyoungblood opened on Jun 17, 2026

Gate A cold-start build cost won't scale — bound the active library + warm-seed the cache (follow-up to #1909)

Status: Open.

#1921 In agenticsnz/unsorry;

· cgbarlow opened on Jun 17, 2026

Investigate: are all solved problems attributed on leaderboard, proof graph?

researchinvestigation, analysis, reporting and/or planninginvestigation, analysis, reporting and/or planning

Status: Open.

#1888 In agenticsnz/unsorry;

· cgbarlow opened on Jun 17, 2026

Contributor-facing proof-generation skill: harder targets, more volume, conflict-free (from #400)

featNew machineryNew machinery

researchinvestigation, analysis, reporting and/or planninginvestigation, analysis, reporting and/or planning

Status: Open.

#1533 In agenticsnz/unsorry;

· cgbarlow opened on Jun 16, 2026

Project convention enforcement

featNew machineryNew machinery

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#445 In agenticsnz/unsorry;

· cgbarlow opened on Jun 14, 2026

Next batch of theorems

choreHousekeepingHousekeeping

Status: Open.

#400 In agenticsnz/unsorry;

· cgbarlow opened on Jun 14, 2026

Goal: solve Freek open lean target #50

Status: Open.

#365 In agenticsnz/unsorry;

· cgbarlow opened on Jun 13, 2026

📣 v1.0.0 — unsorry is open for contributions

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#81 In agenticsnz/unsorry;

· cgbarlow opened on Jun 10, 2026