Search results

K8: Two contracts have provability deficit (fewer tests than obligations)

Status: Open.

#41 In paiml/presentar;

· noahgift opened on Apr 6, 2026

Cross-platform: enable_mouse_capture test fails on Windows (crossterm Win32 API)

Status: Open.

#37 In paiml/presentar;

· noahgift opened on Apr 5, 2026

fix: Cross-Platform build fails — missing provable-contracts sibling checkout

Status: Open.

#35 In paiml/presentar;

· noahgift opened on Apr 5, 2026

fix: clippy manual_let_else in build.rs + coverage failures

Status: Open.

#32 In paiml/presentar;

· noahgift opened on Apr 5, 2026

fix: build.rs panic — 21 contract bindings not_implemented

Status: Open.

#31 In paiml/presentar;

· noahgift opened on Apr 5, 2026

fix: add version fields to provable-contracts path deps

Status: Open.

#30 In paiml/presentar;

· noahgift opened on Apr 4, 2026

refactor: split large production files for File Health

Status: Open.

#24 In paiml/presentar;

· noahgift opened on Mar 21, 2026

fix: remove broken extracted test files and fix compilation

Status: Open.

#23 In paiml/presentar;

· noahgift opened on Mar 21, 2026

File Health: split large files (pmat comply)

Status: Open.

#22 In paiml/presentar;

· noahgift opened on Mar 21, 2026

CB-200: refactor high-complexity functions below grade A

Status: Open.

#21 In paiml/presentar;

· noahgift opened on Mar 21, 2026

KZ-11: Missing provable contracts

Status: Open.

#20 In paiml/presentar;

· noahgift opened on Mar 19, 2026

feat: Add shell-safety.html — interactive shell safety analyzer page (bashrs SSC WASM-003)

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In paiml/presentar;

· noahgift opened on Mar 7, 2026