Symptom
`Tests` workflow has been red on `main` since PR #847 merged (2026-05-24 19:44 UTC). Run 26370977768:
```
Package Install Verification › Verify install from tarball
OK: codev --help
FAIL: af --help (exit code 127)
OK: porch --help
OK: consult --help
Install verification FAILED.
```
Exit 127 = command not found. Expected — PR #847 deliberately removed the `af` bin entry from `packages/codev/package.json`.
Root cause
`packages/codev/scripts/verify-install.mjs:35`:
```js
const bins = ['codev', 'af', 'porch', 'consult'];
```
This list wasn't updated alongside the bin-map removal in PR #847. The PR's iter-2 did update `packages/codev/src/tests/cli/install.e2e.test.ts` to assert `AF_BIN` does NOT exist, but the CI-side post-install check in `scripts/verify-install.mjs` was missed.
Second defect (pre-existing, surfaces now)
The same array never included `afx` — the canonical, supported agent-farm entrypoint. So verify-install has never actually proved that `afx` installs from the tarball; it was proving the deprecated `af` alias instead. PR #847 makes this visible because `af` is gone but `afx` is the thing that should be checked.
Fix
Replace `'af'` with `'afx'` in `packages/codev/scripts/verify-install.mjs:35`:
```diff
- const bins = ['codev', 'af', 'porch', 'consult'];
- const bins = ['codev', 'afx', 'porch', 'consult'];
```
One-line change. No other callers reference this script's bin list.
Acceptance criteria
Out of scope
Symptom
`Tests` workflow has been red on `main` since PR #847 merged (2026-05-24 19:44 UTC). Run 26370977768:
```
Package Install Verification › Verify install from tarball
OK: codev --help
FAIL: af --help (exit code 127)
OK: porch --help
OK: consult --help
Install verification FAILED.
```
Exit 127 = command not found. Expected — PR #847 deliberately removed the `af` bin entry from `packages/codev/package.json`.
Root cause
`packages/codev/scripts/verify-install.mjs:35`:
```js
const bins = ['codev', 'af', 'porch', 'consult'];
```
This list wasn't updated alongside the bin-map removal in PR #847. The PR's iter-2 did update `packages/codev/src/tests/cli/install.e2e.test.ts` to assert `AF_BIN` does NOT exist, but the CI-side post-install check in `scripts/verify-install.mjs` was missed.
Second defect (pre-existing, surfaces now)
The same array never included `afx` — the canonical, supported agent-farm entrypoint. So verify-install has never actually proved that `afx` installs from the tarball; it was proving the deprecated `af` alias instead. PR #847 makes this visible because `af` is gone but `afx` is the thing that should be checked.
Fix
Replace `'af'` with `'afx'` in `packages/codev/scripts/verify-install.mjs:35`:
```diff
```
One-line change. No other callers reference this script's bin list.
Acceptance criteria
Out of scope