$skills under run --attach

What it does

Makes ganja run --attach "use $porting" expand the $porting skill the way the same command without --attach does.

Source

ganja-code-80g (run --attach cannot invoke $skills).

The bead is closed when this issue is published, with its external reference pointing here (#38).

File and line references in this issue are to main as of 75a7a92.

Against the three criteria

• Direction (README): The README names none of serve, attach or skills; attach is part of running the engine away from the terminal (README.md:16-18).
• Today's terminal users: A user of --attach sees the token left literal. The client's Prompt has no skills field (crates/ganja-client/src/lib.rs:255-267), while serve's PromptBody already accepts one (crates/ganja-serve/src/routes.rs:470, crates/ganja-serve/src/routes.rs:497).
• Evidence: No use report shows the gap getting in anyone's way. The open design question is where an attach client gets a roster to validate against: a GET /skills route, or scanning on the server.

Depends on

Nothing.

Verdict

• Verdict: park
• Reopens: when a use report shows that an unexpanded $skill under --attach got in somebody's way.
• Exception to the probe rule: no.
• Date: 2026-09-19
• Verdict ticket: #46

Theme: #52

Compare the attach client's Prompt in crates/ganja-client/src/lib.rs:255-267 with the server PromptBody in crates/ganja-serve/src/routes.rs:470 and :497, then review the README context at lines 16-18. Determine how an attach client should obtain and validate the skill roster; done means run --attach expands $porting consistently with the non-attach command.