deva ps: container inventory joined with launch receipts

[lroolle]

Description

--goal receipts (#499) are write-only until something reads them. deva ps lists deva containers joined with their launch receipts: agent, workspace, goal, age, trace state.

Type

• New feature

Details

Today "what agents are running where, on what goal" is docker ps + memory. Join docker ps (deva container name convention) with the newest matching receipt from $XDG_DATA_HOME/ccx/launches/*.jsonl by container name. Read-only, degrades gracefully when no receipt exists (goal column empty). Columns: CONTAINER, AGENT, WORKSPACE, GOAL, AGE, TRACE.

First step of the serve ladder: ps -> attach -> serve.

Related Files

• deva.sh (subcommand dispatch, container name helpers)
• scripts/test-launch-receipts.sh (new)

Test Plan

• receipt write + ps read round-trip against a fake docker ps
• no receipts dir: ps still lists containers, empty goal column
• non-deva containers excluded