Search results

[k] Gate enforcement + remaining release-readiness tracks

Status: Open.

#202 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[g] Implement the ~100 stub cartridges (truthfully, via the maker)

Status: Open.

#201 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[f] Independent high-assurance cartridge-making workflow (mint → provision → configure → harness)

Status: Open.

#200 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[e] Catch-all: repo hygiene + workflow-audit backlog

Status: Open.

#199 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[d] Long-term: "obleeny" — maximal principal reduction → provable inertness

Status: Open.

#198 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

[proofs/a] boj-server core: enforce + minimise the trusted base

Status: Open.

#197 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 5, 2026

Consider publishing BoJ Server to the MCP Server Registry

Status: Open.

#188 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 2, 2026

License inconsistency: package.json AGPL-3.0-or-later vs LICENSE MPL-2.0

Status: Open.

#186 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 2, 2026

Epic: BoJ capability-expansion roadmap (13 items)

Status: Open.

#87 In hyperpolymath/boj-server;

· hyperpolymath opened on May 20, 2026

Track: ReScript→AffineScript migration backlog (8 .res files; was ~543 LOC at filing)

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#67 In hyperpolymath/boj-server;

· hyperpolymath opened on May 16, 2026