docs(server): the staged AGENTS.md re-cut — the five-verb workflow for every session (HITL, #852 step 4)

[aarontrowbridge]

Problem

The staged server AGENTS.md is the live system prompt for every session on the fleet — and it still teaches the amico-run era's workflow. After the bin deletion (#1667) and the doc sweep (#1668) land, the workflow vocabulary it teaches is wrong in the one place wrongness compounds: the prompt every agent reads at boot. #852's ordering names the dependency: #849's opt-in spec should land first — the workflow the AGENTS.md teaches changes with the opt-in surface (the free-tier beta enrollment changes how a session introduces solve paths).

Approach

Re-cut the staged AGENTS.md's workflow sections to the five-verb vocabulary (AUTHOR·EXECUTE·VERIFY·REMEMBER·METER + the amico verb surface), incorporating #849's opt-in surface where it touches the taught workflow. The re-cut is HITL by nature: it rewrites the prompt every session boots on — Aaron reviews the rendered text before the staging deploys. The macOS-path fix (#1665) lands independently first; this re-cut builds on the corrected file.

Acceptance criteria

• The staged AGENTS.md teaches zero amico-run-as-a-command references; the solve workflow uses the five-verb + amico surface.
• Public opt-in: free-tier beta enrollment into amicissimo (spec-first) #849's opt-in surface reflected where it changes the taught workflow (enrollment mention, tier paths).
• The staging lint (from fix(server): staged AGENTS.md carries macOS paths on the Linux hub — the ×4 /Users/aaron hardcode (standalone, #852 audit finding) #1665's deployment check) green: no /Users/ paths, no deprecated command references.
• Aaron's review of the rendered text — the merge gate (HITL).

Source

Part of #852 (step 4). Blocked by: #1667 (the vocabulary it teaches must be true), #1668 (the sweep establishes the vocabulary), and #849 externally (the opt-in spec changes the taught workflow — stated here because external blockers can't be native edges across that dependency's state).

Blocked by

• feat(cli): delete the amico-run bin — the sunset's core step: PATH plumbing, extension spawn, CI lane, test consumers (#852 step 1) #1667
• docs: the amico-run reference sweep — ~30 core doc/test files to the five-verb vocabulary (#852 step 3) #1668
• Public opt-in: free-tier beta enrollment into amicissimo (spec-first) #849