All issues

Search results

324 machine-specific paths in shipped code — 216 in cargo examples, 45 in contracts/*.yaml

Status: Open.

#2532 In paiml/aprender;

· noahgift opened on Aug 17, 2026

aprender-db pins parquet ^57, which pulls vulnerable thrift 0.17 (CVE-2026-43868); parquet 59 drops thrift entirely

Status: Open.

#2531 In paiml/aprender;

· noahgift opened on Aug 17, 2026

KaniStrategy has no label for symbolic-f32-array harnesses, the dominant DSP verification technique — 7 of rmedia's 8 real Kani proofs are unrepresentable

Status: Open.

#2530 In paiml/aprender;

· noahgift opened on Aug 17, 2026

The pre-commit complexity gate is unsatisfiable: it measures FILE totals against per-function thresholds, freezing all 10 most-complex files

Status: Open.

#2526 In paiml/aprender;

· noahgift opened on Aug 16, 2026

Testing surface has four names for one thing, and no statement of what it tests — rename to apr test while it is still nearly free

Status: Open.

#2525 In paiml/aprender;

· noahgift opened on Aug 16, 2026

falsification_spec_v10: 140 tests, named in no workflow, 38 failing — and its byte-size tests assert expressions against themselves

Status: Open.

#2522 In paiml/aprender;

· noahgift opened on Aug 16, 2026

Three train-* binaries report confident results without doing the work — one is published to crates.io

Status: Open.

#2519 In paiml/aprender;

· noahgift opened on Aug 16, 2026

check_contract_test_binding.sh resolves 371 test references and runs in no CI workflow

bugSomething isn't workingSomething isn't working

Status: Open.

#2512 In paiml/aprender;

· noahgift opened on Aug 16, 2026

R13: apr serve has three different HTTP surfaces and which one you get depends on the format of the file you passed

bugSomething isn't workingSomething isn't working

Status: Open.

#2507 In paiml/aprender;

· noahgift opened on Aug 15, 2026

SURF-7 / R14: no panic containment on either server path — a handler panic kills the MCP frame stream and drops the HTTP connection

bugSomething isn't workingSomething isn't working

Status: Open.

#2506 In paiml/aprender;

· noahgift opened on Aug 15, 2026

SURF-13 / R12: 45 of 150 invocable command paths are gated by nothing — the surface guard stops at depth 1

bugSomething isn't workingSomething isn't working

Status: Open.

#2505 In paiml/aprender;

· noahgift opened on Aug 15, 2026

SURF-14 / R11: three of five FALSIFY-CLI conditions name a cargo test target that does not exist

bugSomething isn't workingSomething isn't working

Status: Open.

#2504 In paiml/aprender;

· noahgift opened on Aug 15, 2026