Repository navigation

Issues

New issue

aprender-queue: register here before opening an aprender PR (one PR in CI at a time)
#3585 · noahgift opened on Sep 20, 2026
8

formal: lines of the form 'test ⇒ exit 0' must state the property
paiml/aprender#5778 · opened on Oct 20, 2026 · 0.73.0
SIM-4: sim4_breaches has no non-test caller, so the capacity andon is not wired
paiml/aprender#5775 · opened on Oct 20, 2026 · 0.73.0
simulate: define lineage for pr_flow review lanes; per-lineage pools instead of one global rev_lanes (flow model B7)
paiml/aprender#5772 · opened on Oct 19, 2026 · 0.73.0
#5769 quorum follow-ups: guard-cargo split hardening (7 non-blocking)
paiml/aprender#5771 · opened on Oct 19, 2026 · 0.73.0
Contract ids: sequential OPS-/PV- ids collided 3 times on 2026-10-19 (#5621, #5591, #5765); pick a scheme
paiml/aprender#5770 · opened on Oct 19, 2026 · 0.73.0
MG critical path: x86-main 55 min and shard 2 54 min vs shard 3 37 min (run 39301042731)
paiml/aprender#5769 · opened on Oct 19, 2026 · 0.73.0
1
Batcher: regenerate derived contract files after merge main (contracts_resolve.sh), stop merges DIRTYing every open PR
paiml/aprender#5768 · opened on Oct 19, 2026 · 0.73.0
Re-audit docs/audits/surface_audit.csv for aprender-cgp cli.rs dispatch tests (#5570)
paiml/aprender#5767 · opened on Oct 19, 2026 · 0.73.0
MG job pickup stalled with idle mq/clean-room runners online (run 39283827214)
paiml/aprender#5764 · opened on Oct 19, 2026 · 0.73.0
2
contracts.nt + witness are generated shared files: every contract PR conflicts (regen-at-merge vs fragment)
paiml/aprender#5762 · opened on Oct 19, 2026 · 0.72.0
Fragments first: stop PRs writing roadmap.yaml / CHANGELOG.md; add changelog.d; ignore .pmat/context.db-shm/-wal
paiml/aprender#5761 · opened on Oct 19, 2026 · 0.72.0
FLOW-009 LG: make gate / make precheck / LG-9 step-time emitter (aprender)
paiml/aprender#5759 · opened on Oct 19, 2026 · 0.73.0
guard-cargo#m5 pv-pin: nonzero 'pv --version' swallowed to empty and reported as STALE (MG 39236323675)
paiml/aprender#5755 · opened on Oct 19, 2026 · 0.73.0
ci: P1c nextest archive — build once, workspace-test shards reuse it
paiml/aprender#5753 · opened on Oct 19, 2026 · 0.73.0
ci: x86-main security section fails on crates.io timeouts and pin_build_base cannot fetch the build base (run 38363869044)
paiml/aprender#5751 · opened on Oct 19, 2026 · 0.73.0
ci: shard compile of aprender-core (lib test) dies with rustc exit status 2 and no printed diagnostic (2 runs)
paiml/aprender#5750 · opened on Oct 19, 2026 · 0.73.0
ci: determinism-compare fails when the X64 determinism artifact never arrives (run 38949910435)
paiml/aprender#5749 · opened on Oct 19, 2026 · 0.73.0
ci: kill DIRTY cascades — witness stops committing per-run fields; README counts and findings ledger per-PR (P5)
paiml/aprender#5748 · opened on Oct 19, 2026 · 0.72.0
ci: cap section container threads at 2 (CARGO_BUILD_JOBS/RAYON/nextest) — intel load/cores 6.1 vs gate 1.2 (P1b)
paiml/aprender#5746 · opened on Oct 19, 2026 · 0.73.0
ci: cut PR CI demand — skip drafts and docs-only PRs inside ci.yml
paiml/aprender#5743 · opened on Oct 19, 2026 · 0.73.0
ci: port scripts/ci/fat_driver.py to Rust (pmat complexity hook refuses any edit to it)
paiml/aprender#5741 · opened on Oct 19, 2026 · 0.73.0
ci: fat_driver prints the first failing line of a failed section into the job log
paiml/aprender#5740 · opened on Oct 19, 2026 · 0.73.0
ci: MG x86-main guard-cargo p50 2635s and guard-tree p50 1895s; 7 of 18 runs hit the 3600s section cap
paiml/aprender#5739 · opened on Oct 19, 2026 · 0.73.0
T-rollup: rollup bot merges ready PRs into one commit (≤200 lines via gh, close constituents only after SHA on main)
paiml/aprender#5737 · opened on Oct 19, 2026 · 0.72.0
cop cycle path: cycles.jsonl schema check — fixes[] must be objects with id
paiml/aprender#5736 · opened on Oct 19, 2026 · 0.72.0