Search results

[Feature]: C3 — real Idris2 contract spec + strict Elixir runtime validation boundary (drop the fictional ABI claims)

Status: Open.

#283 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Feature]: C1+C2 — Synthesis Engine in feedback-o-tron (engine-side template fetch, intent classification, hydration, research mode)

Status: Open.

#282 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Feature]: OpenTelemetry distributed tracing across the boj ↔ ABI ↔ cartridge boundary

enhancementNew feature or requestNew feature or request

Status: Open.

#277 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Feature]: Offline pre-fetch & stale-while-revalidate cartridge caching

enhancementNew feature or requestNew feature or request

Status: Open.

#276 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Feature]: OCI containerisation & immutable runtime isolation for boj-server

enhancementNew feature or requestNew feature or request

Status: Open.

#275 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Epic]: Autonomous bug-reporting pipeline — boj Gateway → feedback-o-tron Synthesis → verified dispatch

enhancementNew feature or requestNew feature or request

Status: Open.

#274 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 9, 2026

[Bug] ghcr boj-server:latest publishes the Node MCP bridge, not the Elixir REST release

Status: Open.

#272 In hyperpolymath/boj-server;

· hyperpolymath opened on Jul 8, 2026

Governance/Hypatia hygiene: stale GEMINI.md, unpinned action, workflow timeouts, shellcheck

Status: Open.

#218 In hyperpolymath/boj-server;

· hyperpolymath opened on Jun 13, 2026

Bug/Security: secrets-mcp cartridge returns stubs and has insecure GraphQL dispatch

Status: Open.

#214 In hyperpolymath/boj-server;

· nkar123412-hub opened on Jun 12, 2026

[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