Repository navigation
Binary names: every shipped [[bin]] is aprender-* (only apr and pv exempt), with a guard #4430
Closed as not planned
Description
Operator requirement (2026-09-25): every binary shipped from this workspace is named aprender-*. No stray names.
Allowed: aprender-*, plus the two established CLIs apr (cargo install aprender) and pv (contracts CLI).
Today 29 [[bin]] targets (from cargo metadata). These 11 break the rule:
| current bin | package | proposed |
|---|---|---|
| alimentar | aprender-data | aprender-data |
| presentar | aprender-present-cli | aprender-present |
| ptop | aprender-present-terminal | aprender-top |
| score | aprender-present-terminal | aprender-score |
| simular | aprender-simulate | aprender-simulate |
| trueno-rag | aprender-rag-cli | aprender-rag |
| trueno-zram | aprender-zram-cli | aprender-zram |
| verificar | aprender-verify-ml | aprender-verify |
| apr-qa | aprender-qa-cli | aprender-qa |
| apr-qa-readme-sync | aprender-qa-certify | aprender-qa-readme-sync |
| apr-corpus-ingest | apr-cli | aprender-corpus-ingest |
Also: the duplicate apr bin in apr-cli and the root facade. Keep one shipped apr.
Acceptance:
- Rename the
[[bin]] names. Update every in-repo caller: scripts, Makefile, workflows (workflow edits go through the cop), docs,binary-releaseasset names, andapr_bin.sh/pv_bin.sh. - Guard in
monorepo_invariants: fail if any workspace bin name is not in {apr, pv} and notaprender-*. Ship a case table (must-match / must-not-match). Mutation proof: add[[bin]] name = "rogue"and the guard goes RED. - The release/nightly asset list is derived from
cargo metadatabins, so a new bin can't ship under a stray name. - Fleet: every host's old-name binaries are listed, then removed via the fleet deploy (no shadowed stale copies), and the fleet catalogue is updated.
aprender-*crates.io names are checked for collisions before publish.
Part of the 0.70.0 gate "every aprender binary working" (#4189).
Activity
fix(dogfood): self-test survives a read-only checkout; a rename targe…
fix(bins): cargo-free bin-name guard runs in guard-tree; Dockerfile +…
fix(contract): BINRULE-004 after 003 — the ID gap raised the integrit…
fix(#4430): nested satellite nightly workflows still named renamed bins
docs(#4430): consumers still ran the old ptop/simular bins and the ol…
fix(#4430): rename the two in-source bin identities agy lane F3 found
ONT-10: follow #4430's bin renames into the per-binary contracts
ONT-10: dogfood_surfaces.sh comments name the renamed bins (#4430)
fix(car): clear the x86-main reds on car/0.70.0 except cb200
fix(simulate): --version test expects the #4430 bin name aprender-sim…
fix(binary-debt): re-key 10 ledger rows to the #4430 aprender-* bin n…
noahgift commentedon Oct 9, 2026
Parked under APR-EPIC-001 rule 5 (C334 budget cut; epic over its budget). No open PR or branch in the last 72 h. Reopen when it is staffed for its train.