4 Commits

Author	SHA1	Message	Date
Tianyi Cui	148046b9c8	docs: rebalance prose cleanup and add trimming skill	2026-07-13 23:27:00 +08:00
Tianyi Cui	c45d7927cf	docs: tighten prose audit after master retarget	2026-07-13 16:24:32 +08:00
Tianyi Cui	75838e10b5	docs: trim generated prose	2026-07-12 03:36:43 +08:00
kingwl	2eed448acf	feat(bash): the sandboxed executor — per-call policy carrier, denial facts, runner-failure classification ... dsh-bash grows the per-call policy carrier: BashExecRequest.sandboxMode (request-optional, spec required-but-nullable — the owner pattern; resolve() is the one explicit defaulting step) and the BashExecutor.sandboxMode capability fact (undefined in the base class — composition truth the tool layer can read). dsh-bash-local carries the field verbatim and confines nothing. dsh-bash-sandbox extends LocalBashExecutor and hands ctx.sandbox the exact argv it is about to spawn. A denial is a RESULT FACT (the command RAN; result.sandbox.denied is orthogonal to exitCode/signal), classified conservatively against the wrap own dialect; a RUNNER failure outranks denial — foreground re-throws the structured SANDBOX_UNAVAILABLE, a settled background task stamps sandbox.runnerFailed — so a broken sandbox never reads as a failing command and the command never runs unconfined. dsh-tool-bash renders the markers and teaches the model not to retry around a policy denial; escalation and per-session switching are staged follow-ups.	2026-07-10 15:43:02 +08:00