Merge remote-tracking branch 'origin/worktree-simplify-branded-ids' into worktree-simplify-agent-stop

# Conflicts:
#	docs/rfc/README.md
This commit is contained in:
Tianyi Cui
2026-06-21 20:17:29 +08:00
6 changed files with 34 additions and 28 deletions

View File

@@ -73,6 +73,9 @@ packages/ Harness packages, grouped by role at packages/<group>/<pkg>/.
feeds stdin lines to the agent (shared by the demos)
llm-replay/ record/replay adapter: short-circuits llm/stream from a
recorded session JSONL (keyless snapshot tests)
util/ low-level zero-dependency utilities shared across groups
brand/ type-only Branded<B> nominal-typing primitive (no runtime
code, no harness deps; owns the brand for cross-boundary ids)
examples/ Runnable demos (not workspaces; see examples/AGENTS.md). echo-agent
= mock model + echo tool + stdio UI + JSONL persistence, wired via
cordis.yml. coding-agent = the real thing: DeepSeek V4 + bash tools